錐 (位相幾何学)

円の錐．もとの空間は青色で，押しつぶされた端点は緑色．

位相幾何学，特に代数的位相幾何学において，位相空間 テンプレート:Mvar の錐（すい，テンプレート:Lang-en-short）テンプレート:Mvar とは，テンプレート:Mvar と単位区間 テンプレート:Math の積の商空間

$CX=(X\times I)/(X\times \{0\})$

である．直観的には，テンプレート:Mvar を円柱にし，円柱の一端を点に押しつぶす．

テンプレート:Mvar がユークリッド空間の中にあれば，テンプレート:Mvar の錐は テンプレート:Mvar から別の一点への線分の和集合に同相である．つまり，位相幾何学的な錐は幾何学的な錐と定義されるときには一致する．しかしながら，位相幾何学的な錐の構成の方が一般的である．

例

• 実数直線の点 テンプレート:Mvar 上の錐は区間 テンプレート:Math である．
• 二点 テンプレート:Math 上の錐は端点を テンプレート:Math と テンプレート:Math とする "V" 字型である．
• 実数直線の区間 テンプレート:Mvar 上の錐は中身の詰まった三角形であり，2-単体とも呼ばれる（最後の例を参照）．
• 多角形 テンプレート:Mvar 上の錐は底面を テンプレート:Mvar とするピラミッドである．
• 円板上の錐は古典的な幾何学における円錐体である（「錐」の名前の由来）．
• 円上の錐は円錐体の側面である：

$\{(x,y,z)\in {ℝ}^3\mid x^2+y^2=z^2\text{ and }0\le z\le 1\}.$

これは閉円板に同相である．

• 一般に，[[超球面|テンプレート:Mvar 次元球面]]上の錐は テンプレート:Math 次元閉球体に同相である．
• テンプレート:Mvar 次元単体上の錐は テンプレート:Math 次元単体である．

性質

すべての錐は弧状連結である，なぜならば任意の点は頂点と結べるからである．さらに，すべての錐はホモトピー

テンプレート:Math

によって頂点に可縮である．錐は代数的位相幾何学においてまさに空間を可縮空間の部分空間として埋め込んでいるから用いられる．

テンプレート:Mvar がコンパクトかつハウスドルフであるとき（本質的には，テンプレート:Mvar をユークリッド空間に埋め込めるとき），錐 テンプレート:Mvar は テンプレート:Mvar のすべての点をある一点につなぐ線分の集まりとして視覚化できる．しかしながら，この描像は テンプレート:Mvar がコンパクトでないかあるいはハウスドルフでないとき正しくない，なぜならば一般には テンプレート:Mvar 上の商位相は テンプレート:Mvar を一点に結ぶ線分たちの集合よりもテンプレート:仮リンクからである．

約錐

テンプレート:Math が基点付き空間であるとき，関連した構成，約錐 (reduced cone) がある．それは

$X\times [0,1]/(X\times \left\{0\right\}\cup \left\{x_0\right\}\times [0,1])$

で与えられる．この定義で，自然な包含 $x\mapsto (x,1)$ は基点付き空間の射である，ただし テンプレート:Math を約錐の基点として取った．

錐関手

写像 $X\mapsto CX$ は位相空間の圏上の関手 テンプレート:Math を誘導する．

関連項目

• 錐 (曖昧さ回避)
• 懸垂 (位相幾何学)
• テンプレート:仮リンク
• テンプレート:仮リンク
• テンプレート:仮リンク

参考文献

• Allen Hatcher, Algebraic topology. Cambridge University Press, Cambridge, 2002. xii+544 pp. ISBN 0-521-79160-X and ISBN 0-521-79540-0
• テンプレート:Planetmath reference