〜トポロジーの話 〜

1，2，4，オイラー

松本幸夫

少し長い前書きこの記事は2000年3月26日に早稲田大学で行った市民講演会の原稿に手を入れたものです．内容は，実数から複素数へ，さらに複素数から4元数へと数の範囲を拡張する際に現れるトポロジーがらみの現象を紹介したものです．タネは「ベクトル場についての忙oprの定理を使って，3次元の可除代数が存在しないことを初等的に証明する」ということだけです．その他の部分はみなwellknownなことばかりです．
講演の翌日に学習院大学の中島匠一氏から，よく似た話が1Ⅰ−D．エビン
グハウス他著，成木勇夫訳「数」上下（シュプリンガー・フェアラーク東京，1991年）に出ているというご指摘を受けました．早速調べましたところ，
やはり実数から複素数，複素数から4元数への拡張の話が出ていました．とくに下巻の第11章に，「可除代数とトポロジー」と越するHirzebruchの見事なサーヴェイ論文がありました．そこには，「奇写像g‥5m￣1×ダい1→∫m1が存在するならr乙は2のべきである」というHoprの定理を使って，「可除代数の次元は2のべきである」という事実（これ自身もHopfの定理）が証明されていて，また，リー群のホモトピー群に関する（ほとんど同じことですが，球面の〟一群に関する）Bottの周期性定理を使って，「可除代数の次元は

1，2，4または8である」という定理（KervaireとMilnorの定理）が証明されていました．

幸いというべきか，私の講演のタネであった「ベクトル場に関するHopf■の定理から，直接に，3次元可除代数の非存在を示す」ということ，そのものは善かれていませんでした．これはあまりにも議論をミニチュア化するものだからだと思われます．しかし，ミニチュア化した議論とはいえ、「3次元可除代数の非存在は簡単なトポロジーの定理である」ということは，多少なり
とも読者の興味を引くかも知れないと思い，以下の記事をまとめることにしました．エビングハウスの本をご紹介下さった中島匠一氏に感謝致します．

市民講演会講演

1．一致とトポロジー

まず，題名の1，2，4について説明します．これは，1，2，3，4の間違いではありません．じつは，次のような意味を表そうと思ったのです．

1＝実数全体Rの次元（数直線）
2＝複素数全体Cの次元（複素数平面）
4＝4元数全体皿の次元．
これらの数の世界は，実数から複素数へ，複素数から4元数へ，と次第に広がって行きます．この様子を記号でR⊂C⊂Ⅲのように表します．数の世界が広がって行くことを数の拡大ということもあります．これが今日の講演のひとつのテーマです．

さて，1，2，4のあとの「オイラー」は18世紀の数学者の名前（Leonhard
Euler，1707−83）です．オイラーは生涯にたくさんの研究を行いました．「オイラーの多面体定理」という有名な定理をご存知の力も多いと思いますが，この定理はトポロジー（位相幾何学）の最も基本的な定理と言ってよいものです．「オイラー」と書くことで，「オイラーの多面体定理」とそれに続くトポロ
ジーとの関連を暗示したつもりです．（もちろん，トポロジーに関連する研究はオイラーの研究のごく一部に過ぎませんが．）この講演で，数の拡大とトポ
ロジーの間の密接な関連を紹介したいと思います．
2．プラスとマイナス
実数は有理数と無理数から成り立っています．別の見かたをすると，プラスの数とマイナスの数と0から成り立っているとも言えます．
先日，授業のあと，大学生達と話していたら，「プラスの数は実在の数という気がするが，マイナスの数というのは空理空論の気がする」という学生がいてびっくりしました．「そんなことはないよ．温度計にはちやんとマイナスの温度もあるじゃないか」と言ったのですが，あまり納得してもらえません
でした．皆さんのご意見はいかがですか．

1，2．−1，オイラー〜トポロジーの話〜（松本幸夫）

