Orthogonal projection

1. Mar 18, 2006

Let T in L(V) be an idempotent linear operator on a finite dimensional inner product space. What does it mean for T to be "the orthogonal projection onto its image"?

2. Mar 18, 2006

matt grime

Every element in v is a combination e+f where e is in the image of T and f in the kernel and T(e+f)=e

3. Mar 18, 2006

So T(e)=e?

What does it mean in terms of projections?

Last edited: Mar 18, 2006
4. Mar 19, 2006

matt grime

Eh? What do you think a projection onto a subspace is? To me it *is* an idempotent linear map. Then nice thing about having an inner product (non-degenerat) around is that there is an obvious choice of complementary subspace

5. Mar 19, 2006

What about the identity transformation? It's not an orthogonal projection of anything.

6. Mar 20, 2006

matt grime

Yes it is, onto the subspace itself.

7. Mar 20, 2006

Just to be certain, is it equivalent to saying

$$T(v)=Proj_{im(T)}(v)$$ for all v? And not knowing what the image of T is a priori does not matter? And how does it follow that each vector in V is a combination of some vector in its image and its nullspace?

Last edited: Mar 20, 2006
8. Mar 20, 2006

mathwonk

a projection is amap onto a subspace, that sends every vector to a vector in the subspace, and leaves vectorsd that are already in the subspace where they are.

so if V is a vector space and X is a subspace we want to project on, and if

Y is any complementary subspace, i.e. X and Y together generate V, and X and Y have only the zewro vector in common, then every vector in V can be written uniquely in the form x+y where x is in X and y is in Y.

Then the map f sending x+y to x, is a projection onto X, "along" Y.

Notice that f(f(v)) = v for all v, since once v gets into X it stays put. And also Y = ker(f), since vectors in Y go to zero.

Indeed any linear map f such that f^2 = f is asuch a projection.

f is called an "orthogonal" projection if Y = ker(f) is orthogonal to X = im(f).\

at least i think so, you should of course verify everything by proving all these either trivial or false statements.

9. Mar 20, 2006

I figured it out. Of course I assumed that what is meant by "orthogonal projection onto its image" is that $$T(v)=Proj_{im(T)}(v)$$. Thanks for the help.

Similar Discussions: Orthogonal projection
{"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": 1, "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.9336487650871277, "perplexity": 837.657886114072}, "config": {"markdown_headings": false, "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-2017-17/segments/1492917122996.52/warc/CC-MAIN-20170423031202-00624-ip-10-145-167-34.ec2.internal.warc.gz"}