Definition:Co-Isometry (*-Algebras)

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $a \in A$.

Let ${\mathbf 1}_A$ be the identity element of $A$.


We say that $a$ is a co-isometry if and only if $a a^\ast = {\mathbf 1}_A$.


Sources