markdown
ベクトル空間・基底・階数-基本演習md da2d1dc
exercise/math/linear-algebra/vector-spaces-bases-and-rank.exercise.n.md

ベクトル空間くうかん・基底きていbasis・階数かいすうrank-基本演習きほんえんしゅう

date2026-07-14document_iddoc_b66803ba7bbf909352194a74a7c43cbbdescription部分空間、基底、座標、線型写像の像と核、階数・退化次数の関係を確認する基本演習である。prerequisitesベクトル空間と基底 / 線型写像と行列 / 階数の基本type問題演習content_typeexercisestatusactiverelateddata/lecture/math/linear-algebra/vector-spaces-and-bases.lecture.n.md / data/lecture/math/linear-algebra/linear-maps-and-matrices.lecture.n.md / data/lecture/math/linear-algebra/rank-basics.lecture.n.md / data/lecture/math/linear-algebra/linear-combinations-and-spans.lecture.n.md / data/lecture/math/linear-algebra/column-independence-and-rank.lecture.n.md
mathlinear-algebraexercisebasisrankkernel
data/lecture/math/linear-algebra/vector-spaces-and-bases.lecture.n.md data/lecture/math/linear-algebra/linear-maps-and-matrices.lecture.n.md data/lecture/math/linear-algebra/rank-basics.lecture.n.md

1演習えんしゅう方針ほうしん

基底きていbasisは、空間くうかんの点てんを座標ざひょうで一意いちいに表あらわすための物差ものさしである。階数かいすうrankは、線型写像せんけいしゃぞうlinear mapで潰つぶれずに出力側しゅつりょくがわへ残のこる次元じげんdimensionである。この演習えんしゅうでは、定義ていぎ、計算けいさん、幾何的きかてきな読よみを対応たいおうさせる。

基底きていbasisと階数かいすうrankの問題もんだいでは、まず「生成せいせいすること」と「一次独立いちじどくりつlinear independenceであること」を分わけて確認かくにんする。ベクトルの本数ほんすうが次元じげんと合あっていることは、周囲しゅういの空間くうかんの次元じげんdimensionと片方かたほうの条件じょうけんが分わかってから使つかう。行基本変形ぎょうきほんへんけいは、ピボットpivot、自由変数じゆうへんすうfree variable、階数かいすうrankを同時どうじに読よめる共通きょうつうの道具どうぐである。

階数かいすうrank、退化次数たいかじすうnullity、部分空間ぶぶんくうかんsubspaceの基底きていbasisを求もとめるときは、ベクトルがどの空間くうかんに住すんでいるかを追跡ついせきする。元もとの行列ぎょうれつmatrixの主成分列しゅせいぶんれつpivot columnは列空間れつくうかんcolumn spaceの基底きていbasisを与あたえ、階段形かいだんけいの非零行ひれいぎょうは行空間ぎょうくうかんrow spaceの基底きていbasisを与あたえ、自由変数じゆうへんすうfree variableを含ふくむ解かいは核かくkernelの基底きていbasisを与あたえる。これらは階数かいすう・退化次数たいかじすうの関係かんけいで結むすばれるが、同おなじベクトルの一覧いちらんではない。


2問題もんだい 1

W={(xyz)∈R3∣x+y+z=0}

が R3 の部分空間ぶぶんくうかんsubspaceであることを確認かくにんせよ。

2.1解答例かいとうれい

0+0+0=0 なので零れいベクトルを含ふくむ。u,v∈W なら、u の成分和せいぶんわも v の成分和せいぶんわも 0 なので、u+v の成分和せいぶんわも 0 である。また c∈R に対たいして、cu の成分和せいぶんわは c·0=0 である。したがって部分空間ぶぶんくうかんsubspaceである。

2.2解説かいせつ

部分空間ぶぶんくうかんsubspaceの確認かくにんでは、零れいベクトル、和わ、スカラー倍ばいの 3 点てんを見みる。零れいベクトルを含ふくまない集合しゅうごうsetは、その時点じてんで部分空間ぶぶんくうかんsubspaceではない。この問題もんだいは、特殊とくしゅケースの確認かくにんを先さきに行おこなう練習れんしゅうである。


