Konačni i beskonačni skupovi – razlika između verzija
Uklonjeni sadržaj Dodani sadržaj
Red 53:
== Ordinalni broj skupa ==
Neka je A dobro uređen skup. Klasu dobro uređenih skupova koji su slični sa A nazivamo '''ordinalni broj''' , oznaka ord(A) .
Ordinalni brojevi koji nisu konačni su '''transfinitni'''. ▼
▲Ordinalni brojevi koji nisu konačni su transfinitni.
'''Aksioma izbora (Zemerlov aksiom)'''
Ako je S dati skup tada iz svakog nepraznog podskupa skupa S možemo izabrati jedan element , tj postoji barem jedna [[funkcija]]koja svakom nepraznom
Za svaki beskonačan kardinalni broj a vrijedi a
Za svaka dva skupa A i B važi
'''Zornova(Cornova) lema
Ako je A parcijalno uređen skup u kome svaki potpuno urešen podskup ima gornju granicu sadrži bar jedan maksimalni element.
'''Paradoksi u teoriji skupova'''
'''Cantarov paradoks'''
Uznimo da je S skup svih skupova. Tada je svaki podskup od S ujedno i član od S. Dakle, i partitivni skup od S je podsku od S.▼
▲
P(S) podskup od S
Linija 77 ⟶ 79:
'''Ruselov paradoks'''
Neka je S skup svih skupova koji ne sadrže sebe kao element. Postavlja se pitanje pripada li skup S sam sebi.
|