T1-ruimte

In de topologie en andere gerelateerde deelgebieden van de wiskunde zijn T₁-ruimten en R₀-ruimten bijzondere soorten van topologische ruimten. De T₁- en R₀-eigenschappen zijn voorbeelden van scheidingsaxiomas.

Definities

Laat X een topologische ruimte zijn en laat x en y punten in X zijn. We zeggen dat x en y kunnen worden gescheiden als elk punt deel uitmaakt van een open verzameling die het andere punt niet bevat.

• X is een T₁-ruimte als elke twee "verschillende" punten in X kunnen worden gescheiden.
• X is een R₀-ruimte als elke twee topologisch onderscheiden punten in X kunnen worden gescheiden.

Een T₁-ruimte wordt ook wel een toegankelijke ruimte of Fréchet-ruimte en een R₀-ruimte wordt ook wel een symmetrische ruimte genoemd. (De term Fréchet-ruimte heeft ook een heel andere betekenis in de functionaalanalyse. Om deze reden geeft men voorkeur aan de term T₁-ruimte. Er bestaat ook een notie van een Fréchet-Urysohn-ruimte als een soort van sequentiële ruimte. De term symmetrische ruimte heeft ook een andere betekenis).