第二可算的空間
数学の位相空間論おける第二可算空間(だいにかさんくうかん、英: second-countable space)とは、第二可算公理を満たす位相空間のことである。空間が第二可算公理を満たすとは「その位相が可算な開基を持つ」ということを言う。つまり、位相空間 T が第二可算的であるとは、T の可算個の開集合からなる族 U = { U i } i = 1 ∞ {\displaystyle {\mathcal {U}}=\{U_{i}\}_{i=1}^{\infty }} が存在して、T の任意の開集合が U {\displaystyle {\mathcal {U}}} の適当な部分族に属する開集合の和に表されることをいう。他の可算公理と同様に、第二可算であるという性質は、その空間が持つことのできる開集合の数を制限するものになっている。
「素性のよい」空間のほとんどは第二可算的である。例えば、普通の位相を入れたユークリッド空間 (R) がそうである。全ての開球体を考える通常の開基をとるとこれは可算ではないけれども、半径が有理数で中心が有理点であるような開球体全体のなす集合を考えると、これは可算であり、開基も成す。