Jakub Gurak pisze: ↑20 maja 2023, o 17:21
Mam też takie zadanie, aby wykazać, że suma zbioru brzegowego w danej przestrzeni topologicznej
\(\displaystyle{ \left( X,T\right) }\) oraz zbioru nigdziegęstego w tej samej przestrzeni topologicznej jest zbiorem brzegowym w tej przestrzeni. Mogę prosić o wskazówkę??
matmatmm pisze: ↑20 maja 2023, o 17:41Co do kolejnego zadania udowodnij, że dla dowolnych zbiorów
\(\displaystyle{ A,B}\) zachodzi
\(\displaystyle{ \mathrm{int}\,(A\cup B)\subset \mathrm{cl}\,A\cup\mathrm{int}\, B}\).
Rozwiązałem wczoraj to zadanie, jak i udowodniłem, że suma dwóch zbiorów nigdziegęstych jest zbiorem nigdziegęstym. Proszę o sprawdzenie, a potem o coś jeszcze spytam.
Niech
\(\displaystyle{ X}\) będzie przestrzenią topologiczną,
\(\displaystyle{ A \subset X}\) niech będzie zbiorem brzegowym, a
\(\displaystyle{ B \subset X}\) niech będzie zbiorem nigdziegęstym. Wykażemy, że suma
\(\displaystyle{ A\cup B}\) jest zbiorem brzegowym.
DOWÓD:
Mamy, zgodnie z podaną mi wskazówką:
\(\displaystyle{ Int\left( A \cup B\right) = Int\left( B \cup A\right) \subset \overline{B} \cup Int(A)= }\)
i ponieważ zbiór
\(\displaystyle{ A}\) jest brzegowy, więc ma puste wnętrze, więc to jest równe :
\(\displaystyle{ =\overline{B}.}\)
A zatem:
\(\displaystyle{ Int\left( A \cup B\right) \subset \overline{B}, }\)
więc z monotoniczności operacji wnętrza otrzymujemy:
\(\displaystyle{ Int\left( Int\left( A \cup B\right) \right) = Int\left( A \cup B\right) \subset Int\left( \overline {B}\right) ,}\)
i ponieważ zbiór
\(\displaystyle{ B}\) jest nigdziegęsty, więc ten ostatni zbiór jest pusty.
A zatem również
\(\displaystyle{ Int\left( A \cup B\right) =\emptyset}\), i suma
\(\displaystyle{ A \cup B}\) jest zbiorem brzegowym.
\(\displaystyle{ \square}\)
Wykażemy podobnie, że suma dwóch zbiorów nigdziegęstych jest zbiorem nigdziegęstym.
Niech
\(\displaystyle{ A,B \subset X}\) będą zbiorami nigdziegęstymi.
Wtedy
\(\displaystyle{ Int\left( \overline{A}\right) =\emptyset,}\) i podobnie
\(\displaystyle{ Int\left( \overline{B}\right) =\emptyset}\).
Mamy:
\(\displaystyle{ Int\left( \overline{A \cup B}\right) = Int\left( \overline{A} \cup \overline{B}\right) \subset \overline{\overline{A}} \cup Int\left( \overline {B}\right) = A \cup Int\left( \overline{B}\right)=A,}\)
gdyż zbiór
\(\displaystyle{ B}\) jest nigdziegęsty.
A zatem:
\(\displaystyle{ Int\left( \overline{A \cup B}\right) \subset A,}\)
więc również:
\(\displaystyle{ Int\left( Int \left( \overline{A \cup B}\right) \right) = Int\left( \overline{A \cup B}\right) \subset Int\left( A\right) \subset Int\left( \overline{A}\right) =\emptyset,}\)
gdyż zbiór
\(\displaystyle{ A }\) jest nigdziegęsty.
A zatem
\(\displaystyle{ Int\left( \overline{A \cup B}\right) =\emptyset,}\) więc zbiór
\(\displaystyle{ \overline { A \cup B}}\) jest zbiorem brzegowym, a więc suma
\(\displaystyle{ A \cup B}\) jest zbiorem nigdziegęstym.
\(\displaystyle{ \square}\)
Chyba dobrze??
Mam teraz pytanie:
Czy można dodać do kolekcji taki fakt, że:
Przekształcenie
\(\displaystyle{ f:X \rightarrow Y}\) między dwoma przestrzeniami topologicznymi
\(\displaystyle{ X}\) i
\(\displaystyle{ Y}\) jest ciągłe, równoważnie wtedy, gdy:
\(\displaystyle{ \stackrel { \rightarrow } {f}\left( Int \left( A\right)\right) \subset Int \left( \stackrel{ \rightarrow }{f} \left( A\right) \right), }\)
dla każdego zbioru
\(\displaystyle{ A \subset X}\)
Mam jeszcze jedno zadanie:
Niech
\(\displaystyle{ \left( X,T\right) }\) będzie przestrzenią topologiczną.
Wtedy przestrzeń
\(\displaystyle{ X}\) jest
\(\displaystyle{ T_0}\) przestrzenią, wtedy i tylko wtedy, gdy dla każdych dwóch różnych punktów
\(\displaystyle{ x,y \in X}\), mamy:
\(\displaystyle{ \overline{ \left\{ x\right\} } \neq \overline{ \left\{ y\right\} }.}\)
Przed chwilą to udowodniłem, proszę o sprawdzenie.
Jeśli
\(\displaystyle{ X }\) jest
\(\displaystyle{ T_0}\) przestrzenią, to dla elementów
\(\displaystyle{ x,y \in X}\),
\(\displaystyle{ x \neq y}\) istnieje zbiór otwarty
\(\displaystyle{ A \in T}\), taki że:
\(\displaystyle{ x \in A}\) i
\(\displaystyle{ y\not \in A,}\) lub taki, że
\(\displaystyle{ x\not \in A}\) i
\(\displaystyle{ y \in A.}\)
Zajmijmy się najpierw pierwszym przypadkiem.
Jeśli
\(\displaystyle{ x\in A}\) ,
\(\displaystyle{ y\not\in A}\), to
\(\displaystyle{ x \in A \cap \left\{ x\right\} .}\)
Wykażemy, że
\(\displaystyle{ x \in \overline {\left\{ x\right\} } }\). Niech
\(\displaystyle{ U \in \mathcal{B}(x) }\) będzie dowolnym otoczeniem punktu
\(\displaystyle{ x}\). Wtedy
\(\displaystyle{ x \in U \cap \left\{ x\right\}}\), a więc zbiór
\(\displaystyle{ U \cap \left\{ x\right\}}\) jest niepusty, a stąd
\(\displaystyle{ x \in \overline{\left\{ x\right\} }.}\)
I mamy
\(\displaystyle{ x\not\in \overline{\left\{ y\right\} }}\), bo gdyby byłoby
\(\displaystyle{ x \in \overline{\left\{ y\right\} },}\) to dla dowolnego otoczenia
\(\displaystyle{ U \in \mathcal{B} \left( x\right)}\) punktu
\(\displaystyle{ x}\) mielibyśmy, na mocy charakteryzacji domknięcia, otrzymalibyśmy:
\(\displaystyle{ U \cap \left\{ y\right\} \neq \left\{ \right\}}\) , a stąd
\(\displaystyle{ y \in U}\); i to zachodzi dla dowolnego otoczenia
\(\displaystyle{ U \in \mathcal{B} (x)}\) , a zbiór
\(\displaystyle{ A \in T}\) jest zbiorem otwartym i
\(\displaystyle{ x \in A}\), a zatem zbiór
\(\displaystyle{ A}\) jest również otoczeniem punktu
\(\displaystyle{ x}\), więc możemy również wnioskować, że
\(\displaystyle{ y \in A}\)-sprzeczność.
Wobec czego
\(\displaystyle{ x\not \in \overline{\left\{ y\right\} } }\), a
\(\displaystyle{ x \in \overline{\left\{ x\right\} } }\), wobec czego
\(\displaystyle{ \overline{\left\{ x\right\} } \neq \overline{\left\{ y\right\} }.}\)
Jeśli
\(\displaystyle{ x\not\in A}\), a
\(\displaystyle{ y\in A}\), to rozumujemy w sposób analogiczny, co kończy dowód implikacji w prawo.
Jeśli dla
\(\displaystyle{ x \neq y}\) mamy:
\(\displaystyle{ \overline{\left\{ x\right\} } \neq \overline{\left\{ y\right\} }}\), to wtedy:
\(\displaystyle{ \overline{\left\{ x\right\} } \not\subset \overline{\left\{ y\right\} }}\) lub
\(\displaystyle{ \overline{\left\{ y\right\} }\not\subset \overline{\left\{ x\right\} }.}\)
Jeśli
\(\displaystyle{ \overline{\left\{ x\right\} }\not\subset \overline{\left\{ y\right\} }}\), to, z definicji inkluzji, istnieje element
\(\displaystyle{ z \in \overline {\left\{ x\right\} }}\), taki, że
\(\displaystyle{ z\not \in \overline{\left\{ y\right\} } }\). Ponieważ
\(\displaystyle{ z\not \in \overline{\left\{ y\right\} }}\), to na mocy charakteryzacji domknięcia, otrzymujemy, dla pewnego otoczenia
\(\displaystyle{ U \in \mathcal{B}(z)}\), że zbiory
\(\displaystyle{ U}\) i
\(\displaystyle{ \left\{ y\right\}}\) są rozłączne, skąd
\(\displaystyle{ y\not \in U}\). A zatem
\(\displaystyle{ U}\) jest zbiorem (otwartym) nie zawierającym elementu
\(\displaystyle{ y.}\)
Ponieważ
\(\displaystyle{ z \in U}\),
\(\displaystyle{ z \in \overline{\left\{ x\right\} }}\) i
\(\displaystyle{ U \in \mathcal{B}(z)}\), to na mocy charakteryzacji domknięcia:
\(\displaystyle{ U \cap \left\{ x\right\} \neq \left\{ \right\}}\) , skąd
\(\displaystyle{ x \in U}\), a więc
\(\displaystyle{ U}\) jest otoczeniem punktu
\(\displaystyle{ x}\) nie zawierającym punktu
\(\displaystyle{ y.}\)
Jeśli
\(\displaystyle{ \overline{\left\{ y\right\} } \not\subset \overline{\left\{ x\right\}}}\) , to rozumujemy w sposób analogiczny.
A zatem
\(\displaystyle{ X}\) jest
\(\displaystyle{ T_0}\) przestrzenią.
\(\displaystyle{ \square}\)