位相幾何学,特に代数的位相幾何学において,位相空間 の錐(すい,) とは, と単位区間 の積の商空間
である.直観的には, を円柱にし,円柱の一端を点に押しつぶす.
がユークリッド空間の中にあれば, の錐は から別の一点への線分の和集合に同相である.つまり,位相幾何学的な錐は幾何学的な錐と定義されるときには一致する.しかしながら,位相幾何学的な錐の構成の方が一般的である.
例
実数直線の点 上の錐は区間 である. 二点 上の錐は端点を と とする "V" 字型である. 実数直線の区間 上の錐は中身の詰まった三角形であり,2-単体とも呼ばれる(最後の例を参照). 多角形 上の錐は底面を とするピラミッドである. 円板上の錐は古典的な幾何学における円錐体である(「錐」の名前の由来). 円上の錐は円錐体の側面である:
これは閉円板に同相である. 一般に, 次元球面上の錐は 次元閉球体に同相である. 次元単体上の錐は 次元単体である.
性質
すべての錐は弧状連結である,なぜならば任意の点は頂点と結べるからである.さらに,すべての錐はホモトピー
によって頂点に可縮である.錐は代数的位相幾何学においてまさに空間を可縮空間の部分空間として埋め込んでいるから用いられる.
がコンパクトかつハウスドルフであるとき(本質的には, をユークリッド空間に埋め込めるとき),錐 は のすべての点をある一点につなぐ線分の集まりとして視覚化できる.しかしながら,この描像は がコンパクトでないかあるいはハウスドルフでないとき正しくない,なぜならば一般には 上の商位相は を一点に結ぶ線分たちの集合よりもからである.
約錐 が基点付き空間であるとき,関連した構成,約錐 (reduced cone) がある.それは
で与えられる.この定義で,自然な包含 は基点付き空間の射である,ただし を約錐の基点として取った.
錐関手 写像 は位相空間の圏上の関手 を誘導する.
関連項目 錐 (曖昧さ回避) 懸垂 (位相幾何学)
参考文献 Allen Hatcher, Algebraic topology. Cambridge University Press, Cambridge, 2002. xii+544 pp. ISBN 0-521-79160-X and ISBN 0-521-79540-0