rappresentante
rappresentante [agg. Part. pres. di rappresentare (→ rappresentazione)] [ALG] Nella teoriadegliinsiemi, un elemento x di un insieme E, nel quale sia assegnata una relazione di equivalenza [...] R, individua un elemento e dell'insieme quoziente E/R e, per questo, è detto r. di e; due elementi x, y sono r. dello stesso elemento di E/R soltanto se xRy, ossia se sono equivalenti in R. ...
Leggi Tutto
Nelson Joseph Edward
Nelson 〈nèlsn〉 Joseph Edward [STF] (n. Decatur, Georgia, 1932) Prof. di matematica nell'univ. di Princeton (1970). ◆ [PRB] Formule di N.: v. equazioni differenziali stocastiche: [...] II 468 c. ◆ [PRB] Stima di N.: v. processi di punto: IV 603 f. ◆ [PRB] Teoria di N.: lo stesso che teoriadegliinsiemi interni (IST): v. analisi non standard: I 148 a. ...
Leggi Tutto
Shelah
Shelah Saharon (Gerusalemme 1945) matematico e logico israeliano. Professore all’università di Gerusalemme e alla Rutgers University del New Jersey, è autore di numerosi lavori (più di 900, di [...] cui 500 scritti in collaborazione con 200 coautori) riguardanti soprattutto la teoria dei modelli e la teoriadegliinsiemi. Nel 2001 gli è stato conferito il Premio Wolf per la matematica. ...
Leggi Tutto
tricotomia
tricotomìa [Comp. del gr. trícha "in tre parti" e -tomia, sul modello di dicotomia] [ALG] Nella teoriadegliinsiemi, termine per indicare la situazione in cui si danno tre possibilità. ◆ [...] [ALG] [FAF] Nella logica matematica, la situazione in cui un concetto è diviso in tre (come nella dicotomia esso è diviso in due) ...
Leggi Tutto
irriflessivo
irriflessivo [agg. Comp. di in- neg. e riflessivo "non riflessivo"] [ALG] Relazione i.: nella teoriadegliinsiemi, relazione binaria tra gli elementi di un insieme se e solo se non può [...] sussistere tra due elementi identici; tali sono, per es., le relazioni binarie "è diverso da", "è maggiore di" ...
Leggi Tutto
biiezione
biiezióne [Comp. di bi- e (sur)iezione o (in)iezione] [ALG] (a) Nella teoriadegliinsiemi, applicazione f di un insieme P in un insieme Q che sia suriettiva e iniettiva, detta anche applicazione [...] biiettiva (→ applicazione). (b) Lo stesso che funzione biiettiva (→ biiettivo), corrispondenza biunivoca e permutazione ...
Leggi Tutto
astrazione, schema d'assiomi di
astrazione, schema d’assiomi di nella sistemazione assiomatica della teoriadegliinsiemi, nota come teoria nbg (→ Neumann-Bernays-Gödel, teoria di), schema di assiomi [...] che permette di formare la classe di tutti gli insiemi, che non è, in tale teoria, un insieme. ...
Leggi Tutto
Burali-Forti
Burali-Forti Cesare (Arezzo 1861 - Torino 1931) matematico italiano. Noto soprattutto per il paradosso, che porta il suo nome, relativo alla teoriadegliinsiemi, indirizzò i suoi interessi [...] verso il calcolo vettoriale e la logica matematica seguendo gli indirizzi teorici di G. Peano ...
Leggi Tutto
Hausdorff, principio di
Hausdorff, principio di o principio di massimalità di Hausdorff, in teoriadegliinsiemi, stabilisce che ogni insieme parzialmente ordinato non vuoto contiene un sottoinsieme [...] massimale totalmente ordinato. Il principio è equivalente all’assioma della → scelta (vedi anche: → Zorn, lemma di) ...
Leggi Tutto
numerosita
numerosità [Der. del lat. numerositas -atis, da numerosus "numeroso"] [LSF] L'essere costituito da molti elementi. ◆ [ALG] Nella teoriadegliinsiemi, sinon. di potenza (→ cardinalità). ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...