trasformazione birazionale
Gilberto Bini
Trasformazione razionale tra due varietà algebriche X e Y è una classe di equivalenza di coppie (fU,U), dove fU è un morfismo di varietà definito sull’aperto [...] U. Due coppie (fU,U) e (fV,V) si dicono equivalenti se fU ed fV coincidono sull’intersezione U∩V. Data una classe di equivalenza, f viene interpretata come una funzione ottenuta incollando le funzioni ...
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, [...] F e G sono funtori dalla categoria C alla categoria D, una trasformazione naturale η:F→G è un’applicazione che assegna a ogni oggetto A di C un morfismo ηΑ:F(A)→G(A) in D tale che per ogni α:A→B in C è verificata l’uguaglianza G(α)°ηΑ=ηΒ°F(α). Se ηΑ ...
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
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, [...] Osserviamo che, in questo esempio, la funzione j: X → U (V(X)) che manda x ∈ X in x ∈ V(X) (cioè riguardato come vettore) è un morfismo universale da X nel senso (noto) che per ogni W e g: X → U(W), risulta g = U(s)j:
La nozione di coppie di funtori ...
Leggi Tutto
categoria
categoria [Der. del lat. categoria, dal gr. kategoría "attributo"] [ALG] Nell'algebra astratta, struttura algebrica costruita nel modo seguente. Sia data una famiglia M di enti matematici (detta [...] composto g✄f; (b) dati f,g,h∈Hom(x,y) si ha (h°g)°f=h°(g°f); (c) per ogni oggetto x∈M esiste un morfismo 1x:x→x tale che per ogni morfismo f:x→y e per ogni morfismo g:z→x si ha f°1x=f, 1x°g=g; (d) Hom(x,y)⋂Hom(x',y')=0/ a meno che non sia x=x' e y ...
Leggi Tutto
gruppi di coomologia dei fasci
Fabrizio Andreatta
Sia X uno spazio topologico. Dato una fascio F di gruppi abeliani su X, sia H0(X,F) il gruppo abeliano delle sezioni globali di F su X. Il funtore che [...] +2 coincide con l’immagine di Ai→Ai+1. In secondo luogo si chiede che esista una classe C di fasci tali che ogni fascio F ammetta un morfismo iniettivo F→G per un qualche G in C e Hq(X,G) si annulli per q positivo e G in C. Esempi di tali classi sono ...
Leggi Tutto
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
omologia, gruppi di
omologia, gruppi di in topologia algebrica, sequenza di gruppi abeliani, solitamente denotati con Hn(C) (un gruppo per ogni numero intero n), che si associa a un qualsiasi complesso [...] solitamente denotati con Zn(C) e Bn(C). Entrambi sono sottogruppi di Cn e, dal momento che la composizione ∂n ○ ∂n+1 è il morfismo nullo, Bn(C) è un sottogruppo di Zn(C). L’ennesimo gruppo di omologia Hn(C) del complesso C è il gruppo quoziente Hn(C ...
Leggi Tutto
cocatene, complesso di
cocatene, complesso di concetto algebrico alla base della definizione dei gruppi di → coomologia. Un complesso di cocatene è espresso solitamente con la seguente notazione
cioè [...] …, ∂−2, ∂−1, ∂0, ∂1, ∂2, … tali che ∂n: Cn → Cn+1 ha Cn e Cn+1 rispettivamente come dominio e codominio e la composizione ∂n ∘ ∂n−1 è il morfismo nullo da C n−1 a C n+1. Gli elementi del gruppo Cn prendono il nome di cocatene di dimensione n. Ciascun ...
Leggi Tutto
TOPOLOGIA (v. analysis situs, I, p. 87; topologia astratta, App. II, 11, p. 1004; topologia, App. III, 11, p. 960)
Santuzza Baldassarri Ghezzo
La t. oggi è una delle discipline fondamentali della matematica; [...] sottofuntore (di Hy), si ha quindi i 0 ã = v 0 v-1(i) e per ogni h: F → Y e k: F → R con v 0 h = i 0 k, esiste un unico morfismo l: F → v-1(R) tale che h = v-1(i) 0 l e k = ã 0 l.
Una "t." T su C consiste di una classe J(X) di setacci per X ("setacci ...
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...