przestrzeń ośrodkowa

Przestrzeń topologiczna ośrodkowa – przestrzeń topologiczna zawierająca taki podzbiór, który jest przeliczalny i gęsty. Podzbiór ten nazywany jest ośrodkiem. Ten sam zbiór może tworzyć przestrzeń ośrodkową lub nie – zależy to od doboru topologii Np. zbiór liczb rzeczywistych * tworzy przestrzenią ośrodkową z topologią generowaną przez metrykę euklidesową – ośrodkiem jest zbiór liczb wymiernych, * nie tworzy przestrzeni ośrodkowej z topologią dyskretną (każdy punkt w tej topologii jest zbiorem otwartym).