Wpis z mikrobloga

@EstradaOrNada:
Załóżmy, że f : A -> P(A) nie jest surjekcją. Ustalmy zbiór S = { x jest elementem A : x nie należy do f(x) }.
Wtedy istnieje a ze zbioru A t. że f(a) = S, ale a należy do f(a) <-> a nie należy do f(a). Sprzeczność.
  • Odpowiedz
@Kicer86: Zakładasz, że dla każdej liczby 0,xxx masz przypisaną jakąś liczbę naturalną. Skoro dostajesz nową liczbę 0,yyy lecącą po przekątnej, to jest to inna liczba, ponieważ ona nie należy do tego zbioru ponumerowanych liczb naturalnych. Czy coś w tym stylu.
  • Odpowiedz
@Kicer86: Nie znajdziesz jej w zbiorze bo nie jest przypisana do do liczby 1 - bo na pierwszej pozycji się różni, do 2 nie, bo na drugiej pozycji się różni, do N nie bo na N-tej pozycji się różni...
  • Odpowiedz