Adjoint operator

A linear operator $A^* : 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 : 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{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.

References

[1]	K. Yosida, "Functional analysis" , Springer (1980)
[2]	F. Riesz, B. Szökefalvi-Nagy, "Functional analysis" , F. Ungar (1955) (Translated from French)

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

[a1]	A.E. Taylor, D.C. Lay, "Introduction to functional analysis" , Wiley (1980)