1. ## Operators over real vector spaces are self adjoint right?

From Linear Algebra Done Right:
"Positive Operators
An operator T ∈ L(V ) is called positive if T is self-adjoint and ⟨T v , v ⟩ ≥ 0
for all v ∈ V. Note that if V is a complex vector space, then the condition that T be self-adjoint can be dropped from this definition (by 7.3)."

If V is a real vector space then <Tv,v>=<v,Tv> so T is automatically self-adjoint. Doesn't this mean that the condition that T is self-adjoint can be dropped whatever the situation?

2. ## Re: Operators over real vector spaces are self adjoint right?

No responses? I thought this was a really simple question

3. ## Re: Operators over real vector spaces are self adjoint right?

Consider $\displaystyle T:\mathbb{R}^2 \rightarrow \mathbb{R}^2$ with the usual inner product with $\displaystyle T(x_1,x_2)=(x_2,-x_1)$ then $\displaystyle \langle x,Tx \rangle =0$ for all $\displaystyle x\in \mathbb{R} ^2$ but $\displaystyle T$ is not self-adjoint because $\displaystyle \langle y,Tx \rangle = y_1x_2-x_1y_2 \neq y_2x_1-y_1x_2 = \langle Ty,x \rangle$ (the equality holds only when $\displaystyle y=\lambda x$ for some $\displaystyle \lambda$)

4. ## Re: Operators over real vector spaces are self adjoint right?

In general, if $\displaystyle T\in\textrm{End}(E)$ with $\displaystyle (E,<,>)$ finite dimensional euclidean space, $\displaystyle B=\{u_1,\ldots,u_n\}$ is basis of $\displaystyle E$, $\displaystyle G$ is the Gram matrix with respect to $\displaystyle B$ and $\displaystyle A$ is the matrix of $\displaystyle T$ with respect to $\displaystyle B$, is easy to prove that $\displaystyle T$ is self adjoint iff $\displaystyle GA=A^tG$. Choosing for example $\displaystyle B$ orthonormal we have $\displaystyle G=I$ so, any non symmetric matrix represents a non self adjoint operator.

5. ## Re: Operators over real vector spaces are self adjoint right?

Ok I see my mistake:
<Tv,w>=<v,T*w> which doesn't necessarily equal <v,Tw>

Now I have a different question, how do I show TT* is self adjoint?

6. ## Re: Operators over real vector spaces are self adjoint right?

Originally Posted by durrrrrrrr
Now I have a different question, how do I show TT* is self adjoint?
One way: use $\displaystyle (T^{*})^*=T$ and $\displaystyle (R\circ S)^*=S^*\circ R^*$.