Talk:Orthogonal Projection is Projection

The title of this page is confusing. Of course projection is projection. The title should be: Idempotence of Orthogonal Projection. --Erikvoogd at some unspecified time recently

Yes, the statement also should include a link to Definition:Idempotent Operator.

An even better title could be Orthogonal Projection is Idempotent? --Usagiop (talk) 20:07, 30 May 2023 (UTC)

Otherwise, one needs to prove Definition:Projection (Hilbert Spaces). --Usagiop (talk) 20:08, 30 May 2023 (UTC)

I think the plan was to prove that while it's called an "orthogonal projection", it still needs to be demonstrated that it is a projection as defined in the page defining projection.

Admittedly this page does not actually appear to do that, because it fails to demonstrate the actual link between the result actually proven and the statement that is the title.

Whatever. I don't have a dog in this particular race. --prime mover (talk) 20:17, 30 May 2023 (UTC)