Inviato: 15 dic 2009, 13:43
Ani-sama ha scritto:Un qualsiasi insieme $ A $ si dice infinito se può essere messo in corrispondenza biunivoca con un suo sottoinsieme proprio.
o con un insieme numerabile o piu' che numerabileAni-sama poco sopra ha scritto:puoi dimostrare che contiene un sottoinsieme numerabile (cioè che puoi mettere in corrispondenza biunivoca con i numeri naturali).
come detto dipende dall'insiemeAni-sama ha scritto:per quanto riguarda insiemi totalmente ordinati è vero: se un sottoinsieme di un insieme totalmente ordinato è finito, allora sicuramente ammette massimo e minimo.