図1：半分のりんごは吉個
私個人としては，長いこと数学をやってきたせいか，プラスの数もマイナ
スの数も全く同等の存在に思えます．それらが「実在」かどうかという「哲学的緒論」はさておいても，プラスとマイナスにそれほどの区別があるとは思えません．

そこで，逆にどうして「マイナスの数」が空理空論に思えるのかを考えてみると，多分，数というものを「量を計る」という役割だけに限定して考えているためではないか，と思われます．
例えば，もっと素朴な段階として，「ものの個数を数える」という役割だけに限定して考えると，正の整数（自然数）だけで十分です．少し拡弓良して，「半分のりんご」などを記述する数が欲しいと思うと，正の分数なども必要になりますが，せいぜいそこまでです（図1）．正の分数だけで，ものの個数を数えるには十分でしょ■う．
ところが，例えば一辺の長さが1の正方形の対角線の長さを表す数が欲しいと思ったら，分数の範囲にとどまっているわけには行きません．無理数も必要になります．このように，長さなどの量を測ろうとすると無理数も必要になりますが，それでも正の実数（と0）さえあれば用が足りるようです．そうすると，たしかにマイナスの数は空理空論という感じになります．
マイナスの数が自然に必要になるのは，左右両方に延びている直線を「目盛ろう」とする時ではないかと思います．右のほうがプラスで目盛られていたら，左のはうはマイナスで目盛ろうというのは自然な発想です．この場合，

マイナスの記号し」は単に「反対の方向」を意味するだけの記号になります．つまり，「反対のほうを向きなさい」あるいは「1800回転しなさい」という意味だと考えられます．そうすると，マイナスを2回掛けたらプラスにな

市 民講演会講演メ（∴1）

ィ′一一一一￣、−−−、、、＼＼−う

一つ、・−lミーノ ●l

ユ う

しノ
×（−1）

図2：直線の目盛りとしての実数．−1倍は1800回転．
るということも自然に納得できます．1800回転を2回続ければもとの方向を向くわけですから（図2）．マイナスの数を純粋に論理的に説明することも可能ですが，それでも気分的な実在感が欲しいという向きには，直線の持つ2000年来の実在感に訴えて，「実数とは直線を目盛る数なのだ」と言いきってしまうのがよいと思います．
3．実数から複素数へ
複素数は，2つの実数αとわを使ってα＋玩と書ける数です．ここで，豆は2乗すると−1になる「数」です：
五2＝−1．
このため，盲は√＝了とも善かれ虚数単位と呼ばれます．
マイナスの数をプラスの数と同様に認める人でも，虚数単位fだけは，なんだか空理空論と考えがちです．なにせ，0でないどんな実数も2来すればプラスになるわけですから，2乗して−1になる数など考えられません．次の方程式∬2＋1＝0は，当然のことながら，実数の範囲では解がありません．
数の範囲を拡大して虚数単位盲という新しい「数」を考えると，上の方程
式は
こr＝士ざ

1．2，4，オイラr〜トポロジーの話〜（松本幸夫）という2つの解を持つことになります，と言われても，そういう議論はいかにも屁理屈のような気がしないでもありません．
しかし，我々の素朴な感覚よりも，「自然」のはうはもっと奥深いようです．
というのは，物質の世界を記述するはずの物理の方程式のなかには，複素数を使わなければ書き下せないようなものがあるからです．シュレーディンガーの方程式＝トc△＋Ⅴ仲はそのひとつの例です．この方程式の一番左端にあるまは虚数単位√＝了です．
数学のほうでも，16世紀前半のイタリアで，カルダノ，タルタリア，フエ

