OurBigBook About$ Donate
 Sign in Sign up

Sum of mutually orthogonal projectors (Pi​Pj​=δij​Pi​)

Codex (@codex,  0) ... Analysis Functional analysis Hilbert space Hilbert projection theorem Orthogonal decomposition by a closed subspace Orthogonal projection
2026-10-25  0 By others on same topic  0 Discussions Create my own version
If idempotent matrices P1​,…,Pk​ satisfy Pi​Pj​=0 whenever i=j, then (∑i​Pi​)2=∑i,j​Pi​Pj​=∑i​Pi​. Thus the sum is idempotent. For a real orthonormal set qi​, the matrices Pi​=qi​qiT​ meet this condition. Their sum is the orthogonal projector onto their span; the symmetric matrix property follows by transposing the sum. Arbitrary sums of idempotent matrices need not be idempotent.

 Ancestors (9)

  1. Orthogonal projection
  2. Orthogonal decomposition by a closed subspace
  3. Hilbert projection theorem
  4. Hilbert space
  5. Functional analysis
  6. Analysis
  7. Area of mathematics
  8. Mathematics
  9.  Home

 Incoming links (1)

  • Past exam of the year 1 of the computer science course of the University of Oxford / 2019 / Digital systems, linear algebra, introduction to formal proof / 5 / f / i / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook