クレジット：
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈
ライセンス：
利用者は、本講義資料を、教育的な目的に限ってページ単位で利用することができます。特に記載のない限り、本講義資料はページ単位でクリエイティブ・コモンズ 表示-非営利-改変禁止 ライセンスの下に提供されています。
http://creativecommons.org/licenses/by-nc-nd/4.0/
本講義資料内には、東京大学が第三者より許諾を得て利用している画像等や、各種ライセンスによって提供されている画像等が含まれています。個々の画像等を本講義資料から切り離して利用することはできません。個々の画像等の利用については、それぞれの権利者の定めるところに従ってください。

4次元多面体から空間のかたちをみる
ー 空間が曲がっているとはどういうことか河野 俊丈
2016年7月7日
学術俯瞰講義「図形から拡がる数理科学」

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

今回の講義のテーマ(1) 地図の上で実際の曲線の長さをどう測るか？
ー 計量とは何か(2) 曲面の曲がり具合をどう表すか？
ー ガウス曲率(3) 2次元の幾何構造のモデル
ー 非ユークリッド幾何学の発見(4) 空間内から曲率を測れるか？
ー 内在的微分幾何学への流れ(5) 3次元球面の幾何と4次元正多胞体
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

エラトステネスによる地球の大きさの測定

http://www.phil-fak.uniduesseldorf.de/philo/galer
ie/antike/eratosth.html

Eratosthenes, BC275-BC194
By Erzbischof From Wikimedia Commons.
https://commons.wikimedia.org/wiki/File:Eratosthenes.svg(ref. 20160720) CC BY-SA 3.0

アレクサンドリアとその南にあるシエネでの南中時の太陽の高度差から地球の大きさを求めた．

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

地球の外からの視点を使わないで地球が球形であることをどのように認識できるか？
大円で囲まれた三角形（測地三角形）の内角の和は180度よりも大きい．

飛行機の航路は球の大円 （測地線）
地球上で距離を測るためには，地図に表したときの縮尺（それぞれの点で縦方向，横方向の縮小率と両者の角度の３つの情報が必要）
これを「計量」とよぶ．
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

計量とは各点で内積を与えること地図に座標を導入する．
座標についての基本ベクトルの内積を実際の長さを表すように定める．

内積の基本性質について線型を地図上の関数とみなす．

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

曲線の曲率とは？
速度ベクトルBy Ikaxer From Wikimedia
Commonshttps://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Transition_curve.gif (ref. 20160720) CC BY-SA

速度ベクトルの大きさが1になるようにパラメーター表示
曲線の曲率は長さ1の青い矢印の始点の移動距離と右の円上の終点の移動距離の比
線路の曲がり具合は曲率半径Rで表される

半径Rの円の曲率Kは逆数 1/R

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

曲面のガウス曲率
ガウス写像
曲面に垂直で長さ 1 のベクトルによって球面への写像を構成．

ガウス写像によってうつされる部分の面積比がガウス曲率．
向きが逆になるときは負号をつける．

平面の曲率は 0
平面をまるめても曲率は 0
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

ガウス曲率と3角形の内角の和3角形の内角の和＜180度

3角形の内角の和＞180度3角形の内角の和＝180度
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

Gauss 1777-1855http://www.ms.utokyo.ac.jp/~kohno/models/history.
html (ref. 2017/5/2)

ガウス曲率が負の一定値をとる曲面の模型（東大数理所蔵）

制作：ヤマダ精機
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

http://faculty.ms.u-tokyo.ac.jp/~topology/models/Ncurved.html(ref. 2017/5/2)

トラクトリクスの回転面
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

幾何構造へのアプローチ
まずドーナツ面の幾何構造を考えよう

トーラスは右のような展開図によって距離をさだめるとどの点のまわりも平面の円の内部と合同になる．
トーラスの局所ユークリッド幾何構造

トーラスはフラットな構造をもつ

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

トーラスの幾何構造のモデル

ユークリッド平面はトーラスの幾何構造のモデルである．
トーラスからモデルとなる平面を再現するには，トーラスの一点について，そこに到達する「光源」すべてを観測すればよい．
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

13

局所ユークリッド曲面
局所的にユークリッド平面と合同な完備な曲面は次の５通りに分類される．
••
•
•
•

１ ユークリッド平面
２ シリンダー３ トーラス
４ 開いたメビウスの帯
５ クラインのつぼ

完備とは直線がどこまでものばせること（端がない）
トーラスとクラインのつぼはコンパクト（有限な広がり）
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

平面結晶群との関係
トーラス

4つの特異点をもつ
オービフォールド

クラインのつぼ河野 俊丈『結晶群』共立出版2015年 p. 131

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

局所ユークリッド曲面
局所的にユークリッド平面と合同な完備な曲面は次の５通りに分類される．
••
•
•
•

１ ユークリッド平面
２ シリンダー３ トーラス
４ 開いたメビウスの帯
５ クラインのつぼ

