Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
GEOMETRIA
per qualsiasi
e
. Si potrebbe anche avere che questa relazione non soddisfatta sempre ma solo
per un particolare sottoinsieme di K o di V. Per esempio la funzione coniugato definita nel campo dei complessi
non -lineare ma solamente -lineare.
Omomorfismi
Quando si ha unapplicazione che sia lineare tra e
omomorfismi sul corpo viene indicato come:
Dati ,
e linsieme degli
quindi ogni omomorfismo anche esprimibile come combinazione lineare di due funzioni, e cio nella forma di
Sotto queste regole dunque linsieme degli omomorfismi sul corpo assume la struttura di uno spazio vettoriale su
. Supponendo inoltre di avere anche un altro insieme che sia K-spazio vettoriale, e di avere due funzioni, una funzione
da a ed una funzione g da a , allora si che
una funzione lineare da a e se e sono -lineari
allora -lineare anche
. Si ha inoltre che loperazione di composizione di funzioni associativa, e cio si ha
sempre che:
Endomorfismi
I casi che risultano essere tuttavia pi interessanti matematicamente sono i casi in cui linsieme di arrivo uguale
allinsieme di partenza, cio in cui
. In questo caso si ha che lomomorfismo prende il nome di endomorfismo
sul campo K applicato sullinsieme V, e si ha che:
linsieme degli endomorfismi di V.
Gli endomorfismi sono particolarmente interessanti in quanto possiedono diverse propriet, come la somma, la
moltiplicazione per uno scalare e la composizione , arrivando ad ottenere una struttura algebrica del tipo
, la quale per comincia ad essere troppo complessa per essere studiata insieme. Si ha per per esempio
che togliendo loperazione di prodotto per uno scalare la struttura
assume le caratteristiche di un anello,
mentre la struttura definita con tutte le operazioni viene chiamata k algebra.
Lanello degli endomorfismi che abbiamo visto prima inoltre possiede alcune propriet interessanti, infatti nonostante
loperazione di composizione non sia commutativa, esiste sempre lelemento neutro e viene definito come:
Lanello degli endomorfismi inoltre possiede anche un gruppo moltiplicativo. In generale infatti si ha che dato un anello
viene definito come
quindi un gruppo moltiplicativo che possiede lelemento neutro
e si ha inoltre che dati
,
allora
Theodore94
Automorfismi
Definendo linsieme
degli elementi invertibili rispetto alloperazione
, viene automaticamente introdotto un altro
gruppo di applicazioni lineari con propriet particolarmente rilevanti, e cio il gruppo degli auto morfismi di , che viene
formalmente definito come:
in
Si ha dunque che linsieme degli endomorfismi possiede la stessa cardinalit dellinsieme su cui applicato, infatti si
ha sempre che
e che, similmente per gli automorfismi,
Esempio
Sia dato uno spazio vettoriale
, che per comodit pu essere pensato come il comune spazio euclideo . Quali
sono dunque gli endomorfismi in questo spazio vettoriale?
Innanzitutto bisogna ricordare che per sapere come funziona unapplicazione lineare basta sapere in che modo vengono
trasformate le basi. Infatti si ha che
e questo sufficiente per definire lapplicazione infatti si
ha che, essendo un endomorfismo:
e quindi si pu riscrivere lapplicazione lineare come
quindi si ha sempre che le funzioni che creano endomorfismi possono essere messere in corrispondenza diretta con le
matrici, cio definire la matrice A significa determinare lapplicazione lineare.
Si pu quindi dire che:
Theodore94
allora la somma
una somma diretta e
, e sia ha per esempio che
.
Grazie a queste definizioni si ha che due spazi vettoriali A e B si dicono isomorfi se esistono applicazioni lineari da A
a B e da B ad A che sono morfismi inversi luno dellaltro.
Il morfismo che si stabilisce tra due spazi vettoriali pu assumere diverse caratteristiche: pu essere iniettivo, suriettivo,
biettivo.
Si ha un morfismo iniettivo quando dati
, suriettivo quando per ogni
e biettivo quando esiste unapplicazione tra gli spazi e che sia un omomorfismo,
cio che
. Si ha inoltre che se una funzione k-lineare possiede una funzione inversa allora questa
funzione inversa sicuramente k-lineare.
Theodore94