列れつベクトルcolumn vectorの独立性どくりつせいと階数かいすうrankへの橋渡はしわたし

date2026-07-14document_iddoc_89aec023d343d7e3e5ebe5794315ae5bdescription列ベクトルの一次独立性を具体計算で判定し、pivot・列空間・階数へ接続する講義である。prerequisites線型結合と張る空間の基本 / 行基本変形の基本 / 階段形と簡約階段形type講義content_typelecturestatusactive

mathlinear-algebraundergraduatelecture

1導入どうにゅう

この講義こうぎで重要じゅうようなのは、列れつベクトルcolumn vectorの一次独立性いちじどくりつせいは、行列ぎょうれつmatrixの pivot と階数かいすうrankへ直結ちょっけつするということである。

階数かいすうrankを非零成分ひぜろせいぶんの個数こすうと誤解ごかいすると、行列ぎょうれつmatrixが保持ほじする情報量じょうほうりょうを把握はあくできない。列れつベクトルcolumn vectorの独立どくりつindependentな方向ほうこうの本数ほんすうが階数かいすうrankである。

2用語ようごと定義ていぎ

ベクトル $v_{1}, [PARSE ERROR: Undefined("Command(\"dots\")")], v_{k}$ が一次独立いちじどくりつLinearly independentであるとは、

c_{1} v_{1} + \dots + c_{k} v_{k} = 0

から

c_{1} = \dots = c_{k} = 0

が従したがうことである。

階数かいすうRank は、独立どくりつindependentな列れつベクトルcolumn vectorの最大本数さいだいほんすうである。

3方針ほうしん

列れつベクトルcolumn vectorを並ならべて行列ぎょうれつmatrixを作つくり、掃はき出だしで pivot 列れつcolumnを確認かくにんする。pivot 列れつcolumnに対応たいおうする元もとの列れつベクトルcolumn vectorが、列空間れつくうかんcolumn spaceの基底きていbasisを与あたえる。

data/lecture/math/vector/row-and-column-vectors.lecture.n.md data/lecture/math/linear-algebra/row-echelon-and-reduced-row-echelon-forms.lecture.n.md

4直感的ちょっかんてきな説明せつめい

2 本ほんの列れつベクトルcolumn vectorが同おなじ方向ほうこうを向むいていれば、一方いっぽうは他方たほうの定数倍ていすうばいであり、新あたらしい方向ほうこうを追加ついかしない。階数かいすうrankは、このような重複ちょうふくを除のぞいた本質的ほんしつてきな方向ほうこうの数かずである。

5厳密げんみつな説明せつめい

$a_{1}, [PARSE ERROR: Undefined("Command(\"dots\")")], a_{n}$ を行列ぎょうれつmatrix $A$ の列れつベクトルcolumn vectorとする。一次関係いちじかんけい

c_{1} a_{1} + \dots + c_{n} a_{n} = 0

は

A c = 0

と同値どうちequivalentである。したがって、列れつベクトルcolumn vectorの一次独立性いちじどくりつせいは同次方程式どうじほうていしき $A c = 0$ の解かいを調査ちょうさすることで判定はんていできる。

行基本変形ぎょうきほんへんけいelementary row operationをしても、この同次方程式どうじほうていしきの解集合かいしゅうごうは変かわらない。実際じっさい、行基本変形ぎょうきほんへんけいelementary row operationは左ひだりから可逆行列かぎゃくぎょうれつinvertible matrix $E$ を掛かける操作そうさoperationなので、 $E A c = 0$ なら $A c = E^{- 1} 0 = 0$ であり、逆ぎゃくも成立せいりつする。

ここで保存ほぞんされるのは、列れつcolumnどうしの一次関係いちじかんけいである。一方いっぽう、行基本変形ぎょうきほんへんけいelementary row operationは列れつベクトルcolumn vectorそのものを $E a_{i}$ に移うつすため、列空間れつくうかんcolumn spaceそのものは一般いっぱんには変かわる。したがって階段形かいだんけいrow echelon formで見みつけた pivot 列れつcolumnは、「変形後へんけいごの列れつcolumnそのもの」ではなく、「元もとの行列ぎょうれつmatrixの同おなじ位置いちの列れつcolumn」へ戻もどして読よむ必要ひつようがある。

