Klasyczny rachunek zdań


Def. 4. Zbiorami przeliczalnymi nazywamy zbiory skończone lub nieskończone równoliczne ze zbiorem N. Ex. 49



Pobieranie 1,67 Mb.
Strona8/16
Data25.03.2018
Rozmiar1,67 Mb.
1   ...   4   5   6   7   8   9   10   11   ...   16

Def. 4. Zbiorami przeliczalnymi nazywamy zbiory skończone lub nieskończone równoliczne ze zbiorem N.
Ex. 49. Niech X będzie zbiorem liczb naturalnych parzystych, a Y zbiorem liczb naturalnych nieparzystych. Jakiej mocy są zbiory X i Y.
Istnieje f: NX, określone wzorem f(n)=2n, które przekształca N na X. Zatem jeżeli N~X, to =. Skoro = 0 , =0

Istnieje g: NY, określone wzorem f(n)=2n-1, które przekształca N na Y. Zatem jeżeli N~Y, to =. Skoro =0 , =0

1   ...   4   5   6   7   8   9   10   11   ...   16


©operacji.org 2019
wyślij wiadomość

    Strona główna