insieme universo

Introduciamo ora il concetto di insieme universo
Il complementare dell'insieme vuoto Ø sara' tutto l'insieme di partenza; conviene quindi introdurre il concetto di insieme universo E come complementare dell'insieme vuoto
Ø _= E      E_ = Ø

Quindi quando parleremo solo di un insieme su cui considerare sottoinsiemi ed operazioni a lui interne potremo considerarlo come insieme universo e lo indicheremo con E

Allora tutti gli insiemi che considereremo d'ora in avanti saranno considerati come sottoinsiemi di un insieme universo E prefissato: cio' ci permettera' di superare antinomie (cioe' contraddizioni logiche) nelle applicazioni
(fare link con paradosso di Russel e con Gödel per sistema coerente oppure completo)
Proprieta' dell'insieme universo

per l'unione :      A E = E A = E

per l'intersezione:      A E = E A = A

Pagina iniziale Indice di algebra Pagina successiva Pagina precedente