第一可算的空間

数学の位相空間論において、第一可算空間（だいいちかさんくうかん、英: first-countable space）とは、"第一可算公理"を満たす位相空間のこと。位相空間 X が第一可算公理を満たすとは「各点 x が高々可算な近傍からなる基本近傍系（局所基）をもつこと」を指す。すなわちx の可算個の開近傍 U1, U2, …で以下の性質を満たすものが存在するということである：x の任意の近傍 V に対しある が存在し、Vは Uiを部分集合として含む。