34歳からの数学博士

数学徒・プログラマ・一児の父

トポロジーへの招待 〜 2. 切り貼りで作る色々な曲面

この記事は 数学とコンピュータⅡ Advent Calendar 18日目の記事です。

こんにちは、佐野です。前回の記事をたくさんの方に読んで頂けたようで嬉しいです。元々は 3 回で書き切るつもりでいたのですが、詰め込み過ぎてもよくないしちゃんと書きたい話はもっとあるので Advent Calendar 期間が過ぎてもシリーズを続けることにしました👍

  1. 座標も補助線も使わない「やわらかい幾何学」
  2. 切り貼りで作る色々な曲面
  3. ...

前回の復習

トポロジーは同相写像で移り合う図形を「同じ」と見なし、その同一視の下で変わらない図形の性質(位相不変量)を調べる分野でした。位相不変量の例として、多面体の頂点・辺・面の個数から決まるオイラー数を紹介しました。

今回は球面やトーラスなどの身近な曲面から、日常では決して見ることのない不思議な曲面まで色々と観察し、それらを区別するにはどうすればいいか考えていきましょう。

曲面いろいろ

0) 円板 D2

f:id:taketo1024:20171218082118p:plain

曲面と呼ぶにはつまらない例ですが、数学ではまず自明な例から始めことになっているので紹介します。円板 (disk)1 は三角形(内部も含む)と同相であり、円周 S1 がその境界です(肩に乗っている数がその図形の次元を現しています)。オイラー数は三角形の辺・頂点・面の数を数えて V - E + F = 1 です。

1) 球面 S2

f:id:taketo1024:20171218082148p:plain

球面 (sphere) はトポロジーにおける最も基本的な閉曲面2です。前回、正多面体が球面と同相であることを述べましたが、トポロジカルには「穴の空いていない多面体」は全て球面です。そのオイラー数は等しく 2 となるのでした。

この先出てくる曲面の説明のためにも、多面体を使わずに紙を切り貼りして曲面を作る方法を紹介しましょう。下の長方形は自由に伸縮できる理想的な素材でできていると考えて下さい。がま口財布を閉じるように長方形の辺 a と a'、b と b' を張り合わせると球面ができます。

f:id:taketo1024:20171218082216p:plain

貼り合わせて作った図形は、頂点の数は 4 個のうち 2 個がくっついたので V = 3、辺は 4 個のうち 2 つずつペアになったので E = 2、面は一つだけなので F = 1 となり、この場合も V - E - F = 2 です。

別の作り方もあります。風呂敷で包むようにして長方形の周を一点に潰してしまいます3

f:id:taketo1024:20171218082228p:plain

この場合、頂点は一つになるので V = 1、辺はなくなってしまったので E = 0、面は F = 1 なのでやはり V - E + F = 2 です。図画工作みたいで楽しいでしょ😙

2) トーラス T2

f:id:taketo1024:20171218082306p:plain

トーラスはドーナッツの表面に現れる閉曲面です。トポロジーでは球面の次に基本的な図形として出てきます。ユークリッド空間では、xy 平面上に y 軸から離れたところに円周をおいて y 軸に関して回転させることで得られます。

前回、多面体でトーラスを作って オイラー数 = 0 であることを見ました。これも長方形の切り貼りで作ることができます。今回は長方形で向かい合う辺の組み(a, a'), (b, b') を貼り合わせます。

f:id:taketo1024:20171218082318p:plain

頂点は全て同一視されるので V = 1、あとは E = 2, F = 1 なので、やはり V - E + F = 0 です。

余談ですがファミコン/スーファミ世代にとってトーラスはお馴染みの空間です。RPG の世界では、マップ上で右端を過ぎると左端から出て、上端を過ぎると下端に出るので、境界で向かい合う辺が貼り合っていることになります。これは紛れもなくトーラスです。RPG の世界の「地球」は、トポロジカルにはドーナッツ形をしていることが分かります4

3) ダブルトーラス T2#T2

f:id:taketo1024:20171218082353p:plain

ダブルトーラスはその名の通りトーラスを二個繋げた閉曲面です。これも前回、穴が二つ空いた多面体からオイラー数が -2 であることを見ました。実はこれも一枚の紙の貼り合わせで作れます。八角形の周上で、辺を一つおきにペアにして貼り合わせるできます。

f:id:taketo1024:20171218082406p:plain

この作り方ビックリですよね。僕は図だけだと信じきれなかったので、粘土で作ってみたことがあります。

