Conucleo: differenze tra le versioni

Versione delle 14:17, 30 set 2013

Versione delle 00:03, 7 feb 2015

Riga 4:

Nella [[teoria delle categorie]], il conucleo è [[duale (teoria delle categorie)|duale]] del [[nucleo (teoria delle categorie)|nucleo]]. Mentre il [[Nucleo (matematica)|nucleo]] è un sotto-oggetto del dominio (mappa nel dominio), il conucleo è un oggetto quoziente del codominio (mappa dal codominio). Intuitivamente, data un'equazione <math>f(x)=y</math>, il conucleo misura i "vincoli" che <math>y</math> deve rispettare affinché l'equazione abbia una soluzione.

Più in generale, il conucleo di un [[morfismo]] <math>f: X \to Y</math> in qualche categoria è il dato di un oggetto <math>Q</math> e di un morfismo <math>q : Y \to Q</math> tali per cuiche la composizione <math>q \ f</math> è il [[morfismo zero]] della categoria, e inoltre <math>q</math> è universale rispetto a tale proprietà.

In [[analisi funzionale]], un [[operatore lineare continuo|operatore lineare]] [[operatore limitato|limitato]] tra [[spazio di Banach|spazi di Banach]] di cui nucleo e conucleo hanno dimensione finita è detto [[operatore di Fredholm]].