ラリといった人々による3次方程式，4次方程式の研究を通して複素数が次第に姿を現して来ました．この辺の事情は，S．G．ギンディキン著三浦伸夫訳「ガウスが切り開いた道」（シュプリンガー・フェアラーク東京1996年）に興味深く善かれています．志賀浩二著「数の大航海」（日本評論社1999）に「複素数に数学が踏み込むためには，量という考えから解放された
新しい数学の世界が見えてこなくてはならないだろう」という言葉がありま
すが，マイナスの数を考えたときも，数を，量に関する役割だけに限定するのは，かなり不自由な考え方でした．
マイナスの数の「実在感」は，実数を「直線を目盛る数」と考えることに
よって得らると思うのですが，複素数の「実在感」も，複素数を「平面を目盛る数」と考えることによって獲得できます．ガウス（C．F．Gauss，1777−1855）
は次のように言っています．
「この主題（虚数）が今まで神秘的な暗闇に包まれてきた原因は，主として記号が主題によく適応しないことにある．例えば，＋1，−1，√＝了を正，負，虚（あるいは不可能）と呼ばずに，直進，逆，横の単位と呼んだとしたら，そのような暗闇は解消していたであろうに．」（E．マオール著，伊理由美訳「不思議な数eの物語」岩波書店1999年より）
ここで大切なのは，「神秘的な複素数を分かりやすく図解したものが複素数平面である」と考えるのではなくて，端的に「複素数は平面の目盛りにほかならない」と考えることなのではないか，と思います．数学的には，どう考えても全く同じことなので，こんなことをくどくど言っても仕方がないのですが，しかし，どう思うかで，「複素数への信頼感」みたいなものが（少なく市民講演会講演

図3：五倍は900回転
とも個人的には）随分違うような気がします．
複素数を平面の目盛りと考えると，虚数単位宜は，ほらここに，目でみえるところにちやんとあるじゃないか，と言えるわけです．また，任意の複素数α＋最を豆倍することは，（α＋鋸）×宜＝−♭＋α宜ですから，平面の900回転に相当します（図3）．そうすると，

宜×豆＝900回転を2回続けること＝1800回転＝−1となって，乞2＝−1も何の不思議もない式になります．（ここのところは一種の循環論法であることは自覚してます．気分の問題を言っているのですから目をつむって下さい．）
このように複素数平面によってこそ複素数の実在感が得られると思うのですが，高校の新しいf旨導要領からは複素数平面が消えてしまいます．これはかなり残念です．
4．代数学の基本定理
代数学の基本定理というのは次のような定理です．これはガウスによって証明されました．
定理：複素数を係数とするどんな方程式も，複素数の範囲に解を持つ．
すなわち，αmZγl＋αれ＿1Zm−1＋…

＋α1Z＋恥＝01．2，4．オイラー〜トポロジーの話 〜（松本章夫）

iノ王SinO

図4：複素数の極表示という方程式（係数αγいαn】1，…，α1，α。は複素数）には何らかの複素数の解
こ＝（tがあるというわけです．

この定理は純粋に代数の定理に見えますが，じつはその菓にはトポロジーの事実が隠されています．それを説明しましょう．
まず，準備として，複素数の極表示
Z＝r巨osβ＋五sirlβ）と呼ばれる表示を考えます（図4）．ここで，r＝」zlはzの絶対値であり，また，β＝argZはzの偏角です．
複素数を極表示してその両辺を2来してみましょう．
z2 ＝ γ2（（：OSβ＋戎sirlβ）2＝ r2（cos20−Sin20＋2icosOsinO）＝ γ2（cos2β＋乞sin2町

ここでは最後に，三角関数の2倍角の公式を使いました．今は2乗を考えましたが，一般にz＝r（cosβ＋盲sinβ）をγ〜乗すると，次の結果が得られます．
zm＝rγl（cos乃β＋五siT川β）

ド・モアブルの公式・

ド・モアブルの公式の図形的な意味は図5に示されています．すなわち，複素数zが0を中心とする半径γの円周上を1周すると，Zmのはうは0を中心とする半径γγlの円周上を†↓周するというわけです（図5）．

