Esistenza dell'intersezione in ZF

Domande di teoria, mini-dispense degli utenti, richieste di riferimenti ad articoli, ...

Moderatore: Moderatori

Esistenza dell'intersezione in ZF

Messaggioda Mondo il sab 5 lug 2008, 15:41

In ZF (Zermelo-Fraenkel) si provi che \bigcap S esiste per ogni S non vuoto. (Dove utilizziamo la condizione che S è non vuoto?)
Mondo
 
Messaggi: 40
Iscritto il: sab 5 lug 2008, 15:38

Messaggioda salvo.tringali il dom 17 gen 2010, 13:02

Mondo ha scritto:In ZF (Zermelo-Fraenkel) si provi che \bigcap S esiste per ogni S non vuoto. (Dove utilizziamo la condizione che S è non vuoto?)

Cosa sarebbe \bigcap S?! A che si deve estendere l'intersezione? :unsure:
"Che bella storia", disse l'Alchimista. | Whatever can be encoded by syntax shouldn't be left to semantics. | Homomorphisms are to algebraic structures as seminorms are to ordered structures.
Avatar utente
salvo.tringali
 
Messaggi: 5354
Iscritto il: mar 17 giu 2008, 19:46
Località: Karl-Franzens-Universität, Graz (AT)

Messaggioda fields il dom 17 gen 2010, 13:44

E' una notazione standard: \bigcap S e' l'intersezione di tutti gli insiemi appartenenti ad S. S e' un insieme di insiemi perche' in ZF tutti gli oggetti sono insiemi.

Direi comunque che questo e' un esercizio scolastico.
fields
 
Messaggi: 72
Iscritto il: ven 13 giu 2008, 14:44


Torna a Teoria

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite

cron