# Thread:

1. ## Eigenspace of \lambda = 1 for a bounded linear operator and its adjoint

$H$ is a Hilbert space and $T \in B(H)$ is such that $||T||_{H} \leq 1$. Show that $Tx = x \iff T^{*}x = x$.

I have tried looking at this problem in several ways and I just cannot seem to see the significance of $||A|| \leq 1$ nor how to go about proving it. I understand how the adjoint is defined for a Hilbert space as a consequence of Reisz representation. I have tried to attack it using fixed point theorems. Any nudge in the right direction would be appreciated.

2. If $\Vert T \Vert <1$ then $I-T$ is invertible and so the only possible eigenvector of $T$ would be $0$. For the case $\Vert T\Vert =1$ I don't know how to prove this yet.

3. Originally Posted by jprobst
$H$ is a Hilbert space and $T \in B(H)$ is such that $||T||_{H} \leq 1$. Show that $Tx = x \iff T^{*}x = x$.
The important thing to know is that $\|T^*\|=\|T\|$. Therefore $\|T^*x\|\leqslant\|x\|$.

If $Tx=x$ then $\|T^*x-x\|^2 = \langle T^*x-x,T^*x-x\rangle = ...$ (multiply out the inner product and use the fact that $\langle T^*x,x\rangle = \langle x,Tx\rangle$) $... = \|T^*x\|^2 - \|x\|^2\leqslant0$. Hence $T^*x-x=0$.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 21, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9587564468383789, "perplexity_flag": "head"}