Existence of adjoint of an antilinear operaor, time reversal

[youngurlee]

The time reversal operator T is an antiunitary operator, and I saw T^\dagger in many places
(for example when some guy is doing a "time reversal" THT^\dagger),
but I wonder if there is a well-defined adjoint for an antilinear operator.

Suppose we have an antilinear operator A such that
$$
A(c_1|\psi_1\rangle+c_2|\psi_2\rangle)=c_1^*A|\psi_1\rangle+c_2^*A|\psi_2\rangle
$$
for any two kets |\psi_1\rangle,|\psi_2\rangle and any two complex numbers c_1^*, c_2^*.

And below is my reason for questioning the existence of A^\dagger:

Let's calculate \langle \phi|cA^\dagger|\psi\rangle.
On the one hand, obviously
$$
\langle \phi|cA^\dagger|\psi\rangle=c\langle \phi|A^\dagger|\psi\rangle
$$
But on the other hand,
$$
\langle \phi|cA^\dagger|\psi\rangle =\langle \psi|Ac^*|\phi\rangle^*=\langle \psi|cA|\phi\rangle^*=c^*\langle \psi|A|\phi\rangle^*=c^*\langle \phi|A^\dagger|\psi\rangle
$$,
from which we deduce that c\langle \phi|A^\dagger|\psi\rangle=c^*\langle \phi|A^\dagger|\psi\rangle, almost always false, and thus a contradiction!

So where did I go wrong if indeed A^\dagger exists?

 

[dextercioby]

It's not reccomandable to use bra-ket notation in the absence of self-adjoint linear operators.

It no more difficult to define the adjoint of an antilinear operator than it is to define it for a linear one. The scalar product involved in the definition is the same, there's no scalar in it which would make the difference between antilinear and linear fpr the operator involved.

Try to rewrite your chain of 5 equalities without bra's and ket's.

 

[DrDu]

Let's calculate \langle \phi|cA^\dagger|\psi\rangle.

I would be careful already here. You should make clear whether the operator acts on the bra or on the ket. It is not evident whether the two possibilities coincide.