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)