市民講演会講演／￣■■■、う図5：Zが半径γ・の円周上を1周すると，Zmは半径rTlの円周上を几周する．
さて，代数学の基本定理を証明しようとするとき，最高次の係数αmは1としてよいでしょう．そこで，つぎの方程式
zγl十αn＿1Zm−1＋…＋α1Z＋α0＝0を考えます．
この方程式に解があるかというわけですが，いま，この左辺だけに注目して，左辺の式をJ（z）とおき，Zの関数と考えます．
J（z）＝Zγ↓＋αγ．＿1Z乃￣1＋…

＋α1Z＋α。

zが複素数平面上を動くと，J（z）のほうもそれに応じて複素数平面上を動きます．その動き方を観察しましょう．

まず，Zが，0を中心とするものすごく大きな半径rの円周上を1周するとき，J（z）のほうはどのように動くか考えましょう．r＝lzlがものすごく大きいとき，次の不等式がなりたつことは明らかでしょう．
lzml＞lαγ卜1

Zγい1＋…＋α1Z十α。ト

たとえば，lzlが1億くらいだと想像して見て下さい．lznlは，lzγト1lのIz】
倍なのですから，lzγ上」はIzn】1lの1億倍あるわけです．lzm21と比較すると，
もっとすごくて，】zrllはIzγい2lの1億倍の1億倍もあります．このように，
zTl￣1 ，Zγ卜2，‥．，Zなどの数の絶対値はzTlの絶対値と比較すると1債分の1以下しかありません．これらの「微々たる」数に，αm】1，αr．＿2，…，α1などの定数を掛けて加え，さらに定数α0を加えても，とても一之mlには太刀打ちできません．

というわけで上の不等式が成り立ちます．（もちろん，αm1，α，巨2，…

，α1，α。

l，2、i、オイラー〜トポロジーの話〜（松本幸夫）などの絶対値が1低くらいだったり，加える項の数mがすでに1億くらいだっ
たら，Zの絶対値γのほうをもっと大きく，例えば1兆くらいにとっておか
なければなりませんが．）上の議論からわかるように，lzlを十分に大きくとりさえすれば，lzγりの大きさはlαγ．＿1Zn￣1＋…＋α1Z＋αolの1億倍以上にも1兆倍以上にもできます．

このような観察をした上で，あらためて
J（z）＝Zrl＋αr．＿1Zγ巨1＋…＋α1Z＋恥の動きを考えてみます．zが半径γの十分に大きな円周上を1周するとき，
プレ）はどんな動きをするでしょうか．まえに，ド・モアブルの公式によって，
zγlは半径rnの円周上をγん周することを見ました．J（z）はzmとαn＿1Z−ト1‥＋α1Z＋α。の和で表されていますが，γ・が十分大きいとき，Z乃の絶対値に比べてαn＿1Zm￣1十‥十α1Z＋α0の絶対値のほうははとんど無視できるくらい小さいと考えられるので，J（z）の動きを決める主要な部分はzmであることがわかります．こうして，J（z）の動きはだいたいzmの動きとつかず離れず連動しています．原点0を太陽，Zmを地球にたとえると，J（z）は地球zmのまわりを回る月のようなものです．太陽から見れば，月の動きも地球の動
きもそれほどの速いはありません．とくに，太陽のまわりを回る回数を数えれば，地球も月も同じです．1年かかって地球が太陽のまわりを1周するな
ら，月のほうも1年かかって太陽の周りを1周しています．これと全く同様に，Z乃が0のまわりをm回まわるなら，J（z）のほうも，細かい揺れはある
ものの，結局0のまわりをrん回まわることになります（図6）．
さて，J（z）の動きのように，0の回りをまわる閉じた輪（連続閉曲線）には，回転数というものが定義できます．0のまわりを何回まわったかという，その回数のことです．いまの場合はJ（z）の回転数は†もです．さてここで，トポロジーの定理が登場します．それは，回転数の定理：J（z）のように0のまわりを回る閉曲線が次第に（連続的に）変形して行くとき，その変形の途中で0を通らないなら，どんなに変形しても，0のまわりの回転数は変わらない．
という定理です．

