II aksjomat przeliczalności w przestrzeni metrycznej.
: 18 maja 2018, o 21:03
Wykazać, że przestrzeń metryczna i ośrodkowa spełnia II aksjomat przeliczalności.
Dowód:
Jeżeli przestrzeń metryczna \(\displaystyle{ (X,d)}\) jest ośrodkowa z przeliczalnym zbiorem gęstym \(\displaystyle{ \left\{ p_{n} | n \in N\right\}}\), to rodzina:
\(\displaystyle{ B=\left\{ K(p_{n}, q), n \in N, q \in Q\right\}}\)
jest przeliczalną bazą topologii \(\displaystyle{ \tau_{d}}\).
To że \(\displaystyle{ B}\) jest przeliczalna jest oczywiste, problem mam z tym, żeby udowodnić, że to baza. Tzn fakt że należy do topologii jest oczywisty bo to suma zbiorów otwartych, ale nie wiem, jak formalnie wykazać że każdy zbiór da się z tych kul wysumować...
Będę wdzięczna za każdą pomoc i wskazówkę
Dowód:
Jeżeli przestrzeń metryczna \(\displaystyle{ (X,d)}\) jest ośrodkowa z przeliczalnym zbiorem gęstym \(\displaystyle{ \left\{ p_{n} | n \in N\right\}}\), to rodzina:
\(\displaystyle{ B=\left\{ K(p_{n}, q), n \in N, q \in Q\right\}}\)
jest przeliczalną bazą topologii \(\displaystyle{ \tau_{d}}\).
To że \(\displaystyle{ B}\) jest przeliczalna jest oczywiste, problem mam z tym, żeby udowodnić, że to baza. Tzn fakt że należy do topologii jest oczywisty bo to suma zbiorów otwartych, ale nie wiem, jak formalnie wykazać że każdy zbiór da się z tych kul wysumować...
Będę wdzięczna za każdą pomoc i wskazówkę