In mathematics, an element of a *-algebra is called self-adjoint if it is the same as its adjoint (i.e. a = a ∗ {\displaystyle a=a^{*}} ).
Definition Let A {\displaystyle {\mathcal {A}}} be a *-algebra. An element a ∈ A {\displaystyle a\in {\mathcal {A}}} is called self-adjoint if a = a ∗ {\displaystyle a=a^{*}} . The set of self-adjoint elements is referred to as A s a {\displaystyle {\mathcal {A}}_{sa}} . A subset B ⊆ A {\displaystyle {\mathcal {B}}\subseteq {\mathcal {A}}} that is closed under the involution *, i.e. B = B ∗ {\displaystyle {\mathcal {B}}={\mathcal {B}}^{*}} , is called self-adjoint. A special case of particular importance is the case where A {\displaystyle {\mathcal {A}}} is a complete normed *-algebra, that satisfies the C*-identity ( ‖ a ∗ a ‖ = ‖ a ‖ 2 ∀ a ∈ A {\displaystyle \left\|a^{*}a\right\|=\left\|a\right\|^{2}\ \forall a\in {\mathcal {A}}} ), which is called a C*-algebra. Especially in the older literature on *-algebras and C*-algebras, such elements are often called hermitian. Because of that the notations A h {\displaystyle {\mathcal {A}}_{h}} , A H {\displaystyle {\mathcal {A}}_{H}} or H ( A ) {\displaystyle H({\mathcal {A}})} for the set of self-adjoint elements are also sometimes used, even in the more recent literature.
Examples Each positive element of a C*-algebra is self-adjoint. For each element a {\displaystyle a} of a *-algebra, the elements a a ∗ {\displaystyle aa^{*}} and a ∗ a {\displaystyle a^{*}a} are self-adjoint, since * is an involutive antiautomorphism. For each element a {\displaystyle a} of a *-algebra, the real and imaginary parts Re ( a ) = 1 2 ( a + a ∗ ) {\textstyle \operatorname {Re} (a)={\frac {1}{2}}(a+a^{*})} and Im ( a ) = 1 2 i ( a − a ∗ ) {\textstyle \operatorname {Im} (a)={\frac {1}{2\mathrm {i} }}(a-a^{*})} are self-adjoint, where i {\displaystyle \mathrm {i} } denotes the imaginary unit. If a ∈ A N {\displaystyle a\in {\mathcal {A}}_{N}} is a normal element of a C*-algebra A {\displaystyle {\mathcal {A}}} , then for every real-valued function f {\displaystyle f} , which is continuous on the spectrum of a {\displaystyle a} , the continuous functional calculus defines a self-adjoint element f ( a ) {\displaystyle f(a)} .
Criteria Let A {\displaystyle {\mathcal {A}}} be a *-algebra. Then:
… excerpt ends here. Continue reading the full article.
