ベクトル空間vector spaceと基底きていbasis

date2026-07-14document_iddoc_77e3ed64a7a767a25cf258db5e87bd86descriptionベクトル空間と基底を、体上の公理、生成、一次独立、一意表示の関係から整理し、座標表示が成立する理由を説明する講義である。prerequisitesベクトルの線型結合 / 連立一次方程式の基本type講義content_typelecturestatusactive

mathlinear-algebraundergraduatelecture

1導入どうにゅう

ベクトル空間vector spaceは、矢印やじるしだけを扱うtermための概念がいねんではない。関数かんすう、多項式たこうしき、数列すうれつ、行列ぎょうれつも、足し算termとスカラー倍ばいが自然しぜんに定まりterm、必要ひつような規則きそくを満たせtermばベクトル空間くうかんとして扱えるterm。

この抽象ちゅうしょう化かの目的もくてきは、対象たいしょうの見た目termを捨てtermて、「足すterm」「定数ていすう倍するterm」「線型せんけい結合けつごうを作るterm」という構造こうぞうだけを残すtermことである。その構造こうぞうだけで、生成せいせいspan、一次独立いちじどくりつlinear independence、基底きていbasis、次元じげんdimensionが定義ていぎできる。

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

体たい $K$ 上うえのベクトル空間vector space $V$ とは、和わ $u + v$ とスカラー倍ばい $c v$ が定義ていぎされ、通常つうじょうの結合けつごう法則ほうそく、交換こうかん法則ほうそく、分配ぶんぱい法則ほうそく、零れいベクトルと逆ぎゃくベクトルの存在そんざいを満たすterm集合しゅうごうである。

有限ゆうげん個このベクトル $v_{1}, . . ., v_{n}$ に対しterm、

c_{1} v_{1} + \dots + c_{n} v_{n}

の形かたちのベクトルを線型結合せんけいけつごうlinear combinationという。すべての線型せんけい結合けつごうの集合しゅうごうを張る空間spanという。

$v_{1}, . . ., v_{n}$ が一次独立いちじどくりつlinear independenceであるとは、

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

から必ずterm

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

が導かtermれることである。 $V$ を張りterm、かつ一いち次じ独立どくりつであるベクトルの組くみを基底きていbasisという。

3方針ほうしん

基底きていを理解りかいするには、「足りるterm」と「余分よぶんがない」を分けるtermのがよい。

$v_{1}, . . ., v_{n}$ が $V$ を張るtermとは、どのベクトルもその材料ざいりょうで作れるtermという意味いみである。これは「足りるterm」という条件じょうけんである。一方いっぽう、一いち次じ独立どくりつとは、材料ざいりょうのどれも他たの材料ざいりょうから作れtermないという意味いみである。これは「余分よぶんがない」という条件じょうけんである。

基底きていbasisは、この2条件じょうけんを同時にterm満たすterm最小限さいしょうげんの座標軸ざひょうじくである。

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

4.11. 平面へいめんの例れい

$R^{2}$ では、

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

を使うtermと、任意にんいの

(\begin{matrix} x \\ y \end{matrix})

は

(\begin{matrix} x \\ y \end{matrix}) = x e_{1} + y e_{2}

と書けるterm。しかもこの係数けいすう $x, y$ は一意いちいである。これが座標ざひょうの意味いみである。

4.22. 基底きていは「測りterm方かた」を決めるterm

同じtermベクトルでも、基底きていを変えるtermと座標ざひょうは変わるterm。ベクトルそのものは空間くうかん内ないの対象たいしょうであり、座標ざひょうはその対象たいしょうを基底きていで測っtermた数かずの並びtermである。この区別くべつが、後ごの基底変換きていへんかんchange of basisと相似そうじsimilarityで重要じゅうようになる。

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

5.11. 基底きていによる座標ざひょう表示ひょうじ

$B = (v_{1}, . . ., v_{n})$ が $V$ の基底きていであるとき、任意にんいの $v i n V$ は一意いちいに

v = x_{1} v_{1} + \dots + x_{n} v_{n}

と書けるterm。この係数けいすう列れつを $v$ の $B$ に関するterm座標ざひょうcoordinatesという。

5.22. 一意いちい性せいの証明しょうめい

もし

v = x_{1} v_{1} + \dots + x_{n} v_{n} = y_{1} v_{1} + \dots + y_{n} v_{n}

なら、両辺りょうへんを引いtermて

