Fermat, ultimo teorema di
Massimo Bertolin
"Cubum autem in duos cubos, aut quadrato quadratum in duos quadrato quadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos ejusdem [...] S2(2) è uguale al genere della curva modulare X0(2). Analogamente al caso di X0(1), l'insieme dei punti complessi di X0(2) è isomorfo a P1(ℂ); in altre parole, la curva X0(2) ha genere zero. Segue che S2(2) è lo spazio nullo e quindi la forma g non ...
Leggi Tutto
Categoricità
Silvio Bozzi
Concetto introdotto nel 1905 dal matematico Oscar Veblen e oggi al centro di gran parte dell’attuale teoria dei modelli. In termini generali, una teoria T formulata in un qualsiasi [...] nel 1954 – e definire k-categorica, dove k è un cardinale, ogni teoria i cui modelli di cardinalità k sono isomorfi. Un teorema fondamentale al riguardo, dimostrato nel 1965 da Michael Morley, stabilisce che ogni teoria elementare numerabile, se è ...
Leggi Tutto
omomorfismo
omomorfismo [Der. di omomorfo] [ALG] Corrispondenza tra due insiemi provvisti di struttura algebrica dello stesso tipo (due anelli, due gruppi, ecc.) che rispetti le operazioni definite nei [...] il nucleo Ker f (che è sempre un sottogruppo invariante di G), il gruppo quoziente G/Ker f risulta isomorfo all'immagine Imf e l'isomorfismo è realizzato dall'applicazione che associa a ogni classe di G/Ker f l'elemento che corrisponde, mediante f ...
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
classificazione
classificazióne [Atto ed effetto del classificare "ordinare in classi"] [ALG] C. di fibrati: v. fibrato: II 571 c. ◆ [ALG] [ANM] [FAF] Problema della c.: consiste nella scelta di un criterio [...] enti tra loro equivalenti rispetto a un certo gruppo di trasformazioni, mentre, in ambito algebrico, prevale il criterio dell'isomorfismo, le classi essendo costituite da enti tra loro isomorfi. ◆ [ALG] Spazio di c.: v. topologia algebrica: VI 261 b. ...
Leggi Tutto
morfismi
Luca Tomassini
Elementi appartenenti a un’arbitraria categoria che hanno il ruolo di mappe da un oggetto all’altro. Spesso, è utilizzata la definizione alternativa di freccia. Esempi di morfismi [...] ′ con β,β′∈HomC(C,A) implica β=β′, epimorfismo se βα=β′α con β,β′∈HomC(B,C) implica β=β′, bimorfismo se è contemporanemente un epimorfismo e un monomorfismo. Un isomorfismo α:A→B è un morfismo dotato di inverso α−1:B→A, ovvero αα−1=idΒ e α−1α=idΑ. Un ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] ≤G per dire che H è un minore di G, e si vede così subito che ≤ è un ordine parziale nella classe dei tipi di isomorfismo dei grafi finiti. È chiaro che non vi sono catene discendenti infinite.
In un certo senso, la lunga serie di lavori (Robertson e ...
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
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
Equazioni funzionali
JJacques Louis Lions
di Jacques Louis Lions
Equazioni funzionali
sommario: 1. Motivazione ed esempi. 2. Definizione delle soluzioni. 3. Il metodo della trasformazione di Fourier; [...] e completo) per la famiglia di seminorme
pαβ(v) = ∥ xαDβv ∥L2(Rn).
Si dimostra allora facilmente che v→ö è un isomorfismo
S(Rnx) → S(Rnξ).
Introduciamo allora lo spazio S′ duale di S, che è lo spazio delle distribuzioni a crescenza lenta. Definiamo ...
Leggi Tutto
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...
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;...