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.1

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

algebra
1.2

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.

1.1L1algebra
2.1

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

step 1.2L1algebra

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 aa=a2 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