さらにこのやり方で、好きな数だけ穴を空けた閉曲面が作れます。穴の数 g に対して、4g 角形の辺を一つおきに貼り合わせればいいのです。g = 3 の場合がこれです:

穴が g 個空いた閉曲面のオイラー数は、頂点が一つで V = 1、辺は 4g 個あるものがペアになるので半分の E = 2g、面は F = 1 なので、オイラー数 2 - 2g となります。前回出した式が得られました!

こちらの CG動画 では 40角形 を貼り合わせて穴が 10 個あいた閉曲面を作っています(これを粘土でやるのはキツそう)。

4) メビウスの帯

f:id:taketo1024:20171218082524p:plain

メビウスの帯を作ったことはありますか?なければ今、紙を帯状に切ってその両端を捻ってセロテープで貼り合わせて作ってみましょう。この図形は、中心線に沿ってグルッと一周するとスタート地点の裏側に着いてしまう 向き付け不可能5 な曲面です。

f:id:taketo1024:20171218082542p:plain

境界はどうなっているでしょう?指で帯のヘリをなぞってみると分かるように、一個の円周が二周巻きになったものが出てきます。オイラー数は 2 - 3 + 1 = 0 です。

ここからだんだん不思議なトポロジーの世界へ入って行きます👣

5) 射影平面 P2

f:id:taketo1024:20171218082554p:plain

長方形の向かい合う辺をトーラスの場合とは逆向きに貼り合わせてできる曲面が射影平面 (projective plane) です。これを実際に作ってみようとするとどうしても面がぶつかってできません。これは私たちが 3 次元空間で生きているからで、4 次元方向へ少しズラせば(!?) 面の交叉は回避できます。メビウスの帯を貼り合わせるのに平面から浮かせて 3 次元空間で行ったことと同じです。

右の図(交叉帽という)を見るときは、4 次元空間内の図形を 2 次元分落とした平面への影を見ていると考えましょう。交わっている部分はたまたま影が重なってそう見えているだけです。ただし交叉帽は射影平面を無理やりユークリッド空間に入れたときの姿なので、むしろ左の二つの展開図で理解した方が良いと思います。

もし RPG のマップが射影平面だったら、マップを一周して戻ってくるといつのまにか体が逆向きになってしまうでしょう。射影平面では全ての方向でメビウスの帯のような「裏返り」が起きます。なぜこんな訳の分からない図形を考えるのでしょう。

射影平面は球面の対蹠点を同一視した空間と見ることができます。この空間は、球面の中心を通る直線のパラメータ空間になっています。球面の前に平面を置いてこれをスクリーンと考えると、射影平面はこのスクリーンと、スクリーンとは交わらない「無限遠直線上の点たち」からなっています。

f:id:taketo1024:20171218082727p:plain

ユークリッド平面上の図形をこのスクリーンに映った影だと見ると、スクリーンを置く位置を変えることで平面上で交わる 2 直線の交点を「無限遠に飛ばして」平行にしてしまったり、放物線の「無限遠の交点」を手前に持ってきて楕円に変えることができたりします。ユークリッド平面上では魔法のように見える操作が射影平面では当たり前にできて、ユークリッド幾何学の範疇では複雑な定理も射影幾何学6では鮮やかに証明できてしまったりするのです。

射影平面のオイラー数は 2 - 2 + 1 = 1 です。

6) クラインの壷

f:id:taketo1024:20171218083201p:plain

長方形の向かい合う辺の組のうち、一つは同じ向きに、もう一つは逆向きに貼り合わせた曲面がクラインの壷 (Klein bottle)です。これも向き付け不可能な曲面で、 3 次元空間の中で作ろうとすると面がぶつかってしまいますが、4 次元空間の中で面が交わらないように辺を貼り合わせることで壷のような形の図形が得られます。

これも向き付け不可能で、オイラー数は 1 - 2 + 1 = 0 です。

一旦まとめ

これらの曲面とその性質をまとめます:

f:id:taketo1024:20171218094206p:plain

これらの図形はどれも互いに同相ではありません。オイラー数だけを見ると重複しているものがありますが、三つの項目の組み合わせは一意です。実はこれは一般に言えることで、コンパクトな曲面は全てこの三つで分類できます。特に閉曲面(コンパクトで境界のない曲面)については、オイラー数と向きづけ可能性だけで分類できます。これが「閉曲面の分類定理」です。

