位相空間論位相幾何学においてウェッジ和 (wedge sum) は位相空間の族の「一点和」である.具体的には,XY基点付き空間(すなわち区別された基点 x0 および y0 をもつ位相空間)であるとき,XY のウェッジ和は XY直和において x0y0 と同一視した商空間である:

ただし は関係 {(x0, y0)} を含む最小の同値関係英語版である.

より一般に,(Xi)iI を基点 {pi} を持つ基点付き空間のとする.この族のウェッジ和は次で与えられる:

ただし は同値関係 {(pi, pj) | i, jI} である.言い換えると,ウェッジ和は一点で複数の空間を貼り合わせたものである.この定義は,空間 Xi たちが等質でない限り,基点 pi の取り方に依存する.

ウェッジ和は再び基点付き空間であり,この二項演算は(同相の違いを除いて結合的かつ可換である.

ウェッジ和はウェッジ積と呼ばれることがあるが,外積のそれとは異なる.

編集

2つの円のウェッジ和は8の字空間同相である.n 個の円のウェッジ和はしばしば円のブーケと呼ばれ,球面のウェッジ和はしばしば球面のブーケと呼ばれる.

ホモトピー論においてよくある構成は n 次元球面 Sn の赤道上の点をすべて同一視することである.そのようにして得られるものは2つの球面のコピーを赤道だった点でつなげたものである:

 

Ψ を赤道を一点に同一視する写像   とする.すると,空間 X の基点 x0 における n 次元ホモトピー群 πn(X, x0) の2つの元 f, g の和は fgΨ との合成と理解できる:

 

ここで,f: SnXg: SnYSn の基点 s0 をそれぞれ XY の基点に写す写像である.上で定義された2つの写像のウェッジ和は,f(s0) = g(s0) = x0 がウェッジ和において同一視される点であることから可能であることに注意.

圏論的記述 編集

ウェッジ和は基点付き空間の圏における余積と理解できる.あるいは,ウェッジ和は位相空間の圏における図式 X ← {•} → Y押し出し英語版と見ることもできる(ただし {•} は一点空間).

性質 編集

ファン・カンペンの定理は,2つの空間 XY のウェッジ和の基本群がどのような条件下で XY の基本群の自由積であるかの条件(CW複体のように素性の良い英語版空間は通常満たす)を与える.

関連項目 編集

参考文献 編集

  • Rotman, Joseph. An Introduction to Algebraic Topology, Springer, 2004, p. 153. ISBN 0-387-96678-1