esterno
estèrno [agg. Der. del lat. externus, da exter o exterus "che sta fuori"] [ALG] Angolo e.: per un poligono, ogni angolo adiacente a un angolo interno, cioè formato da un lato e dal prolungamento [...] stessa; è tale, per es., la proprietà di una curva di essere o no annodata. ◆ [ALG] Punto e.: relativ. a un sottoinsieme I, ogni punto per il quale sia possibile trovare un intorno composto da punti non appartenenti a I. ◆ [OTT] Riflessione e.: si ...
Leggi Tutto
Szemeredi
Szemerédi Endre (Budapest 1940) matematico ungherese naturalizzato statunitense. Dopo gli studi universitari a Budapest, ha conseguito il dottorato all’università statale di Mosca. Prima di [...] secondo cui per ogni valore d, con 0 < d < 1, detto densità e per ogni intero k esiste un numero N dipendente da d e da k tale che ogni sottoinsieme A di {1, ..., N} di cardinalità dN contiene una progressione aritmetica arbitrariamente lunga. ...
Leggi Tutto
transfinito In matematica, che va al di là del finito. Numeri t. (o infiniti), numeri che estendono al caso di insiemi con infiniti elementi i concetti di numero cardinale e ordinale dell’aritmetica ordinaria [...] : dati due insiemi A, B è vera almeno una delle due asserzioni che A è equipotente a un sottoinsieme di B, oppure che B è equipotente a un sottoinsieme di A. Quando entrambe le asserzioni sono vere, allora A e B sono equipotenti. L’esistenza di una ...
Leggi Tutto
somma In matematica, il risultato dell’ordinaria operazione di addizione o anche l’operazione stessa; in senso estensivo, si parla spesso di s. anche con riferimento a operazioni che soddisfano le proprietà [...] indici, si dice famiglia sommabile di s. S se gode della seguente proprietà: fissato un arbitrario intorno U dell’elemento neutro di G, esiste un sottoinsieme finito FU di I tale che per ogni sottoinsieme finito F di I contenente FU, si abbia
i∈F ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] chiuso rispetto alla formazione di condizionali α→β e negazioni ¬β, si mostra come, per dato M⊆S, il più piccolo sottoinsieme di S che include M ed è chiuso rispetto a sostituzioni e separazioni è un sistema deduttivo. Nello studio delle proprietà di ...
Leggi Tutto
equivalenza
equivalènza [Der. di equivalente] [ALG] Ogni relazione binaria tra coppie di elementi di un dato insieme che verifichi le tre proprietà formali riflessiva, simmetrica, transitiva; in partic., [...] : IV 814 a. ◆ [ALG] Classe di e.: dato un insieme I e definita in esso una relazione di e. R, è la classe A (sottoinsieme di I), costituita dagli elementi di I equivalenti a un certo elemento a∈I; ovviamente, anche qualunque altro elemento di A può ...
Leggi Tutto
popolazione
popolazióne [Der. del lat. populatio -onis, da populus "popolo"] [LSF] Insieme di enti aventi elementi in comune che li qualificano in un determinato modo; per es., costituiscono una p. gli [...] di una variabile aleatoria; le proprietà di una P. possono essere stimate a partire da un suo conveniente sottoinsieme, detto campione di popolazione. ◆ [ASF] P. stellare: quella costituita dalle stelle di una galassia che hanno certe caratteristiche ...
Leggi Tutto
vuoto
vuòto [agg. e s.m. Der del lat. volgare vocitus, dal part. pass. vacitus di vacere "vuotare", quindi con la stessa radice del lat. class. vacuus] [LSF] Rigorosamente, assenza assoluta di materia [...] v. Casimir, effetto: I 511 b. ◆ [ALG] Insieme v., o nullo: l'insieme privo di elementi (simb. Ø oppure /\ ), che è sottoinsieme di ogni possibile insieme e anche intersezione di due insiemi privi di elementi comuni. ◆ [MCQ] Polarizzazione del v.: v ...
Leggi Tutto
omomorfismo e isomorfismo, teoremi di
omomorfismo e isomorfismo, teoremi di in algebra, teoremi di teoria dei gruppi, riformulabili con opportune cautele nel contesto degli anelli e in quello degli spazi [...] sulla classificazione).
Secondo teorema di isomorfismo: se H e N sono due sottogruppi di un gruppo G, con N sottogruppo normale, allora il sottoinsieme HN = {hn : h ∈ H, n ∈ N} è un sottogruppo di G; inoltre N è normale in HN, H ∩ N è normale in H ...
Leggi Tutto
TOPOLOGIA ASTRATTA
S. Fac.
. La topologia (meno modernamente chiamata analysis situs; v. III, p. 87) si occupa delle proprietà invarianti degli insiemi di punti nelle trasformazioni bicontinue (omeomorfismi), [...] e allo stesso tempo assai efficace. Un altro importante teorema di Brouwer assicura che, in una trasformazione topologica fra due sottoinsiemi di uno spazio euclideo a n dimensioni, i punti interni e i punti al contorno di un insieme si mutano ...
Leggi Tutto
sottoinsieme
sottoinsième (o sottinsième) s. m. [comp. di sott(o)- e insieme (nel sign. 2)]. – Ciascuno degli insiemi minori in cui un insieme è o può essere suddiviso: i varî s. di un insieme di dati, di elementi statistici; il prato è un...
complementare
agg. [der. di complemento, sull’esempio del fr. complémentaire]. – 1. a. Che serve di complemento, cioè di completamento, di integrazione: disposizioni c. di una legge; corsi c. di lingue straniere; giorni c., i 5 giorni (6 negli...