Pokrycie płaszczyzny przeliczalnym zbiorem prostych
-
- Użytkownik
- Posty: 98
- Rejestracja: 3 lis 2019, o 13:03
- Płeć: Mężczyzna
- Podziękował: 73 razy
- Pomógł: 1 raz
Pokrycie płaszczyzny przeliczalnym zbiorem prostych
Wykaż, że płaszczyzny \(\displaystyle{ \RR^2}\) nie można pokryć przeliczalnym zbiorem prostych przechodzącym przez punkt \(\displaystyle{ \left( 0, 0\right) }\).
Nie mam pojęcia jak to ugryźć, proszę o wskazówkę na co zwrócić uwagę.
Nie mam pojęcia jak to ugryźć, proszę o wskazówkę na co zwrócić uwagę.
Ostatnio zmieniony 16 sty 2020, o 15:22 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Nieregulaminowa nazwa tematu.
Powód: Nieregulaminowa nazwa tematu.
-
- Administrator
- Posty: 34294
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
Skoro te proste pokrywałyby płaszczyznę, to pokrywałyby także okrąg jednostkowy (który jest mocy continuum).
JK
JK
-
- Użytkownik
- Posty: 98
- Rejestracja: 3 lis 2019, o 13:03
- Płeć: Mężczyzna
- Podziękował: 73 razy
- Pomógł: 1 raz
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
Dziękuję za wskazówkę. Jeśli proste pokrywałyby także okrąg to można by było stworzyć funkcję która każdej prostej przypisuje punkt przecięcia z tym okręgiem. Taka funkcja byłaby bijekcją co za tym idzie wyszłaby sprzeczność (okrąg miałby przeliczalnie wiele punktów)
Przepraszam za głupią nazwę tematu.
Przepraszam za głupią nazwę tematu.
Ostatnio zmieniony 16 sty 2020, o 19:20 przez Jan Kraszewski, łącznie zmieniany 2 razy.
Powód: Poprawa wiadomości: byłaby, wyszłaby.
Powód: Poprawa wiadomości: byłaby, wyszłaby.
-
- Administrator
- Posty: 34294
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
No ten argument wymaga jeszcze doprecyzowania (na razie jest niepoprawny np. dlatego, że prosta przecina okrąg w dwóch punktach, więc Twoja funkcja nie jest funkcją), ale o to chodzi.terefere123 pisze: ↑16 sty 2020, o 15:38Dziękuję za wskazówkę. Jeśli proste pokrywałyby także okrąg to można by było stworzyć funkcję która każdej prostej przypisuje punkt przecięcia z tym okręgiem. Taka funkcja byłaby bijekcją co za tym idzie wyszłaby sprzeczność (okrąg miałby przeliczalnie wiele punktów)
Nazwa nie była głupia, tylko nieregulaminowa (por. punkt III.5.5. w Regulamin).
JK
-
- Użytkownik
- Posty: 2283
- Rejestracja: 14 cze 2011, o 11:34
- Płeć: Mężczyzna
- Lokalizacja: Sosnowiec
- Podziękował: 88 razy
- Pomógł: 351 razy
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
Zadziała też argument miarowy:
\(\displaystyle{ \infty=l_2(\RR^2)=l_2\left( \bigcup_{n\in\NN} L_n\right) \leq \sum_{n\in\NN} l_2(L_n)=0}\)
\(\displaystyle{ l_2}\) to miara Lebesgue'a, \(\displaystyle{ \{L_n:n\in\NN\}}\) to hipotetyczna rodzina prostych, która pokrywa całą płaszczyznę.
\(\displaystyle{ \infty=l_2(\RR^2)=l_2\left( \bigcup_{n\in\NN} L_n\right) \leq \sum_{n\in\NN} l_2(L_n)=0}\)
\(\displaystyle{ l_2}\) to miara Lebesgue'a, \(\displaystyle{ \{L_n:n\in\NN\}}\) to hipotetyczna rodzina prostych, która pokrywa całą płaszczyznę.
-
- Administrator
- Posty: 34294
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
No ale to trochę strzelanie do komara z armaty.
Najprościej stwierdzić, że każda prosta przechodząca przez \(\displaystyle{ \left( 0,0\right) }\) ma z okręgiem jednostkowym dwa punkty wspólne, więc jak rozważymy przeliczalnie wiele prostych, to zbiór punktów należących równocześnie do okręgu i którejś z tych prostych będzie przeliczalną sumą zbiorów dwuelementowych, więc będzie przeliczalny. Zatem przeliczalnie wiele prostych (a nawet mniej niż continuum) takich prostych nie pokryje okręgu, który jest mocy continuum.
JK
- Janusz Tracz
- Użytkownik
- Posty: 4074
- Rejestracja: 13 sie 2016, o 15:01
- Płeć: Mężczyzna
- Lokalizacja: hrubielowo
- Podziękował: 80 razy
- Pomógł: 1395 razy
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
Zamiast punktów przecięcia można prostym przypisywać (można się pokusić o jawną postać tego przypisania) kąt nachylenia ze zbioru \(\displaystyle{ \left[ 0,\pi \right) }\) który jest mocy continuum więc nie istnieje takie pokrycie przeliczalnie wieloma prostymi.
Można też pokazać, że nie istnieje pokrycie nawet części (a dokładniej pierwszej ćwiartki) przeliczalnie wieloma prostymi. Jest to wygodniejsze miejscami przy budowani jawnego odwzorowania bo nie trzeba się przejmować niektórymi kątami. Skoro nie istnieje pokrycie "nawet" ćwiartki to nie istnieje pokrycie całości.
Można też pokazać, że nie istnieje pokrycie nawet części (a dokładniej pierwszej ćwiartki) przeliczalnie wieloma prostymi. Jest to wygodniejsze miejscami przy budowani jawnego odwzorowania bo nie trzeba się przejmować niektórymi kątami. Skoro nie istnieje pokrycie "nawet" ćwiartki to nie istnieje pokrycie całości.
-
- Użytkownik
- Posty: 2283
- Rejestracja: 14 cze 2011, o 11:34
- Płeć: Mężczyzna
- Lokalizacja: Sosnowiec
- Podziękował: 88 razy
- Pomógł: 351 razy
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
Niby armata, ale pokazuje to coś więcej niż treść zadania. Mianowicie nie istnieje żadna przeliczalna rodzina prostych, która pokrywałaby całą płaszczyznę, nie tylko taka, która składa się z prostych przechodzących przez \(\displaystyle{ (0,0)}\).
-
- Użytkownik
- Posty: 22211
- Rejestracja: 15 maja 2011, o 20:55
- Płeć: Mężczyzna
- Lokalizacja: Bydgoszcz
- Podziękował: 38 razy
- Pomógł: 3755 razy
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
Ale do tego też nie trzeba argumentu miarowego.
Weżmy prostą `y=a`, która NIE należy do owej przeliczalnej rodziny . Na niej jest continuum punktów. Ponieważ żadna z prostych przecinających ją nie jest do jej równoległą, to cała rodzina pokryje co najwyżej przeliczalnie wiele punktów na nie. I już.
W podobny sposób można pokazać, że przeliczalną rodziną nie można pokryć żadnego zbioru o niepustym wnętrzu.
Weżmy prostą `y=a`, która NIE należy do owej przeliczalnej rodziny . Na niej jest continuum punktów. Ponieważ żadna z prostych przecinających ją nie jest do jej równoległą, to cała rodzina pokryje co najwyżej przeliczalnie wiele punktów na nie. I już.
W podobny sposób można pokazać, że przeliczalną rodziną nie można pokryć żadnego zbioru o niepustym wnętrzu.
Ostatnio zmieniony 16 sty 2020, o 22:40 przez a4karo, łącznie zmieniany 1 raz.
-
- Administrator
- Posty: 34294
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5203 razy
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
Oczywiście, ale wymaga aparatu miarowego, którego zazwyczaj na tym etapie nie mamy.
JK
- Dasio11
- Moderator
- Posty: 10226
- Rejestracja: 21 kwie 2009, o 19:04
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 40 razy
- Pomógł: 2362 razy
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
To nie uzasadnia, żeJanusz Tracz pisze: ↑16 sty 2020, o 20:49Zamiast punktów przecięcia można prostym przypisywać (można się pokusić o jawną postać tego przypisania) kąt nachylenia ze zbioru \(\displaystyle{ \left[ 0,\pi \right) }\) który jest mocy continuum
Janusz Tracz pisze: ↑16 sty 2020, o 20:49więc nie istnieje takie pokrycie przeliczalnie wieloma prostymi.
- Janusz Tracz
- Użytkownik
- Posty: 4074
- Rejestracja: 13 sie 2016, o 15:01
- Płeć: Mężczyzna
- Lokalizacja: hrubielowo
- Podziękował: 80 razy
- Pomógł: 1395 razy
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
Dasio11 a odwzorowanie wszystkich kątów z \(\displaystyle{ \left[ 0, \pi \right) }\) nie jest warunkiem konicznym pokrycia płaszczyzny?
\(\displaystyle{ \bullet}\) Jeśli nie pokryjemy wszystkich kątów to w prostych przechodzących przez \(\displaystyle{ (0,0)}\) pokrywających płaszczyznę będą "dziury" (dowolnie małe ale będą). Innymi słowy pewne proste nie zostaną odwzorowane a wtedy punkty na nich też nie zostaną pokryte.
\(\displaystyle{ \bullet}\) Kąt może być jednoznacznie rozumiany jako para punktów na okręgu (dajmy jednostkowym) wtedy mój argument staje się (jak mi się wydaje) tożsamy z argumentem Jan Kraszewski
\(\displaystyle{ \bullet}\) Jeśli nie pokryjemy wszystkich kątów to w prostych przechodzących przez \(\displaystyle{ (0,0)}\) pokrywających płaszczyznę będą "dziury" (dowolnie małe ale będą). Innymi słowy pewne proste nie zostaną odwzorowane a wtedy punkty na nich też nie zostaną pokryte.
\(\displaystyle{ \bullet}\) Kąt może być jednoznacznie rozumiany jako para punktów na okręgu (dajmy jednostkowym) wtedy mój argument staje się (jak mi się wydaje) tożsamy z argumentem Jan Kraszewski
-
- Użytkownik
- Posty: 609
- Rejestracja: 10 lis 2009, o 22:39
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Pomógł: 135 razy
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
Podobnie ktoś na tym forum kiedyś argumentował, że zbiór liczb rzeczywistych jest nieprzeliczalny, gdyż gdyby był przeliczalny, to miałby miarę Lebesgue'a zero.
Uprośćmy trochę sytuację. Rozważmy argument:
Przedział \(\displaystyle{ [0,1]}\) jest nieprzeliczalny, gdyż ma miarę Lebesgue'a większą od zera (a każdy zbiór przeliczalny ma miarę Lebesgue'a zero).
Ten dowód wykorzystuje własności miary Lebesgue'a, przypuszczalnie m.in. nieprzeliczalność \(\displaystyle{ [0,1]}\) (implicite). Implicite zawiera przekątniowy argument Cantora. Więc dowód miarowy nieprzeliczalności \(\displaystyle{ \mathbb R}\) jest to dowód "naokoło", ukrywający istotę rzeczy.
Ćwiczenie: Spróbować przeprowadzić konstrukcję miary Lebesguę'a dla zbioru liczb wymiernych. On nie jest zupełny w sensie Dedekinda, zaś \(\displaystyle{ \mathbb R}\) jest. To ta cecha \(\displaystyle{ \mathbb R}\) odpowiada za to, że miara \(\displaystyle{ [0,1]}\) jest większa od zera.
Warto dokładnie uświadomić sobie, jak w konstrukcji miary Lebesgue'a (a w szczególności w dowodzie tego, że miara \(\displaystyle{ [0,1]}\) jest większa od zera) używamy zupełności \(\displaystyle{ \mathbb R}\) (a więc faktycznie jego nieprzeliczalności).
Oczywiście, w potocznych matematycznych rozumowaniach tego typu argument bywa akceptowany, gdyż jeśli dla kogoś własności miary Lebesgue'a
są bardziej podstawowe niż pojecie (nie)przeliczalności, to w naturalny sposób korzysta z nich w dowodzie nieprzeliczalności zbioru liczb rzeczywistych.
Dodano po 10 minutach 5 sekundach:
W przypadku potocznych dowodów matematycznych zwykle pomijane są oczywiste szczegóły. To, czy szczegół jest oczywisty, jest względne. A zatem w tych przypadkach względne jest również to, czy dany argument jest uzasadnieniem tezy.
-
- Użytkownik
- Posty: 22211
- Rejestracja: 15 maja 2011, o 20:55
- Płeć: Mężczyzna
- Lokalizacja: Bydgoszcz
- Podziękował: 38 razy
- Pomógł: 3755 razy
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
Dla ścisłości: argumentem było, że gdyby był przeliczalny to można by go pokryć odcinkami, których łączna długość byłaby mniejsza od 1.krl pisze: ↑17 sty 2020, o 08:23Podobnie ktoś na tym forum kiedyś argumentował, że zbiór liczb rzeczywistych jest nieprzeliczalny, gdyż gdyby był przeliczalny, to miałby miarę Lebesgue'a zero.
Ten argument będzie zrozumiały dla krawca i malarza pokojowego oraz dla każdego menedzera budżetu domowego i nie odwołuje się do metody przekątniowej ani nie używa miary Lebesgue'a
-
- Użytkownik
- Posty: 609
- Rejestracja: 10 lis 2009, o 22:39
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Pomógł: 135 razy
Re: Pokrycie płaszczyzny przeliczalnym zbiorem prostych
1. Chętnie bym poznał takiego krawca. Czy mógłbyś podać adres? Może zachęciłbym go do studiowania matematyki.a4karo pisze: ↑17 sty 2020, o 09:41 Dla ścisłości: argumentem było, że gdyby był przeliczalny to można by go pokryć odcinkami, których łączna długość byłaby mniejsza od 1.
Ten argument będzie zrozumiały dla krawca i malarza pokojowego oraz dla każdego menedzera budżetu domowego i nie odwołuje się do metody przekątniowej ani nie używa miary Lebesgue'a.
2. Argument, do którego się odwołujesz, korzysta ze zwartości odcinka, której dowodzi się metodą przekątniową.