端点

数学の一分野である位相空間論において、位相空間の端点（たんてん、; 端）全体の成す集合は、大雑把に言えばその空間の「想像上の境界」(“ideal boundary”) の連結成分である。つまり、各端点はその空間の中で無限遠へ行くための位相的に相異なる方法を示すものになる。各端にそれぞれひとつの端点を加えるという操作は、もとの空間の端コンパクト化 ("end compactification") と呼ばれるコンパクト化を導く。
定義.
位相空間 において、そのコンパクト部分集合からなる昇列
でこれらの内部が を被覆するものとする。このとき、 は任意の列
に対してひとつずつ端点を持つ。ただし、各 は の連結成分である。空間の端点の数は、定義に用いたコンパクト集合の列 の取り方に依らず定まる。実は、端点集合に対してこのような列の任意の二つを対応付けるような自然な全単射が存在するのである。
この定義を用いるとき、端点 の近傍とは、適当な に対して となるような開集合 のことを言う。このような近傍は、端コンパクト化した空間（この「コンパクト化」は必ずしもコンパクトではない。コンパクトとなるには位相空間 が連結かつ局所連結でなければならない）においてこれに対応する無限遠点の近傍を表現するものである。
さて上記の端点の定義が通用するのは空間 が場合に限られる（つまり、 はでなければならない）。しかしこれは以下のように一般化することができる。 は任意の位相空間として、 のすべてのコンパクト部分集合とそれらの間の包含写像からなる帰納系 を考えれば、これに対応する射影系 を が空間 の連結成分全体の成す集合とし、各包含写像 の誘導する写像 を考えることで与えられる。このとき の端点集合はこの射影系の射影極限として定義される。この定義のもとで、端点集合を取る操作は位相空間の圏から集合の圏への函手となる。上で述べたもともとの定義は、この定義においてコンパクト部分集合全体の成す帰納系がを持つような特別の場合に当たる。
歴史.
位相空間の端点の概念は ハンス・フロイデンタールが導入した。
グラフおよび群の端点.
無限グラフ理論における端点は少し定義が違って、グラフの半無限路の同値類として、あるいは頂点の無限集合をその補集合の連結成分へ写す写像であるとして定義される。ただし、局所有限グラフ（各頂点が有限次数を持つようなグラフ）に対しては、このように定義される端点はグラフが定義する位相空間の端点と一対一に対応する 。
有限生成群の端点は、それに対応するケイリーグラフの端点として定義される（この定義は生成系の取り方に依らない）。任意の有限生成無限群は または無限大の何れかの数の端点を持つ。は一つより多くの端点を持つ群の分解を与えるものである。
CW-複体の端点.
弧状連結な に対して、その端点は の半直線と呼ばれる固有写像 のホモトピー類として特徴づけられる。今少し具体的に述べれば、そのような写像の任意の二つを（自然数の成す部分集合 に）制限したものの間に固有ホモトピーが存在するときそれら二つは同値であるといい、それによって固有半直線の同値類を定めるのである。この集合を の端点と呼ぶ。