3問題もんだい 2

b1=(110),b2=(101)

が、問題もんだい 1 の W の基底きていbasisではないことを説明せつめいせよ。

3.1解答例かいとうれい

b1 は 1+1+0=2 なので W に属ぞくさない。したがって、b1,b2 は W の基底きていbasisではない。

3.2解説かいせつ

基底きていbasisであるためには、まずそのベクトルが対象たいしょうの空間くうかんに属ぞくしていなければならない。一次独立いちじどくりつlinear independenceや生成せいせいを調しらべる前まえに、所属しょぞくを確認かくにんする。この順序じゅんじょを守まもると、論理ろんりの飛躍ひやくを避さけられる。


4問題もんだい 3

u1=(1-10),u2=(10-1)

が問題もんだい 1 の W の基底きていbasisであることを示しめし、

w=(3-1-2)

のこの基底きていbasisに関かんする座標ざひょうを求もとめよ。

4.1解答例かいとうれい

u1,u2 はどちらも成分和せいぶんわが 0 なので W に属ぞくする。au1+bu2=0 とすると、

(a+b-a-b)=0

より a=0、b=0 なので一次独立いちじどくりつlinear independenceである。任意にんいの W の元げんは (x,y,z)T で x+y+z=0 を満みたすから、x=-y-z であり、

(xyz)=(-y)u1+(-z)u2

と表あらわせる。よって基底きていbasisである。

w=au1+bu2 とおくと -a=-1、-b=-2 なので a=1、b=2 である。したがって座標ざひょうは

(12)

である。

4.2解説かいせつ

基底きていbasisの確認かくにんは、所属しょぞく、一次独立いちじどくりつlinear independence、生成せいせいの順じゅんに進すすめると行間ぎょうかんが小ちいさくなる。座標ざひょうは「どの基底きていbasisをどれだけ混まぜるか」を表あらわす係数けいすうcoefficientであり、基底きていbasisが変かわれば同おなじベクトルでも座標ざひょうは変かわる。


5問題もんだい 4

A=(120011)

が表あらわす線型写像せんけいしゃぞうlinear map T:R3→R2 について、rankA と kerT の次元じげんdimensionを求もとめよ。

5.1解答例かいとうれい

2 行ぎょうrowは一次独立いちじどくりつlinear independenceで、pivot は 2 個こあるので

rankA=2

である。階数かいすうrank-退化次数たいかじすうnullityの関係かんけいより、

dimkerT=3-2=1

である。

5.2解説かいせつ

T は 3 次元じげんdimensionの入力にゅうりょくを 2 次元じげんdimensionの出力しゅつりょくへ送おくる。階数かいすうrankは出力側しゅつりょくがわに残のこる独立どくりつindependentな方向ほうこうの数かずである。入力にゅうりょくの 3 次元じげんdimensionのうち 2 次元じげんdimensionが像ぞうimageに反映はんえいされ、1 次元じげんdimensionが零れいへ潰つぶれる。この解釈かいしゃくが dimkerT=1 である。


6問題もんだい 5

線型写像せんけいしゃぞうlinear map T:R2→R2 が可逆かぎゃくinvertibleであることと、kerT={0} であることの関係かんけいを、有限次元ゆうげんじげんの同次元どうじげんの場合ばあいに限かぎって説明せつめいせよ。

6.1解答例かいとうれい

kerT={0} なら入力にゅうりょくの違ちがいが零れいへ潰つぶれないので、T は単射たんしゃである。R2 から R2 への線型写像せんけいしゃぞうlinear mapでは、単射たんしゃなら全射ぜんしゃでもある。したがって可逆かぎゃくinvertibleである。逆ぎゃくに可逆かぎゃくinvertibleなら T(x)=0 から x=T-1(0)=0 が従したがうので、kerT={0} である。

6.2解説かいせつ

