categoricita
categoricità [Der. di categoria] [ALG] Unicità della scelta degli assiomi di una teoria a meno di isomorfismi: v. Gödel, teorema di: III 54 d. ...
Leggi Tutto
In matematica, corrispondenza biunivoca tra due insiemi dotati di ‘strutture’, la quale conservi le strutture stesse. Le strutture sono di tre tipi: d’ordine, algebriche e topologiche, e si hanno perciò [...] di queste leggi. Due gruppi (due anelli, due corpi ecc.) tra i quali interceda una corrispondenza di i. si dicono isomorfi e sono considerati identici nell’algebra astratta, in quanto hanno le medesime proprietà algebriche. I. tra insiemi dotati di ...
Leggi Tutto
campo
campo [Der. del lat. campus "estensione di terreno"] [LSF] Termine per indicare, con aderenza al signif. letterale, un'estensione di spazio caratterizzata da ben definite proprietà fisiche, sia [...] chiuso. Il c. C- gode della notevole proprietà che un qualunque ampliamento algebrico di C è contenuto, a meno di isomorfismi, in C-; per quanto riguarda i secondi, si dimostra che un ampliamento trascendente qualunque di C è un ampliamento algebrico ...
Leggi Tutto
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] a cui abbiamo accennato, porta in modo naturale a considerare come uguali due insiemi dotati di strutture algebriche isomorfe (➔ isomorfismo). In ultima analisi il compito dell’a. sarà allora quello di classificare gli insiemi algebrici a meno d ...
Leggi Tutto
Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] anche rispetto all’estrazione di radice. Si dimostra anche che R, con le operazioni e relazioni di cui sopra, contiene un sottoinsieme isomorfo a Q e che la sua cardinalità è maggiore di quella di N; R è cioè «più che numerabile». La costruzione dei ...
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, [...] definisce allora equivalenza tra due categorie C e D un funtore F:C→D tale che esistano un funtore ‘inverso’ G:D→C e due isomorfismi naturali η1:F°G→idD e η2:G°F→idC. Il funtore G non è dunque inverso del funtore F nell’usuale accezione algebrica (la ...
Leggi Tutto
Fisica
Per il principio di corrispondenza di Bohr ➔ corrispondènza, princìpio di.
Matematica
Date due classi, o insiemi, A e A′, di oggetti o di enti astratti, si dice che fra di esse intercede una c. [...] ] sopra una retta, il numero dei punti uniti, cioè dei punti che coincidono con uno dei corrispondenti, è m + n». Tra le c. biunivoche ricordiamo le proiettività, gli isomorfismi tra due insiemi algebrici, e gli omeomorfismi tra due spazi topologici. ...
Leggi Tutto
Biologia
C. morfogenetico Area dell’embrione, o del primordio di un germoglio, dotata della capacità di dare origine a un determinato organo; per es., i c. morfogenetici dell’arto posteriore danno origine [...] chiuso). Il c. C̅ gode della notevole proprietà che un qualunque ampliamento algebrico di C è contenuto, a meno di isomorfismi, in C̅. Per quanto riguarda i secondi si dimostra che un ampliamento trascendente qualunque di C è un ampliamento algebrico ...
Leggi Tutto
corpo
Luca Tomassini
Consideriamo in un anello con unità A l’equazione ax=b, dove a,b sono elementi fissati e x un elemento ‘incognito’ di A. Un primo semplice caso è quello in cui a=0; poiché 0x=0 [...] una potenza di un numero primo e che per ogni numero primo p e ogni intero n esiste essenzialmente (a meno di isomorfismi) un solo corpo con pν elementi. In altre parole, è noto come costruire esplicitamente tutti i corpi finiti; il loro studio fu ...
Leggi Tutto
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] '.
Un piano proiettivo di ordine n contiene n²1n11 punti, e, per dualità, n²1n11 rette.Il più piccolo piano proiettivo (a meno di isomorfismi) è il piano di Fano, di ordine 2, e dunque con 7 punti e 7 rette, e nel quale ogni retta contiene 3 punti e ...
Leggi Tutto
isomorfico
iṡomòrfico agg. [der. di isomorfo] (pl. m. -ci). – 1. In botanica, nell’alternanza di generazione, detto delle due generazioni quando hanno aspetto e sviluppo eguale. 2. In matematica, relativo all’isomorfismo o a fenomeni di isomorfismo;...
isomorfismo
iṡomorfismo s. m. [comp. di iso- e -morfismo]. – 1. In cristallochimica, il fenomeno per cui due o più sostanze che hanno analoga formula chimica (e simili dimensioni relative di anioni e cationi) si presentano in cristalli aventi...