英和和英

位相幾何学，特に代数的位相幾何学において，位相空間 X の錐（すい，英: cone）CX とは，X と単位区間 I = [0, 1] の積の商空間 である．直観的には，X を円柱にし，円柱の一端を点に押しつぶす． X がユークリッド空間の中にあれば，X の錐は X から別の一点への線分の和集合に同相である．つまり，位相幾何学的な錐は幾何学的な錐と定義されるときには一致する．しかしながら，位相幾何学的な錐の構成の方が一般的である． すべての錐は弧状連結である，なぜならば任意の点は頂点と結べるからである．さらに，すべての錐はホモトピー によって頂点に可縮である．錐は代数的位相幾何学においてまさに空間を可縮空間の部分空間として埋め込んでいるから用いられる． X がコンパクトかつハウスドルフであるとき（本質的には，X をユークリッド空間に埋め込めるとき），錐 CX は X のすべての点をある一点につなぐ線分の集まりとして視覚化できる．しかしながら，この描像は X がコンパクトでないかあるいはハウスドルフでないとき正しくない，なぜならば一般には CX 上の商位相は X を一点に結ぶ線分たちの集合よりも細かいからである． (X, x0) が基点付き空間であるとき，関連した構成，約錐 (reduced cone) がある．それは で与えられる．この定義で，自然な包含 x ↦ ( x , 1 ) {\displaystyle x\mapsto (x,1)} は基点付き空間の射である，ただし (x0, 0) を約錐の基点として取った． 写像 X ↦ C X {\displaystyle X\mapsto CX} は位相空間の圏上の関手 C: Top → Top を誘導する．