4.1 Positive elements and their properties

Positive elements are the backbone of C*-algebras, defining order and structure. They're self-adjoint with non-negative spectra, forming a convex cone that's closed under addition and scalar multiplication. This concept is crucial for understanding the algebraic and geometric properties of C*-algebras.

Positivity connects to spectral theory, functional calculus, and norm properties. It enables the construction of square roots, states, and representations. Understanding positive elements is key to grasping the ordering and structure of C*-algebras, linking algebra and analysis in this field.

Positive and Self-Adjoint Elements

Definitions and Properties of Positive Elements

• Positive element in a C*-algebra defined as self-adjoint element with non-negative spectrum
• Self-adjoint element satisfies the condition $a = a^*$, where $a^*$ denotes the adjoint of $a$
• Positive elements form a subset of self-adjoint elements, creating a fundamental structure in C*-algebras
• Characterization of positive elements using quadratic forms: $a$ is positive if and only if $\langle ax, x \rangle \geq 0$ for all vectors $x$ in the Hilbert space
• Positive elements preserve order: if $a$ and $b$ are positive and $a \leq b$, then $cac^* \leq cbc^*$ for any element $c$

Positive Cone and Its Properties

• Positive cone defined as the set of all positive elements in a C*-algebra
• Positive cone forms a convex subset of the C*-algebra, closed under addition and scalar multiplication by non-negative real numbers
• Algebraic properties of the positive cone include closure under limits and order-preserving operations
• Geometric interpretation of the positive cone as a cone-shaped region in the space of self-adjoint elements
• Positive cone plays a crucial role in defining order relations and establishing the structure of C*-algebras

Examples and Applications

• Positive operators on Hilbert spaces (projection operators, density matrices in quantum mechanics)
• Positive functions in commutative C*-algebras (continuous functions on compact Hausdorff spaces)
• Positive elements in matrix algebras represented by positive semi-definite matrices
• Applications in quantum mechanics where observables are represented by self-adjoint operators
• Use of positive elements in constructing states and representations of C*-algebras

Spectral Properties

Spectrum and Its Significance

• Spectrum of an element $a$ in a C*-algebra defined as the set of complex numbers $\lambda$ such that $a - \lambda I$ is not invertible
• For self-adjoint elements, spectrum consists of real numbers, while for positive elements, it contains only non-negative real numbers
• Spectral radius of an element $a$ given by $r(a) = \sup\{|\lambda| : \lambda \in \text{spectrum}(a)\}$
• Spectral theorem for normal elements in C*-algebras establishes a connection between the algebraic and functional analytic properties
• Importance of spectrum in determining the behavior and properties of elements in C*-algebras

Square Root and Functional Calculus

• Square root of a positive element $a$ defined as the unique positive element $b$ such that $b^2 = a$
• Existence and uniqueness of square roots for positive elements guaranteed by the functional calculus
• Construction of square roots using the continuous functional calculus for C*-algebras
• Generalization of square roots to arbitrary continuous functions on the spectrum (functional calculus)
• Applications of square roots in defining states, constructing representations, and analyzing the structure of C*-algebras

Norm Properties of Positive Elements

• Norm of a positive element $a$ equals its spectral radius: $\|a\| = r(a)$
• For any element $x$ in a C*-algebra, $\|x^*x\| = \|x\|^2$, connecting the norm with positive elements
• Cauchy-Schwarz inequality for positive elements: $\|xy\|^2 \leq \|x^*x\| \cdot \|y^*y\|$
• Submultiplicativity of the norm for positive elements: $\|ab\| \leq \|a\| \cdot \|b\|$ for positive $a$ and $b$
• Norm-preserving property of the involution: $\|x^*\| = \|x\|$ for any element $x$

Decomposition

Polar Decomposition and Its Applications

• Polar decomposition expresses an element $a$ as a product $a = u|a|$, where $u$ is a partial isometry and $|a| = \sqrt{a^*a}$
• Existence and uniqueness of polar decomposition for elements in C*-algebras
• Partial isometry $u$ in polar decomposition satisfies $u^*u = p$ and $uu^* = q$, where $p$ and $q$ are projections
• Modulus $|a|$ in polar decomposition defined as the unique positive square root of $a^*a$
• Applications of polar decomposition in analyzing the structure of elements and operators in C*-algebras

Properties and Consequences of Polar Decomposition

• Polar decomposition generalizes the polar form of complex numbers to operators and elements in C*-algebras
• Relation between polar decomposition and singular value decomposition for matrices and compact operators
• Uniqueness of the polar decomposition up to unitary equivalence on the kernel of $a$
• Use of polar decomposition in constructing functional calculus for non-normal elements
• Connection between polar decomposition and spectral theory: spectrum of $|a|$ consists of non-negative real numbers

Examples and Special Cases

• Polar decomposition for normal elements simplifies to $a = u|a|$ with $u$ unitary and $|a|$ commuting with $u$
• Polar decomposition for self-adjoint elements yields $a = u|a|$ with $u$ self-adjoint and unitary (i.e., $u^2 = 1$)
• Polar decomposition for positive elements reduces to $a = a$, as $|a| = a$ and $u = 1$
• Applications in quantum mechanics: polar decomposition of observables and density matrices
• Use of polar decomposition in analyzing the structure of von Neumann algebras and factors