ここでは同次元どうじげんであることが重要じゅうようである。異ことなる次元じげんdimensionでは、単射たんしゃと全射ぜんしゃが同値どうちequivalentになるとは限かぎらない。条件じょうけんを明示めいじしてから性質せいしつを使つかうことで、証明しょうめいの射程しゃていが明確めいかくになる。


7補充問題ほじゅうもんだい:列れつベクトルcolumn vectorと階数かいすうrank

7.1問題もんだい 6

(1,0)T,(2,0)T が一次独立いちじどくりつlinear independenceか判定はんていせよ。

7.2解答例かいとうれい

(2,0)T=2(1,0)T なので一次従属いちじじゅうぞくlinear dependenceである。

この問題もんだいは、2 本ほんのベクトルが同おなじ方向ほうこうなら新あたらしい方向ほうこうを増ふやさないことを確認かくにんする。

7.3問題もんだい 7

(1,0)T,(0,1)T,(1,1)T の階数かいすうrankを答こたえよ。

7.4解答例かいとうれい

(1,0)T,(0,1)T は一次独立いちじどくりつlinear independenceで、(1,1)T=(1,0)T+(0,1)T である。したがって階数かいすうrankは 2 である。

この問題もんだいは、階数かいすうrankがベクトルの本数ほんすうではなく、独立どくりつindependentな方向ほうこうの最大本数さいだいほんすうであることを確認かくにんする。

7.5問題もんだい 8

列れつベクトルcolumn vectorの一次関係いちじかんけいが Ac=0 と書かける理由りゆうを説明せつめいせよ。

7.6解答例かいとうれい

A=[a1⋯an]、c=(c1,[PARSE ERROR: Undefined("Command(\"dots\")")],cn)T とすると、Ac=c1a1+⋯+cnan である。したがって列れつcolumnの一次関係いちじかんけい c1a1+⋯+cnan=0 は Ac=0 と同値どうちequivalentである。

この問題もんだいは、行列積ぎょうれつせきを列れつベクトルcolumn vectorの線型結合せんけいけつごうlinear combinationとして読よむことを確認かくにんする。


7.7問題もんだい 9

R3 の部分集合ぶぶんしゅうごう

W1={(x,y,z)T∣x+y+z=1}
W2={(x,y,z)T∣x+y+z=0}
W3={(x,y,z)T∣x[PARSE ERROR: Undefined("Command(\"ge\")")]0}

について、部分空間ぶぶんくうかんsubspaceであるかを判定はんていし、失敗しっぱいする場合ばあいはどの条件じょうけんが壊こわれるかを述のべよ。

7.8解答例かいとうれい

W1 は零れいベクトルを含ふくまないので部分空間ぶぶんくうかんsubspaceではない。W2 は零れいベクトルを含ふくみ、和わとスカラー倍ばいで閉とじているので部分空間ぶぶんくうかんsubspaceである。W3 は零れいベクトルを含ふくむが、(1,0,0)T∈W3 に対たいして -(1,0,0)T=(-1,0,0)T∉W3 なので、スカラー倍ばいで閉とじていない。

この問題もんだいは、部分空間ぶぶんくうかんsubspaceの判定はんていでは「零れいベクトル」「和わ」「スカラー倍ばい」を分わけて確認かくにんする必要ひつようがあることを確認かくにんする。

7.9問題もんだい 10

A=(121242110)

を行基本変形ぎょうきほんへんけいelementary row operationで階段形かいだんけいrow echelon formにし、rankA、列空間れつくうかんcolumn spaceの基底きていbasis、kerA の次元じげんdimensionを求もとめよ。

7.10解答例かいとうれい

(121242110)→(1210000-1-1)→(1210-1-1000)

である。ピボットpivotは第だい 1 列れつcolumnと第だい 2 列れつcolumnにあるので、rankA=2 である。列空間れつくうかんcolumn spaceの基底きていbasisとして、元もとの行列ぎょうれつmatrixの第だい 1 列れつcolumnと第だい 2 列れつcolumn

(121),(241)

