• 検索結果がありません。

7 基底・次元 - 東京理科大学

N/A
N/A
Protected

Academic year: 2024

シェア "7 基底・次元 - 東京理科大学"

Copied!
4
0
0

読み込み中.... (全文を見る)

全文

(1)

7 . 基底・次元

科目: 線形代数学IB及び演習(1‐1組)

担当: 相木

K-ベクトル空間の基底と次元について解説する.そのために少し準備をする.

ベクトルの張る空間

VK-ベクトル空間とし,a1,a2, . . . ,am V とする.これらm個のベクトルの一 次結合で表されるベクトル全体の集合をL(a1,a2, . . . ,am)で表す.つまり

L(a1,a2, . . . ,am) = {c1a1+c2a2+· · ·+cmam | c1, c2, . . . , cm ∈K}

である.L(a1,a2, . . . ,am)を{a1,a2, . . . ,am}の張る空間,あるいは{a1,a2, . . . ,am} によって生成される空間という.L(a1,a2, . . . ,am)のことをSpan{a1,a2, . . . ,am} と 書く書物もある.

L(a1,a2, . . . ,am)はV の部分ベクトル空間である.

{a1,a2, . . . ,am}L(a1,a2, . . . ,am)の生成系という.

生成系の取り換え

VK-ベクトル空間とし,a1,a2, . . . ,am ∈V とする.b1, . . . ,br ∈L(a1,a2, . . . ,am)

(ただし,r≤m)が一次独立であるとき,

∃ir+1, . . . , im s.t.L(a1,a2, . . . ,am) =L(b1, . . . ,br,air+1, . . . ,aim) が成り立つ.

1

(2)

基底・次元

K-ベクトル空間の基底および次元

VK-ベクトル空間とし,a1,a2, . . . ,an V とする.以下の2つが成り立つとき,

{a1,a2, . . . ,an}V の基底という.

(i) a1,a2, . . . ,an は一次独立 (ii) V =L(a1,a2, . . . ,an)

このとき,V は有限次元ベクトル空間であるといい,nV の次元という.V の次元 がnであることを

dimKV =n

と表す.

また,有限次元でないベクトル空間V は無限次元ベクトル空間であるといい,このこ とを

dimKV = と表す.

K-ベクトル空間V に対して基底は1つとは限らない(むしろ一般にはたくさん存在する).

しかし,V の次元は基底の選び方によらずに定まる値である.

注意:同じ集合V でもスカラーを変えればベクトル空間として別なものであるので,次    元は変わり得る.つまり,K1, K2をスカラーとし,VK1-ベクトル空間であり,

   かつK2-ベクトル空間であったとする.このとき,dimK1V とdimK2V は一般には    等しくない.

例えば,複素数全体CR-ベクトル空間であるし,C-ベクトル空間でもあり,dimRC̸= dimCCである(演習問題).このような事情からV の次元を表すためにdimKV のよう にスカラーKが何であるか分かるような記号を用いている.

2

(3)

予約制問題

(7-1) VK-ベクトル空間とし,a1, . . . ,am V とする.このとき,L(a1, . . . ,am)は    V の部分空間であることを示せ.

(7-2) VK-ベクトル空間とし,a1, . . . ,am V とする.また,c∈ K, c ̸= 0のとき,

   以下を示せ.

L(a1, . . . ,ai, . . . ,am) =L(a1, . . . , cai, . . . ,am)

(7-3) VK-ベクトル空間とし,a1, . . . ,an ∈V は一次独立であるとする.b1, . . . ,bm ∈V    に対して

L(a1, . . . ,an) =L(b1, . . . ,bm)    が成り立つとき,n≤mであることを示せ.

(7-4) R-ベクトル空間M2×2(R)の基底を1つ求めよ.

早いもの勝ち制問題

(7-5) VK-ベクトル空間とし,x,a1, . . .an ∈V とする.x∈L(a1, . . . ,an)ならば 

   x,a1, . . .anは一次従属であることを示せ.

(7-6) VK-ベクトル空間とし,x,a1, . . .an ∈V とする.x̸∈L(a1, . . . ,an)ならば 

   x,a1, . . .anは一次独立であることを示せ.

(7-7) VK-ベクトル空間とし,a1, . . . ,an,b1, . . . ,bm ∈V とする.

∀i∈ {1,2, . . . , m}, bi ∈L(a1, . . . ,an)

   が成り立つとき,L(b1, . . . ,bm)はL(a1, . . . ,an)の部分ベクトル空間であることを    示せ.

裏面に続く

3

(4)

(7-8) VK-ベクトル空間とし,a1, . . . ,am ∈V とする.また,c∈K, c̸= 0のとき,

   以下を示せ.

L(a1, . . . ,ai, . . . ,aj, . . . ,am) =L(a1, . . . ,ai+caj, . . . ,aj, . . . ,am)

(7-9) (7-3)の結果を用いてK-ベクトル空間の次元は基底によらず,一定であることを     示せ.

(7-10) R-ベクトル空間CC-ベクトル空間Cは次元が違うことを示せ.

4

参照

関連したドキュメント

結晶学からみた4次元体の3次元体への投影(満塩・新関)

本講演では双曲空間の外側も含めた幾何学を展開するために n 次元ミンコフスキー空間内の擬球面幾

 一般に,グラフの高次元的た形を問うために,m次元ユークリッド空間

ベクトル空間の基底と次元

基本近傍系 X,Oを位相空間,x ∈ Xに対してVxをxの近傍系とする.Vxの部分集合 V∗xが ∀V ∈Vx, ∃U ⊂V s.t.U ∈V∗x を満たすとき,V∗xはxの基本近傍系であるという. 位相空間X,Oとx∈Xに対してxの基本近傍系は1つとは限らないことに注意(演習 問題参照).

ある(つまり,x,y∈R2に対して一般にはd2x,y̸=d2∞x,yである). したがって,距離空間の議論をする際には,台集合と共に距離関数を明確にする必要 がある. 距離空間S, dが与えられたとき,M ⊂Sに対して,自然とMに距離関数を定義し, 距離空間を作ることができる. 部分距離空間 S, dを距離空間とし,M ⊂Sとする.M ×M上の関数dM

このとき,αを数列{an}∞n=1の極限値といい, nlim→∞an =α と書く. この定義を少し噛み砕いて考えてみよう.ここでも第1回のプリントで解説した論理記号 の順番に注意する必要がある. • まず「∀ε >0」とあるので任意の正の実数ε をとる. • 次に「∃Nε∈N」と続くので,最初に選んだεに応じて自然数Nε が存在し, • 最後に「∀n

位相のいろいろ 11月5日 担当:戸松 玲治 1 位相について 1.1 位相構造 位相空間というのは,集合に位相構造開集合系の公理をみたす部分集合の集まりのことをセット したものである: 位相空間X,O = 集合Xと位相構造O.. 位相空間と 言ったときは,