mappa
mappa [Lat. mappa, di origine punica] [LSF] Ogni rappresentazione grafica piana di una porzione della superficie terrestre (lo stesso che carta geografica o topografica) e, estensiv., della superficie [...] di un corpo in genere. ◆ [ALG] (a) Generic., sinon. di applicazione nella teoria degli insiemi e di morfismo nell'algebra astratta. (b) Con signif. specifico, data un'applicazione biunivoca e bicontinua tra due spazi topologici S e S' che applichi l' ...
Leggi Tutto
In matematica, trasformazione di una categoria C in un’altra categoria D, definita da una coppia di ‘funzioni’, ϕ e ψ, tali che: a) se A, B, ... indicano ‘oggetti’ di C, ϕ(A), ϕ(B) ... sono ‘oggetti’ ben [...] e terminale rispettivamente A e B, deve risultare ψ (g): ϕ(A)→ϕ(B), oppure ψ(g): ϕ(B)→ϕ(A). Cioè ψ(g) è un morfismo di D avente ϕ(A) e ϕ(B) come oggetti originale e terminale, oppure terminale e originale; d) ϕ conserva gli elementi neutri e la ...
Leggi Tutto
Algebra
Irving Kaplansky
sommario: 1. Introduzione. 2. Gruppi in generale. 3. Gruppi semplici finiti. 4. Gruppi infiniti. 5. Gruppi liberi. 6. Gruppi abeliani infiniti. 7. Anelli in generale. 8. Corpi. [...] ; un funtore F da C a D assegna ad ogni oggetto A in C un oggetto FA in D e ad ogni morfismo f:A→B un morfismo Ff:FA→FB. Si richiede inoltre che F conservi prodotti e identità. Più esattamente F è un funtore covariante. Un funtore controvariante ...
Leggi Tutto
modello minimo
Fabrizio Andreatta
In geometria algebrica un modello minimo di una varietà algebrica X (definita sul campo dei numeri complessi) è una varietà birazionalmente equivalente a quella data [...] l’esistenza di una varietà Y birazionalmente equivalente a X e di una fibrazione di Fano Y→Z (cioè di un morfismo la cui fibra generale sia di dimensione positiva) cosicché Z abbia dimensione inferiore a quella di Y e fascio anticanonico ampio ...
Leggi Tutto
nucleo
nùcleo [Der. del lat. nucleus "gheriglio della noce, nòcciolo di un frutto", da nux nucis "noce"] [LSF] La parte centrale di qualcosa, in quanto appaia più compatta del resto oppure venga considerata [...] . ◆ [ANM] N. di un'equazione integrale: v. equazioni integrali: II 475 e. ◆ [ALG] N. di un morfismo: nella teoria delle categorie, dato un morfismo α, è un morfismo μ che ha la proprietà μ✄α=0, dove il simbolo ✄ indica la composizione nella categoria ...
Leggi Tutto
modulo proiettivo
Luca Tomassini
Classe di tutti i moduli su un fissato anello A con omomorfismi di moduli come morfismi (frecce) forma una categoria abeliana, usualmente indicata con i simboli A-mod [...] esempio di moduli proiettivi è fornito dai cosiddetti moduli liberi. Ogni A-modulo è inoltre immagine per un morfismo suriettivo (epimorfismo) di un A-modulo proiettivo. I moduli proiettivi sono dunque in un senso specifico universali.
→ Geometria ...
Leggi Tutto
Nell’antichità classica, panno, generalmente di lino, usato sia come tovagliolo, sia come acconciatura femminile. Gli antichi agronomi chiamarono m. (perché spesso eseguite su tela) ogni rappresentazione [...]
Nella teoria degli insiemi, sinonimo di applicazione, con riferimento a insiemi dotati di strutture algebriche, sinonimo di morfismo (➔ categoria).
In topologia è usato a proposito di applicazioni biunivoche e bicontinue f tra due spazi topologici ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] . Si introduce lo spazio di Montel; segue lo studio del duale di uno spazio di Fréchet e anche quello di morfismi specifici di tali spazi. Diversi criteri di compattezza sono esplicitati.
Il quinto capitolo espone la teoria elementare degli spazi di ...
Leggi Tutto
-morfismo
[der. di -morfo]. – Secondo elemento di nomi composti che costituiscono solitamente l’astratto dei corrispondenti aggettivi in -morfo (per es., allomorfismo, isomorfismo, ecc.).
morfismo
s. m. [sostantivazione del suffissoide -morfismo, enucleato da composti come omomorfismo, omeomorfismo, ecc.]. – Ente matematico associato alle coppie di «oggetti» di una data categoria; più precisamente, nozione astratta e di grande...