0
$\begingroup$

Let $V$ be a finite dimensional complex inner product space. Let $J$ be a conjugate linear map from $V$ to $V$ such that $J^2 =1$.

Can we say $\langle Ju, Jv \rangle = \langle v, u \rangle$ for all $u, v$ in $V$?

Conjugate linear means $J(u+v) = J(u) + J(v)$ and $J(a.v) = \overline{a}.J(v)$

$\endgroup$
9
  • $\begingroup$ What is conjugate linear ? $\endgroup$
    – HK Lee
    Mar 1, 2016 at 12:27
  • $\begingroup$ sorry J not linear operator may imply J(u+w)=J(u)+J(w) @user1952009. See your example itself there is no problem. $\endgroup$
    – Sushil
    Mar 1, 2016 at 12:56
  • $\begingroup$ No I mean same. V is COMPLEX IPS. J is antilinear map(if you familiar with this word). and $J^2=I$. Can we say $<Ju, Jv> = <v , u>$ $\endgroup$
    – Sushil
    Mar 1, 2016 at 13:04
  • $\begingroup$ en.wikipedia.org/wiki/Antilinear_map edit your question to include that and say that $J$ is NOT a linear operator $V \to V$ $\endgroup$
    – reuns
    Mar 1, 2016 at 13:07
  • 1
    $\begingroup$ you know that $\mathbb{C}^n$ is naturally isomorphic to $\mathbb{R}^{2n}$ ? $\endgroup$
    – reuns
    Mar 1, 2016 at 13:17

1 Answer 1

2
$\begingroup$

It is in general wrong. Consider on $V=\mathbb C^2$ the antilinear mapping $$ J(z) = \underbrace{\begin{bmatrix} 1 & i \\ 0 & 1 \end{bmatrix}}_{=:A} \bar z. $$ Then, we have $$ J^2(z) = A\overline{(A \bar z)} = A\bar A z = \begin{bmatrix} 1 & -i + i \\ 0 & 1\end{bmatrix} z = z$$ and $$ \langle J e_1, Je_2 \rangle = (A \bar e_1)^H (A \bar e_2) = (A e_1)^H (A e_2) = 1\cdot i + 0\cdot 1 = i \ne 0 = \langle e_2, e_1 \rangle. $$

As asides:

  1. Every antilinear mapping on $\mathbb C^n$ looks like $z\mapsto A\bar z$.
  2. $A$ is symmetric(!) if and only if $J$ has the mentioned property: $$ \langle J(u), J(v) \rangle = \langle A\bar u, A \bar v \rangle = \langle \bar u, A^H A \bar v \rangle = \langle \bar u, \bar v \rangle = \langle v, u \rangle $$ holds for every $u,v$ if and only if $A^H A = I$. That is $\bar A = A^{-1} = A^H = \bar A^T$. That is, $A$ is symmetric.
$\endgroup$
9
  • $\begingroup$ @Sushil: I expanded the answer for you $\endgroup$
    – user251257
    Mar 1, 2016 at 15:30
  • $\begingroup$ thanks. But can you explain your aside 2 mentioned $\endgroup$
    – Sushil
    Mar 1, 2016 at 15:35
  • $\begingroup$ @Sushil: There was a error in item 2. I corrected it. $\endgroup$
    – user251257
    Mar 1, 2016 at 18:21
  • $\begingroup$ sorry but what is this H notation. I mean $A^H$ $\endgroup$
    – Sushil
    Mar 1, 2016 at 19:30
  • $\begingroup$ @Sushil hermitian or complex conjugate transposed $\endgroup$
    – user251257
    Mar 1, 2016 at 19:31

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .