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 determinati di D; b) se g, h, ... sono ‘morfismi’ di C, ϕ (g), ϕ (h), ... sono ‘morfismi’ di D; c) se g: A→B è un morfismo di C avente come oggetti originale e terminale rispettivamente A e B, deve ...
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, [...] (S(B), S(A), con S(iA) = 1S(A), ed S(gf) = S(f)S(g).
Se S: C → D e T: D → ℰ sono funtori, si può costruire un funtore T•S: C → ℰ, detto "funtore composto" di S e T, mediante la funzione che manda ogni oggetto A di C nell'oggetto T(S(A)) di ℰ, e ogni ...
Leggi Tutto
argomento
argomento termine usato in matematica con significati diversi, che comunque alludono a uno o più oggetti, logici o numerici, cui si applica un operatore funzionale, un funtore, una procedura [...] o un costrutto meno elementare (→ funzione; → logaritmo; → numero complesso; → predicato; → proposizione; → relazione). In senso lato, viene detta argomento la variabile indipendente di una funzione y ...
Leggi Tutto
Sheffer Henry Maurice
Sheffer (talora Sheller) 〈šèfër〉 Henry Maurice [STF] (n. in Russia 1883 - Cambridge, Massachusetts, 1964) Prof. di matematica nell'univ. Harvard di Cambridge, Massachusetts. ◆ [ALG] [...] [FAF] Funtore di S.: nella logica matematica, detto anche operatore di S., e anche negazione alternativa o non congiunzione o incompatibilità, introdotto da S. nel 1913 e denotato con il simb. |; se p e q sono due enunciati, p|q è sempre vero, salvo ...
Leggi Tutto
(v. topologia, App:. III, 11, p. 960; algebra omologica, App. IV, I, p. 87)
Introduzione. - L'a.o. ha le sue origini nella teoria d'omologia di gruppi astratti che fu coinvolta nello studio di certi spazi [...] ,βr,γr}, e il differenziale dr=βr·γr:Er→Er, è indotto da β·α−r·γ. La procedura descritta definisce inoltre un funtore sequenza spettrale {D,E;α,β,γ}→ {(Er,dr)}r=1,2,... Si usa inserire nella sequenza spettrale della coppia esatta un termine iniziale ...
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 [...] cioè se f:E→F è un morfismo iniettivo di fasci, l’applicazione indotta H0(X,F)→H0(X,F) è anch’essa iniettiva. Tale funtore non è però esatto a destra, ovvero se f è un morfismo suriettivo l’applicazione indotta H0(X,F)→H0(X,F) non è in generale ...
Leggi Tutto
funtore
funtóre s. m. [der. di funto, part. pass. di fungere]. – 1. non com. Chi esercita un ufficio o adempie una funzione, spesso a carattere provvisorio o temporaneo. 2. In matematica, funzione che interviene in una particolare trasformazione...