はじめに
はじめまして。中平健治と申します。通常とは異なるベクトル空間の定義を紹介したいと思い,記事を書いてみました。
標準的には,ベクトル空間は「和とスカラー倍を備えていていくつか(8個前後)の条件を満たす集合」のように定義されます。しかし,初学者にとっては,これらの条件の「ココロ」や「本質的な意味」をすぐに理解することは,難しいかもしれません。
この記事では,線形代数のごく基礎的な知識をもつ読者を対象として,標準的な定義とは異なる視点でベクトル空間を定義する方法を紹介します。紹介する定義では8個前後の条件を明示的に用いることなく,同型写像の概念を用いてベクトル空間を素直に特徴付けます。標準的な定義と同値であることも容易に示せます。
標準的な定義とこの記事で紹介する定義の両方を知れば,きっとベクトル空間や線形写像に関する理解が深まることと思います。
補足:
この記事は文献Nak-2024の概要を紹介したものです。もし間違いなどがありましたら,ご指摘くださると幸いです。標準的なベクトル空間の定義
定義
話を簡単にするために,この記事では実ベクトル空間に限定することにします(実ベクトル空間を単にベクトル空間とよびます)。実数全体から成る集合をと書き,実数をスカラーとよぶことにします。
補足:
を任意の体に置き換えれば,一般のベクトル空間にすぐに拡張できます。まずは,標準的なベクトル空間の定義を示します。ベクトル空間では,和とスカラー倍という2種類の演算が登場します。
和とスカラー倍を備えた集合
ある集合を考える。各に対してとの和とよばれるの要素(と書く)が定まっているとき,は和を備えているとよぶ。また,各と各に対しての倍とよばれるの要素(またはと書く)が定まっているとき,はスカラー倍を備えているとよぶ。
標準的な意味でのベクトル空間
和とスカラー倍を備えた集合を考える。のある要素が存在して任意のとに対して次の条件をすべて満たすとき,標準的な意味でのベクトル空間とよぶ。
- (毎に)が存在して
ベクトル空間の次元についても述べておきます。標準的な意味でのベクトル空間を考えます。ある自然数(以上の整数)に対して,の部分集合のうち個の要素から成るものが存在して各を
の形で一意的に表せるとき,をの基底とよび,をの次元とよぶことにします。
補足:
ここでは話を簡単にするため,次元以上の有限次元空間のみに対して基底や次元を定めています。
ベクトル空間の代表例は,次元列ベクトル空間です(は自然数)。この空間は
で定められます(は転置)。は次のように定められる和とスカラー倍を備えています。
(i) 和:各について
(ii) スカラー倍:各について
別の定義を考えたくなる理由
初学者にとっては,Standardで示した8個の条件が唐突に現れるように感じるかもしれません。これらの条件を違和感のない形で導入するため,線形代数の多くの入門書では概ね次のような流れでベクトル空間を説明しているように思います。
- 次元列ベクトル空間(またはこれと似たような空間)を導入する
- がこれらの8個の条件を満たすことを述べる
- これらの8個の条件を満たすより一般的な集合として,Standardのような定義を紹介する
このような説明を別の観点で捉えると,和とスカラー倍に関してと同じ演算規則をもたせるために8個の条件の組が用いられているといえそうです。このように捉えたとき,「8個の条件の組」よりも「と同じ演算規則をもつこと」のほうがより本質的であるような気にならないでしょうか?このように考えると,「と同じ演算規則をもつこと」を素直に定義として採用したほうがわかりやすいかもしれません。
次元ベクトル空間の別定義
定義
この記事におけるベクトル空間の定義を述べます。以降では,Standardで定めたベクトル空間を標準的な意味でのベクトル空間とよんで,これから紹介する定義と区別します。
準備として,線形写像と同型写像を次のように定義します。
線形写像
和とスカラー倍を備えた2個の集合とを考える。写像が次の二つの条件を満たすとき,線形であるとよぶ。
(a) 和を保存:任意のについてを満たす。
(b) スカラー倍を保存:任意のについてを満たす。
なお,これらの式の左辺におけるとはで定められている和とスカラー倍で,右辺におけるとはで定められている和とスカラー倍です。
同型写像
可逆な線形写像を同型写像とよぶ。また,和とスカラー倍を備えた2個の集合とに対してからへの同型写像が存在するとき,とは同型であるとよびと書く。
なお,写像が可逆であるとは,合成と合成がともに恒等写像であるような写像 (の逆写像とよぶ)が存在することをいいます。の逆写像はしばしばと表されます。
補足:
上の線形写像と同型写像の定義は,とが標準的な意味でのベクトル空間の場合には標準的な定義と同値です。しかし,これ以外の場合にも定義されているという意味で,標準的な定義を一般化したものだといえます。次元ベクトル空間を次のように定義します。
次元ベクトル空間
和とスカラー倍を備えた集合を考える。ある自然数に対してであるとき,を次元ベクトル空間とよぶ。
この定義では,Standardで述べた8個の条件を用いる代わりに「と同じ演算規則をもつこと」をより素直な形で述べているといえます。ただし,この定義ではRNで述べた特定の集合を前提としており,標準的な定義と比べて長所・短所があると思います。
標準的な定義との同値性
次の命題が成り立ちます。
和とスカラー倍を備えた集合と自然数について,以下は同値である。
(A) は標準的な意味での次元ベクトル空間である
(B) は次元ベクトル空間である
(A)(B):の基底を任意に選んだとき,写像が同型写像であることから容易にわかる(逆写像はである)。
(A)(B):ベクトル空間の定義より,同型写像が存在する。とおいてを任意に選んだとき,は任意のに対して(Standardの条件(1)~(8)に対応する)次の性質を満たす。
(1')
(2')
(3')
(4') (毎に)が存在して
(5')
(6')
(7')
(8')
これらの各式に対して両辺をの形で表してからを施せば,条件(1)~(8)が得られる。たとえば,性質(1')の左辺は(ただし )であるため,を施すとが得られる。また,右辺にを施すととなるため,条件(1)のが得られる。条件(2)~(8)も同様である。したがって,は標準的な意味での次元ベクトル空間である。
この証明からわかるように,Proposedのようにベクトル空間を定めれば,が満たしている性質(1')~(8')と同型写像(およびその逆写像)によって,条件(1)~(8)が導かれます。
無限次元ベクトル空間への拡張
上の考え方は無限次元ベクトル空間に容易に拡張できます。まず,を拡張した集合を次のように定めます。
集合
集合に対し,からへの写像のうちを満たすが有限個であるようなものの全体から成る集合をとする。ただし,は次のように定められる和とスカラー倍を備えているものとする。
(i) 和:各を写像に写す(である)。
(ii) スカラー倍:各を写像に写す(である)。
次に,と同型な集合としてベクトル空間を定めます。
ベクトル空間
和とスカラー倍を備えた集合を考える。ある集合が存在してであるとき,をベクトル空間とよぶ。
次元ベクトル空間はベクトル空間
自然数に対してとおくと,です。実際,各を写像に写すような写像は,からへの同型写像です。このため,Proposedで定めた次元ベクトル空間はProposed2で定めたベクトル空間です。
和とスカラー倍を備えた集合について,以下は同値である。
(A) は標準的な意味でのベクトル空間である
(B) はベクトル空間である
(A)(B):の基底を任意に選ぶ。
補足:
のある部分集合に対して 各が (ただし各はの要素でありを満たすは有限個) の形で一意的に表されるとき,をの基底とよぶ。(選択公理のもとで)は基底をもつことが知られている。 各はの形で一意的に表せて,を写像に写すようなからへの写像を考えられる。は同型写像であり,その逆写像はであることがすぐにわかる。したがって,であるため,はベクトル空間である。(A)(B):命題1の証明と同様。
まとめ
8個前後の条件の組を用いる標準的なベクトル空間の定義とは異なる方法として,「と同型な集合」のようにベクトル空間を定義する方法を紹介しました。また,紹介した別定義が標準的な定義と同値であることを示しました。標準的な定義で現れる条件の組よりも「と同じ演算規則をもつこと」のほうがベクトル空間の本質に近いと考える方にとっては,紹介した別定義のほうが納得感があるかもしれません。
紹介した別定義では,先に線形写像を定めてからベクトル空間を定めました。ベクトル空間と線形写像は切っても切り離せない関係にありますので,この別定義を知ることは線形代数を理解するために役立つのではないかと思います。