Alphabeta Math
CounterexampleConstruction: AI-adaptedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-5.6-terra)audited 2026-09-22
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 ∥a^∥∞=∥a∥ for all a, is false.

Facts & Assumptions

Given: The commutative unital complex Banach algebra A:=C[ε]/(ε2) of dual numbers, with elements a+bε and norm ∥a+bε∥:=∣a∣+∣b∣, and its Gelfand transform Γ(a)=a^ (Gelfand transform).

[L1]

A character of a nonzero unital complex Banach algebra is unital and continuous with ∣χ(x)∣≤∥x∥; it is complex-linear and multiplicative (Characters on a unital Banach algebra are continuous.

Counterexample

technique · direct
1.1algebra

The multiplication (a+bε)(c+dε)=ac+(ad+bc)ε is associative, commutative and complex-bilinear, and the norm is submultiplicative: ∥xy∥=∣ac∣+∣ad+bc∣≤∣a∣∣c∣+∣a∣∣d∣+∣b∣∣c∣≤(∣a∣+∣b∣)(∣c∣+∣d∣)=∥x∥ ∥y∥; the unit is 1=1+0ε with ∥1∥=1, and the algebra is complete because its two coordinates are controlled by the norm (∣a∣≤∥x∥, ∣b∣≤∥x∥) and conversely ∥x∥≤2max⁡(∣a∣,∣b∣), so the norm is equivalent to the Euclidean norm on C2; hence A is a nonzero commutative unital complex Banach algebra.

1.21.1L1algebra

Every character χ of A satisfies χ(ε)2=χ(ε2)=χ(0)=0 by multiplicativity [L1], so χ(ε)=0 since C is a field; hence χ(a+bε)=aχ(1)+bχ(ε)=a by linearity and unitality [L1]; in particular Δ(A) consists of the single character χ0(a+bε)=a.

2.1step 1.2L1algebra∎

The element ε=0+1ε has norm ∥ε∥=1≠0, while its Gelfand transform vanishes identically: ε^(χ0)=χ0(ε)=0 by [step 1.2]; hence ∥ε^∥∞=0≠1=∥ε∥, so the Gelfand transform of A is not isometric (and not injective, since ε≠0 has zero transform).

Remarks

  • Consistency with the general theory. By Gelfand transform is a contractive unital homomorphism only the inequality ∥a^∥∞=r(a)≤∥a∥ is available in general; here r(ε)=0, so the transform realises the strict inequality.
  • The algebra is not a C*-algebra: no involution making ∥a∗a∥=∥a∥2 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