境界付き多様体

境界付き多様体（きょうかいつきたようたい，）は微分幾何学における多様体の一般化である．多様体に対して定義される構造の多くは，その定義を境界付き多様体に拡張できる．
定義.
境界付き多様体.
上半空間を
と書く．これには の部分空間位相を与え，特に 全体は開かつ閉集合である．
 次元境界付き位相多様体とは，第二可算公理を満たすハウスドルフ空間であって，任意の点が上半空間の開部分集合 に同相な開近傍を持つものをいう．
（一般化）チャート.
開集合 と から の開集合 への同相写像 の組 は一般化チャート（座標近傍）と呼ばれる．
境界.
 の における境界 は を満たす点の全体である．境界付き多様体 の点 は， かつ であるようなチャート が存在するとき の境界点と呼ばれる．すべての境界点からなる集合は と書かれる．
 の連結成分は"境界成分"と呼ばれる．
 が空のとき， は通常の（境界のない）多様体である．
構造.
可微分構造.
境界のない多様体と同様，境界のある多様体にもを定義することができる．境界付き可微分多様体は，任意の2つのチャート , について，写像
が微分同相であるような境界付き多様体として定義される．formula_3 の定義域 formula_4 が の境界点を含んでいるならば，formula_3 の微分可能性を調べるためには, を含むが の部分集合ではないような の開集合をとらなければならない. もちろん，すべての境界付き多様体に微分構造を定義できるわけではない．境界付き多様体は通常の多様体同様いくつかの異なる微分構造をもちうる．
向き付け.
境界付き（可微分）多様体 において，境界 は の部分多様体である． が向き付け可能であると仮定すると，境界 も向き付け可能である．
ストークスの定理.
境界付き多様体の助けを借りて，ストークスの積分定理を簡潔かつエレガントに定式化できる． を向き付けられた 次元境界付き可微分多様体とし， をコンパクト台を持つ 次の微分形式とすると，
となる． が境界を持たなければ，右辺の積分は であり， が 1 次元多様体ならば，右辺の積分は有限和である．
頂点付き多様体.
定義.
formula_7 を の点であってすべての座標が非負のもの全体とする：
この部分集合は と同相であるが微分同相ではない． を境界を持つ（位相）多様体とする．頂点を持つ多様体とは，局所的に formula_9 の開部分集合と微分同相な多様体である．このとき のチャートは "頂点付きチャート" と呼ばれる．頂点付きチャートは対 であって が の開部分集合で formula_10 が同相なものである．2つの頂点付きチャート と が整合的とは，formula_11 が滑らかであることをいう．
境界付き位相多様体の頂点付き滑らかな構造とは を被覆する頂点付き整合的チャートからなる極大集合である．頂点付き滑らかな構造をもった境界付き位相多様体は頂点付き多様体と呼ばれる．
注意.
formula_7 は と同相だから，境界付き多様体と頂点付き多様体は位相的には識別できない．このため，可微分構造を持たない頂点付き（位相）多様体を定義するのは無意味である．頂点付き多様体の例は長方形である．