metamatematica
Parte della logica matematica che ha per oggetto l’analisi formale delle dimostrazioni e delle strutture matematiche. Le sue principali branche sono quindi la teoria della dimostrazione [...] in modo assolutamente ineccepibile che la teoria formale astratta dei gruppi è consistente; di essa è possibile, infatti, esibire una Ciò avviene talvolta usando la teoria degli spazi topologici invece che quella degli insiemi. Anzi, per ottenere ...
Leggi Tutto
omotopia
omotopia in topologia algebrica, concetto fondamentale, da cui deriva la relazione di equivalenza sull’insieme degli spazi topologici detta equivalenza omotopica. Dal momento che spazi topologici [...] con punto base x0 della componente per archi di X contenente x0 (in particolare, se X è dotato della topologia discreta, il gruppo è ridotto al solo elemento neutro). Se x0 e x1 appartengono alla stessa componente connessa per archi di X, π1 ...
Leggi Tutto
Bourbaki
Bourbaki Nicolas pseudonimo collettivo con il quale, a partire dal 1935 e fino al 1983, un gruppo di matematici, in maggioranza francesi (tra i quali H. Cartan, C. Chevalley, J. Dieudonné e [...] volumi riguardanti la teoria degli insiemi, l’algebra, la topologia generale, le funzioni di una variabile reale, gli spazi vettoriali topologici; tre volumi furono dedicati all’algebra commutativa, ai gruppi e alle algebre di Lie; un volume riguardò ...
Leggi Tutto
equivalenza categorica
Luca Tomassini
Una categoria C è composta da: (a) una classe ObC (non necessariamente un insieme, dunque) di oggetti, per esempio enti matematici (gruppi o loro rappresentazioni, [...] sé stesso. L’omologia e l’omotopia forniscono esempi di funtori (denotati Hν e πν) dalla categoria degli spazi topologici verso la categoria dei gruppi abeliani. Esiste anche un terzo livello di struttura: se F e G sono funtori dalla categoria C alla ...
Leggi Tutto
teoria dei semigruppi
Luca Tomassini
Un semigruppo è un insieme con una operazione binaria * (comunemente detta moltiplicazione) che soddisfi la proprietà associativa: a*(b*c)=(a*b)*c. Un semigruppo [...] più importanti dell’algebra moderna (soprattutto la teoria dei gruppi e degli anelli) ma anche dell’analisi funzionale ( di trasformazioni di spazi dotati di strutture topologiche, quali gli spazi vettoriali topologici o anche di Banach. In questo ...
Leggi Tutto
compatto
compatto [Der. del part. pass. compactus del lat. compingere "unire strettamente" e quindi "fitto, denso, poco ingombrante"] [ALG] Gruppo c.: gruppotopologico, che sia c. come spazio topologico [...] (v. oltre): v. gruppi classici, teoria dei: III 112 d. ◆ [ALG] Insieme c. e spazio c.: insieme, e anche spazio, tale che circonferenza, una superficie, ecc.) e si generalizza a spazi topologici qualunque (v. oltre). ◆ [ANM] Operatore c.: quello ...
Leggi Tutto
invarianza topologica
invarianza topologica proprietà che non varia su ogni classe di → equivalenza topologica. Gli invarianti topologici possono essere numeri naturali (per esempio, il numero di componenti [...] ƒ tale che ƒ(X) ≠ ƒ(Y). Per esempio, dato che il primo gruppo di omologia simpliciale H1(X) di uno spazio X è un invariante topologico, la sfera S e il toro T non possono essere topologicamente equivalenti dal momento che H1(S) = 0 e H1(T) = Z + Z ...
Leggi Tutto
Rham
Rham Georges de (Roche, Vaud, 1903 - Losanna 1990) matematico svizzero. È noto soprattutto per i suoi contributi in topologia differenziale. Laureatosi nel 1925, nel 1931 conseguì il dottorato a [...] in cui si suggeriva una connessione tra le forme differenziabili di una varietà topologica e i suoi invarianti topologici e ciò lo portò ad approfondire lo studio dei gruppi di coomologia, una delle quali porta il suo nome. Dal 1932 insegnò all ...
Leggi Tutto
omologia
omologìa s. f. [dal gr. ὁμολογία, der. di ὁμόλογος «omologo»]. – 1. In genere, il fatto di essere omologo; corrispondenza, conformità, equivalenza tra più parti, termini, elementi, ecc.: o. tra istituzioni, tra organismi politici...
complèsso2 s. m. [dal lat. complexus -us, der. di complecti (cfr. la voce prec.); il sign. psicanalitico è un calco del ted. Komplex]. – 1. Il tutto, l’insieme, in quanto costituito di più parti o elementi: un c. di persone, di cose; la cittadinanza...