Zbiory przeliczalne

Algebra zbiorów. Relacje, funkcje, iloczyny kartezjańskie... Nieskończoność, liczby kardynalne... Aksjomatyka.
wiktoriaziaja
Użytkownik
Użytkownik
Posty: 6
Rejestracja: 6 sty 2020, o 13:28
Płeć: Kobieta
wiek: 19

Zbiory przeliczalne

Post autor: wiktoriaziaja » 10 sty 2020, o 14:51

Niech dany będzie zbiór \(\displaystyle{ X}\). Który z podanych poniżej zbiorów jest przeliczalny?
\(\displaystyle{ X=\lbrace x \in \RR : x ^{2} -x=0 \rbrace \\
A.\ X^{\NN} \\
B.\ \NN^{X}\\
C.\ P(X \cap \NN)\\
D.\ P(X \setminus \NN)}\)
Ostatnio zmieniony 10 sty 2020, o 15:40 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
Rekrutacja Instytut Matematyczny, Uniwersytet Wrocławski (gif)

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

Re: Zbiory przeliczalne

Post autor: Janusz Tracz » 10 sty 2020, o 15:27

Zacznij od wyznaczenia \(\displaystyle{ X}\) w jawnej postaci przez podanie jego elementów, potem zastanów się czym są zbioru a każdego podpunktu
Wskazówka:
\(\displaystyle{ 1)}\) Zbiór \(\displaystyle{ X^{\NN}}\) to zbiór nieskończonych ciągów złożonych z \(\displaystyle{ 0}\) oraz \(\displaystyle{ 1}\). Każdą liczbę z \(\displaystyle{ \left[ 0,1\right] }\) można zapisać binarnie.
\(\displaystyle{ 2)}\) zbiór \(\displaystyle{ X \cap \NN}\) jest skończony więc \(\displaystyle{ \mathcal{P}\left( X \cap \NN \right) }\) jaki jest?
\(\displaystyle{ 3)}\) Czym jest zbiór \(\displaystyle{ X \setminus \NN}\)? Więc czym jest \(\displaystyle{ \mathcal{P}\left( X \setminus \NN \right) }\)

Jan Kraszewski
Administrator
Administrator
Posty: 25991
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4350 razy

Re: Zbiory przeliczalne

Post autor: Jan Kraszewski » 10 sty 2020, o 15:42

Należałoby jeszcze sprecyzować, która definicja słowa "przeliczalność" jest tu używana.

JK

wiktoriaziaja
Użytkownik
Użytkownik
Posty: 6
Rejestracja: 6 sty 2020, o 13:28
Płeć: Kobieta
wiek: 19

Re: Zbiory przeliczalne

Post autor: wiktoriaziaja » 10 sty 2020, o 22:13

Definicja: zbiór jest przeliczalny jesli jest skończony lub równoliczny ze zbiorem liczb naturalnych.
Czyli \(\displaystyle{ X=\{0,1\}}\)
\(\displaystyle{ 1) \ \left\{ 0,1\right\} ^\NN}\) nie jest równoliczny \(\displaystyle{ \NN}\) więc odpada
\(\displaystyle{ 2)\ P(X \cap \NN) }\) tez jest skończony czyli jest przeliczalny
\(\displaystyle{ 3)\ X \setminus \NN }\) to zbiór pusty, więc \(\displaystyle{ P(X \setminus \NN) }\) też jest pusty. Zbiór pusty nie jest skończony czyli nie jest przeliczalny
Tak?
Ostatnio zmieniony 10 sty 2020, o 22:16 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.

Jan Kraszewski
Administrator
Administrator
Posty: 25991
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4350 razy

Re: Zbiory przeliczalne

Post autor: Jan Kraszewski » 10 sty 2020, o 22:21

wiktoriaziaja pisze:
10 sty 2020, o 22:13
\(\displaystyle{ 1) \ \left\{ 0,1\right\} ^\NN}\) nie jest równoliczny \(\displaystyle{ \NN}\) więc odpada
Zgadza się (o ile nie musisz tego uzasadniać).
wiktoriaziaja pisze:
10 sty 2020, o 22:13
\(\displaystyle{ 2)\ P(X \cap \NN) }\) tez jest skończony czyli jest przeliczalny
Zgadza się (mogłabyś nawet podać, ile ma elementów).
wiktoriaziaja pisze:
10 sty 2020, o 22:13
\(\displaystyle{ 3)\ X \setminus \NN }\) to zbiór pusty, więc \(\displaystyle{ P(X \setminus \NN) }\) też jest pusty. Zbiór pusty nie jest skończony czyli nie jest przeliczalny
A tu napisałaś aż dwa bardzo nieprawdziwe stwierdzenia.
Po pierwsze, zbiór \(\displaystyle{ P(\emptyset)}\) zdecydowanie nie jest pusty.
Po drugie, zbiór pusty ma zero elementów, więc jak najbardziej jest skończony.