とはいえ向きづけ可能性はオイラー数と比べて抽象的で捉えどころがない感じがします。何か複雑な多面体が与えられたとき、それが向きづけ可能かどうかは判定できるのでしょうか?

前回から残している疑問もあります:

  • オイラー数 V - E + F は一体どこから出て来たのか?
  • なぜこの量は位相不変となるのか?

この先これらの疑問への答えを得ることを目指し、図形の構造を取り出す具体的な方法を探って行きましょう。

今度は曲面をハサミで切ってみよう

まずは球面とトーラスをどう区別するかから考えてみましょう。
次は「ジョルダンの閉曲線定理」です:

f:id:taketo1024:20171218083256p:plain

平面内の単純閉曲線は、平面を内側と外側の二つの領域に分ける。

あまりに当たり前のようで「こんなものが定理になるのか?」とすら感じられます。しかしその証明は難しく7、20世紀初頭にようやく得られました。何せ閉曲線の形が全く具体的に与えられていないのですから(至るところ滑らかでない病的な曲線かも知れません)。

いま注目したいのは、この「当たり前」は球面についてはそのまま成り立つが、トーラスについては成り立たないということです!球面はどんな風に切っても二つの部分に分かれてしまうが、トーラスにはそうならない切り方があります。

f:id:taketo1024:20171218083309p:plain

(他の曲面に対しても連結性を保つような切り方が色々とあります。展開図を見ながら試してみてください、特にメビウスの帯は楽しい!)

これは曲面の繋がり方(位相 = トポロジー)を区別する性質と言えそうです。 それでは二つに分かれる切り方と分かれない(連結性を保つ)切り方の違いはなんでしょう?

二つに分かれる切り取り線は、曲面の一部分であった二つの曲面の境界となっています。曲面の一部分の境界として現れるようなキリトリ線に沿って切れば、曲面は二つに分かれる訳です。逆に曲面の一部分の境界でないようなキリトリ線に沿って切れば、連結性は保たれることになります。

連結性を保つような切り方はどれぐらいあるのでしょうか?この情報を持っているのが図形の 1次ホモロジー群 です。 次回、曲面のホモロジー群を定義し、閉曲面がホモロジー群によって完全に分類されることを見ていきましょう!

参考図書

前回紹介した二つの本には「閉曲面の分類定理」が載っています。多角形から閉曲面を作る議論を一般に行い、曲面を何度も切ったり貼ったりすることで標準形に変形するという議論をします。

トポロジー:柔らかい幾何学

トポロジー:柔らかい幾何学

トポロジー【岩波全書】 (岩波オンデマンドブックス)

トポロジー【岩波全書】 (岩波オンデマンドブックス)

面白いトポロジーの絵をもっと見たいという方にはコチラがオススメです。中世の解剖学書か?と思えるような楽しい(グロテスクな)絵がたくさん出てきます。

トポロジーの絵本 新装版 (シュプリンガー数学リーディングス)

トポロジーの絵本 新装版 (シュプリンガー数学リーディングス)

  • 作者: G.K.フランシス,笠原晧司,宮崎興二
  • 出版社/メーカー: シュプリンガー・フェアラーク東京
  • 発売日: 2005/12/01
  • メディア: 単行本
  • 購入: 1人 クリック: 26回
  • この商品を含むブログ (7件) を見る

少し触れた射影幾何学の入門書はこちらがオススメです。

射影幾何学の考え方 (数学のかんどころ 19)

射影幾何学の考え方 (数学のかんどころ 19)


  1. 単に「円」というと内部を含むのか含まないのかハッキリしないので、内部を含む場合は 円板 (disk) といい、含まない場合は 円周 (circle) と言います。

  2. コンパクトで境界のない曲面を 閉曲面 と言います。この は閉集合の とは別です。例えば円板は閉曲面ではありませんが(円周がその境界なので)ユークリッド空間の中では閉集合です。

  3. 「こんな貼り合わせ方アリなの?」と思われたかも知れません。この作り方で得られる図形は多面体ではなく、より一般に 胞体 と呼ばれるものです。胞体についても多面体と同じやり方でオイラー数が求められるのは、それぞれのホモロジー群が同型であるという事実に依っています。

  4. FF4 で月から地球(?)に戻って来るときに球体のようなものが見えた気がするのですが、球面とトーラスは同相でないのでちょっと不思議です。

  5. 向き (orientation) は 方向 (direction) とは別の概念です。3次元空間内の曲面の向きとは、その法線(曲面に直行する直線)の方向のことで、つまりは曲面の表裏のことです。より一般の状況での向きの定義はもっと難しくなります。

  6. このような変換を射影変換といい、射影変換で不変な不変量を調べるのが射影幾何学です。

  7. まさしくその証明にホモロジー理論を使います。従ってホモロジー理論の導入にジョルダンの閉曲線定理を使うのは循環論法になりますが、ここでは日常的な「当たり前」の感覚に頼って話を進めることにします。

