Przestrzeń ośrodkowa
typ przestrzeni topologicznej / Z Wikipedii, wolnej encyclopedia
Przestrzeń topologiczna ośrodkowa – przestrzeń topologiczna zawierająca taki podzbiór, który jest przeliczalny i gęsty[1]. Podzbiór ten nazywany jest ośrodkiem[potrzebny przypis].
Ten artykuł od 2010-08 wymaga zweryfikowania podanych informacji: rozszerzyć artykuł - por. Engelking „Topologia ogólna”. |
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).