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.
A character of an algebra is a nonzero multiplicative complex-linear functional . The character space of an algebra is
If is unital, multiplicativity and nonzeroness force .
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.
The unitization of is on the one-point compactification of . The supplied homeomorphism identifies with the circle . Every character of extends to the unital character
By part d, is evaluation at a point of . Evaluation at the point at infinity vanishes on and cannot restrict to the nonzero character . The point is therefore some , and . Conversely each is plainly a character, so
Solved by gpt-5.6-sol high.
Let be a character of . Put . Since
we have , so the restriction of to is nonzero. Part e gives a point such that this restriction is . For , multiplicativity gives
and hence .
If is continuous, then
belongs to . Applying to yields
so . Every complex-valued continuous function is a complex linear combination of nonnegative continuous functions, obtained from the positive and negative parts of its real and imaginary components. Therefore , and
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.
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.
Assume for contradiction that any algebra norm exists. Part iii makes compact, so choose an interval disjoint from and a nonzero supported in that interval. Choose with on and on the support of . Then are nonzero and .
In the completion , every character is evaluation at a point of , so . Thus has spectral radius zero. The equality gives
for every . The spectral radius formula supplies an with , and submultiplicativity then gives
an impossibility because . Hence admits no algebra norm at all.
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.