Machine-translated by Google. Questions are authored in English.
Top

Discussion

Let \(H\) be a complex Hilbert space, \(T : H \to H\) be a bounded linear operator and let \(T^{*}\) denote the adjoint of \(T\). Which of the following statements are always TRUE?

P: \(\forall x, y \in H, \langle Tx, y \rangle = \langle x, T^{*}y \rangle\)
Q: \(\forall x, y \in H, \langle x, Ty \rangle = \langle T^{*}x, y \rangle\)
R: \(\forall x, y \in H, \langle x, Ty \rangle = \langle x, T^{*}y \rangle\)
S: \(\forall x, y \in H, \langle Tx, Ty \rangle = \langle T^{*}x, T^{*}y \rangle\)

  • A.P and Q
  • B.P and R
  • C.Q and S
  • D.P and S

Answer: A

The statements that always hold are P and Q.

P is the definition of the adjoint: \(\langle Tx, y \rangle = \langle x, T^{*}y \rangle\) for all \(x, y\). Q follows from it by conjugate symmetry:

\[ \begin{aligned} \langle x, Ty \rangle &= \overline{\langle Ty, x \rangle} \\ &= \overline{\langle y, T^{*}x \rangle} = \langle T^{*}x, y \rangle \end{aligned} \]

R would force \(\langle x, (T - T^{*})y \rangle = 0\) for all \(x\), that is \(T = T^{*}\), which holds only for self-adjoint operators. S says \(\|Tx\|\) and \(\|T^{*}x\|\) agree in the polarised sense, which is the condition \(T^{*}T = TT^{*}\) for normal operators, not a property of every bounded operator. So options with R or S are wrong.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.