Toegevoegde operator

Uit Wikipedia, de vrije encyclopedie

Ga naar: navigatie, zoeken

De operatorentheorie, een tak van het wiskundige studiegebied der functionaalanalyse, associeert met iedere continue lineaire operator tussen twee topologische vectorruimten een toegevoegde operator, ook wel geadjungeerde operator genoemd.

Inhoud

[bewerken] Definitie

Zijn X en Y topologische vectorruimten, en

T:X\to Y

een continue lineaire afbeelding.

Noteer X* voor de duale topologische vectorruimte van X met de zwak-*-topologie. De elementen van X* zijn de continue lineaire afbeeldingen van X naar zijn scalairenlichaam \mathbb{K} (de reële of de complexe getallen). Zij Y* de duale van Y.

De toegevoegde operator T* wordt gedefinieerd via de rechtse samenstelling met de transformatie T:

T^*:Y^*\to X^*:y^*\mapsto y^*\circ T

Met andere woorden, voor een gegeven continue lineaire afbeelding

y^*:Y\to\mathbb{K}

is de afbeelding T*y* gedefinieerd door het functievoorschrift

T^*y^*:X\to\mathbb{K}:x\mapsto y^*(T(x)).

Uit dit voorschrift volgen onmiddellijk de continuïteit en de lineariteit van T*y*. Men kan ook aantonen dat de aldus gedefinieerde toegevoegde operator T* een continue lineaire afbeelding is.

[bewerken] Genormeerde vectorruimte

Als X en Y genormeerde vectorruimten zijn, dan kunnen de duale vectorruimten X* en Y* ook worden opgevat als genormeerde vectorruimten. De hierboven gedefinieerde toegevoegde operator T* is eveneens continu ten opzichte van deze normen, en

\|T^*\|_{Y^*,X^*}\leq\|T\|_{X,Y}

[bewerken] Getransponeerde matrix

Als X en Y eindigdimensionaal zijn, en voor beiden wordt een vaste basis gekozen, dan zijn alle lineaire transformaties continu, en worden ze uniek bepaald door een m\times n-matrix (m en n zijn de dimensies van X resp. Y).

De duale ruimten beschikken dan elk over een canonieke duale basis. Ten opzichte van deze duale basissen heeft T* als matrix, de getransponeerde van de matrix van T.

[bewerken] Hilbertruimten

Als X en Y (pre-)Hilbertruimten zijn, dan zijn ze beiden uitgerust met een inwendig product. Het inwendig product zorgt voor een natuurlijke identificatie van de ruimte met haar duale:

x^*(w)\equiv\langle x,w\rangle

In complexe Hilbertruimten (\mathbb{K}=\mathbb{C}) geldt de bijkomende complicatie dat het inproduct niet symmetrisch, maar Hermitisch is. In de matrixnotatie heeft dit als gevolg dat de toegevoegde operator niet de getransponeerde matrix heeft, maar de complex geconjugeerde van de getransponeerde matrix.

Men spreekt in dit verband van de toegevoegde matrix. Opgelet: in Nederlandstalige Wikipedia betekent de term geadjugeerde matrix iets anders.

[bewerken] Zelftoegevoegde continue operator

Als T een continue lineaire transformatie is van een Hilbertruimte (X=Y), dan kunnen T en T* met elkaar vergeleken worden. In het eindigdimensionale geval komt dit overeen met vierkante matrices.

Men noemt T zelftoegevoegd als T*=T.

[bewerken] Onbegrensde operatoren in een Hilbertruimte

De kwantummechanica maakt vaak gebruik van lineaire transformaties van een deelverzameling van de Hilbertruimte die niet kunnen worden uitgebreid tot continue lineaire transformaties van de gehele Hilbertruimte. Bekende voorbeelden zijn de Laplace-operator Δ in L^2(\mathbb{R}^n) en algemener de meeste Schrödinger-operatoren.

Als T:D\subset H\to H een (niet noodzakelijk continue) lineaire afbeelding is van een deelvectorruimte D van de Hilbertruimte naar diezelfde Hilbertruimte, en het domein D van T is topologisch dicht in H, dan kan men nog steeds de toegevoegde operator T* definiëren met het voorschrift

\langle Tx,y\rangle=\langle x,T^*y\rangle

Het domein van T* bestaat uit de vectoren y waarvoor het linkerlid een continue lineaire functionaal in x oplevert.

Men kan aantonen dat T* een gesloten operator is, d.w.z. dat zijn grafiek

\mathcal{G}(T^*)=\{(x,T^*x)|x\in\hbox{dom }(T^*)\}

een gesloten deelverzameling is van X\times X.

Als T zelf een gesloten, dicht gedefinieerde operator is, dan is T* eveneens dicht gedefinieerd:

\overline{\hbox{dom }(T^*)}=X,

en in dat geval is de toegevoegde van T* opnieuw T zelf:

T * * = T.

[bewerken] Symmetrische onbegrensde operator

T heet symmetrisch als \hbox{dom}(T)\subset\hbox{dom}(T^*) en \forall x\in\hbox{dom}(T):T^*x=Tx.

[bewerken] Zelftoegevoegde onbegrensde operator

T heet zelftoegevoegd als dom(T) = dom(T * ) en \forall x\in\hbox{dom}(T):T^*x=Tx.nl:Toegevoegde operator

Ontvangen van "http://nl.wikipedia.org/wiki/Toegevoegde_operator"
Persoonlijke instellingen