数学の位相空間論周辺分野における離散空間(りさんくうかん、英: discrete space)は、その点がすべてある意味で互いに「孤立」しているような空間で、位相空間(またはそれと同様の構造)の非常に単純で極端な例の一つを与える。 X を集合とする。 X 上の離散位相 (discrete topology)
この領域のトピックには以下が含まれる。 スペルナーの補題(英語版) 正則地図(英語版) 離散群とは離散位相を備えた群のことであり、この位相により位相群となる。また、ある位相群の離散部分群とは相対位相が離散であるような部分群のことである。例えば、(通常の距離位相を伴う)整数 Z の加法群は実数 R の加法群の離散部分群となるが、有理数
Angie Ymnk commented