Namespaces
Variants
Actions

Difference between revisions of "Adjoint operator"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeX done)
(Minor corrections, more links, and merged references.)
 
Line 1: Line 1:
A linear operator $A^* : Y^* \rightarrow X^*$ (where $X^*$ and $Y^*$ are the strong duals of [[locally convex space]]s $X$ and $Y$, respectively), constructed from a linear operator $A : X \rightarrow Y$ in the following way. Let the domain of definition $D_A$ of $A$ be everywhere dense in $X$. If for all $x \in D_A$,
+
{{TEX|done}}
 +
 
 +
A [[linear operator]] $A^*\colon Y^* \rightarrow X^*$ (where $X^*$ and $Y^*$ are the strong duals of [[locally convex space]]s $X$ and $Y$, respectively), constructed from a linear operator $A\colon X \rightarrow Y$ in the following way. Let the domain of definition $D_A$ of $A$ be everywhere dense in $X$. If for all $x \in D_A$,
 
$$
 
$$
 
(Ax, g) = (x, g^*)
 
(Ax, g) = (x, g^*)
\label{1}
+
\label{eq:1}
 
$$
 
$$
where $Ax \in Y$, $g \in Y^*$ and $g^* \in X^*$, then $A*g = g^*$ is a uniquely defined operator from the set $D_{A^*}$ of elements $g$ satisfying (1) into $X^*$. If $D_A = X$ and $A$ is continuous, then $A^*$ is also continuous. If, in addition, $X$ and $Y$ are normed linear spaces, then $\Vert A \Vert = \Vert A^* \Vert$. If $A$ is completely continuous, then so is $A^*$. Adjoint operators are of particular interest in the case when $X$ and $Y$ are Hilbert spaces.
+
where $Ax \in Y$, $g \in Y^*$ and $g^* \in X^*$, then $A^*g = g^*$ is a uniquely defined operator from the set $D_{A^*}$ of elements $g$ satisfying \eqref{eq:1} into $X^*$. If $D_A = X$ and $A$ is [[Continuous operator|continuous]], then $A^*$ is also continuous. If, in addition, $X$ and $Y$ are normed [[linear space]]s, then $\Vert A^* \Vert = \Vert A \Vert$. If $A$ is completely continuous, then so is $A^*$. Adjoint operators are of particular interest in the case when $X$ and $Y$ are Hilbert spaces.
  
====References====
 
<table>
 
<TR><TD valign="top">[1]</TD> <TD valign="top">  K. Yosida,  "Functional analysis" , Springer  (1980)</TD></TR>
 
<TR><TD valign="top">[2]</TD> <TD valign="top">  F. Riesz,  B. Szökefalvi-Nagy,  "Functional analysis" , F. Ungar  (1955)  (Translated from French)</TD></TR>
 
</table>
 
  
  
 +
====Comments====
  
====Comments====
 
 
In Western literature the adjoint operator as defined above is usually called the dual or conjugate operator. The term adjoint operator is reserved for [[Hilbert space]]s, in which case it is defined by
 
In Western literature the adjoint operator as defined above is usually called the dual or conjugate operator. The term adjoint operator is reserved for [[Hilbert space]]s, in which case it is defined by
 
$$
 
$$
Line 20: Line 17:
 
$$
 
$$
 
where $({\cdot},{\cdot})$ denotes the Hilbert space inner product.
 
where $({\cdot},{\cdot})$ denotes the Hilbert space inner product.
 +
 +
  
 
====References====
 
====References====
 +
 
<table>
 
<table>
<TR><TD valign="top">[a1]</TD> <TD valign="top">  A.E. Taylor,  D.C. Lay,  "Introduction to functional analysis" , Wiley  (1980)</TD></TR>
+
<TR><TD valign="top">[1]</TD> <TD valign="top">  K. Yosida,  "Functional analysis" , Springer  (1980)</TD></TR>
 +
<TR><TD valign="top">[2]</TD> <TD valign="top">  F. Riesz,  B. Szökefalvi-Nagy,  "Functional analysis" , F. Ungar  (1955)  (Translated from French)</TD></TR>
 +
<TR><TD valign="top">[3]</TD> <TD valign="top">  A.E. Taylor,  D.C. Lay,  "Introduction to functional analysis" , Wiley  (1980)</TD></TR>
 
</table>
 
</table>
 
{{TEX|done}}
 

Latest revision as of 06:42, 21 June 2016


A linear operator $A^*\colon Y^* \rightarrow X^*$ (where $X^*$ and $Y^*$ are the strong duals of locally convex spaces $X$ and $Y$, respectively), constructed from a linear operator $A\colon X \rightarrow Y$ in the following way. Let the domain of definition $D_A$ of $A$ be everywhere dense in $X$. If for all $x \in D_A$, $$ (Ax, g) = (x, g^*) \label{eq:1} $$ where $Ax \in Y$, $g \in Y^*$ and $g^* \in X^*$, then $A^*g = g^*$ is a uniquely defined operator from the set $D_{A^*}$ of elements $g$ satisfying \eqref{eq:1} into $X^*$. If $D_A = X$ and $A$ is continuous, then $A^*$ is also continuous. If, in addition, $X$ and $Y$ are normed linear spaces, then $\Vert A^* \Vert = \Vert A \Vert$. If $A$ is completely continuous, then so is $A^*$. Adjoint operators are of particular interest in the case when $X$ and $Y$ are Hilbert spaces.


Comments

In Western literature the adjoint operator as defined above is usually called the dual or conjugate operator. The term adjoint operator is reserved for Hilbert spaces, in which case it is defined by $$ (Ax,g) = (x,A^*g) $$ where $({\cdot},{\cdot})$ denotes the Hilbert space inner product.


References

[1] K. Yosida, "Functional analysis" , Springer (1980)
[2] F. Riesz, B. Szökefalvi-Nagy, "Functional analysis" , F. Ungar (1955) (Translated from French)
[3] A.E. Taylor, D.C. Lay, "Introduction to functional analysis" , Wiley (1980)
How to Cite This Entry:
Adjoint operator. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Adjoint_operator&oldid=38989
This article was adapted from an original article by V.I. Sobolev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article