Algebra, zadanie nr 4706
ostatnie wiadomości | regulamin | latex
Autor | Zadanie / Rozwiązanie |
geometria postów: 865 | 2016-06-15 15:56:40 Jaka jest moc zbiorow. a) A={(x,y)$\in R^{2}$: xy<1} 1. x$\neq 0$ y<1/x B={(x, cos mniejszego od 1/x)$\in R^{2}$: y<1/x} |B|=c, bo takich par bedzie tyle ile $R \backslash${0}, czyli c (bo R$\sim R \backslash$ {0}). 2. x=0 0<1 C={(0,y)$\in R^{2}$: 0<1} |C|=c, bo tych par bedzie tyle ile $R$. Zatem A=B$\cup$C. |A|=c, bo suma dwoch zbiorow mocy continuum jest rowna continuum. Czy rozpatrywanie na takie przypadki jest poprawne? |
tumor postów: 8070 | 2016-06-15 16:02:37 Ujdzie, ale niepotrzebnie komplikujesz. Jeśli już wiesz, że A zawiera podzbiór mocy c (czyli A ma moc co najmniej c), a sam jest podzbiorem $R^2$, czyli ma moc najwyżej c, to dalsze rozważanie nie ma sensu. Najszybciej chyba zauważyć, że pary (0,y) są w A i starczy. :) |
geometria postów: 865 | 2016-06-15 16:25:49 b) B-zbior liczb pierwszych. Liczb pierwszych jest nieskonczenie wiele, zatem zbior B jest nieskonczony. Liczby pierwsze to pewne liczby naturalne. Zatem B jest podzbiorem $N$, czyli |B|=alef zero. c) Zbiór wszystkich podzbiorów zbioru liczb pierwszych, czyli P(B). Moc P(B) jest rozna od mocy B (z twierdzenia Cantora). Da sie okreslic ile wynosi moc P(B)? |
tumor postów: 8070 | 2016-06-15 16:35:22 b) ok c) Tyle, ile $P(N)$. Łatwo zrobić suriekcję z P(N) na $[0,1]$ Suriekcja ta nie będzie różnowartościowa, ale w najgorszym razie dwa argumenty będą mieć przyporządkowaną tę samą wartość, wobec czego można suriekcję przerobić na iniekcję w $[0,2]$. Skoro istnieje suriekcja na $[0,1]$ i iniekcja w $[0,2]$, to P(N) ma moc c. Skoro $B \sim N$, to $P(B) \sim P(N)$ |
geometria postów: 865 | 2016-06-15 16:38:51 Dziekuje. Czy kazdy zbior nieprzeliczalny ma moc niemniejsza od continuum? |
tumor postów: 8070 | 2016-06-15 16:45:48 Hipoteza continuum Cantora mówi, że nie istnieje zbiór o większej mocy niż N, ale mniejszej niż R. Cantor się męczył nad dowodem i nic nie zrobił. Potem udowodniono, że zarówno przyjęcie HC jest niesprzeczne z aksjomatami teorii mnogości, ale i zaprzeczenie HC jest z aksjomatami teorii mnogości niesprzeczne. Oznacza to, że NIE WYNIKA z aksjomatów żadna odpowiedź na Twoje pytanie. Możliwe jest tworzenie teorii mnogości w której przyjmuje się, że c jest najmniejszą liczbą kardynalną większą niż moc N, ale możliwe jest też tworzenie teorii mnogości z aksjomatem, że istnieją zbiory mocy pośredniej między N a R. Wobec tego nieprzeliczalny oznacza więcej niż N, ale czy continuum jest najmniejszą liczbą kardynalną nieprzeliczalną, to jest kwestią dodania nowego aksjomatu. |
geometria postów: 865 | 2016-06-15 16:52:17 A jezeli zbior ma moc continuum to jest nieprzeliczalny? |
tumor postów: 8070 | 2016-06-15 16:58:58 Zbiór mocy c jest na pewno nieprzeliczalny, bo nie istnieje podzbiór N o mocy c (a tylko moc równą mocy podzbioru N nazywamy przeliczalną). Natomiast HC nie dopuszcza mocy mniejszej niż c, większej od mocy N, zaprzeczenie HC dopuszcza, że c nie jest najmniejszą liczbą kardynalną nieprzeliczalną. Zadałeś zatem po prostu pytanie, na które nie ma odpowiedzi wynikającej z aksjomatów teorii mnogości. (Por. twierdzenia Goedla) |
geometria postów: 865 | 2016-06-15 17:17:36 Pytam, zeby wiedziec co robic chcac udowodnic, ze zbior jest nieprzeliczalny. c) Zbior P(B) jest nieprzeliczalny, bo jest mocy c. Chyba, ze z definicji zbioru nieprzeliczalnego czyli | $N$|$<$|P(B)|. Trzeba pokazac, ze |$N$|$\le$|P(B)| i |$N$|$\neq$|P(B)|( te moce sa rozne z powyzszego). Czyli jeszcze |$N$|$\le$|P(B)|. Wowczas wiemy, ze istnieje funkcja roznowartosciowa z $N$ w P(B). Tylko jaka? |
tumor postów: 8070 | 2016-06-15 21:14:14 Jeśli chcesz udowodnić, że zbiór nie jest przeliczalny, to pokazujesz brak iniekcji w N (albo coś równoważnego temu brakowi). Zbiór jest przeliczalny, gdy jest równoliczny z podzbiorem zbioru N, czyli gdy istnieje iniekcja w N. Równoważnie na przykład zbiór jest przeliczalny, gdy istnieje suriekcja z N na ten zbiór. Jeśli zatem nie istnieje, to jest nieprzeliczalny. c) owszem, moc zbioru nieprzeliczalnego jest zawsze większa niż moc zbioru liczb naturalnych. Jeśli potrzebujesz funkcji różnowartościowej z N w P(B) to można podać kilka oczywistych. Najoczywistszą z oczywistych jest $f(n)=\{p_n\}$, gdzie $p_n$ jest n-tą liczbą pierwszą (licząc od najmniejszej). Inną oczywistą $g(n)=\{p_1,p_2,...,p_n\}$ Jeszcze inną jest $h(n)=\{p\in B:p<(n+666)^4\}$ Przy tym ostatnia może wymagać uzasadnienia. Mamy twierdzenie, że między n a 2n znajduje się liczba pierwsza, więc na pewno znajduje się między $n^4$ a $(n+1)^4$, gdy n>0. Wobec tego dla różnych argumentów funkcja przyjmuje różne wartości. Wiadomość była modyfikowana 2016-06-15 21:14:43 przez tumor |
strony: 1 |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj