Newsgroup: it.hobby.motociclismo
Titolo: teoria degli insiemi per principianti... ... ... ... ... ...

mi sono messo a scrivere l'inizio di una dispensina introduttiva di teoria
degli insiemi per principianti.
ho anche trascritto quello che finora ho scritto, in modo che il tutto, una
volta postato su questo ng, sia leggibile.
ecco a voi, e fatemi sapere cosa ne pensate...
Un "sistema ad un predicato binario" e` dato da:
1) una collezione U di oggetti, detta "universo";
2) per ogni oggetto x di U, una proprieta` P_x definita in U.
In un sistema ad un predicato binario, usare la notazione insiemistica vuol
dire:
1) chiamare "insiemi" gli oggetti di U;
2) se x ed y sono insiemi, dire che "y e` elemento di x" per indicare che y
gode della proprieta` P_x;
3) se x ed y sono insiemi, dire che "y e` contenuto in x" per indicare che,
per ogni insieme w,  w e` elemento di y  solo se  w e` elemento di x;
4) se x ed y sono insiemi, dire che "y e` uguale ad x" per indicare che sia y
e` contenuto in x  sia x e` contenuto in y;
5) se x e` un insieme, dire che "x e` vuoto" per indicare che,  per ogni
insieme y,  y non e` elemento di x.
Ovviamente, "non e` elemento",  "non e` contenuto",  "e` diverso",  "e` non
vuoto"  saranno le negazioni, rispettivamente, di  "e` elemento", "e`
contenuto",  "e` uguale",  "e` vuoto".
Un "sistema insiemistico secondo gli assiomi di ZF" e` un sistema ad un
predicato binario (per il quale usiamo la notazione insiemistica) che soddisfi
le seguenti condizioni:
1) se x ed y sono insiemi, e se x e` uguale ad y, allora,  per ogni insieme z,
x e` elemento di z  se e solo se  y e` elemento di z;
2) esiste un insieme x tale che x sia vuoto;
3) per ogni insieme x,  esiste un insieme y tale che,  per ogni insieme z,  z
e` elemento di y  se e solo se  z e` contenuto in x;
4) per ogni insieme x,  se x e` non vuoto, allora esiste un insieme y,
elemento di x, tale che esista un insieme z che sia elemento sia di x che di
y;
5) se x e` un insieme e se,  per ogni elemento u di x,  F_u e` una proprieta`
che e` soddisfatta al piu` da un unico insieme, allora esiste un insieme y
tale che,  per ogni insieme v,  v e` elemento di y  se e solo se  e` elemento
di un insieme w tale che valga F_z(w) per qualche insieme z che sia elemento
di x.

Ero lì che mi facevo i cazzi miei quando G. Lagnese disse:
[CUT]
Ah il crosspost...
p.s. Giovà ma stai ancora a S.M.Capuavetere??IHMcampania non è mica da
trascurà!eh!
Lamps
--
DD. su TT350 "Occhioni" & Casco Integrale
"-C'è un nano nel motore che lima la candela
- Per favore non si parla di politica qui "(cit.Gattestro)
Il sito dei polverosi : 
www.soloenduro.it
Il sito dei Campani : 
www.ihmcampania.tk

DDBoombay,
ma chi sei?
un amico della mia ex Manuela?

 elemento di x, tale che esista un insieme z...
ovviamente, che non esiste alcun insieme z...

degli insiemi per principianti.
OLIGOFRENICO

 degli insiemi per principianti.
[cut]
Barone Lagnese, mi vuoi dire perché sei sparito da IAS? Ho bisogno di te per
una questione sulla tua poesia che diceva "ariamo i campi".
AUTAN


S. Maria Capua Vetere.... please ;)
--
-----------------------------------------------
Ciao da....Solo - [CE] su.....
BMW R1100R '95  "Carlotta"
VESPA 125 '64  "Vegliarda"

 S. Maria Capua Vetere.... please ;)
Pardon ;-)
--
DD. su TT350 "Occhioni" & Casco Integrale
"-C'č un nano nel motore che lima la candela
