How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Gelfand transform of a Banach algebra need not be isometric
Statement refuted
The claim that the Gelfand transform of every commutative unital complex Banach algebra is isometric, that is, that for all , is false.
Facts & Assumptions
Given: The commutative unital complex Banach algebra of dual numbers, with elements and norm , and its Gelfand transform (Gelfand transform).
A character of a nonzero unital complex Banach algebra is unital and continuous with ; it is complex-linear and multiplicative (Characters on a unital Banach algebra are continuous.
Counterexample
The multiplication is associative, commutative and complex-bilinear, and the norm is submultiplicative: ; the unit is with , and the algebra is complete because its two coordinates are controlled by the norm (, ) and conversely , so the norm is equivalent to the Euclidean norm on ; hence is a nonzero commutative unital complex Banach algebra.
Every character of satisfies by multiplicativity [L1], so since is a field; hence by linearity and unitality [L1]; in particular consists of the single character .
The element has norm , while its Gelfand transform vanishes identically: by [step 1.2]; hence , so the Gelfand transform of is not isometric (and not injective, since has zero transform).
Remarks
- Consistency with the general theory. By Gelfand transform is a contractive unital homomorphism only the inequality is available in general; here , so the transform realises the strict inequality.
- The algebra is not a C*-algebra: no involution making holds for this norm, which is why Commutative Gelfand Naimark is not contradicted.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
10 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Vahid Shirbisheh, Lectures on C-star Algebras, v2 — Definition 3.1.23 and §3.1, printed pp. 62–67 (standard reference, not scraped)
- Theo Bühler and Dietmar A. Salamon, Functional Analysis — Theorem 5.63 and §5.5.1, printed pp. 262–266 (standard reference, not scraped)