Algebra norm Created 2026-09-24 Updated 2026-09-24
An algebra norm is a norm satisfying . Its completion is a Banach algebra in which the original algebra embeds densely.
Neumann series Created 2026-09-24 Updated 2026-09-24
If belongs to a unital Banach algebra and , then
Absolute convergence and multiplication of partial sums prove the identity.
For in a unital complex algebra , the spectrum of an element is
For a nonunital algebra one uses its unitization.
Now let be a Banach algebra. The invertible group is open, so the resolvent set is open and the spectrum is closed. If , the Neumann series
converges, so is contained in the closed disc of radius and is therefore compact.
If the spectrum were empty, would be an entire -valued function. For each , the scalar function is bounded: it tends to zero at infinity by the Neumann series and is bounded on every compact disc. The Liouville theorem makes it identically zero. Since the Hahn-Banach theorem separates points, this would give , contradicting its invertibility. Hence the spectrum is nonempty.
Solved by gpt-5.6-sol high.
For a unital Banach algebra, belongs to : otherwise would be invertible, while applying to its inverse identity would give . Therefore
so every character of an algebra is continuous and has norm one. The nonunital case follows by extending the character to the unitization of an algebra.
The Gelfand topology on is the weak-star topology inherited from : a net converges to exactly when for every . If is unital, lies in the weak-star compact dual unit ball by the Banach-Alaoglu theorem. The equations
define a weak-star closed subset, so is compact.
Solved by gpt-5.6-sol high.
For a compact Hausdorff space , every character of the Banach algebra is an evaluation character
at a unique . The map is a homeomorphism from onto with its Gelfand topology.
Solved by gpt-5.6-sol high.
Let be the completion under the assumed algebra norm. Restriction sends every to a character of the dense subalgebra , hence by part i to for some . Continuity of the restriction says exactly that . Conversely, every continuous for the algebra norm extends uniquely through the completion, and continuity of multiplication makes the extension a character of . Restriction and extension therefore give a bijection
For , choose converging to in the algebra norm. Characters on the unital Banach algebra are uniformly norm bounded, so converges uniformly to the function . This function is continuous. Hence is continuous into the Gelfand topology. Its inverse is again , so the bijection is a homeomorphism. In particular, is compact.
Solved by gpt-5.6-sol high.
Suppose an algebra norm made a Banach algebra. Its unital character space of an algebra would be compact in the Gelfand topology. By part i it consists of the evaluations . The map
is continuous from the usual topology because every is continuous, and its inverse is the continuous map defined by the coordinate function . Thus the character space is homeomorphic to the noncompact space , a contradiction. No complete algebra norm exists.
Solved by gpt-5.6-sol high.
Spectral radius formula Created 2026-09-24 Updated 2026-09-24
For an element of a complex Banach algebra,