トポロジーへの招待 〜 1. 座標も補助線も使わない「やわらかい幾何学」

この記事は 数学とコンピュータⅡ Advent Calendar 11日目の記事です。

こんにちは、佐野です。12月といえば Advent Calendar の季節です🎄思いつきで 数学とコンピュータ Advent Calendar Ⅰ / を立ち上げたところ、嬉しいことに二つともすぐに満員となりました。エントリーして下さった皆さん、ありがとうございます🙇

僕は全3回でトポロジーの考え方と計算手法を、自作のプログラムを使いながら説明していこうと思います。

  1. 座標も補助線も使わない「やわらかい幾何学」 ← イマココ
  2. 切り貼りで作る色々な曲面
  3. ...

このシリーズを通して トポロジーは最高に自由で楽しい数学(の一つ)である ことをお伝えできたら幸いです!

「やわらかい幾何学」って何?

「コーヒーカップを、取っ手の輪っかを残すように変形するとドーナッツの形にできる。従ってコーヒーカップとドーナッツは同じ。」と主張するのがトポロジーです。

f:id:taketo1024:20171211090339p:plain

小学校や中学校で習うユークリッド幾何学では、三角形や四角形などの図形はカチッと固まっており、長さや角度を計ることはあってもグニャグニャと形を変えるようなことはしませんでした。この「硬さ」と対比して、どんな連続的な変形も受け入れるトポロジーは「やわらかい幾何学」だと言われます。

数学といえば厳密だというイメージがあると思います。しかし「コーヒーカップとドーナッツは同じ」などという主張はいかにもいい加減で、数学の土俵に乗ることすら許されないように思われます。その感覚は真っ当で、だからこそユークリッド幾何学からトポロジーの誕生まで 2,000 年以上ものときを要したのだとも言えます。トポロジーでは円や多角形などの「綺麗な図形」だけでなく、歪んだ紐や穴の空いた曲面などの「日常で目にする図形1」も数学として扱うのです。

もし数学が「綺麗な図形」しか扱わない(扱えない)お堅い学問だというイメージをお持ちなら、トポロジーの自由さ(とそれに伴う絶望的な難しさ)を前にその中世的な数学観を喜んで破砕して下さい👊

そもそも「幾何学」とは何か?

19世紀末にトポロジーを創設したアンリ・ポアンカレ「数学とは、異なるものを同じものと見なす技術である」2と言ったそうです。…とだけ言われて「コーヒーカップとドーナッツは同じだ」と受け入れるのは難しいと思うので、少し立ち返って、私たちはどのように図形を「同じ」と見なしているのか観察してみましょう。

ユークリッド幾何学では次の二つの三角形は「同じ」であると考えます。しかし改めて考えると三角形が置かれてる位置や傾きは異なっています。どうしてこれが「同じ」だと言えるのでしょう?(難しい言葉を使わず4歳児に説明するとしたらどう言いますか?)

f:id:taketo1024:20171211090412p:plain

それは、左の三角形を持ち上げて動かせば右の三角形にピタッと重ねることができるからです。このとき二つの三角形は「合同」というのでした。

ユークリッド幾何学にはもう一つ「相似」という関係もあります。これは「合同」よりも広い「同じ」です。長さや面積のような「絶対的な量」でなく、長さのや角度などの「相対的な量」を扱うときに便利な関係です。

f:id:taketo1024:20171211090442p:plain

上の二つの三角形が「相似」であると言えるのは、左の三角形を縦横均等に拡大して移動することで右の三角形にピタッと重ねることができるからです。この拡大縮小が「縦横均等」であることが大切で、横方向にだけビヨーンと伸ばす3ような変形は許されていません。

この二つの例を見るだけでも、私たちは中学校までに二通りの「図形を同じと見なす技術」を学んでいることが分かります。その技術とは「特定の操作で図形を動かして一方を他方にピタッと重ねること」です。

ここで19世紀の数学者クラインによる「幾何学とは何か?4」に対する答えを見てみましょう:

幾何学的性質とは、それに作用する 変換群の作用で不変に保たれる性質 のことである。