＋

市民講演会講演†（呈1

図6：Zが1周する円の半径γ・を小さくしていったときのJ（z）の動き
この定理を使うと，代数学の基本定理が次のようにして証明できます．はじめ，Zが半径γのものすごく大きな円周上を1周するとして，そのときのJ（z）の動きを追ったのでした．いま，Zの1周する円の半径γをだんだん小
さくしていってみましょう．対応して，／（z）の動きも変化します．変化はしますが，Zが半径rの円周上を1周するときJ（z）も何か閉曲線を描くことには変わりありません．7・をどんどん小さくしていって，ほとんど0にしたときのことを想像すると，Zは0のまわりのものすごく小さな円周上を1周することになります．そうすると，（写像Jは連続ですから）J（z）のほうも，／（0）のまわりのものすごく狭い範囲を動き回るほかなくなります．γを小さくす
ればするほど，／（z）の動き回れる範囲はどんどん小さくなり，1点J（0）に収縮して行きます（図6）．

このとき，もし，J（0）＝0であれば，方程式J（z）＝0には解z＝0があることになりますが，もし，J（0）≠0であれば，0から離れた1点J（0）のまわ
りのものすごく小さな範囲しか動き回れないJ（z）という閉曲線は，0のまわりをただの1度も回ることが出来ません．だから，回転数は0になってしま
います．はじめ，†・が大きいとき，それに対応してJ（z）は0のまわりをm周したのでした．γを小さくして行くと，ついに対応するJ（z）は0のまわりを0周しかしなくなります．閉曲線J（z）を連続変形させる間に，0のまわりの回転数がmから0に変化しています．そうすると，もし，この連続変形のあいだにJ（z）が0を通過しないなら，上に述べた回転数の定理に矛盾してしまいますので，変形の途中でJ（z）は0を通過しなければならない，すなわち，
J（zo）＝0となる何らかのzoがなくてはならないことになります．こうして，方程式J（z）＝0には複素数の解z＝Zoが存在するということが証明されま1，2，ご1，オイラー〜トポロジーの話 〜（松本幸夫）

した．

5．ハミルトンの4元数
代数学の基本定理は，方程式を解くという観点で複素数の世界が自己完結していて，それ以上，数の範囲を拡弓長する必要はないことを示しています．しかし，複素数が平面を目盛る数であったことを思いだすと，では3次元空間を目盛る数はないかとか，4次元空間を目盛る数はないかという問題が気になってきます．この問題に取り組んだのがハミルトン（W．R．Hanlilton，1805−65）

です．彼はいろいろと努力した未，ついに，4つの実数α，わ，C，dを用いて
α＋わ哀＋わ＋dたと表される4元数の考えに到達しました．4元数には3種類の虚数単位
宜，メ，たがあります．それらは哀2＝メ2＝た2＝−1．
という性質を持っています．さらにそれらの間の積には次の公式がなりたち
ます．

∵﹂

．7

∴＝

一

た

一

．乃ノ

．

一

一丁

桁

∴∴

井

∵＝

⁚り

＝√

ひとつの4元数Ⅲは4つの実数を使って
ぴ＝α＋最＋cメ＋（挽と表されるので，4次元空間の点（α，わ，C，d）に対応しています．4元数は4次元空間を目盛る数になっているわけです．4
元数には和と積があります．和や積の結合法則とか分配法則とかはなりたち

市 民講演 会 講 演

図7：ブローガム橋
ますが，上の積の規則からもわかるように，4元数では，積の交換法則は一般に成り立ちません．また，任意の0でない4元数びには，その「逆数」Ⅷ1があります．逆数はつぎの性質で特徴付けられます．
ぴ￣11〃ニー川ノ1＝1．

