幾何数理工学のバックアップ(No.2)

講義日程-2007年度冬学期

幾何数理工学 †

担当：増田直紀講師
1.5単位
- 数理：限定選択A
8:30-10:00 工学部六号館 62講義室
レポート1～2回、中間試験、期末試験

↑

内容 †

幾何学(Geometry)~~様々な図形を一定の視点の下で眺め、これらの図形の性質を研究。~~一定の視点とは、何らかの変換。図形の性質とは、その変換で不変な性質。
- 位相幾何学(Topology)：位相同型変換によって不変な位相空間の性質を扱う。
- テンソルの幾何学：座標変換（C^∞級同型）によって不変な多様体の性質？

トポロジー
- ユークリッド幾何学(Euclidean Geometry)~~合同変換(Congrument Transformation)によって不変な図形の幾何学。~~合同変換：二点間の距離を変えない変換。(平行移動・回転・鏡映とその合成)~~長さ・角度・面積などが不変量。
- 位相幾何学(Topological Geometry)~~位相同型写像で~~位相同型写像：連続な全単射で逆写像も同型なもの。~~長さ・角度・面積などは変化する。~~図形のつながり方が不変。図形に空いた穴や図形のねじれ、境界の開・閉。~~伸縮させて同じ形にできる図形は同じものとみなす。~~コーヒーカップとドーナツは位相同型。

距離空間(Metric Space)：距離関数の備わった集合。
- 距離関数：三角不等式を満たす、非負で対称な二変数関数で、密着でないもの。
- 距離空間X,Yについて、~~ {a[n]}_{n∈N}~~lim[x→∞]a[n]=a~~⇔(∀ε＞0.∃n∈N.∀m＞n⇒d(a[m],a)＜ε)で極限を定義し、~~f:X→Yについて、Xの任意の収束列{x[n]}について~~lim[n→∞]f(x[n])=f(lim[n→∞]x[n])ならばfは連続と定義する。~~∀ε＞0.∃δ＞0. ∀x,y∈X. d(x,y)＜δ⇒d(f(x),f(y))＜ε~~∀x∈X.∀ε＞0.∃δ＞0. f(N(x,δ))⊂N(f(x),ε)~~も同値。
- 連続でない写像で図形を変換すると、片方の空間で収束するものがもう片方では収束しない場合がある。~~図形が破れている。
- 単射でない写像を使うと、異なる二点を同じ点に移すので、図形を張り合わせてしまっている。
- 逆写像が連続でない全単射では、境界の開の部分と閉の部分を張り合わせる場合が残っている。

位相空間(Topological Space)：位相の備わった集合。距離空間の一般化。
- 位相：連続写像や極限を定義するための仕組み。
  - 開集合系：有限積と加算和について閉じた集合族。~~この集合族に属する集合を「開集合」とみなし、開集合の逆像が開集合になるような写像が連続写像。
  - 閉集合系：有限和と加算積について閉じた集合族。~~開集合系と同様に位相を定める。
  - 近傍系：
  - 閉包作用素：部分集合から部分集合への写像で、空を空に移し、合併とついて分配でき、冪等で拡大なもの。
- 位相同型写像：連続な全単射で逆写像も連続なもの。~~「切り取らず」(連続)~~貼り付けず（単射）、変形を許す写像（全射）。

距離空間の位相
- 距離空間X中の部分集合Aの点xについて、~~Xに含まれるx周りの開球が存在すれば、xはAの内点。~~存在しなければxはAの外点。~~Aの外点全体を∂Aと書き、∂AをAの境界と呼ぶ。~~(多様体の境界とは別物。)
- 開集合・閉集合の定義、その１
  - 境界と交わりの無い集合が開集合。
  - 境界を含む集合が閉集合。
  - 開集合の補集合は閉集合。~~閉集合の補集合は開集合。~~空間と全体は開かつ閉な集合。~~開でも閉でも無い集合もある。
- 開集合・閉集合の定義、その２~~距離空間Xの部分集合Aについて
  - A中の任意の点について、その点まわりの開球が存在すれば、Aは開集合。
  - Aの補集合が開集合ならAは閉集合。
  - この二種類の定義は同値だが、後者の方が位相空間に一般化しやすい。
- この開集合・閉集合の定義は距離に依存する。~~例えば離散距離を入れれば任意のの部分集合は開かつ閉になる。

連続写像
- 距離空間X,Yとf:X→Yについて、次の3つは同値
  - fが連続(⇔∀x∈X.∀U∈N(f(x))).∃V∈N(x). s.t. f(V)⊂U)
  - Yの任意の開集合の逆像はXの開集合。~~連続写像は開写像とは限らない。開を開へ移すとは限らない。
  - Yの任意の閉集合の逆像はXの閉集合。
- 開集合・閉集合を距離に依存しない形で定義してやれば、~~距離に依存せずに写像の連続性を定義できる。
- 「f:X→Yが位相同型写像」⇔「fは全単射で連続な開写像」

開集合の公理
- 距離空間Xの開集合全体をOとすると、Oは以下の開集合の公理を満たす。
  - φ∈O, X∈O
  - U,V∈O ⇒ U∩V∈O ~~(二つについて言えば再帰的に有限個について言った事になる)~~∀x∈U∩V⇒∃α＞0.∃β＞0.N(x,α)⊂U∧N(x,β)⊂V⇒N(x,min(α,β))⊂U∩V
  - {O[i]}_(i∈I). O[i]∈O. について、∪[i∈I]O[i] ∈ O~~(Iの濃度については言及していない。任意の濃度でよい)~~∀x∈∪[i∈I]O[i].∃i∈I.x∈O[i]⇒∃ε＞0.N(x,ε)⊂O[i]⊂∪[i∈I]O[i]

