User contributions for Erikvoogd
Jump to navigation
Jump to search
30 May 2023
- 08:1408:14, 30 May 2023 diff hist 0 Talk:Orthogonal Projection is Projection No edit summary
- 08:1308:13, 30 May 2023 diff hist +131 N 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."
- 08:1108:11, 30 May 2023 diff hist +118 Double Orthocomplement of Closed Linear Subspace No edit summary
- 07:0207:02, 30 May 2023 diff hist +8 Double Orthocomplement of Closed Linear Subspace No edit summary
- 07:0207:02, 30 May 2023 diff hist 0 Double Orthocomplement of Closed Linear Subspace No edit summary
- 07:0107:01, 30 May 2023 diff hist +50 Double Orthocomplement of Closed Linear Subspace No edit summary
- 06:5406:54, 30 May 2023 diff hist −139 Double Orthocomplement is Closed Linear Span The Corollary Double Orthocomplement of Closed Linear Subspace is actually something that is needed in this proof. This is also the order in which the results are presented in the referenced work. It does not make sense to use a theorem and then have it as a corollary. Tag: Reverted
29 May 2023
- 16:1716:17, 29 May 2023 diff hist −139 Double Orthocomplement is Closed Linear Span No edit summary Tag: Reverted
- 16:1716:17, 29 May 2023 diff hist +44 Double Orthocomplement of Closed Linear Subspace No edit summary
- 16:1516:15, 29 May 2023 diff hist −10 Double Orthocomplement of Closed Linear Subspace No edit summary
- 16:1416:14, 29 May 2023 diff hist +1,076 N 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..."
- 16:0516:05, 29 May 2023 diff hist −104 Properties of Orthogonal Projection No edit summary Tags: Manual revert Reverted
- 16:0316:03, 29 May 2023 diff hist +104 Properties of Orthogonal Projection No edit summary
- 15:5215:52, 29 May 2023 diff hist +475 Double Orthocomplement is Closed Linear Span No edit summary