22/11/06 22:23:24.82 4rX/NHRo.net
>>18
＜前スレより関連コピー＞
ｽﾚﾘﾝｸ(math板:238番)
>>>237
つづき
URLﾘﾝｸ(ja.wikipedia.org)(%E7%B7%9A%E5%9E%8B%E4%BB%A3%E6%95%B0%E5%AD%A6)
基底 (線型代数学)
任意のベクトル空間は基底を持つ（このことの証明には選択公理が必要である）。一つのベクトル空間では、全ての基底が同じ濃度（元の個数）を持ち、その濃度をそのベクトル空間の次元と呼ぶ。この事実は次元定理と呼ばれる（証明には、選択公理のきわめて弱い形である超フィルター補題が必要である）。
順序基底と座標系
V は体 F 上の n-次元ベクトル空間であるものとする。V の順序基底を一つ選ぶことは、数ベクトル空間 Fn （座標全体のなすベクトル空間と考えられる）から V への線型同型写像 φ を一つ選ぶことと等価である。これを見るのに Fn の標準基底が順序基底であることが利用できる。
ベクトル v を各成分 aj(v) へ写す各写像は、φ-1 が線型ゆえ、V から F への線型写像になる。即ちこれらは線型汎函数であり、またこれらは V の双対空間の基底を成し、双対基底と呼ばれる。
関連概念
解析学
無限次元の実または複素線型空間に関する文脈では、本項でいう意味での基底を表すのに、しばしばハメル基底（ゲオルク・ハメルに由来[12]）や代数基底という用語が用いられる。（ハメル基底は R の Q-基底を意味することもある。）これは、付加的な構造を備えた無限次元線型空間における別の種類の「基底」の概念との区別のためである。そのような基底の概念で極めて重要なものとしては、ヒルベルト空間上の正規直交基底やノルム線型空間上のシャウダー基底およびマルクシェヴィチ基底が挙げられる。
これらの基底概念に共通する特徴は、全体空間を生成するのに基底ベクトルの無限線型結合までを許すことである。これにはもちろん、無限和が意味を持つような空間（位相線型空間）を考えることが必要である。位相線型空間は非常に広範なベクトル空間のクラスであり、例えばヒルベルト空間やバナッハ空間あるいはフレシェ空間といったものを含む。
つづく