何度も言いますが、
一つのベクトル空間に対して、基底のとり方は、いくらでもあるのですね。


さて、これは大変ですね！！


なぜですって？
「次元」という量は、線形空間の基底に依存する量のことです。
ひょっとして、線形空間の基底を変えたら、その次元も変わってしまうのではないでしょうか？

それはありません！！
次元というのは、基底の取り方によりません。



例えば、
$\displaystyle{V}$の基底は$\displaystyle{v_1,v_2}$と、２つのベクトルだったけど
$\displaystyle{u_1,u_2,u_3}$の３つのベクトルも$\displaystyle{V}$の基底になっちゃった！？

ということは起こりえません。
次元というのは、線形空間に依存する量なのです。
次元は基底の取り方によらず、一定なのです。




基底をとりかえても、次元の数は変わらない・・・この事実を数学風に述べると、こうなります↓

$\displaystyle{v_1,v_2,\cdots,v_n}$が線形空間$\displaystyle{V}$の基底であり、
同時に$\displaystyle{u_1,u_2,\cdots,u_m}$も線形空間$\displaystyle{V}$の基底であるとき、
$\displaystyle{n=m}$である。

$\displaystyle{\mathrm{dim}V=n}$とします。
つまり、線形空間$\displaystyle{V}$の次元を$\displaystyle{n}$とします。


さて、この線形空間$\displaystyle{V}$の中から$\displaystyle{n}$より大きい数のベクトル、
まぁ例えば$\displaystyle{n+1}$のベクトルをとってきましょう。
それを$\displaystyle{v_1,v_2,\cdots,v_n,v_{n+1}}$とします。



さて、このときベクトルの組$\displaystyle{v_1,v_2,\cdots,v_n,v_{n+1}}$は一次独立ではありません。


まぁこの事実は、直感的にお分かり頂けますか？
例えば、２次元の線形空間(平面)に属する３つのベクトルを持ってきても、そのベクトルは一次独立ではないですよね？

１次元の線形空間(直線)に属する２つのベクトルを持ってきても、そのベクトルは一次独立ではないですよね？




さて、この事実を数学的に述べるならば、こうなります↓
$\displaystyle{v_1,v_2,\cdots,v_n}$が線形空間$\displaystyle{V}$の基底であり、
かつ$\displaystyle{m{\ge}n}$ならば $\displaystyle{m}$の$\displaystyle{V}$に含まれるベクトルの組は一次従属である。




つまり、言いたいことは、
「ｎ次元の線形空間にｎ個よりも多いベクトルを持ってきたら、一次独立にはならない」
ということですね。 さてさて、線形空間$\displaystyle{V}$に含まれる一次独立なベクトルの組$\displaystyle{v_1,v_2,\cdots,v_n}$があるとします。
そして、そのベクトルの組に線形空間$\displaystyle{V}$のどんなベクトル$\displaystyle{u}$を加えても一次独立でなくなってしまうとき、
つまり$\displaystyle{v_1,v_2,\cdots,v_n,u}$が一次独立でなくなるとき、
ベクトルの組$\displaystyle{v_1,v_2,\cdots,v_n}$は極大な一次独立であるといいます。


つまり「極大な一次独立」とは、最大限な数の一次独立なベクトルの組ですね。
「もうこれ以上ベクトルを一つでも加えたら、一次独立でなくなっちゃうよ〜(汗)」
ていうような感じのベクトルの組です。


例えば線形空間の基底は、極大な一次独立なベクトルの組になります。
このことはもうお分かり頂けますよね？

よく「線＝一次元」「面＝二次元」「立体＝三次元」というのが一般的な常識としてよくありますが、
次元とは数学的には基底の数のことですよね？
だから次元というのは、「その空間内で、一次独立なベクトルをいくつ作ることが可能なのか」という量と考えてもさしつかえありません。


例えば、線の世界では一つベクトルを張れば、もうそのベクトルに一次独立なベクトルを付け加えることはできません。


平面の世界では、一つのベクトルを張っても、また別にそのベクトルと一次独立なベクトルを付け加えることができます。
しかし、また新たに一次独立なベクトルを加えることはできません。
つまり「平面内の３つの一次独立なベクトルの組」というのはありえないのです。
平面内には「高々２つの一次独立なベクトルの組」しか張れません。


立体の世界も同様です。
立体は平面と違い、奥行きがあるので、結果として「３つの一次独立なベクトルの組」を張ることができます。
しかし、三次元の線形空間の中では「４つの一次独立なベクトルの組」を張ることはできません。



でも数学では、本当にいろいろなことを考えるので「４つの一次ベクトルの組」を張ることができるという、４次元線形空間も普通に考えることができます！！
まぁ頭で想像しろと言われても・・・無理だとは思いますが・・・




日常会話では、次元といえば“異世界”とかいうオカルト的なキーワードを連想されがちですが、
本当の次元の意味は「基底の数」だということを十分に押さえておいてください。