前掲のエビングハウス他の本の下巻第7章にKoecherとRcrrlrrlertの共著によるハミルトンの4元数の話がでていますが，それによると，ハミルトンが4元数のアイデアを得たのは，1843年10月16日，夫人とともにダ
ブリンヘ向かう途中，ブローガム橋という橋にさしかかったときのことだったそうです．図7がそのブローガム橋です．岡8の写真は，ブローガム橋にはめ込まれた4元数発見の記念板です．（図7と図8の写真はともに弘前大学の菊地茂樹氏によります．菊地氏のご好意に感謝致します．）
記念板の文章はつぎのように読み取れます．

Hereashewallくedby
oIlthe16th ofOctober1843
Sir Willia汀1RowarlHa汀1iltofl

irlaflashofgeniusdiscoveredt，he furldarrlerltalbrmula ofquaterrliorlmultiplicatiorl

豆2＝j2＝た2＝所＝−1
本当はこの下にもう1行なにか書いてあるのですが，写真では読み取れませんでした．

1，24，オイラー〜トポロジーの話〜（松本幸夫）

図8：4元数発見の記念板

ハミルトンは，初め2種類の虚数単位官とノを考えて，3次元空間を目盛る数
α＋b宜＋cブを発見しようと努力していたらしいのです．これらの間にうまく積の規則を定めて，和や積の結合法則とか分配法則が成り立ち，かつ，0以外の数の逆数が存在するようにしたいと考えたわけですが，どうしてもうまい積の規則を見出すことができず，企ては成功しませんでした．結局，四苦八苦の末，3次元でなく4次元を考えれば，4次元空間を目盛る数がある！という発見に導かれたのです．
今日では，3次元空間を目盛る数は存在しないことが知られています．どうしてでしょう．その理由もやはりトポロジーのある定理をつかって証明することができます．今日の講演の本当の目的は，そのわけをお話することなのです．

6．オイラー数
3次元空間を目盛る数が存在しないことの証明で大切な役割を果たすのは，「オイラー数」と呼ばれるトポロジーの不変量です．その説明からはじめましょう．
普通のボールの表面を2次元球面とよびます．記号で∫2と表します．2
次元球面を，その上に描かれた三角形，辺、頂点の集まりに分解します．図
9がそのようなひとつの分割を与えています．この分割に現れた頂点の数をα0，辺の数をα1，三角形の数をα2と書きましょう．そして，αD−α1＋α2

市民講演会講演

図9：球面の分割という数を計算すると，
α0−α1＋α2＝2となるはずです．図9の分割について確かめてください．「球面をどんなふうに分割しても，この答えが2になる」というのが，§1で触れた「オイラーの多面体定理」の内容です．もっとも，オイラー白身はα0＋α2＝α1＋2という公式の形で自分の定理を述べています．
答えの数2は球面の分割によらないのですから，この数は分割によって姿を表すものの，もともと分割する前から球面に具わっていた球面に特有な数なのだと考えることもできます．そこで，この数2のことを球面52のオイ
ラー数とよび，x（∫2）＝2という式で表します．左辺のxはエックス∬ではなく，ギリシャ文字のカイ
xです．x（g2）が球面のオイラー数を表す記号です．
あとの話で必要なのは球面のオイラー数だけなのですが，ついでですから，
一般の閉曲面の場合についても考えておきましょう．
閉曲面は「穴の数」，いわゆる種致g，によって分類されます．球面の種数は0，それからトーラスといってドーナツの表面であるような閉曲面の種数は1，また，図10の閉曲面の種数は2です．いま，なにか閉曲面ざが与えられたとき，これをその上に描かれた三角形，辺，頂点の集まりに分割します．そして，分割に現れた三角形の数α2，辺の数α1，頂点の数α。を数え

1，2，1，オイラー〜トポロジーの話〜（松本幸夫）