完備とは直線がどこまでものばせること（端がない）
トーラスとクラインのつぼはコンパクト（有限な広がり）
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

平面結晶群との関係
トーラス

4つの特異点をもつ
オービフォールド

クラインのつぼ河野 俊丈『結晶群』共立出版2015年 p. 131

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

局所ユークリッド曲面
局所的にユークリッド平面と合同な完備な曲面は次の５通りに分類される．
••
•
•
•

１ ユークリッド平面
２ シリンダー３ トーラス
４ 開いたメビウスの帯
５ クラインのつぼ

完備とは直線がどこまでものばせること（端がない）
トーラスとクラインのつぼはコンパクト（有限な広がり）
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND河野 俊丈『結晶群』共立出版2015年 p. 80

クラインのつぼの模型
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

ユークリッド「原論」における公準
紀元前3, 4世紀

 2点を結ぶ直線がただ一つ存在する．
 直線は両側にいくらでものばせる．
．．．．．．．
平行線についての第5公準
1つの線分が2つの直線に交わり，同じ側の内角の和が2直角より小さいならば，この2つの直線は延長すると，2直角より小さい角のある側において交わる．

2直線が平行とは，それらを延長しても交わらないこと．
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

非ユークリッド幾何学の発見
1830年頃，ロバチェフスキーとボヤイによって，「平行線についての第5公準」は満たさないが，ユークリッド原論の他の公準は満たす幾何学の体系が存在することが示された．
http://www-history.mcs.standrews.ac.uk/PictDisplay/Bolyai.html (ref. 2017/05/2)

http://www-groups.dcs.stand.ac.uk/~history/PictDisplay/Lobachevsky.html

J. Boyai

N. Lobachevsky

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

非ユークリッド幾何学のモデル
ベルトラミ，ポアンカレ，クライン，．．．
上半平面モデルy>0
測地線は x軸と直交する半円または半直線測地線に関する反転によって距離は変わらない．
半径 r の円についての反転

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

ポスリエの反転機

http://faculty.ms.utokyo.ac.jp/~topology/models/
invertors.pdf (ref. 2017/5/2)

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

双曲幾何のモデル
ポアンカレ円板 (双曲平面)
測地線は無限遠の円周と直交する円弧
三角形の内角の和は180度より小さい単位円の内部に縮尺で距離を入れる．

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

測地3角形の面積
内角Δの測地3角形の面積

領域

Δ

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-NDの面積

種数２の曲面
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

種数2の曲面の双曲幾何構造
ポアンカレ円板

内角が45度の正8角形の辺をはり合わせる．

河野俊丈『曲面の幾何構造とモジュライ』日本評論社1997年
p. 48 図12 (1)(2)

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

2次元幾何構造のモデル
球面

ユークリッド平面

双曲平面

三角形の内角の和は180度より大三角形の内角の和は180度三角形の内角の和は180度より小曲率 正

曲率 0

曲率 負

トーラス

種数2以上の曲面

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

双曲平面のタイルばり{3,7}型

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

双曲平面のタイルばり{4,5}型

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

双曲平面のタイルばり{5, 5}型

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

双曲平面のタイルばり{7, 3}型

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

擬球と双曲平面

http://faculty.ms.u-tokyo.ac.jp/~topology/models/Ncurved.html(ref. 2017/5/2)

擬球の展開図を双曲平面上に表すことができる．
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

ガウスの定理 Theorema Egregium
曲面のガウス曲率は，計量によって定まる．
曲率は曲面が入っている空間からみなくても，内在的にさだまる．

等距離地図の不可能性
地球のどんな小さい部分も縮尺一定の正確な地図はつくれない！
球面の曲率は正， 平面の曲率は 0 35
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

内在的な微分幾何学の確立
計量から出発して，空間の曲がり具合を表す曲率の概念がリーマンによって定式化された．
局所的に n 個の座標で定義できる図形が n 次元多様体

計量

リーマン多様体

測地線

http://www.sil.si.edu/DigitalCollections/hst/scientificidentity/fullsize/SIL14-R003-02a.jpg

Riemann 1826-1866

さまざまな方向の測地3角形の内角を見る

リーマンの曲率テンソル
36

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

3次元球面の幾何学と正多胞体

正多胞体は3次元球面の正則分割を与える．
シュレフ
リー記号

0-セル

1-セル

2-セル

3-セル

正5胞体

{3, 3, 3}

510

10

5

正8胞体

{4, 3, 3}

1632

24

8

正16胞体

{3, 3, 4}

824

32

16

正24胞体

{3, 4, 3}

2496

96

24

正120胞体{5, 3, 3}6001200

720

120

正600胞体{3, 3, 5}1207201200600

3次元球面のオイラー数は 0
UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

グラム行列

グラム行列

ベクトル a, b が一次独立ならば，グラム行列の行列式は正UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND

UTokyo Online Education 学術俯瞰講義 2016 河野俊丈 CC BY-NC-ND