「変換群」という難しい言葉が出てきましたが、合同の例では「合同変換(回転・平行移動・鏡映)の全体」、相似の例では「相似変換(合同変換+拡大縮小)の全体」のことです。合同変換で不変に保たれるのは「長さ・面積・体積・角度」などで、相似変換で保たれるのは「長さや面積の比・角度」などです。クラインの立場では、

「ユークリッド幾何学は、合同変換や相似変換によって不変に保たれる性質を調べる学問である」

ということになります。

ではトポロジーは?

「トポロジーとは何か?」に答えるには、トポロジーにおける「同じと見なすための変換」が何かを答えれば良いことになります。それがコーヒーカップをドーナッツに変えるときに行った「連続的な変形5 6」です。ここで図形を一点に潰してしまうような変形まで認めると「全ての図形は一点と同じ」という役立たずな理論が出来上がってしまうので「可逆 = 元に戻せる」ものに限ることにします。

「可逆で、行きも戻りも連続であるような変換」

このような変換(写像)を同相写像と言い、同相写像によって移り合う二つの図形は同相(位相同型)であると言います。すると、

「トポロジーは、同相な図形同士で不変に保たれる性質(位相不変量)を調べる学問である」7

と述べることができるようになりました。つまり「コーヒーカップとドーナッツにおいて共通しているものは何か?」を問うのがトポロジーということです!

f:id:taketo1024:20171211091500p:plain

ところで「同相な図形は同じ」と見なしたいケースとはなんでしょう?その答えはトポロジーの起源とも言われる「ケーニスベルクの問題」で見ることができます。

Konigsberg bridge

「この7つの橋を全て、同じ橋を2度通ることなく渡り、元の所に帰ってくることができるか」という問題です。18世紀の数学者オイラーは、川で囲われた領域を点、橋で繋がっている点同士を辺とするグラフを対応させることで、それは不可能であると証明しました。

問題は「このグラフは一筆書きできるか」となり、その本質はグラフの構造、つまりどの点と点がどの繋がっているかです。実際の町における移動距離や、絵に描いたグラフの辺の長さなどは関係ありません。このケースでは「同相なグラフは同じと見なす」のが正しいアプローチだと分かります。

同相写像で保たれる性質とは?

f:id:taketo1024:20171211090504p:plain

さて、二つの図形を眺めながら、何が共通していると言えるか考えてみましょう。もしこれらが粘土でできており、一方を他方に変形したのなら二つの「体積」は等しいでしょう。しかし一般に同相写像は相似変換も含んでおり、相似変換は自由に大きさを変えてしまうので「体積」は位相不変とは言えません。長さや角度を計ろうとするのも無意味です。もっと素朴に(幼児のように)考えてみましょう。

(1) 連結性

コーヒーカップもドーナッツも「一個のもの」です。コーヒーカップの取っ手の部分を切り離してしまえば図形は二つの部分に分かれます。「切り離す」というのは図形の繋がりを壊す操作ですから連続ではありません。コーヒーカップをドーナッツに変形する過程では「図形が二つ以上のものに分かれる」ことはないので「繋がった状態 = 連結性8」は保たれています。これは一つの位相不変な性質です。

(2) コンパクト性

二つの図形は有限な大きさを持つ閉じた図形です(宇宙のように無限に広がっていません)。このような図形はコンパクトであると言い、コンパクトな図形が連続写像によって無限に広がってしまうことはないので9、これも位相不変な性質です。

(3) 穴の数

ドーナッツには穴があります10。コーヒーカップも、取っ手の部分が輪っかになっているので11穴が空いています。図形を連続的に変形する過程では新たに穴が空いてしまったり埋まってしまったりすることはないので、同相写像によっては「穴の数」は保たれます。「穴の数」は上の二つと違って、数として得られる位相不変量です。

これらの性質や量は対象の図形が簡単であれば見てすぐに分かりますが、もっと複雑な図形の場合はそうは行きません。例えば 4 次元の図形が与えられて、穴が何個空いてるかを見て調べるのは一般人には不可能でしょう。何かしらもっと体系的に位相不変量を取り出す方法が欲しくなります。その本格的な手段は次回説明することにし、今回は導入として、トポロジーが創設される以前から知られていた位相不変量であるオイラー数を紹介します。

オイラー数

f:id:taketo1024:20171211090627p:plain