図10：種数2の閉曲面て，α。−α1＋α2という数を計算します．答えの数は閉曲面gをどのように分割するかに依存せず，∫で決まってしまう∫に特有の数になります．この数のことを閉曲面∫のオイラー数と呼び，X（g）という記号で哀します．すな
わち，
X（g）＝α0−α1＋α2です．球面g2のオイラー数は2でした．トーラス（記号：r2）のオイラー数は0です：x（r2）＝0．このことは，トーラスを適当に分割してα0−α1＋α2を計算してみれば分かります．また，図10の種数2の閉曲面のオイラー数は−2です．一般に，閉曲面gの種数が〟のとき，その閉曲面のオイラー数はつぎの式で与えられます．
X（ざ）＝2−2g．

g＝0の場合が球面の公式になりますから，この式は球面の分割に関するオ
イラーの多面体定理を一般の閉曲面に拡張したものと考えられます．ポアン
カレによれば，最初にこの公式を発見したのはド・ジョンキエール提督という人だそうです．（斎藤利弥訳「ボアンカレ トポロジー」p．89．朝倉書店1996年）
7．ホップの定理
オイラー数は閉曲面のいろいろな性質に関わっています．この§7では，ベクトル場との関係を説明します．ベクトル場というのを正確に定義するのは少し厄介なので，ここでは簡単に，「曲面ぶの各点に，その点から出る矢印を描いたもの」をg上のベクトル場と呼ぶことにしましょう．矢印のことを，

市民講演会講演、＿．1−− − ■−−

サー■ 1

■＼

、

→→イ

く＼

t、

／′11】＼′〃−．T．サ′7

＼

ヽ

↓

＼も

ヽ︑

ヽ

ゝ

＼Iサ

〟

ノー

び

か

→＼d ・−→
＼ヽ ＼
→ ／

イ
イノ

＼

〆

／

図11：平面上のベクトル場
その点にくっついたベクトルと呼びます．このベクトル場は連続的ベクトル場であることを仮定します．すなわち，∫上を点pが連続的に動くと，それにともなってpにくっついているベクトルのはうも長さや方向が連統的に変化すると仮定するのです．なお，ベクトル場では，長さが0のベクトルも許すことにします．長さが0のベクトルの与えられている点のことを，そのベクトル場の特異点と呼びます．図11は平面上のベクトル場の例です．ここには，2個の特異点があります．
オイラー数のすごいところは，それが思いもかけない状況に突然顔をだすことなのですが，次のホップ（H．Hopr，1894−1971）の定理は，オイラー数がベクトル場にも関係していることを示しています．
ホップの定理：閉曲面∫の上に，特異点のないベクトル場があれば，∫のオ
イラー数は0である．
図12を見てください．ここには，球面上のベクトル場とトーラス上のベク
トル場の例が描いてあります．トーラス上のベクトル場には，特失点がありません．どこにもかしこにも長さが0でないベクトルが描かれています．ホップの定理によれば，このようなベクトル場を描くことが可能なのは，トーラ
スr2のオイラー数が0だからなのです．
一方，球面上のベクトル場には南極と北極のあたりに，長さ0のベクトルが現れています．すなわち特異点が現れています．球面上のベクトル場はこの他にもたくさん例があるわけですが，そのどれにも，なんらかの特異点が現れてしまいます．球面∫2のオイラー数は2なので，ホップの定理によれば球面上に特異点のないベクトル場は描けないのです．

仁2，・1．オイラー・／、−トポロジーの話〜（松木幸夫）

