Перша аксіома зліченності

Перша аксіома зліченності — властивість деяких топологічних просторів.

Визначення

Топологічний простір $(X,\;{\mathcal {T}})$ задовільняє першу аксіому зліченності, якщо для кожної точки $p$ існує зліченний набір відкритих множин $\{O_{p}\}$, такий, що будь-який окіл точки $p$ буде містити хоча б одну множину цього набору.

Властивості

Перша аксіома зліченності є необхідною, хоч і не достатньою умовою для забезпечення такої властивості як друга аксіома зліченності

Приклади

Першій аксіомі зліченності задовольняють:

• метричні простіри;
• простір неперервних функцій на відрізку та ін.;
• будь-який дискретний топологічний простір.

Вперше розглянув топологічні простори, які володіють такою властивістю, Фелікс Гаусдорф в 1914 році.

Див. також

• Друга аксіома зліченності
• Секвенційний простір
• Точка згущення

Література

• R.Wald, General Relativity