All public logs
Jump to navigation
Jump to search
Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 08:13, 30 May 2023 Erikvoogd talk contribs created page Talk:Orthogonal Projection is Projection (Created page with "The title of this page is confusing. Of course projection is projection. The title should be: Orthogonal Projection is Idempotence.")
- 16:14, 29 May 2023 Erikvoogd talk contribs created page Double Orthocomplement of Closed Linear Subspace (Created page with "== Theorem == Let $H$ be a Hilbert space. Let $A \subseteq H$ be a closed linear subspace of $H$. Then: :$\paren {A^\perp}^\perp = A$ ==Proof== Let $I : H \to H$ be the identity operator (viz., $Ih=h$). Let $P : H \to A$ be the orthogonal projection (see Definition:Orthogonal Projection). Then $I-P : H \to A^\perp$ is the Orthogonal_Projection_onto_Orthocomplement. By Kernel of Orthogona...")