を取とれる。また未知数みちすうunknownは 3 個こなので、階数かいすうrank-退化次数たいかじすうnullity定理ていりより

dimkerA=3-2=1

である。

この問題もんだいは、行基本変形ぎょうきほんへんけいelementary row operationで階数かいすうrankを求もとめたあと、主成分列しゅせいぶんれつpivot columnを元もとの行列ぎょうれつmatrixへ戻もどして列空間れつくうかんcolumn spaceの基底きていbasisを読よむ練習れんしゅうである。

7.11問題もんだい 11

C を C 上じょうのベクトル空間くうかんとして見みる場合ばあいと、R 上じょうのベクトル空間くうかんとして見みる場合ばあいで、基底きていbasisと次元じげんdimensionがどう変かわるかを説明せつめいせよ。

7.12解答例かいとうれい

C 上じょうでは、1 だけで任意にんいの z∈C を z·1 と表あらわせるので、基底きていbasisは {1}、次元じげんdimensionは 1 である。

R 上じょうでは、任意にんいの z=a+bi を a·1+b·i と表あらわすので、基底きていbasisは {1,i}、次元じげんdimensionは 2 である。

この問題もんだいは、基底きていbasisと次元じげんdimensionが集合しゅうごうsetだけで決きまるのではなく、どの体たいをスカラーとして使つかうかにも依存いぞんすることを確認かくにんしている。


7.13問題もんだい 12

v=(31)

を、標準基底ひょうじゅんきていstandard basis E=(e1,e2) と

B=((11),(1-1))

のそれぞれで座標表示ざひょうひょうじせよ。変かわるものと変かわらないものも述のべよ。

7.14解答例かいとうれい

標準基底ひょうじゅんきていstandard basisでは

[v]E=(31)

である。v=a(1,1)T+b(1,-1)T とおくと

a+b=3,a-b=1

なので a=2,b=1 である。したがって

[v]B=(21)

である。ベクトル v そのものは変かわらないが、基底きていbasisを変かえると座標ざひょうは変かわる。

この問題もんだいは、基底きていbasisが「ベクトルを測はかる物差ものさし」であることを確認かくにんする。対象たいしょうのベクトルは同おなじでも、物差ものさしが変かわれば座標表示ざひょうひょうじは変かわる。

7.15問題もんだい 13

02×3 を R3→R2 の零写像れいしゃぞうzero mapの行列ぎょうれつmatrixと見みる。rank02×3、列空間れつくうかんcolumn space、ker02×3 の次元じげんdimensionを求もとめ、階数かいすうrank-退化次数たいかじすうnullity定理ていりを確認かくにんせよ。

7.16解答例かいとうれい

すべての列れつcolumnが零れいベクトルなので、

rank02×3=0

である。列空間れつくうかんcolumn spaceは {0}⊂R2 である。また任意にんいの x∈R3 に対たいして 02×3x=0 なので、

ker02×3=R3,dimker02×3=3

である。したがって

rank02×3+dimker02×3=0+3=3

となり、入力空間にゅうりょくくうかんinput spaceの次元じげんdimensionと一致いっちする。

この問題もんだいは、階数かいすうrankの境界例きょうかいれいである。零写像れいしゃぞうzero mapは出力側しゅつりょくがわに何なにも残のこさず、入力にゅうりょくの全体ぜんたいを核かくkernelへ送おくる。

7.17問題もんだい 14

A=(101011112)=[a1a2a3]

について、Ac=0 を解とき、列れつベクトルcolumn vectorの一次関係いちじかんけいを読よみ取とれ。また、列空間れつくうかんcolumn spaceの基底きていbasisを 1 つ選えらべ。

7.18解答例かいとうれい

a3=a1+a2 なので、

a1+a2-a3=0

である。したがって

c=t(11-1)(t∈R)

が Ac=0 の解かいである。非自明解ひじめいかいがあるので、列れつベクトルcolumn vectorは一次従属いちじじゅうぞくlinear dependenceである。列空間れつくうかんcolumn spaceの基底きていbasisとして a1,a2 を取とれる。

