Definition of adjoint operator (asking for intuition)

inner-productslinear algebra

Definition of the adjoint operator: A linear operator T on an inner product space V is said to have an adjoint operator $T^{*}$ on V if $\langle T(u),v \rangle= \langle u,T^{*}(v) \rangle$.

Question: Why people come up with that definition? It does not sound intuitive to me. $T^{*}$ is the transpose conjugate of T right, and does that definition follow from definition of inner product space?

Best Answer

The point of the definition is to extend the notion of the "conjugate transpose" so that it makes sense on an arbitrary inner product space. I'm not sure what you mean by "does that definition follow from definition of inner product space". However, I think it might be helpful to see why if $V = \Bbb C^n, W = \Bbb C^m$ with the usual inner product and $T:V \to W$ is the operator on $V$ defined by $T(x) = Ax$, then the adjoint operator $T^*: W \to V$ is $T^*(x) = A^*x$. In other words, taking the adjoint is "the same as" taking the conjugate transpose.

Let $A'$ denote the conjugate-transpose of $A$. Recall that the usual inner product on $\Bbb C^n$ is given by $$ \langle x,y\rangle = y'x = \sum_{k=1}^n x_k \bar y_k. $$ If we define $T(x) = Ax$ and $S(x) = A'x$, then we find that for $x \in V$ and $y \in W$, we have $$ \langle T(x),y \rangle = y'(Ax) = (y'A)x = (A'y)'x = \langle x,S(y) \rangle. $$ So, $S$ is indeed the adjoint operator to $T$.