子どもがドラえもんの「4次元ポケット」に、どこか不思議で奥深い世界を感じるように「次元」という言葉には、身近でありながら正体のつかみにくい響きがあります。私たちはこの言葉を当たり前のように使っていますが、改めて考えると、その意味をはっきり説明するのは簡単ではありません。
日常会話では「空間は3次元だ」「次元が違う」と言い、研究やデータ解析の場面では「高次元データ」という表現もよく使われます。いずれも直感的には理解できる一方で、「次元とは何か」と問われると、答えは曖昧になりがちです。
実は、「次元」という言葉は、もともと世界の不思議さを語るために生まれた概念ではありません。その出発点は、「世界をどのように測り、どのように記述するか」という、きわめて実務的な問いにありました。
今回の記事では、「次元」が意味する複数の側面を確認しながら、「次元」とは何かを考えてみたいと思います。
単位としての次元 ―― 物理学の出発点
「次元」という言葉が、実用的に使われてきた分野の一つが物理学です。
物理の授業で最初に教わる大切なルールの一つに、「方程式の両辺で単位がそろっていなければならない」というものがあります。これは単なる約束事ではなく、物理の式が意味をもつための最低条件です。左辺と右辺で単位、すなわち次元が一致していなければ、その式は物理的に成り立ちません。
たとえば、距離をメートル、時間を秒で測るとします。このとき、速度は「長さ ÷ 時間」、つまり m/s という単位になります。さらに、その変化の速さである加速度は、「速度 ÷ 時間」なので、m/s² です。このように、物理量はすべて、いくつかの基本的な量の組み合わせとして表されます。
17世紀にアイザック・ニュートンが『プリンキピア』（1687）で力学を体系化した頃から、物理量はすでに
- 長さ
- 時間
- 質量
といった基本量の組み合わせとして理解されていました。ここでいう「次元」とは、「どの基本量を、どのような組み合わせで使っているか」を示すものです。
この考え方に慣れてくると、物理の公式は「暗記するもの」から「予想できるもの」に変わってきます。たとえば、ある現象を説明する式を作ろうとしたとき、結果が長さで表されるはずなら、右辺も必ず長さの次元をもっていなければなりません。単位をそろえるだけで、式の形がかなり絞られてくることもあります。
この意味での次元は、空間が何次元かという話でも、図形の形を議論する話でもありません。物理学において、次元とはまず、「世界を数量として扱うための厳密なルール」として登場しました。ここから、次元という概念の長い旅が始まっていきます。
必要な変数の数としての次元
物理学の中で、次元が「単位」として厳密に使われる一方で、18世紀から19世紀にかけて、次元という言葉は次第に別の意味でも使われるようになっていきました。それは、「ある状態を完全に記述するために、いくつの独立した量が必要か」という意味です。
たとえば、一本の直線上にある点の位置を指定するには、1つの数があれば十分です。原点からどれだけ離れているかを示せば、その点は一意に決まります。これが1次元です。同様に、平面の上では左右と上下の2方向を区別する必要があるため、位置を決めるには2つの数が必要になります。空間の中ではさらに前後の方向が加わり、3つの数が必要になります。
このように、「位置を指定するのに必要な数の個数」が、そのまま次元と呼ばれるようになりました。ここでの次元は、空間の広がりそのものというよりも、「どれだけの情報があれば、その状態を完全に説明できるか」を表しています。
さらに、物体の運動を記述しようとすると、話はもう少し複雑になります。ある瞬間の位置だけでは、その後の運動は決まりません。将来の動きを予測するためには、位置に加えて速度の情報も必要になります。すると、同じ3次元空間を扱っていても、記述に必要な変数の数は増えます。このとき、次元は単なる空間の数ではなく、「状態を表すための自由度の数」を意味するようになります。
この考え方をさらに推し進めたのが、20世紀後半に登場した理論物理の枠組みです。たとえば、超ひも理論では、私たちが直接感じている3次元空間に加えて、さらに多くの空間次元が存在すると考えます。理論の形式によっては、空間が9次元で、時間を含めると10次元、あるいは11次元やそれ以上が必要になる場合もあります。
ここで重要なのは、「本当にそんな高次元の空間が見えているのか」という点ではありません。超ひも理論における高次元は、自然界の法則を矛盾なく記述するために必要とされた変数の数として導入されています。つまり、次元が増えるのは、世界が急に不思議な姿に変わったからではなく、理論として整合的に書き下すために、それだけ多くの自由度が必要になったからなのです。
この意味で、高次元空間の議論も、次元の本質をよく表しています。次元とは、現象を過不足なく記述するために、どれだけの変数が必要かを示す指標なのです。
「埋まり方が違う」という違和感
ここまで見てきた「次元」は、いずれも非常に明快なものでした。単位としての次元は、物理の式が意味をもつための厳密なルールでしたし、必要な変数の数としての次元は、状態を記述するために必要な情報量を表していました。どちらの場合も、次元ははっきりとした整数として定義され、迷う余地はほとんどありませんでした。
ところが19世紀の終わり頃から、数学者たちは次第に、ある種の違和感を覚えるようになります。そのきっかけとなったのが、後に「フラクタル」と呼ばれることになる、奇妙な集合や曲線の登場でした。
その代表例の一つが、コッホ曲線です。コッホ曲線は、最初は一本の直線から始まりますが、その各部分を規則的に折れ曲げる操作を無限に繰り返して作られます。全体としては、確かに平面の中に描かれた「曲線」です。しかし、下図に描かれているように、どれだけ拡大してもギザギザした構造が現れ、決してなめらかにはなりません。直感的には、コッホ曲線は「線」と呼びたくなります。実際、紙の上に描かれている以上、面を埋め尽くしているわけでもありません。ところが、定規を使ってその長さを測ろうとすると、奇妙なことが起こります。定規を細かくすればするほど、測定される長さがどんどん増え、極限では長さが無限大になってしまうのです。
もう一つの有名な例が、カントール集合です。これは、一本の線分から中央の部分を取り除く操作を繰り返して作られる集合です。見た目には、点がまばらに散らばっているように見えますが、点の数自体は無限に存在します。一方で、全体としての長さはゼロになります。
コッホ曲線もカントール集合も、どちらも直線上、あるいは平面上に存在しています。しかし、その「存在のしかた」は、私たちが通常イメージする線や点とは大きく異なっています。
ここで問題になったのは、「どの空間にあるか」ではありませんでした。重要だったのは、「その空間をどのように埋めているか」という点です。従来の次元の考え方では、一本のなめらかな直線も、コッホ曲線のように無限に折れ曲がった曲線も、同じ「1次元」として扱われてしまいます。しかし、測る尺度を変えたときの振る舞いは、両者でまったく異なります。 同様に、カントール集合は直線上にあるにもかかわらず、長さという意味では「ほとんど存在しない」ようにも見えます。
こうした例を前にして、数学者たちは次第に考えるようになりました。「次元」とは、単に変数の数や空間の方向の数を数えるだけの概念ではなく、別のかたちで定義できるのではないか？ と。むしろ次元とは、対象が空間の中にどれだけ密に、どのような仕方で存在しているかを表す量なのではないか？ と考えられるようになったのです。
この違和感こそが、次元という概念を次の段階へと押し進める原動力となりました。
測るとは何か ―― 測度という発想
このような問いを突き詰めていく中で、次元の理解にとって決定的に重要な概念として登場するのが、測度という考え方です。私たちは普段、長さや面積、体積といった量を当たり前のように測っています。定規で長さを測り、紙の広さを面積で表し、箱の大きさを体積で表します。これらはいずれも、「測る」という行為の具体的な例です。
しかし、ここで少し立ち止まって考えてみると、「測る」とは単に数値を読むことではないとわかります。測るとは、どのスケールで、何を数えるのかをあらかじめ決める操作にほかなりません。
たとえば、同じ曲線の長さを測る場合でも、粗い定規を使うのか、非常に細かい定規を使うのかによって、得られる値は変わります。定規を細かくすればするほど、細部まで数え上げることになり、測定結果は大きくなっていきます。場合によっては、いくら細かくしても値が収束しないことさえあります。
この事実は、測定値そのものよりも、「尺度を変えたときに、その量がどのように変化するか」を見ることの方が、本質的なのではないか、という発想を生みました。
そこで次元は、もはや「空間がいくつあるか」を数える概念ではなくなっていきます。代わりに、次元とは、スケールを変えたときに量がどのような速さで増減するかを表す指数として捉え直されるようになりました。
この視点に立つことで、これまでうまく説明できなかった対象――コッホ曲線やカントール集合のような存在――も、同じ枠組みの中で理解できるようになっていきます。次元はここで、「測る」という行為と深く結びついた、新しい意味を獲得するのです。
次元を定義し直した人物 ―― フェリックス・ハウスドルフ
こうした流れの中で、次元という概念を根本から捉え直した人物が、ドイツの数学者フェリックス・ハウスドルフです。1918年、ハウスドルフは、それまで直感的・幾何学的に使われてきた次元という言葉に、明確で一般的な定義を与えました。これが、現在「ハウスドルフ次元」と呼ばれている概念です。
ハウスドルフの革新は、次元を「あらかじめ決めておく数」として扱わなかった点にあります。点は0次元、線は1次元、面は2次元、といった分類を前提にするのではなく、どの次元で測ったときに、その対象が意味のある大きさをもつかという立場から次元を定義したのです。
具体的には、測り方を変えながら対象の大きさを調べていくと、ある指数では測度がゼロになり、別の指数では無限大になってしまう、という状況が現れます。粗すぎる測り方では「ほとんど存在しない」ように見え、細かすぎる測り方では「大きすぎて測れない」ように見えるのです。
ハウスドルフは、この二つの振る舞いのちょうど境界にあたる指数こそが、その対象の「次元」だと考えました。言い換えれば、測度が初めて安定して意味をもつ臨界の指数を、次元として定義したのです。
この考え方によって、コッホ曲線やカントール集合のような、従来の整数次元では捉えきれなかった対象も、同じ枠組みの中で扱えるようになりました。ここで初めて、次元は「空間に貼り付けられたラベル」ではなく、測り方そのものと切り離せない概念として位置づけられることになります。
次元とは何か、という問いは、ここで決定的な転換点を迎えました。それは、「空間の数」を問う問いから、「どのように測れば、その存在が最も自然に現れるのか」を問う問いへと変わったのです。
フラクタル次元とは何か
20世紀後半、この「測り方としての次元」という考え方を、数学の世界から自然界へと大胆に広げた人物が、ブノワ・マンデルブロです。マンデルブロは、雲の輪郭、海岸線の形、山脈の起伏、さらには血管網や肺の分岐構造といった自然界の形が、従来の幾何学ではうまく記述できないことに注目しました。
これらの形は、滑らかな線でも、きれいな面でもありません。しかし、どれだけ拡大しても似たような複雑さが現れるという、共通した特徴をもっています。マンデルブロは、この性質を捉えるために、ハウスドルフの次元の考え方を基盤として、「フラクタル次元」という概念を前面に押し出しました。
ここで強調しておきたいのは、フラクタル次元が「整数次元の例外」や「特殊な図形のための次元」ではないという点です。フラクタル次元は、線や面といった従来の次元概念を壊すために導入されたものではありません。むしろ、次元を“測定の立場”から徹底的に捉え直した結果として、自然に現れてきた概念なのです。
非整数の次元をもつ、という表現から、「線と面の中間にある不思議な存在」を想像してしまいがちですが、それは本質ではありません。フラクタル次元が表しているのは、対象がどのような“形”をしているかではなく、尺度を変えたときに、量がどのような規則で増えていくかという性質です。
たとえば、測るスケールを半分にしたとき、必要な測定要素の数が2倍になるのか、3倍になるのか、それともその中間の増え方をするのか。その増え方を指数として表したものが、フラクタル次元です。もし、どのスケールで見ても同じ増え方の法則が成り立つなら、その指数は安定した値として定まります。そして、その値が整数である必要はありません。
つまり、非整数次元とは、「形が中途半端である」という意味ではなく、スケールに対する応答の仕方が、整数では表せない指数に従っているということを意味しています。フラクタル次元は、自然界の複雑さを無理に単純化するのではなく、その複雑さをそのまま数量として受け止めるための道具なのです。
このようにして、次元という概念は、もはや空間の数を数える言葉ではなくなりました。次元は、「世界がどれだけ複雑であるか」を、スケールの変化に対する振る舞いとして表現するための、強力な指標へと姿を変えたのです。
カオスと次元 ―― 見えない自由度を測る
決定論的カオスの理解においても、次元はきわめて重要な役割を果たします。そして興味深いことに、フラクタルという考え方が確立されていく過程と、決定論的システムにおける予測不可能性を意味する「カオス」が認識されていく過程は、歴史的にほぼ同時期に進行していました。ここには、科学史として、必然的な結びつきをもつ二つの概念が、偶然にも同じ時代に出会ったという面白さがあります。
1960年代初頭、気象学者であった エドワード・ローレンツ は、大気モデルの数値計算中に、初期値のわずかな違いが将来の振る舞いを劇的に変えてしまう現象を発見しました。これが後に「バタフライ効果」と呼ばれるものです。当初、こうした挙動は「計算誤差の問題」あるいは「単なる不安定さ」と受け取られがちでした。
一方、ほぼ同じ時代に ブノワ・マンデルブロ は、海岸線や雲、金融時系列といった自然界・社会現象の中に、スケールを変えても似た構造が現れることに注目し、「フラクタル」という概念を前面に押し出していきます。
この二つの流れは、当初は別々の文脈で進んでいました。しかし、1970年代から80年代にかけて、カオスの研究が進むにつれて、研究者たちは次第に気づき始めます。カオス的な運動は、ランダムに暴れているように見えて、実は状態空間の中で限られた領域に閉じ込められているという事実に。
たとえば、ローレンツが見出した有名なアトラクタ（下図）は、決して空間全体を埋め尽くすことはありません。しかし、一本のなめらかな曲線とも言えず、単なる面や立体とも異なる、独特の「埋まり方」を示します。ここで再び問題になります。「これは何次元なのか」という問いです。
この問いに答える道具として現れたのが、フラクタル次元の考え方でした。カオスのアトラクタは、整数次元の空間の中に存在しながら、その中をフラクタル的に占めていることが分かってきたのです。つまり、カオスの複雑さは、単なる予測不能性ではなく、フラクタル次元という指標で定量化できる構造をもっていたのでした。
この意味で、次元はカオスの「深さ」を教えてくれる指標だと言えます。見かけ上は無秩序に見える運動が、実は限られた自由度のもとで、きわめて組織的な構造を形作っている。そのことを初めて明確に示してくれたのが、次元という概念でした。
次元とは何だったのか
ここまで振り返ってみると、「次元」という言葉が、決して一つの意味に固定された概念ではなかったことがわかります。次元は、時代ごとに、問いの立て方に応じて、その姿を少しずつ変えてきました。
はじめに次元は、物理学において単位の構造として現れました。方程式の両辺で単位が一致しているかどうかを確認するための、厳密で実務的なルールです。次に、力学や数学の発展とともに、次元は記述に必要な変数の数、すなわち自由度や情報量を表す指標として使われるようになりました。
しかし、コッホ曲線やカントール集合のような対象を前にして、「それだけでは足りない」という違和感が生まれます。そこで次元は、測度という考え方と結びつき、測ったときの振る舞いを記述する概念へと広がっていきました。 さらに、スケールを変えたときに量がどのように増減するかを表す指数として再定義され、フラクタル次元へとつながっていきます。
この流れの中で明らかになったのは、次元とは単に「空間がいくつあるか」を数える言葉ではない、ということです。 次元は、世界に最初から貼り付けられたラベルではありません。
むしろ次元とは、 世界をどのように測り、どのような視点で理解しようとしてきたか その積み重ねの中で形づくられてきた、思考の枠組みそのものだと言えるでしょう。
カオスにおいて次元が、見かけの無秩序の背後にある構造や自由度を教えてくれたように、次元という概念は、常に「見えにくいもの」を捉えるために使われてきました。それは、世界の“数”を語る言葉ではありません。 世界をどう測り、どう理解するかという思想の結晶なのです。
フラクタル次元について「なんだか難しそうだ」と感じて身構えるのではなく、その背後にある「測る」という問いを思い出してみてください。そこから、世界の見え方が少し変わってくるはずです。
※ もし記事の中で「ここ違うよ」という点や気になるところがあれば、気軽に指摘していただけると助かります。質問や「このテーマも取り上げてほしい」といったリクエストも大歓迎です。必ず対応するとは約束できませんが、できるだけ今後の記事で扱いたいと思います。それと、下のはてなブログランキングはあまり信用できる指標ではなさそうですが (私のブログを読んでいる人は、実際とても少ないです)、押してもらえるとシンプルに励みになります。気が向いたときにポチッとしていただけたら嬉しいです。
