この記事には
複数の問題があります 。改善や(
ノートページ )での議論にご協力ください。
(出典 ) がまったく示されていないか不十分です。内容に関する(文献や情報源 )が必要です。(2019年6月 ) ほとんどまたは完全に(一つの出典 ) に頼っています。(2019年6月 ) 出典検索? : ("有限ベクトル空間" ) – (ニュース ) · (書籍 ) · (スカラー ) · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL
線型代数学 における有限ベクトル空間 (ゆうげんベクトルくうかん、英 : finite vector space )は、濃度 が有限(つまり有限集合 )なベクトル空間を言う—そのような空間は(零ベクトル空間 を除けば)有限体 上の有限次元 ベクトル空間に他ならない[注釈 1] 。有限ベクトル空間の基底の総数や部分空間 の総数などを求めることは組合せ論 に属する問題である。有限ベクトル空間上の線型代数学は有限体の分類に有効な道具立てを与える。線型符号 には有限ベクトル空間の概念が応用されている。
準備 E は体 𝕂 上のベクトル空間とする。E ≠ {0} ならば、𝕂 は適当な u ∈ E の生成する (一次元部分空間 )(フランス語版) 𝕂u に等濃 である—これらの間の全単射は 𝕂 に属する各スカラー k を u の左スカラー k -倍 ku に写す写像で与えられる。ゆえに E が有限ならば 𝕂 も有限であり、また含むベクトルの数が有限となるには E は 𝕂 上有限次元でなければならない。
逆に、E が有限体 𝕂 上有限 n -次元 ならば、E は数ベクトル空間 𝕂n に同型 であり、その濃度は
| E | = | K | n {\displaystyle |E|=|\mathbb {K} |^{n}} と評価できる[1] 。
有限ベクトル空間の基底 「(一般線型群#有限一般線型群の位数 )」も参照
𝕂 を q -元体(元の数が q の有限体 )とし E が 𝕂 上 n -次元とすれば、E の非零ベクトルはちょうど qn – 1 個ある。E の基底 —n 個の線型独立 なベクトルからなる族 —は、以下のような手順の有限回の繰り返しで構成することができる:
基底ベクトルの候補の選び方 選び方の数 第一の基底ベクトルとして、零ベクトル でない任意のベクトル v 1 を選ぶ qn – 1 通り 第二の基底ベクトルとして v 1 と共線 でない任意のベクトル v 2 を選ぶ qn – q 通り 第三の基底ベクトルとして v 1 , v 2 の張る 平面上に ない任意のベクトル v 3 を選ぶ qn – q 2 通り 以下同様に…… ⋮ 最後の基底ベクトルとして v 1 , v 2 , …, v n –1 の張る超平面 上にない任意のベクトル vn を選ぶ qn – q n –1 通り
ゆえに E の基底の総数は
( q n − 1 ) ( q n − q ) ( q n − q 2 ) ⋯ ( q n − q n − 1 ) {\displaystyle (q^{n}-1)(q^{n}-q)(q^{n}-q^{2})\dotsb (q^{n}-q^{n-1})} となる。同じ理由で、k 個の線型独立なベクトルからなる族の総数が ( q n − 1 ) ( q n − q ) ( q n − q 2 ) ⋯ ( q n − q k − 1 ) {\displaystyle (q^{n}-1)(q^{n}-q)(q^{n}-q^{2})\dotsb (q^{n}-q^{k-1})} で求まることもわかる。このような族は E の k -次元部分空間を生成し、また任意の k -次元部分空間がこれらの族から生成されることが言えるが、ひとつの k -次元部分空間はその基底のとり方の分だけ重複して数えられることに注意する。よって、羊飼いの補題 により E の k -次元部分空間の総数は(ガウスの二項係数 ) ( n k ) q = ( q n − 1 ) ( q n − q ) ( q n − q 2 ) ⋯ ( q n − q k − 1 ) ( q k − 1 ) ( q k − q ) ( q k − q 2 ) ⋯ ( q k − q k − 1 ) {\displaystyle {\binom {n}{k}}_{\!q}={\frac {(q^{n}-1)(q^{n}-q)(q^{n}-q^{2})\dotsb (q^{n}-q^{k-1})}{(q^{k}-1)(q^{k}-q)(q^{k}-q^{2})\dotsb (q^{k}-q^{k-1})}}} で与えられる。
脚注 [脚注の使い方 ]
注釈 ^ 無限体を含めた任意の体上で零ベクトル空間 {0} は、濃度が 1 であり、また空集合 ∅ で生成される零次元ベクトル空間と見なせるが、ふつうはこれは除外して考える。 出典 ^ dimension formulae for vector spaces §Cardinality of a vector space - PlanetMath .(英語)
関連項目
外部リンク (Cardinality of Finite Vector Space ) at ProofWiki ウィキペディア、ウィキ、本、library、論文、読んだ、ダウンロード、自由、無料ダウンロード、mp3、video、mp4、3gp、 jpg、jpeg、gif、png、画像、音楽、歌、映画、本、ゲーム、ゲーム。