この問題もんだいは、Ac=0 が列れつベクトルcolumn vectorの一次関係いちじかんけいを表あらわすことを具体的ぐたいてきに確認かくにんする。非自明ひじめいな c が見みつかることは、列れつcolumnの中なかに余分よぶんな方向ほうこうがあることを意味いみする。


7.19問題もんだい 15

A=(1122)

について、b1=(3,6)T と b2=(3,7)T のそれぞれに対たいして、Ax=b の解かいsolutionの有無うむを rankA と rank(A∣b) の比較ひかくで判定はんていせよ。

7.20解答例かいとうれい

A の第だい 2 行ぎょうrowは第だい 1 行ぎょうrowの 2 倍ばいなので、

rankA=1

である。b1=(3,6)T では右辺うへんright-hand sideも同おなじ 2 倍ばいの関係かんけいを満みたすので、

rank(A∣b1)=1

である。したがって rankA=rank(A∣b1) であり、解かいsolutionは存在そんざいする。ただし未知数みちすうunknownは 2 個こで階数かいすうrankは 1 なので、自由変数じゆうへんすうfree variableが 1 個こあり、解かいsolutionは無限むげんに存在そんざいする。

b2=(3,7)T では右辺うへんright-hand sideが 2 倍ばいの関係かんけいを満みたさない。実際じっさい、

\left( \begin{array}{cc|c} 1&1&3\\ 2&2&7 \end{array} \right) \to \left( \begin{array}{cc|c} 1&1&3\\ 0&0&1 \end{array} \right)

となり、矛盾行むじゅんぎょうcontradictory rowが現あらわれる。したがって

rank(A∣b2)=2

であり、rankA≠rank(A∣b2) なので解かいsolutionは存在そんざいしない。

7.21解説かいせつ

この問題もんだいは、階数かいすうrankを単たんに列れつcolumnの独立性どくりつせいの数かずとして求もとめるだけでなく、連立一次方程式れんりついちじほうていしきsystem of linear equationsの解かいの分類ぶんるいに使つかう練習れんしゅうである。係数行列けいすうぎょうれつcoefficient matrixと拡大係数行列かくだいけいすうぎょうれつaugmented matrixの階数かいすうrankが一致いっちするかが存在そんざいを決きめ、さらに階数かいすうrankが未知数みちすうunknownの個数こすうに等ひとしいかが一意性いちいせいを決きめる。


9証明しょうめい演習えんしゅう:基底きてい座標ざひょうの一意性いちいせいと階数かいすう・退化次数たいかじすう

9.1問題もんだい

B=(v1,…,vn) が基底きていなら、座標表示ざひょうひょうじが一意いちいであることを証明しょうめいせよ。また、有限次元ゆうげんじげんの線型写像せんけいしゃぞう T:V→W について

dimV=dimkerT+dimImT

が成立せいりつする理由りゆうを説明せつめいせよ。

9.2解答かいとう

もし v=∑xivi=∑yivi と二通ふたとおりに書かけるなら、

0=∑(xi-yi)vi

である。vi は線型独立せんけいどくりつなので、すべての xi-yi=0 である。よって xi=yi である。

階数かいすう・退化次数たいかじすうの定理ていりでは、kerT の基底きていを V の基底きていへ拡張かくちょうする。追加ついかした基底きていベクトルvectorの行いき先さきが ImT の基底きていになるので、次元じげんが核かくの分ぶんと像ぞうの分ぶんに分わかれる。

9.3解説かいせつ

基底きていは座標ざひょうを一意いちいにする。階数かいすう・退化次数たいかじすうの定理ていりは、その座標ざひょうを「潰つぶれる方向ほうこう」と「残のこる方向ほうこう」へ分わける定理ていりである。

raw .n.md をコピー
loc をコピー (filepath:line ~ line)
copy share link
copy encoded share link
path をコピー
copy share link
copy encoded share link
copy share link
copy encoded share link
タブを全て閉じる