Operatore (matematica)

mappa o funzione da uno spazio vettoriale a un altro
Per altri significati della parola si veda Operatore (disambigua)

In matematica il termine operatore viene usato in vari contesti con significati che presentano alcune diversità, ma che in ogni caso si collegano alla nozione di funzione.

In algebra operatore viene usato come sinonimo di operazione, ovvero di legge di composizione interna. Più esplicitamente si dice operatore sull'insieme A di arietà n, con n intero naturale una funzione della forma

Se n=1 si parla di operatore unario, se n=2 di operatore binario e così via. Può essere utile anche considerare il caso n=0 e chiamare operatore nullario un elemento specifico dell'insieme A.

In algebra lineare il termine operatore viene usato spesso con il significato particolare di operatore unario agente su uno spazio vettoriale che rispetta la combinazione lineare dei vettori, ovvero come endomorfismo di spazio vettoriale. In tale contesto si può considerare abbreviazione di operatore lineare. Il termine però viene usato anche per denotare una trasformazione lineare tra due spazi vettoriali diversi, cioè come omomorfismo tra spazi vettoriali.

Il termine inoltre viene ampiamente usato con significati che si collegano al precedente nell'analisi funzionale e in vari campi dell'area dell'analisi matematica, ovvero dello studio delle funzioni e in particolare delle funzioni olomorfe e delle funzioni speciali. Operatore e parole derivate quindi compaiono

Si ritiene opportuno usare il termine operatore anche in capitoli della combinatorica, come negli studi sulle serie formali di potenze e delle sequenze polinomiali, e della geometria, come negli studi sulle trasformazioni geometriche (ad esempio si dice che l'operatore traslazione manda la fuzione sen(x) in sen(x+a)).

Il termine operatore con significati strettamente collegati ad alcuni della matematica viene ampiamente utilizzato nella meccanica quantistica (si veda in particolare Postulati della meccanica quantistica) e della programmazione.

Operatori negli spazi di Hilbert

Gli endomorfismi sono applicazioni lineari (omomorfismo) di uno spazio V in se stesso. Di particolare interesse sono gli endomorfismi continui detti anche operatori lineari. Lo spazio vettoriale degli endomorfismi è anche un'algebra associativa con unità con le operazioni di:

prodotto di operatori: 
operatore identità: Errore del parser (SVG (MathML può essere abilitato tramite plug-in del browser): risposta non valida ("Math extension cannot connect to Restbase.") dal server "http://localhost:6011/it.wikipedia.org/v1/":): {\displaystyle I \left | v \right \rangle = \left | v \right \rangle }

e in generale non vale la proprietà commutativa:

 .

Un automorfismo è un endomorfismo biiettivo cioè:   se:

 

e formano un gruppo lineare di V chiamato: GL(V), infatti:

  1.   ed anche Errore del parser (SVG (MathML può essere abilitato tramite plug-in del browser): risposta non valida ("Math extension cannot connect to Restbase.") dal server "http://localhost:6011/it.wikipedia.org/v1/":): {\displaystyle (AB)^{-1}= B^{-1}A^{-1}}
  2. il prodotto è associativo
  3. Errore del parser (SVG (MathML può essere abilitato tramite plug-in del browser): risposta non valida ("Math extension cannot connect to Restbase.") dal server "http://localhost:6011/it.wikipedia.org/v1/":): {\displaystyle I \in Aut(V)}
  4.  

Operatori lineari

Un operatore è lineare se gode delle seguenti proprietà:

  1. Errore del parser (SVG (MathML può essere abilitato tramite plug-in del browser): risposta non valida ("Math extension cannot connect to Restbase.") dal server "http://localhost:6011/it.wikipedia.org/v1/":): {\displaystyle A [f+g] = Af + Ag}
  2. Errore del parser (SVG (MathML può essere abilitato tramite plug-in del browser): risposta non valida ("Math extension cannot connect to Restbase.") dal server "http://localhost:6011/it.wikipedia.org/v1/":): {\displaystyle A [c f] = c [Af]}

Operatori lineari in infinite dimensioni

l'operatore lineare in infinite dimensioni ha bisogno invece dell'analisi matematica.

Operatori lineari continui

L'operatore lineare si dice continuo se ogni successione \{x_n\} è convergente ad un limite x e valgono:

 
 .

Ovviamente negli spazi infinito dimensionale gli operatori lineari sono continui.

Voci correlate