境界付き多様体

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（2017年7月）

左側は境界をもたない位相多様体であり，右側は赤で示した境界を持つ位相多様体である．

境界付き多様体（きょうかいつきたようたい，英: manifold with boundary）^{[注釈 1]}は微分幾何学における数学的対象である．それは多様体の特別な場合ではなく，逆にその一般化である．多様体に定義できる多くの構造は，境界付き多様体にもできる．

定義[編集]

有限長の円柱は境界付き多様体である．

境界付き多様体[編集]

上半空間を

${\displaystyle \mathbb {H} ^{n}:=\left\{(x^{1},\dotsc ,x^{n})\in \mathbb {R} ^{n}\mid x^{n}\geq 0\right\}}$

と書く．これには Rⁿ の部分空間位相を与え，特に Hⁿ 全体は開かつ閉集合である．

n 次元境界付き位相多様体とは，ハウスドルフ空間であって，第二可算公理を満たし，任意の点が開近傍であって上半空間の開部分集合 V ⊂ Hⁿ に同相なものを持つものをいう．

（一般化）チャート[編集]

開部分集合 U ⊂ M と同相写像 φ: U → V ⊂ Hⁿ の組，ただし V は Hⁿ の開集合，は一般化チャート（座標近傍）と呼ばれる．

境界[編集]

Hⁿ の Rⁿ における境界 ∂Hⁿ は xⁿ = 0 なる点全体の集合である．M が境界付き多様体のとき，x ∈ M であって，x ∈ U なるある（すると"すべての"になるが）チャート (U, φ) で φ(x) ∈ ∂Hⁿ となるものは M の境界点と呼ばれる．すべての境界点からなる集合は ∂M と書かれる．

∂M の連結成分は"境界成分"と呼ばれる．

∂M が空のとき，M は通常の（境界のない）多様体である．

構造[編集]

可微分構造[編集]

境界のない多様体と同様，境界のある多様体にも微分構造を定義することができる．これはチャートの重なりからなる．そのようなチャート (U, φ), (V, ψ) のすべての対に対して，写像

${\displaystyle \phi \circ \psi ^{-1}|_{\psi (U\cap V)}\colon \psi (U\cap V)\to \phi (U\cap V)}$

は微分同相でなければならない．${\displaystyle \phi \circ \psi ^{-1}}$ の定義域 ${\displaystyle \psi (U\cap V)}$ が Hⁿ の境界点を含んでいるならば，${\displaystyle \phi \circ \psi ^{-1}}$ の微分可能性を調べるためには, ψ(U ∩ V) を含むが Hⁿ の部分集合ではないような Rⁿ の開集合をとらなければならない. もちろん，すべての境界付き多様体に微分構造を定義できるわけではない．境界付き多様体は通常の多様体同様いくつかの異なる微分構造をもちうる．

向き付け[編集]

境界付き（可微分）多様体 M において，境界 ∂M は M の部分多様体である．M が向き付け可能であると仮定すると，境界 ∂M も向き付け可能である．これは明らかではない．向き付け可能でない部分多様体が存在するからである．

ストークスの定理[編集]

境界付き多様体の助けを借りて，ストークスの積分定理を簡潔かつエレガントに定式化できる．M を向き付けられた n 次元境界付き可微分多様体とし，ω をコンパクト台を持つ n − 1 次の微分形式とすると，

${\displaystyle \int _{M}\mathrm {d} \omega =\int _{\partial M}\omega }$

となる．M が境界を持たなければ，右辺の積分は 0 であり，M が 1 次元多様体ならば，右辺の積分は有限和である．

頂点付き多様体[編集]

定義[編集]

立方体は頂点付き多様体である．

${\displaystyle {\overline {\mathbb {R} _{+}^{n}}}}$ を Rⁿ の点であってすべての座標が非負のもの全体とする：

${\displaystyle {\overline {\mathbb {R} _{+}^{n}}}=\{(x^{1},\dotsc ,x^{n})\in \mathbb {R} ^{n}:x^{1}\geq 0,\dotsc ,x^{n}\geq 0\}.}$

この部分集合は Hⁿ と同相であるが微分同相ではない．M を境界を持つ（位相）多様体とする．頂点を持つ多様体^{[注釈 1]}とは，局所的に ${\displaystyle {\overline {\mathbb {R} _{+}^{n}}}}$ の開部分集合と微分同相な多様体である．このとき M のチャートは "頂点付きチャート" と呼ばれる．頂点付きチャートは対 (U, φ) であって U ⊂ M が M の開部分集合で ${\displaystyle \phi \colon U\to {\tilde {U}}\subset {\overline {\mathbb {R} _{+}^{n}}}}$ が同相なものである．2つの頂点付きチャート (U, φ) と (V, ψ) が整合的とは，${\displaystyle \phi \circ \psi ^{-1}\colon \psi (U\cap V)\to \phi (U\cap V)}$ が滑らかであることをいう．

境界付き位相多様体の頂点付き滑らかな構造とは M を被覆する頂点付き整合的チャートからなる極大集合である．頂点付き滑らかな構造をもった境界付き位相多様体は頂点付き多様体と呼ばれる．

注意[編集]

${\displaystyle {\overline {\mathbb {R} _{+}^{n}}}}$ は Hⁿ と同相だから，境界付き多様体と頂点付き多様体は位相的には識別できない．このため，可微分構造を持たない頂点付き（位相）多様体を定義するのは無意味である．頂点付き多様体の例は長方形である．

注釈[編集]

参考文献[編集]

• Lee, John M. (2003). Introduction to Smooth Manifolds. Graduate Texts in Mathematics. 218. New York: Springer-Verlag. ISBN 0-387-95448-1. 

外部リンク[編集]

• manifold with boundary in nLab
• Hazewinkel, Michiel, ed. (2001), "Boundary (of a manifold)", Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4 CS1 maint: Date and year