閉集合の公理
- 距離空間Xの閉集合全体をFとすると、Fは以下の閉集合の公理を満たす。
  - φ∈F, X∈F
  - U,V∈F ⇒ U∪V∈F
  - {O[i]}_(i∈I). O[i]∈O. について、∩[i∈I]O[i] ∈ O

補)集合論から
- 任意の集合Aについて、その部分集合全体は集合を成すと見なし、それを2^Aと表す。(冪集合の公理)
- 集合A,Bについて、AからBへの写像全体は集合を成し、B^Aと書く。~~2={0,1}と見ると、冪集合2^AはAから2への写像全体と同型。

位相空間~~必ずしも距離の入っていない集合について、開集合の公理を満たすように人工的に開集合を指定する。
- 開集合による位相
  - 集合Xについて、開集合の公理を満たすXの部分集合族Tを、開集合系によるXの位相と呼び、位相を伴った集合(X,T)を位相空間と呼ぶ。~~毎回ペアで書くのは面倒なので、どの位相を入れているか明らかなときにはTは省略されることが多い。~~Tは一意には定まらない。位相の入れ方は複数考えられる。~~位相には包含関係による順序づけができる。~~開集合系による位相の定義以外にも閉集合系・近傍系・閉包作用素・開核作用素などでも位相を定義できる。~~どれが一つで定義すればそこからほかのも定義できる。
  - 位相空間(X,T)について、開集合系に含まれる集合を開集合。開集合の補集合を閉集合と呼ぶ。
  - 最も弱い位相として密着位相{φ,X},最も強い位相として離散位相2^Xがある。

連続写像
- 位相空間 X,Y 間の写像 f:X→Y について、~~fが連続であるとは、Yの任意の開集合の逆像がXの開集合であること。
- fが開写像であるとは、任意のXの開集合の像がYの開集合であること。

位相同型写像
- 位相空間の間の連続で全単射な開写像を位相同型写像・同相写像であるという。
- 二つの位相空間の間に位相同型写像が存在するとき、その位相空間は互いに同相であるという。

近傍系
- 位相空間X上の点xについて、xを含む開集合を開近傍。xの開近傍を含む集合を近傍と呼び、その全体をN(x)と表す。
- 「xを内点のとして含む集合」や「開核がxを含む集合」としても同値。
- AがXの開集合であることと、A上の任意の点についてAに含まれる近傍が存在することは同値。
- AがXの閉集合であることと、A^C上の任意の点についてAと交わらない近傍が存在することは同値。
- 位相空間X,Yについて、f:X→YがX上の点xにおいて連続であるとは、Yにおけるf(x)の任意の近傍Vについて、f(U)⊂Vとなるxの近傍Uが存在すること。~~fがX上の任意の点で連続ならば、fはX全体で連続。

距離空間と位相空間
- 距離空間は距離に伴う通常の開集合系を使って位相を定められる。~~特に(R^n,d_2)の位相をEuclid位相と呼ぶ。

11/1は休講

連結性
- 開かつ閉な集合が全体と空集合以外になければ連結。
- 空でない互いに疎な開集合で全空間を分割できるなら不連結。
コンパクト性
- ある集合族で集合を覆えるとき、その集合族を被覆という。
- 被覆に含まれる集合が全部開集合なら開被覆という。
- 開被覆の要素の数が有限なら有限開被覆という。
- 要素数を指定しない任意の開被覆から、有限開被覆を選び出せるとき、その集合はコンパクトだという。
- ユークリッド空間については、コンパクトであることと有界閉集合であることは同値。

直和分割
- 全空間を互いに疎な集合族に分割すること。
- 同値関係で同値類を作ると、同値類全部を集めたものは直和分割。
  同値類による分割を分類と呼び、同値類全体の集合を商集合と呼ぶ。
  集合の要素から、その要素が属する同値類への写像を標準全射と呼ぶ。
  - 標準全射は全射。同値関係の別表現ともとれる。

路，道，弧，パス
- 位相空間 $X$ と任意の２点 $p,q \in X$ に対して、
  連続写像 $f:[0,1]\to X$ で $f(0)=p \wedge f(1)=q$ となるものをpからqへの路という。
弧状連結
- 空間上の任意の２点について、それらを結ぶ路が存在すること。
- 弧状連結ならば連結。

路の変形，ホモトープ，ホモトピー
- 位相空間 $X$ 上の２点 $p,q$ と
  それらを結ぶ２つの路 $f,g : [0,1]\to X$ について、
  「 $f$ が $g$ に変形できる」とは、
  連続写像 $F:[0,1]\times [0,1] \to X$ で、
  $F(t,0) = f(t)\wedge F(t,1) = g(t)$ が存在するとき、
  fはgに変形できる、と言い、Fはfからgへのホモトピーと呼び、
  fとgは互いにホモトープと言う。
  ホモトープであることは同値関係。
  （空間上の２点を固定して）空間上の曲線をホモトープによる同値関係で分類できる。

ホモトープによる同値類の数は位相不変量（同相写像によって変わらない性質。）
この商集合は有限集合になるとは限らず、扱いが難しい。
商集合に適当な演算を定義して群を作り、代数的な構造から元の空間の性質を調べる。

基本群
- 位相空間の路とホモトープから導かれる群

レポート、11/22の講義終了時まで。

幾何数理工学 のバックアップ(No.2)

幾何数理工学 †

内容 †

幾何数理工学のバックアップ(No.2)