Definition:Projection (*-Algebras)

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {A, \ast}$ be a $\ast$-algebra.

Let $p \in A$ be Hermitian.


We say that $p$ is a projection if and only if

$p^2 = p$


Sources