Commit 2025-07-13 04:28 0704f766

View on Github →

feat(Analysis/InnerProductSpace/Adjoint): idempotent operator T is self-adjoint iff (range T)ᗮ = ker T (#26855) This adds that an idempotent operator T is self-adjoint iff (range T)ᗮ = ker T.

  • depends on: #25958
  • depends on: #26792 Together with #26767 and #26631, we get that for an idempotent operator T, TFAE:
  • T is normal
  • T is self-adjoint
  • T is positive
  • (range T)ᗮ = ker T This means that there are several equivalences for star projection operators.

Estimated changes