Równoliczność Vine: Wykazać, że zbiór liczb całkowitych dodatnich jest równoliczny ze zbiorem liczb całkowitych oraz określić ich moc. Ustawiłem sobie elementy zbiorów w pary: {0, 1, 2, 3, 4, 5, 6, 7...} {−1, 1, −2, 2, −3, 3, −4, 4...} Ale nie mogę znaleźć funkcji określającej "na" proszę o pomoc.

ICSP: a co przejdzie na 0 ?

ICSP: oraz 0 nie jest liczbą całkowita dodatnią.

Paul: Czyli będzie tak? { 1, 2, 3, 4, 5, 6, 7, 8...} {−1, 1, −2, 2, −3, 3, −4, 4...}

ICSP: a 0 ?

Paul: Na 0 będzie 0? Nie wiem za bardzo skoro nie jest liczbą dodatnią to nie można jej przyporządkować do 1 zbioru?

ICSP: Masz pokazać, że zbiór liczb całkowitych dodatnich jest równoliczny ze zbiorem liczb całkowitych. Jaką liczbę z pierwszego zbioru twoja funkcja przeprowadzi na 0 które jest liczbą całkowitą ?

Paul: O to chodzi? { 1, 2, 3, 4, 5, 6, 7...} { 0, −1, 1, −2, 2, −3, 3...}