しかし…「本当に実際に４次元空間なんて存在するのかょ！！？」
とお思いになることでしょう。

しかし、そうではなくて、例えば虚数みたいに実際に存在するかどうか分からないものも考えれるのが数学の強みなのです。
数学では４次元のベクトル空間を扱うからと言っても実際に４次元空間は現実に存在するんだ！！とまでは言及していませんよね。




「でも、現実に存在しないものなんか、やっても無駄なんじゃ・・・」



何も、「４次元」とは必ずしも“方向が４つある”という風に解釈する必然性は全くないのです！！
例えば物理の世界では、
「物体Ａの位置が$\displaystyle{x}$にあって 速度が$\displaystyle{v}$である状態を$\displaystyle{\begin{pmatrix}x\\v\end{pmatrix}}$と表そう！！」
と、物体Ａの状態を２次元ベクトルで表すこともあります。

このとき、状態ベクトル$\displaystyle{\begin{pmatrix}x\\v\end{pmatrix}}$の第一成分は位置を表すものであり、
第二成分は速度を表すものです。
この「位置」と「速度」の例のように、
２次元ベクトルは「必ずしも方向が２つあるベクトルを表している」とは限らないのです。

以下では、
「直線」という線形空間を$\displaystyle{\mathbb{R}^1}$と表します。
「平面」という線形空間を$\displaystyle{\mathbb{R}^2}$と表します。
「３次元空間」という線形空間を$\displaystyle{\mathbb{R}^3}$と表します。



正確には$\displaystyle{\mathbb{R}^n}$というのは
実数をｎ個だけ縦に並べたベクトル全体の集合を表します。


この$\displaystyle{\mathbb{R}^n}$というのは方向がｎ個存在する空間であると考えてください。
だからユークリッド空間というのは、ごくごく普通の空間のことです。
$\displaystyle{\mathbb{R}^n}$のなすベクトル空間のことをｎ次元ユークリッド空間といいます。
(注：正確には、普通の内積も入った空間のことです・・・)

例えば３次元ユークリッド空間は分かりますが、
４次元以上のユークリッド空間となると、我々人間の力では想像できなくなります。
だって方向が４つ以上もある空間なんて想像できませんよね？
注：生まれつき目の見えない人など、たまに４次元以上の空間が想像できる人もいます。

一方、
方向成分が３つ、で時間成分が１つの空間を、
３＋１で「４次元世界」という流儀もあります。


これを４次元のミンコフスキー空間と言います。


つまり４次元のミンコフスキー空間とは、我々の住んでいる世界のことを言うのですね☆

ところで、世間一般では、こんなことを耳にします。
「４次元空間って、我々の住んでいる世界に時間が加わった世界だ・・・」


４次元目を時間とするのは、４次元ミンコフスキー空間の場合であり、
４次元のユークリッド空間では、４次元目は方向成分です。


特に、“時間”と“方向”とは、性質が全く違いますので、
４次元ミンコフスキー空間と４次元ユークリッド空間は全くの別物なのです。


「４次元ミンコフスキー空間」と「４次元ユークリッド空間」の意味をごちゃ混ぜにしないでくださいね。決して・・・
きっと、上の２つをごちゃ混ぜにしているから、「４次元空間は不思議な世界」なんて思っているんでしょうねぇ。
「４次元目を時間」とするのは、きっとミンコフスキー空間のことを言ってるのでしょうね。
我々の住んでいる世界は４次元のミンコフスキー空間と考えられるので、
「４次元目を時間」というのは、何の神秘性もなく、ごくごく当たり前のことを言っているのです。





何度も言うようですが、おなじ「４次元空間」でも、
「４次元のミンコフスキー空間」と「４次元ユークリッド空間」とは、全くの別物です。
むしろ、４次元目を“空間”とした「４次元ユークリッド空間」の方が、我々には想像できない世界ですね。



まとめますと、
我々はユークリッド空間として３次元の世界に住んでいるのであり、
かつミンコフスキー空間として４次元の世界に住んでいるのですね。



と、いうことで☆「４次元空間」にも、いろいろな意味(？)があるんだなぁ〜〜というのが、お分かり頂けたでしょうか(^O^)/

以下では(この線形代数のページでは)、ｎ次元線形空間といったら「ｎ次元のユークリッド空間」のことを表すとします。
(↑ミンコフスキー空間を使うと、内積がどえらいことになってしまうからです(笑))

私は、時間と空間は「男と女の関係」のように感じます(笑)
現代社会では「男女差別をなくそう」とありますが、男と女は本質的に違うので、
結局“同一視”にも限界があります。

相対性理論でも「空間と時間を同一視しよう」なんて試みがありますが、
「場の量子化」の時の手続きや「世界距離」の時など、やはり“時間は特別扱い”みたいな風潮があるので、
空間と時間を本当に同一視することはできないのですね(笑)