No i masz jeszcze niezrobiony podpunkt B.

JK

wiktoriaziaja
Użytkownik
Użytkownik
Posty: 6
Rejestracja: 6 sty 2020, o 13:28
Płeć: Kobieta
wiek: 19

Re: Zbiory przeliczalne

Post autor: wiktoriaziaja » 10 sty 2020, o 22:50

W \(\displaystyle{ B}\) są to wszystkie nieskończone ciągi \(\displaystyle{ f:X \rightarrow \NN}\)

3) \(\displaystyle{ P(X \setminus N)=\left\{ \emptyset \right\}}\)
Mialam chyba złą definicję zbioru skończonego. Czyli B nie jest przeliczalny. A w D: \(\displaystyle{ P(X\setminus\NN)}\) też jest skończony ??
Ostatnio zmieniony 10 sty 2020, o 22:57 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.

Jan Kraszewski
Administrator
Administrator
Posty: 25991
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4350 razy

Re: Zbiory przeliczalne

Post autor: Jan Kraszewski » 10 sty 2020, o 23:04

wiktoriaziaja pisze:
10 sty 2020, o 22:50
W \(\displaystyle{ B}\) są to wszystkie nieskończone ciągi \(\displaystyle{ f:X \rightarrow \NN}\)
To niestety nie ma sensu - zupełnie nie rozumiesz tego co piszesz. Jak możesz mówić o nieskończonych ciągach, skoro są to funkcje o dwuelementowej dziedzinie?
wiktoriaziaja pisze:
10 sty 2020, o 22:50
Czyli B nie jest przeliczalny.
Pomyśl jeszcze o tym przykładzie.
wiktoriaziaja pisze:
10 sty 2020, o 22:50
Mialam chyba złą definicję zbioru skończonego.
:?: :?:
To znaczy jaką?
wiktoriaziaja pisze:
10 sty 2020, o 22:50
3) \(\displaystyle{ P(X \setminus N)=\left\{ \emptyset \right\}}\)

A w D: \(\displaystyle{ P(X\setminus\NN)}\) też jest skończony ??
Zastanawiasz się, czy zbiór \(\displaystyle{ \left\{ \emptyset \right\}}\) jest skończony?

JK

wiktoriaziaja
Użytkownik
Użytkownik
Posty: 6
Rejestracja: 6 sty 2020, o 13:28
Płeć: Kobieta
wiek: 19

Re: Zbiory przeliczalne

Post autor: wiktoriaziaja » 10 sty 2020, o 23:28

Rzeczywiście w B będzie \(\displaystyle{ \left\{ f:X \rightarrow \mathbb{N} \right\} }\) nie ciągi tylko funkcje. W definicji miałam, że zbior \(\displaystyle{ A}\) jest skończony gdy jest niepusty lub istnieje taka liczba \(\displaystyle{ n>0}\), że \(\displaystyle{ A \sim\{0,1,...n\}}\)
Ostatnio zmieniony 11 sty 2020, o 11:22 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Używaj LaTeXa do wszystkich wyrażeń matematycznych.

Jan Kraszewski
Administrator
Administrator
Posty: 25991
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4350 razy

Re: Zbiory przeliczalne

Post autor: Jan Kraszewski » 11 sty 2020, o 11:35

wiktoriaziaja pisze:
10 sty 2020, o 23:28
Rzeczywiście w B będzie \(\displaystyle{ \left\{ f:X \rightarrow \mathbb{N} \right\} }\) nie ciągi tylko funkcje.
Pomijając niepoprawny zapis tego zbioru (oraz fakt, że ciągi to też funkcje...), to istotnie jest to zbiór funkcji z \(\displaystyle{ X}\) w \(\displaystyle{ \NN}\). Jaka zatem jest jego moc?
wiktoriaziaja pisze:
10 sty 2020, o 23:28
W definicji miałam, że zbior \(\displaystyle{ A}\) jest skończony gdy jest niepusty lub istnieje taka liczba \(\displaystyle{ n>0}\), że \(\displaystyle{ A \sim\{\red{0},1,...n\}}\).
Na pewno tak nie miałaś, bo taka "definicja" jest zupełnie bez sensu - zgodnie z nią jedynym nieskończonym zbiorem jest zbiór pusty... Poza tym jest jeszcze jeden błąd, bo gubisz zbiory jednoelementowe

Definicja brzmi tak:

Zbiór \(\displaystyle{ A}\) jest skończony gdy jest pusty lub istnieje taka liczba \(\displaystyle{ n>0}\), że \(\displaystyle{ A \sim\{1,...n\}}\).

JK

ODPOWIEDZ