Math 2.0

Functional analysis Definition

Unitary element

Builds on C*-algebra

Definition

Let AA be a unital ∗*-algebra with unit 11, for example a unital C*-algebra. An element u∈Au \in A is unitary if u∗u=uu∗=1.u^* u = u u^* = 1. The set of unitary elements of AA is denoted U(A)U(A).

Remarks

U(A)U(A) is a group under multiplication, with u−1=u∗u^{-1} = u^*. Example: in C(𝕋)C(\mathbb{T}), the function u(z)=zu(z) = z satisfies u(z)‾u(z)=∣z∣2=1\overline{u(z)} u(z) = \abs{z}^2 = 1 for all zz on the unit circle, so it is unitary. Non-example: the unilateral shift SS on ℓ2(ℕ)\ell^2(\N) satisfies S∗S=1S^* S = 1 but SS∗≠1S S^* \ne 1, since SS∗S S^* kills the first basis vector; so SS is an isometry and not a unitary. In a C*-algebra, the C* identity gives ∥u∥2=∥u∗u∥=1\norm{u}^2 = \norm{u^* u} = 1, and the spectrum of a unitary lies in the unit circle. If hh is self-adjoint, then eihe^{ih} is unitary.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. C*-algebra concept
  2. Unitary element definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Unitary_element
About this page
Tag3D55AV39RF
URIm2://3D55AV39RF
Kinddefinition
WritingW0 stub
MSC46L05, 46H05
DefinesUnitary element
UsesC*-algebra
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.