6行基本変形ぎょうきほんへんけいと pivot 列れつcolumn

行基本変形ぎょうきほんへんけいelementary row operationは $A c = 0$ の解集合かいしゅうごうを保存ほぞんする。代数的だいすうてきには、行基本変形ぎょうきほんへんけいは左ひだりから可逆行列かぎゃくぎょうれつinvertible matrix $E$ を掛かけることなので、

E A c = 0 ⟺ A c = 0

である。ただし、見みえている列れつcolumnは $a_{i}$ から $E a_{i}$ に変かわる。したがって、階段形かいだんけいrow echelon formで見みつけた pivot 列れつcolumnは、変形後へんけいごの列れつcolumnそのものではなく、元もとの行列ぎょうれつmatrixの同おなじ位置いちの列れつcolumnとして読よみ戻もどす。

7具体例ぐたいれい

a_{1} = (\begin{matrix} 1 \\ 0 \\ 1 \end{matrix}), a_{2} = (\begin{matrix} 0 \\ 1 \\ 1 \end{matrix}), a_{3} = (\begin{matrix} 1 \\ 1 \\ 2 \end{matrix})

とする。ここで

a_{3} = a_{1} + a_{2}

であるため、3 本ぼんは一次従属いちじじゅうぞくlinear dependenceである。独立どくりつindependentな方向ほうこうは $a_{1}, a_{2}$ の 2 本ほんで十分じゅうぶんであり、階数かいすうrankは 2 である。

8定理ていり・証明しょうめいの要点ようてん

元もとの行列ぎょうれつmatrixの pivot 列れつcolumnは、列空間れつくうかんcolumn spaceの基底きていbasisを作つくる。張はることは、pivot でない列れつcolumnが階段形かいだんけいrow echelon formで検出けんしゅつされる一次関係いちじかんけいにより pivot 列れつcolumnの線型結合せんけいけつごうlinear combinationとして表あらわせることから分わかる。一次独立いちじどくりつであることは、pivot 列れつcolumnだけに非自明ひじめいな一次関係いちじかんけいがあれば、対応たいおうする同次方程式どうじほうていしきに非零解ひぜろかいが生しょうじ、pivot の位置いちに反はんすることから従したがう。

9よくある誤解ごかい

階数かいすうrankは非零成分ひぜろせいぶんの個数こすうではない。独立どくりつindependentな列れつcolumnの本数ほんすうである。
掃はき出だし後ごの列れつcolumnそのものが元もとの列空間れつくうかんcolumn spaceを表あらわすとは限かぎらない。pivot 列れつcolumnの位置いちを元もとの行列ぎょうれつmatrixへ戻もどして確認かくにんする。
列れつcolumnが多おおいほど階数かいすうrankが大おおきいとは限かぎらない。従属じゅうぞくdependentな列れつcolumnは新あたらしい方向ほうこうを追加ついかしない。

10どこまで成立せいりつするか

列れつベクトルcolumn vectorの独立性どくりつせいは有限次元ゆうげんじげんの階数かいすうrankの基礎きそである。抽象ちゅうしょうベクトル空間くうかんでは列れつcolumnとして並ならべるとは限かぎらないが、線型結合せんけいけつごうlinear combinationによる一次独立いちじどくりつlinear independenceの定義ていぎはそのまま成立せいりつする。

11最終形さいしゅうけい

[PARSE ERROR: Undefined("Command(\"boxed\")")] c_{1} a_{1} + \dots + c_{n} a_{n} = 0 ⟺ A c = 0

[PARSE ERROR: Undefined("Command(\"boxed\")")] rank (A) = 独立な列の最大本数

12演習えんしゅうリンク

data/exercise/math/linear-algebra/vector-spaces-bases-and-rank.exercise.n.md