5つの正多面体があります。下の表にぞれぞれの頂点 (V: Vertex)・辺 (E: Edge)・面 (F: Face) の数が書かれています。多面体ごとにこれらの数は異なります。しかし、これらの数の組に対してある計算をすると、不思議と共通の値が出てきます。

f:id:taketo1024:20171211091206p:plain

V - E + F を計算すると、全て 2 です。

どんな多面体についても V - E + F = 2 となるのでしょうか? 答えは NO です。次の図形について計算してみると、

f:id:taketo1024:20171218100715p:plain

左は V - E + F = 0、右は V - E + F = -2 です。

パターン見えて来ましたね…!どうやら球面に同相な多面体は V - E + F = 2 となり(内側をプクッと膨らませるとどれも球面になりますよね)、穴の数が増えるごとに値が 2 ずつ減っていくようです。つまり穴の数を  g として、

 V - E + F = 2 - 2g

となっているようです。

この量が (多面体の) オイラー数です。こんな単純な式で計算される量が位相不変であるというのは実に不思議です。例えば球面を 4 個の頂点で分割しても 5000兆個 の頂点で分割しても、オイラー数は等しく 2 となるのです。「同相であれば値が等しい」のが位相不変量なので、対偶を取れば「位相不変量が異なれば同相でない」となります。球面とトーラス(ドーナッツの表面)が同相でないという事実は、2 ≠ 0 から直ちに分かってしまう訳です。

では逆に「オイラー数が等しい図形は同相だ」と言えるでしょうか? 答えは NO です。例えばこの変な図形:

f:id:taketo1024:20171211090542p:plain

オイラー数は 0 です(数えて見てください)。どう見ても上に出てきたもの同相ではありません。 以上をまとめると、

  • オイラー数は図形に対して組み合わせ的に定まる量であり、
  • 同相な図形に対してはオイラー数は一致するが、
  • オイラー数が一致するからといって同相とは限らない。

となります。ここで当然の疑問として、

  • V - E + F という数は一体どこから出て来たのか?
  • なぜこの量は位相不変となるのか?

が残ると思います。 次回、単体複体のホモロジー群 を導入し、この数の由来を探って行くことにしましょう。

完全な不変量を求めて

「オイラー数が等しくても同相とは限らない」は、ユークリッド幾何学において「合同な三角形の面積は等しい」は成り立つが「面積の等しい三角形は合同」とは限らないという事情と同じです。

しかし「三角形の合同条件」には「三辺相等」「ニ辺夾角相等」「ニ角夾辺相等」がありました。これは三角形の「辺の長さ」や「角度」などの不変量をうまく組み合わせることで が言えてしまうという強い定理です。

二つの図形の間で変換が作れるかどうかという問題は、いわば無限次元空間の中で「点」を探すことであり、一般にはとても難しいものです。一方で具体的に計算できる不変量を組み合わせることで「同型でない」だけでなく「同型である」までも判定できるとしたら、それは対象の図形がその不変量によって完全に決定されるということです。

オイラー数は位相不変量としては完全ではありませんでした。しかし対象とする図形を制限し、他の不変量と組み合わせることで、特定の図形が完全に分類できるということも次回説明します。お楽しみに!

参考図書

数学専攻でない人がトポロジーに入門するにはこちらがオススメです。特別な前提知識なく読めると思います(恐らく高校生でも)。

トポロジー:柔らかい幾何学

トポロジー:柔らかい幾何学

こちらはもう少し進んだ内容で、行列を使った具体的な計算やホモロジー群の位相不変性なども扱っています。

臨時別冊・数理科学2005年9月トポロジー入門

臨時別冊・数理科学2005年9月トポロジー入門

こちらは古典的なトポロジー(単体的複体のホモロジー群・基本群)の入門書です。

トポロジー【岩波全書】 (岩波オンデマンドブックス)

トポロジー【岩波全書】 (岩波オンデマンドブックス)

