Endomorfismo
In matematica, un endomorfismo di una struttura algebrica è una funzione dall'insieme sostegno della struttura in sé, che preservi le operazioni. In altre parole, è un morfismo della struttura algebrica in sé stessa.
Definizione
[modifica | modifica wikitesto]Sia un insieme o una struttura. Si definisce endomorfismo una funzione tale che:
L'endomorfismo si può quindi attuare su un insieme generico; in varie applicazioni risulta importante considerare gli endomorfismi basati su spazi vettoriali.
Si indica invece con l'insieme degli endomorfismi di
Operazioni binarie
[modifica | modifica wikitesto]Se un insieme è dotato di un'operazione binaria , che associa a due elementi e un altro elemento di un endomorfismo di è una funzione tale che
per ogni e in L'esempio più importante di insieme dotato di operazione binaria è il gruppo.
Ad esempio, la funzione dal gruppo dei numeri interi in sé è un endomorfismo rispetto all'operazione di somma. La funzione invece no.
Spazi vettoriali
[modifica | modifica wikitesto]Se è uno spazio vettoriale, un endomorfismo di è un'applicazione lineare da in sé stesso
Data la precedente definizione relativa agli spazi vettoriali, è interessante chiedersi, essendo l'immagine dell'endomorfismo un sottoinsieme di se esistono in dei sottospazi di dimensione 1 che sono lasciati invariati per l'azione dell'endomorfismo. Ci si chiede cioè se esistono degli insiemi tali che . La ricerca di questi sottospazi è riconducibile alla ricerca di particolari vettori, detti autovettori di [1].
Proprietà
[modifica | modifica wikitesto]- Un endomorfismo che è anche biiettivo è un automorfismo.
- La funzione identità normalmente è un endomorfismo.
- La composizione di due endomorfismi è un endomorfismo, e quindi la composizione definisce un'operazione binaria su
- Definiamo determinante di un endomorfismo su uno spazio vettoriale di dimensione finita: , ossia il determinante della matrice associata. Esso non dipende dalla base
- Definiamo traccia di un endomorfismo su uno spazio vettoriale di dimensione finita: , ossia la traccia della matrice associata. Essa non dipende dalla base
Note
[modifica | modifica wikitesto]- ^ M. Landucci, Argomenti di geometria, Firenze, 1996, p. 222.
Voci correlate
[modifica | modifica wikitesto]Altri progetti
[modifica | modifica wikitesto]- Wikizionario contiene il lemma di dizionario «endomorfismo»
Collegamenti esterni
[modifica | modifica wikitesto]- Endomorfismo, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
- Endomorfismo, in Dizionario delle scienze fisiche, Istituto dell'Enciclopedia Italiana, 1996.
- endomorfismo, su sapere.it, De Agostini.
- Endomorfismo, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) Eric W. Weisstein, Endomorphism, su MathWorld, Wolfram Research.
- (EN) Endomorphism, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
- Endomorfismo, in Grande Dizionario di Italiano, Garzanti Linguistica.