0 = (x_{1} - y_{1}) v_{1} + \dots + (x_{n} - y_{n}) v_{n}

である。基底きていは一いち次じ独立どくりつなので、

x_{1} - y_{1} = \dots = x_{n} - y_{n} = 0

である。したがって $x_{i} = y_{i}$ がすべての $i$ で成立するterm。

ここでは引き算termだけを使っtermている。係数けいすうで割るterm操作そうさはしていないので、特定とくていの係数けいすうが非ひ零れいかどうかを確認かくにんする必要ひつようはない。

6例題れいだい：基底きていかどうかを判定はんていする

6.1問題もんだい

$R^{2}$ の2つのベクトル

v_{1} = (\begin{matrix} 1 \\ 2 \end{matrix}), v_{2} = (\begin{matrix} 3 \\ 4 \end{matrix})

が $R^{2}$ の基底きていであるか判定はんていせよ。

6.2解説かいせつ

2つのベクトルが $R^{2}$ の基底きていであることは、2つが一いち次じ独立どくりつであることと同値どうちである。係数けいすう $a, b$ について

a (\begin{matrix} 1 \\ 2 \end{matrix}) + b (\begin{matrix} 3 \\ 4 \end{matrix}) = (\begin{matrix} 0 \\ 0 \end{matrix})

を考えるterm。成分せいぶんで書くtermと、

a + 3 b = 0, 2 a + 4 b = 0

である。1本ほん目めから $a = - 3 b$ 、こを2本ほん目めに入れるtermとと

2 (- 3 b) + 4 b = - 2 b = 0

なので $b = 0$ 、したがっ $a = 0$ である。よって一いち次じ独立どくりつであり、 $R^{2}$ の基底きていである。。

この例題れいだいは、基底きてい判定はんていが「余分よぶんなベクトルがないか」を確認かくにんする作業さぎょうであることを示しtermている。後でterm行列ぎょうれつの列れつを調べるtermときも、同じterm考え方termで列れつベクトルの一いち次じ独立どくりつ性せいを判定はんていする。

7実数じっすうと複素数ふくそすうで変わるtermこと

同じterm集合しゅうごうでも、スカラーとして使うterm体からだが変わるtermと、ベクトル空間くうかんとしての意味いみが変わるterm。たとえば $C$ は $C$ 上うえでは1次元じげんだが、 $R$ 上うえでは2次元じげんである。

この違いtermは、複素内積ふくそないせきcomplex inner product、エルミート性Hermitian property、ユニタリ行列unitary matrixを扱うtermときに重要じゅうようになる。どの体からだ上じょうの線型せんけい性せいを考えtermているかを曖昧あいまいにすると、同どう次つぎ性せいの意味いみが変わっtermてしまう。

8定理ていりと証明しょうめい：有限ゆうげん基底きていの本数ほんすうは一定いっていである

8.1定理ていり

有限ゆうげん次元じげんベクトル空間くうかん $V$ の基底きていは、どれを選んtermでも同じterm本数ほんすうのベクトルを持つterm。この本数ほんすうを $V$ の次元じげんdimensionという。

8.2証明しょうめいの方針ほうしん

完全かんぜんな証明しょうめいには交換こうかん補題ほだいを使うterm。直感ちょっかんは次つぎの通りtermである。 $m$ 本ほんの一いち次じ独立どくりつなベクトルが $n$ 本ほんのベクトルで張らtermれる空間くうかんに入っtermているなら、 $m < = n$ でなければならない。生成せいせいする側がわより多くtermの独立どくりつな方向ほうこうは作れtermないからである。

2つの基底きてい $B$ と $C$ があり、 $B$ が $m$ 本ほん、 $C$ が $n$ 本ほんだとする。 $B$ は一いち次じ独立どくりつで、 $C$ は空間くうかんを張るtermので $m < = n$ である。逆ぎゃくに $C$ は一いち次じ独立どくりつで、 $B$ は空間くうかんを張るtermので $n < = m$ である。したがって $m = n$ である。

9最終形さいしゅうけい

基底きていbasisは、「空間くうかん全体ぜんたいを作れるterm」ことと「余分よぶんがない」ことを同時にterm満たすtermベクトルの組くみである。

basis = spanningset + linearindependence

基底きていを選ぶtermと、ベクトルは数かずの並びtermとして表せるterm。したがって、基底きていは線型せんけい写像しゃぞうを行列ぎょうれつで表すtermための座標ざひょう系けいでもある。

10演習えんしゅうリンク

@card
@card