Witam, mam problem z dobrym, formalnym uzasadnieniem w dwoch zadaniach
1)\(\displaystyle{ A }}\) - domkniety, brzegowy, podzbior prostej euklidesowej
pokazac, ze \(\displaystyle{ B=\left\{ t \in \RR: \bigvee_{q \in \QQ^*}\bigvee_{s \in A} s-qt \neq 0\right\}}\)
(\(\displaystyle{ \QQ^*}\) liczby wymierne ale bez zera)
wyjalem kwantyfikatory jako przeliczalne przeciecia po \(\displaystyle{ q}\) i po \(\displaystyle{ s}\)
i problem lezy w udowodnieniu, ze \(\displaystyle{ B _{t}= \left\{ t \in \RR: s-qt \neq 0\right\}}\) jest zbiorem otwartym, gestym
probowalem jakos tak to rozpisywac
\(\displaystyle{ (B _{t})' = \left\{ t \in \RR: s-qt = 0\right\}}\)
\(\displaystyle{ t= \frac{s}{q}}\) ale brakuje mi argumentu za tym, ze \(\displaystyle{ (B _{t})'}\) jest domkniety i brzegowy, wtedy jego dopelnienie bedzie otwarte, geste i koniec zadania.
edit: myslalem jeszcze czy nie podejsc do tego tak:
\(\displaystyle{ (B _{t}) = \left\{ t \in \RR: s \neq qt \right\} \Rightarrow \left\{ t \in \RR: qt \not\in A \right\}\Rightarrow \left\{ t \in \RR: t \not\in \frac{A}{q} \right\}}\)
czy to nie jest tak, ze dzielenie wszystkich elementow z \(\displaystyle{ A}\) przez \(\displaystyle{ q}\) zmieni jedynie odleglosci miedzy punktami na prostej euklidesowej, zatem \(\displaystyle{ \frac{A}{q}}\) jest nadal domkniety i brzegowy czyli \(\displaystyle{ (B _{t})'}\) domkniety i brzegowy \(\displaystyle{ \Rightarrow (B _{t})}\) jako dopelnienie tego zbioru jest otwarty i gesty
Tw. Baire'a
-
- Użytkownik
- Posty: 165
- Rejestracja: 15 wrz 2010, o 09:13
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 28 razy
Tw. Baire'a
Ostatnio zmieniony 7 lut 2019, o 18:53 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Niepoprawnie napisany kod LaTeX-a.
Powód: Niepoprawnie napisany kod LaTeX-a.
- Dasio11
- Moderator
- Posty: 10227
- Rejestracja: 21 kwie 2009, o 19:04
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 40 razy
- Pomógł: 2362 razy
Tw. Baire'a
Jeśli to jest teza, to czym jest \(\displaystyle{ B}\)? A jeśli definicja, to co trzeba pokazać? Poza tym jesteś pewien, że te dwa kwantyfikatory mają być egzystencjalne?Elek112 pisze:pokazac, ze \(\displaystyle{ B=\left\{ t \in \RR: \bigvee_{q \in \QQ}\bigvee_{s \in A} s-qt \neq 0\right\}}\)
\(\displaystyle{ A}\) nie musi być przeliczalny.Elek112 pisze:wyjalem kwantyfikatory jako przeliczalne przeciecia po \(\displaystyle{ q}\) i po \(\displaystyle{ s}\)
Tw. Baire'a
A czym tak naprawdę jest \(\displaystyle{ (B _{t})' = \left\{ t \in \RR: s-qt = 0\right\}}\) ?
To pęk prostych przy ustalonym \(\displaystyle{ q}\) i współczynniku kierunkowym \(\displaystyle{ q}\). Trzeba pokazać, z ten zbiór jest domknięty i brzegowy.
Narysuj sobie układ współrzędnych i osadź \(\displaystyle{ A}\) na osi \(\displaystyle{ Y}\). I dla każdego punktu z \(\displaystyle{ A}\) istnieje prosta o ustalonym współczyniku \(\displaystyle{ q}\).
I sumujemy po \(\displaystyle{ q \in \QQ}\), z Tw. Baire'a otrzymujemy zbiór brzegowy i dopełnienie takiego zbioru jest gęste, wiec istnieje punkt który posiada właśność zadania.
Sam \(\displaystyle{ u}\) faktycznie nie musi być przeliczalny. Może to być np. zbiór Cantora.
To pęk prostych przy ustalonym \(\displaystyle{ q}\) i współczynniku kierunkowym \(\displaystyle{ q}\). Trzeba pokazać, z ten zbiór jest domknięty i brzegowy.
Narysuj sobie układ współrzędnych i osadź \(\displaystyle{ A}\) na osi \(\displaystyle{ Y}\). I dla każdego punktu z \(\displaystyle{ A}\) istnieje prosta o ustalonym współczyniku \(\displaystyle{ q}\).
I sumujemy po \(\displaystyle{ q \in \QQ}\), z Tw. Baire'a otrzymujemy zbiór brzegowy i dopełnienie takiego zbioru jest gęste, wiec istnieje punkt który posiada właśność zadania.
Sam \(\displaystyle{ u}\) faktycznie nie musi być przeliczalny. Może to być np. zbiór Cantora.
Ostatnio zmieniony 7 lut 2019, o 18:52 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Używaj LaTeXa do wszystkich wyrażeń matematycznych.
Powód: Używaj LaTeXa do wszystkich wyrażeń matematycznych.
-
- Użytkownik
- Posty: 609
- Rejestracja: 10 lis 2009, o 22:39
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Pomógł: 135 razy
Tw. Baire'a
@inf1n1ty: Z przyjemnością przeczytałem Twój post. Ale czy tu ktoś go doceni? Marnujesz się tu. Spróbuj pisać wiersze. Lub malować obrazy (takie abstrakcyjne).
Tw. Baire'a
O co Ci konkretnie biega ?krl pisze:@inf1n1ty: Z przyjemnością przeczytałem Twój post. Ale czy tu ktoś go doceni? Marnujesz się tu. Spróbuj pisać wiersze. Lub malować obrazy (takie abstrakcyjne).