# A question about operator representation

Let $H$ be a separable Hilbert space and let $A$ be a compact operator acting on $H$. In general we may write $H = E_A\oplus E_A^\perp$. Let us consider the $2\times 2$ operator matrix of $A$ relative to the decomposition $H = E_A\oplus E_A^\perp$. Since $E_A$ is invariant under $A$, the element in the left lower corner is the zero operator. Thus \begin{eqnarray*} A= \begin{bmatrix}A_{11} & A_{12} \\ 0 & A_{22} \end{bmatrix}. \end{eqnarray*}

Here $E_A$ means the smallest closed linear manifold of $H$ containing all eigenvectors and generalized eigenvectors of $A$ corresponding to non-zero eigenvalues.

I don't understand why the element in the left lower corner is the zero operator?

-
The left lower corner is 0 iff $E_A$ is invariant under $A$. From your definition of $E_A$, can you see why it is invariant? –  1015 Jan 27 '13 at 15:04
Can you explain it in term of linear algebra? I am teaching myself functional analysis. –  Fischer Jan 27 '13 at 17:42

The lower left corner is the operator $(I-P)AP$, where $P$ is the orthogonal projection onto $E_A$. For any $x\in H$, $P(x)\in E_A$, thus $A(P(x))\in E_A$, therefore $P(A(P(x)))=A(P(x))$. Hence $A(P(x))-P(A(P(x)))=0$, thus $(I-P)AP(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": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9996321201324463, "perplexity": 103.23219813760299}, "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": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-35/segments/1440644065910.17/warc/CC-MAIN-20150827025425-00218-ip-10-171-96-226.ec2.internal.warc.gz"}