Normal element

In mathematics, an element of a *-algebra is called normal if it commutates with its Template:Nowrap

Definition

Let $𝒜$ be a *-Algebra. An element $a\in 𝒜$ is called normal if it commutes with $a^{*}$, i.e. it satisfies the equation Template:NowrapTemplate:Sfn

The set of normal elements is denoted by ${𝒜}_N$ or Template:Nowrap

A special case of particular importance is the case where $𝒜$ is a complete normed *-algebra, that satisfies the C*-identity ($\Vert a^{*}a\Vert ={\Vert a\Vert }^2\mathrm{\forall }a\in 𝒜$), which is called a C*-algebra.

Examples

• Every self-adjoint element of a a *-algebra is Template:Nowrap
• Every unitary element of a a *-algebra is Template:Nowrap
• If $𝒜$ is a C*-Algebra and $a\in {𝒜}_N$ a normal element, then for every continuous function $f$ on the spectrum of $a$ the continuous functional calculus defines another normal element Template:Nowrap

Criteria

Let $𝒜$ be a *-algebra. Then:

• An element $a\in 𝒜$ is normal if and only if the *-subalgebra generated by $a$, meaning the smallest *-algebra containing $a$, is Template:Nowrap
• Every element $a\in 𝒜$ can be uniquely decomposed into a real and imaginary part, which means there exist self-adjoint elements $a_1,a_2\in {𝒜}_{sa}$, such that $a=a_1+\mathrm{i}{a}_2$, where $\mathrm{i}$ denotes the imaginary unit. Exactly then $a$ is normal if $a_1{a}_2=a_2{a}_1$, i.e. real and imaginary part Template:Nowrap

Properties

In *-algebras

Let $a\in {𝒜}_N$ be a normal element of a *-algebra Template:Nowrap Then:

• The adjoint element $a^{*}$ is also normal, since $a=(a^{*}{)}^{*}$ holds for the involution Template:Nowrap

In C*-algebras

Let $a\in {𝒜}_N$ be a normal element of a C*-algebra Template:Nowrap Then:

• It is $\Vert a^2\Vert ={\Vert a\Vert }^2$, since for normal elements using the C*-identity ${\Vert a^2\Vert }^2=\Vert (a^2)(a^2{)}^{*}\Vert =\Vert (a^{*}a{)}^{*}(a^{*}a)\Vert ={\Vert a^{*}a\Vert }^2={\left({\Vert a\Vert }^2\right)}^2$ Template:Nowrap
• Every normal element is a normaloid element, i.e. the spectral radius $r(a)$ equals the norm of $a$, i.e. Template:Nowrap This follows from the spectral radius formula by repeated application of the previous property.Template:Sfn
• A continuous functional calculus can be developed which – put simply – allows the application of continuous functions on the spectrum of $a$ to Template:Nowrap

See also

• Normal matrix
• Normal operator

References

• Template:Cite book English translation of Template:Cite book
• Template:Cite book
• Template:Cite book