さらに進んで学びたい人は、オンラインで入手できる A.Hatcher の "Algebraic Topology" を見てみると良いと思います。


  1. もちろんトポロジーでは「日常で目にする図形」だけでなく「人間には見ることのできない図形」も扱います。

  2. “la mathématique est l'art de donner le même nom à des choses différentes.” Science et Méthode, 1908.

  3. そのような変形は「アフィン変換(線形変換+平行移動)」と呼ばれ、アフィン変換で移り合う図形を同一視する幾何学が「アフィン幾何学」です。

  4. このような「問い」が19世紀になってようやく起きた背景には、ギリシャ時代以来「ユークリッド幾何学」が唯一絶対の幾何学だと信じられてきたのに対し、18世紀以降その公理を満たさない「非ユークリッド幾何学」も成り立つことが明らかになってきたことがあります。

  5. ユークリッド空間における「写像の連続性」を定めるのが  \epsilon\delta 論法です(過去記事)。トポロジーにおいてはより一般の「位相空間(topological space)」を扱いますが、「位相」「連続写像」の厳密な定義は大幅に直観を離れてしまうので、wikipedia へのリンクだけ貼ってここでは述べないことにします。

  6. 正確には二つの図形が「同相」であることと「アイソトピック」であること(ある空間の中で同相を保ちながら一方を他方に変形できること)は異なります。「コーヒーカップとドーナッツ」の例では  \mathbb{R}^3 の中でアイソトピーを作っており、その結果として二つの図形は同相となっています。

  7. トポロジーでは「同相」よりも遥かに広い「ホモトピー同値」という同値関係も扱います。例えば  \mathbb{R}^3 と 1点、円周とメビウスの帯などは互いにホモトピー同値になります。

  8. 連結」「コンパクト」にもちゃんと厳密な定義があります。

  9. 「有界 = 有限の大きさを持っている」だけではダメです。例えば  \mathbb{R}^2 内の半径 1 の円板で境界の円周を除いたもの(開円板)は  \mathbb{R}^2 と同相になります。あるいは長さ 1 の開区間  (0, 1) は実数直線  \mathbb{R} と同相です。面積や長さは等しくても、境界を含んでいるか否か(図形が閉じているか否か)で位相的な性質は決定的に変わってしまいます。

  10. Oxford Dictionary における doughnut の定義 には “Typically in the shape of a ball or ring.” とあるので、「穴が空いてる」ことがその定義に含まれる訳ではないようです。

  11. 取っ手の部分が輪っかになっていない 例外的なカップ もあるようです。

中間報告 〜 勉学と育児の間で

こんにちは、1年ぶりの投稿です。明日からまた学期が始まるので、これまでのことを中間報告としてまとめておきます。

退職しました

昨年の4月、会社の「勉学休職制度」を利用して休職して大学院に入学したのですが、1年経過した今年の3月末に退職しました。理由はお金です。僕が不勉強だったのがいけないのですが、休職中は無収入であっても在職時と同額の社会保険料を支払い続けなければいけないことを知りませんでした。

