# The Unapologetic Mathematician

## Invariant Subspaces of Self-Adjoint Transformations

Okay, today I want to nail down a lemma about the invariant subspaces (and, in particular, eigenspaces) of self-adjoint transformations. Specifically, the fact that the orthogonal complement of an invariant subspace is also invariant.

So let’s say we’ve got a subspace $W\subseteq V$ and its orthogonal complement $W^\perp$. We also have a self-adjoint transformation $S:V\rightarrow V$ so that $S(w)\in W$ for all $w\in W$. What we want to show is that for every $v\in W^\perp$, we also have $S(v)\in W^\perp$

Okay, so let’s try to calculate the inner product $\langle S(v),w\rangle$ for an arbitrary $w\in W$.

$\displaystyle\langle S(v),w\rangle=\langle v,S(w)\rangle=0$

since $S$ is self-adjoint, $S(w)$ is in $W$, and $v$ is in $W^\perp$. Then since this is zero no matter what $w\in W$ we pick, we see that $S(v)\in W^\perp$. Neat!

### Like this:

Posted by John Armstrong | Algebra, Linear Algebra

## 1 Comment	»

1. [...] (how?). The subspace is then invariant under the action of . But then the orthogonal complement is also invariant under . So we can restrict it to a transformation [...]

Pingback by | August 14, 2009 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"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": 0, "wp_latex": 17, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "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.8857465982437134, "perplexity_flag": "head"}