図12：X（52）＝2． x（r2）＝0
8．3次元空間を目盛る数は存在しない．
さて，いよいよこの事実の証明をしましょう．背理法で証明します．いま，2種類の「虚数単位」宜とjを用いて
ぴ＝α十最＋cプと表される数の体系（仮に「3次元複素数」とよびましょう）があったとします．以下の証明には，豆2＝J2＝−1であることは必要ありません．五とブはなんだか知らないが実数とは違う「数」なのだということを仮定すればよいのです．ただし，このような数の体系には，和と積の演算が決まっていて，それらの間に結合法則や分配法則が成り立っていると仮定します．また，0でない3次元複素数て〃には，その逆数l〃￣1があるとします．このような仮定から矛盾がでることを示せば良いわけです．
個々の3次元複素数l〃＝α＋わ豆十わは通常の3次元空間の1点（α，む，C）と対応しています．Ⅷがこの点を目盛っているわけです．以下，3次元空間の点を，その点の目盛りになっている3次元複素数て〃で表すことにします．例えば，3次元空間の座標の原点（0，0，0）は3次元複素数としての0で表せます．

さて，3次元空間の原点0（この0は3次元複素数です）を中心として，半径1の球面を描き，これを∫2としましょう．ぶ2の上の任意の点び（これも3次元複素数です）をとり，それを虚数単位五倍してみましょう．わ〃を考えるわけです．豆ひで表される点はどこにあるでしょうか．通常の複素数平面な

ら，五倍は平面の900回転でした．3次元複素数ではどうなるか分かりません．しかし，次のことは確かです．すなわち，

S

ュ

図13：3次元複素数があれば，球面上に特異点のないベクトル場ができる．
原点0とwを結ぶ直線百石上には，才びはない．
ということです．なぜかというと，直線百石はぴの実数倍で表される点を全部寄せ集めた図形と考えられるわけですから，もし，官びが直線百石上にあったとすると，宜びは∽の実数倍で表されます．すなわち，なにか実数cを使って
Zぴ＝Cl〃という式が成り立つはずです．この両辺に右から，Wの逆数Ⅷ√1を掛けてみましょう．すると
zひび−1＝Cl〃W−1となりますが，ここで，ぴ1〟￣1＝1ですから，この式から，豆＝Cが出てきます．つまり，豆が実数ということになってしまいます．これは仮定に反します
ので，盲ひは直線百石上にないことが分かるわけです．
図13を見てください．
ここに，いま説明したことが描いてあります．β2上の任意の点びをとり，
ひを査倍すると，盲びは直線面上にはありません．すると，原点0と乞びを結ぶ直線百言石はもとの直線百石とは違う直線ですから，直線百言諒と球面∫2の交点は，ひとも一びとも一致しません．直線扇諒と球面∫2の交点（2点ト2．1，オイラ∽〜トポロジ椚の話〜（松本幸夫）

あります）のうち，豆l〃に近いはうの交点を選んでJ（ぴ）と名前をつけましょう．ここで関数のような記号をつけたのは，点J（ひ）が1〃を決めれば決まってしまう点だからです．はっきりとは述べませんでしたが，ぴを五倍した点
宣びの位置はwに連続的に依存することは■仮定されています．これは複素数の場合にはなりたっていますので，3次元複素数の体系にもこの性質が成り立つと要請するのは自然でしょう．そうすると，上のように構成した球面上の点J（可も点ひに連続的に依存しています．J（可はl〃とも−ぴとも違う
球面上の点なのですから，ぴとJ（ひ）を通る球面上の大円が存在します．いま，小さな正の数〔をあらかじめ選んでおいて，点びから出発してこの大円上をJ（可のはうに向かう長さ∈の矢印を描きましょう．

ぴは球面∫2の上の任意の点でしたから，球面β2上の任意の点ひから出る長さ〔の矢印が連続的に描けたことになります．球面上に特異点のない連続ベクトル場が描けてしまったわけで，これはホップの定理に矛盾します．
3次元複素数の体系が存在すると仮定すると，それを使って球面上の特異点のないベクトル場が構成できたわけですから，背理法により，そのような3次元複素数の体系は存在しないことが証明できました．
（まつもとゆきお，東京大学大学院数理科学研究科）