(参考: 休職中・休業中の社会保険料Q&A

大ヒットした芸能人やスポーツ選手が翌年の税金に苦しむという話はよく耳にするので、一年耐えれば翌年からガクッと下がるものだと思っていたのですが、それは給与から天引きされるうちの住民税であって社会保険料(健康保険料+厚生年金保険料+雇用保険)は別なのでした…

例えば月収が30万の場合は社会保険料は約4万円、50万の場合は約7万円です。これが無給であっても毎月取られ続けるのはかなり厳しい。

毎月会社からメールで「○○万円振り込んで下さい」と指示される額がやたらと高く「なんかおかしいか…?」と気づいたのが昨年の10月。当初の想定と大きく異なる負の勾配で減っていく貯金額に心を揺さぶられ続けました。何度か人事の方とも相談した上で3月末に退職することにしました。

僕としては社会人になってからも仕事を休んで学業に専念する期間を設けるキャリアプランを勧めて行きたかったのですが、これはかなりの障壁です。とりあえず多くの人が進まない道を進もうとする場合その先にどんな穴があるかは自分で調べておかないといけませんね…

1年延長します

在学期間を1年延長することにしました。修士課程は通常2年間なので、3年かけて2019年に修了予定です。このことを決めたのは6月で、理由は基礎的な学力が全然足りておらず、このまま進めたところで満足な研究成果は出せそうになかったためです。

数学徒なら多くの人が知っているであろう佐藤幹雄先生の有名な言葉があります。

「朝起きた時に,きょうも一日数学をやるぞと思ってるようでは,とてもものにならない。数学を考えながら,いつのまにか眠り,朝,目が覚めたときは既に数学の世界に入っていなければならない。どの位,数学に浸っているかが,勝負の分かれ目だ。数学は自分の命を削ってやるようなものなのだ」

「数学は体力だ!」より

これは育児のある身にはつらい。

朝起きて、保育園の登園の準備をしながら娘に朝ごはんを食べさせ、着替えさせ、嫌がったりグズったりするのを上手くやりこめながら(ときには強引に)保育園へ連れていき、諸々のセッティングをした上で娘を保育士さんに預け、電車に乗って登校し、キャンパス内のカフェで「やれやれ、疲れたぜ」とアイスコーヒーを飲んでから「さぁ数学をやるぞ」…と思っているようではとてもものにならない、となってしまう。

一年以上も地に足のついた感覚のないままひたすら知識を詰め込み、毎週行われるゼミでは理解の甘さを詰められ、家族といるときでも「あれをやらないとやばい…」と常に追い詰められたような気持ちでいました。研究テーマは修士2年の夏休み前ぐらいには見えているべきものですがさらさら手応えもない。このまま先生にテーマを与えてもらって修士論文を書き上げたところで何か得られるものはあるだろうか、2年かけて修士号と引き換えに貯金だけでなく数学への情熱まで失ってしまいそうでした。

時間が足りないなら、時間を増やすのが正しい。これも厳しい決断でしたが、先生や妻とも相談の上で一年延長することにしました。

貯金の流出を食い止め、在学期間を延ばしたことで、ようやく安定した気持ちで勉学に取り組めるようになりました。土日は育児に専念しようと割り切れるようにもなり、家庭の雰囲気もよくなりました。

夏休み

入学以来、意識的に技術関係の情報はシャットアウトしていたのですが、夏休みぐらい良いかということで「プロ数LT」と「iOSDC 2017」に登壇することにしました。

プログラマのための数学 LT 会

f:id:taketo1024:20170924181221j:plain

「プログラマのための数学勉強会」は昨年の3月以来開催しておりませんでしたが、LTでも登壇してくれたハトネコエさんが

と、自ら「プログラマのための数学LT会」というスピンオフ企画を立ち上げてくれました。第1回が3月に開催され、第2回が7月に開催されるとのことで、ポチッと応募することにしました。

僕の発表は

www.slideshare.net

線形代数のみを前提知識として、代数トポロジーの面白さをプログラマにも体感してもらおうという試みです。久しぶりの登壇でテンション上がって発表時間を大幅に過ぎてしまいましたが、ホームな気分の中で好きな話ができて楽しかったです。

iOSDC 2017

f:id:taketo1024:20170924181212j:plain

国内最大の iOS 開発者カンファレンス iOSDC。Twitter のタイムラインで CfP 締切り情報が流れてきたので勢いで エイヤ と出してみることにしました。

www.slideshare.net

この発表は1年前に書いた Swift で代数学入門 を元にしています。数学における抽象化と Swift における Protocol-Oriented Programming は綺麗に対応させることができるという内容で、既知の概念を拠り所にして数学の難しい話にも触れられるようにしてみようという試みです。

マニアックな人が数名聞いてくれればいいかなぐらいに思っていたのですが、会場は立ち見が出るほどの満席でした。2日目の昼過ぎで既に場が暖まっていたこともあり、自分がこれまでやってきた中で最高の盛り上がりでめちゃくちゃ楽しかったです。オーディエンスの投票で決まるベストトーク賞の4位を頂くことができました。

エンジニアの勉強会の雰囲気はやっぱ良いものだなと思いました。特に「あの人は本当に楽しそうに数学の話をするなぁ」と言ってもらえるのは、普段黙々と数学の勉強をしているときは分からなくて苦しんでることの方が多いので、「やっぱ俺は数学が好きらしい」と原点に立ち返れるので救われます。

夏休みは他にも北海道へ Applied Algebraic Topology 2017 に参加したり、代数的トポロジー 信州夏の勉強会 に参加したりと、充実した時間を過ごすことができました。

まとめ

まとめると「一年半経ってようやく良い感じになってきた」という感じです。

勉強と育児の両立は大変ですが、子供を授かったことも数学の道に戻ってきたことも自ら望んだことです。それなのに身の周りと比べて自分に子供がいることを足枷のように思ってしまうほど悲しいことはない。実際には、子供ができたからこそ自分の人生を見つめ直し、もう一度数学をやろうと決められたのでした。

これまでの自分は少なからず競争を意識して生きてきましたが、今の環境では競争意識を持とうものなら惨めな思いをすることは明らかです。今は色々な制約のある中でもちゃんとベストを尽くせているか(夜更かしせずにちゃんと寝て毎日ベストコンディションで臨めているか、というレベルのこと)が自己評価の基準の大きな部分を占めるようになってきました。

夏休みの最後の週は家族でゆっくり過ごせたので、また明日から張り切って数学をやっていくぞ💪(と思ってるようでは…?)