Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] solo se, per ogni x, y e z in A,
Se xRy e yRz allora xRz,XRy o yRx
La definizione di isomorfismo tra strutture di relazione semplice dovrebbe essere evidente, ma viene fornita esplicitamente per maggior chiarezza, e va sottolineato il fatto che la ...
Leggi Tutto
Matematico tedesco (Stoccarda 1859 - Lipsia 1937), prof. alle univ. di Gottinga, Tubinga, Königsberg e Lipsia. Insigne cultore della teoria dei gruppi finiti, completò un teorema di C. Jordan, dimostrando [...] l'invarianza di fronte alla relazione di isomorfismo dei gruppi fattori di una serie di composizione (teorema di Jordan-H., 1889). Nella teoria delle funzioni dimostrò che la funzione Γ non soddisfa ad alcuna equazione differenziale algebrica. Sono ...
Leggi Tutto
Corrispondenza tra due insiemi dotati di struttura algebrica, che sia comparabile con le operazioni definite negli insiemi.
Dati due insiemi A e A′ provvisti di una struttura algebrica dello stesso tipo [...] A e sé stesso si chiama endomorfismo di A. Si chiama infine automorfismo di A un endomorfismo di A che sia al tempo stesso un isomorfismo. Teorema fondamentale sugli o. tra gruppi Se f: G → G′ è un o. tra i gruppi G e G′ e si considera il nucleo Kerf ...
Leggi Tutto
Fermat, ultimo teorema di
MMassimo Bertolini
di Massimo Bertolini
SOMMARIO: 1. Introduzione. ▭ 2. Storia: il lavoro di Kummer. ▭ 3. Estensioni abeliane di Q. ▭ 4. Estensioni esplicite di campi e funzioni [...] 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(C); in altre parole, la curva X0(2) ha genere zero. Segue che S2(2) è lo spazio nullo e quindi la forma g ...
Leggi Tutto
Segal Irving Ezra
Segal 〈sig✄ël〉 Irving Ezra [STF] (n. New York 1918) Prof. di matematica nell'univ. di Chicago (1954) e poi nel MIT (1960). ◆ [ANM] Costruzione di Gel'fand-Naimark-S.: v. algebre di [...] operatori: I 94 a. ◆ [ALG] Isomorfismo di Wiener-S.: v. funzionale, analisi: II 771 e. ...
Leggi Tutto
SIMBOLICO, CALCOLO
Fernando BERTOLINI
. 1. - Generalità. - A tutti è noto che, dovendo calcolare un'espressione come la seguente:
conviene calcolare invece la seguente:
la quale darà il logaritmo del [...] (prodotto di composizione, ingl. convolution, ted. Faltung, russo svërtka). Orbene, l'applicazione F → L(F)(F ε A) è un isomorfismo di A su B, tanto riguardo alla loro struttura di varietà lineare, quanto riguardo alla loro struttura di anello; ossia ...
Leggi Tutto
Introduzione. - La teoria delle c. è di recente costruzione, ma, per la sua stessa natura, è oggi già penetrata diffusamente nella matematica. Essa rappresenta, nel pensiero matematico, un momento di sintesi, [...] stessi, si possono costruire c. di c., i cui oggetti sono c., e i cui morfismi sono funtori. Infine, un funtore. T: C → D è detto un "isomorfismo di c." se esiste un funtore S: D → C tale che S•T = IdC e T•S = IdD; T è detto un' "immersione", se T(f1 ...
Leggi Tutto
GRUPPO
Guido ZAPPA
(XVII, p. 1012; App. II, 1, p. 1096) - Il concetto di gruppo di cui si tratta nell'articolo del vol. XVII, p. 1012, viene oggi comunemente introdotto seguendo una via un po' diversa [...] G entro G′ tale che, comunque si prenda un elemento x′ di G′, esiste al più un elemento x di G per cui ϕ(x) = x′ dicesi isomorfismo di G entro G′. Un omomorfismo ϕ di G entro G′ tale che, comunque si prenda un elemento x′ di G′, esista uno e un solo ...
Leggi Tutto
La grande scienza. Geometria numerativa e invarianti di Gromov-Witten
Enrico Arbarello
Geometria numerativa e invarianti di Gromov-Witten
Nel trattato Le coniche, Apollonio di Perge (262-180 a.C. circa) [...] curva C è l'immagine di una applicazione analitica
Siano
tali che f(pi)=xi, per i=1,…,n. Si ha una biezione di insiemi
dove un isomorfismo tra (f(p1,…,pn)) e (f(p′1,…,p′n)) è una applicazione bianalitica φ di
in sé stesso tale che f=f′o φ e ...
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
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;...