oblak pisze:O kurwa... Geometria wykreślna - nie strasz mnie! :hang: Jest tam w ogóle taki przedmiot??? Na stronie instytutu nie widziałem... Chyba że jakoś inaczej to się nazywa. Słyszałem jednak, że da się zrobić studia matematyczne bez kontaktu z geometrią nieanalityczna i w tym moja nadzieja.
Ale przecież to JEST twierdzenie Cantora (tzn. tw. mówi w zasadzie że moc zbioru potęgowego jest silnie większa od mocy danego zbioru, ale stąd w oczywisty sposób wynika że te zbiory są różne - bo gdyby były równe to istniałaby między nimi bijekcja (identyczność)). Całkiem przyzwoity dowód masz na Wikipedii:oblak pisze:Ja się teraz męczę z dowodzeniem, że żaden zbiór nie jest równy swemu zbiorowi potęgowemu --> profesorka z LO pożyczyła mi książkę z 1965r z twierdzeniem Cantora, z którego podobno trzeba tutaj skorzystać, (pierwszy raz widzę to twierdzenie na oczy)... Na wiele sposobów próbowałem to zrobić i ciągle słyszałem, że źle. Najbliższa moja próba udowodniła tą własność tylko dla wszystkich zbiorów skończonych...
http://pl.wikipedia.org/wiki/Twierdzenie_Cantora
