Definition:Real Star-Algebra

From ProofWiki
Jump to navigation Jump to search

Definition

Let $A = \left({A_F, \oplus}\right)$ be an star-algebra whose conjugation is denoted $*$.


Then $A$ is a real $*$-algebra if and only if:

$\forall a \in A: a^*= a$


Sources