Przestrzenie, podprzestrzenie i gęstość.

Własności przestrzeni; metryczność, zwartość, spójność... Przekształcenia i deformacje... Teoria wymiaru... słowem - topologia.
Kosiu
Użytkownik
Użytkownik
Posty: 2
Rejestracja: 27 mar 2021, o 14:59
Płeć: Mężczyzna
wiek: 20
Podziękował: 3 razy

Przestrzenie, podprzestrzenie i gęstość.

Post autor: Kosiu » 27 mar 2021, o 15:04

Prosiłbym o wyjaśnienie tych 2 punktów :)
1. Niech \(\displaystyle{ Y}\) będzie gęstą podprzestrzenią przestrzeni metrycznej \(\displaystyle{ (X, d)}\) i niech zbiór \(\displaystyle{ A \subseteq Y}\) będzie gęsty w \(\displaystyle{ Y}\). Czy \(\displaystyle{ A}\) jest gęsty w \(\displaystyle{ X}\)?
2. Niech \(\displaystyle{ A}\) będzie gęsty w \(\displaystyle{ X}\), a \(\displaystyle{ Y \subseteq X}\) będzie otwarty w \(\displaystyle{ X}\). Czy \(\displaystyle{ A \cap Y}\) jest gęsty w \(\displaystyle{ Y}\)?
Ostatnio zmieniony 27 mar 2021, o 15:48 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Brak LaTeXa - proszę zapoznać się z instrukcją: https://matematyka.pl/latex.htm.
Rekrutacja Instytut Matematyczny, Uniwersytet Wrocławski (gif)

Awatar użytkownika
Janusz Tracz
Użytkownik
Użytkownik
Posty: 3301
Rejestracja: 13 sie 2016, o 15:01
Płeć: Mężczyzna
Lokalizacja: hrubielowo
Podziękował: 75 razy
Pomógł: 1139 razy

Re: Przestrzenie, podprzestrzenie i gęstość.

Post autor: Janusz Tracz » 27 mar 2021, o 16:30

\(\displaystyle{ (1)}\) Ustalmy \(\displaystyle{ x\in X}\) oraz \(\displaystyle{ \epsilon>0}\). Z gęstości \(\displaystyle{ Y}\) w \(\displaystyle{ X}\) wynika, że istnieje \(\displaystyle{ y\in Y}\) taki, że \(\displaystyle{ d(x,y)<\epsilon/2}\), natomiast z gęstości \(\displaystyle{ A}\) w \(\displaystyle{ Y}\) wynika, że istnieje \(\displaystyle{ a\in A}\) taki, że \(\displaystyle{ d\left( y,a\right)<\epsilon/2 }\). Pokażmy, że ten konkretny \(\displaystyle{ a\in A}\) jest dobry. Wynika to z nierówności trójkąta:

\(\displaystyle{ d\left( x,a\right) \le d(x,y)+ d\left( y,a\right) < \frac{\epsilon}{2}+\frac{\epsilon}{2} =\epsilon}\)

zatem faktycznie \(\displaystyle{ \left( \forall x\in X\right) \left( \forall \epsilon>0\right) \left( \exists a\in A\right) d(x,a) <\epsilon }\).

ODPOWIEDZ