Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedaudited 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.

Bounded operators form a Banach algebra, noncommutative in dimension at least two

Example

Assume the Axiom of Choice (The Axiom of Choice). Let X be a nonzero complex Banach space and let B(X) be the bounded linear operators on X with the operator norm (A bounded linear operator between normed spaces, The operator norm as the least bound and as the unit-sphere or unit-ball supremum). Then B(X) is a unital complex Banach algebra (Unital Banach algebra), which is noncommutative as soon as X is at least two-dimensional: the two-dimensional case is exhibited explicitly below, and the general case is transferred to X through a bounded projection onto a two-dimensional subspace, which is the one place where the Axiom of Choice is used (Finite-dimensional subspaces are complemented). In particular, on the two-dimensional complex Banach space C2 with the maximum norm the operators

U(x,y):=(y,0),V(x,y):=(0,x)

satisfy UVVU.

Facts & Assumptions

Given: An assumed Axiom of Choice, a nonzero complex Banach space X, and the space B(X) of bounded linear operators with the operator norm .

[L1]

Composition of bounded operators is bounded and associative, 1X is bounded, and the operator norm is submultiplicative: STST, with 1X=1 because X{0} (A bounded linear operator between normed spaces, The operator norm as the least bound and as the unit-sphere or unit-ball supremum).

[L2]

If Y is a Banach space then B(X,Y) is Banach for the operator norm (If (Y) is Banach then (\mathcal B(X,Y)) is Banach).

[L3]

Every finite-dimensional normed space is complete, in particular C2 with the maximum norm is a Banach space (Every finite-dimensional normed space is Banach).

[L4]

Every finite-dimensional subspace M of a normed space X is complemented, that is, there is a bounded projection P:XX whose range is exactly M; such a P satisfies PM=idM (Finite-dimensional subspaces are complemented, A closed subspace is complemented exactly when it is the range of a bounded projection).

[L5]

A linear map with a finite-dimensional normed domain is bounded, so every linear map MM on a finite-dimensional normed space M is a bounded operator (A linear map from a finite-dimensional normed space is bounded).

[A1]

The standing hypothesis is the Axiom of Choice, used exactly once and only through [L4], whose proof extends the coordinate functionals of a finite-dimensional subspace to the whole space by Hahn–Banach (The Axiom of Choice).

Verification

technique · direct
1.1

B(X) is an associative complex algebra under composition and pointwise linear structure, with unit 1X; by [L1] the norm is submultiplicative and 1X=1, and by [L2] with Y=X it is complete; hence it is a unital complex Banach algebra.

L1L2
2.1

The space C2 with the maximum norm is a nonzero complex Banach space by [L3], so the argument of [step 1.1] applies to it and B(C2) is a unital complex Banach algebra; for the explicit operators U,V on that space U(x,y)=(y,0)=y(x,y) and V(x,y)=x(x,y), so both are bounded, and UV(x,y)=U(0,x)=(x,0) while VU(x,y)=V(y,0)=(0,y), so UVVU although UV and VU are the two coordinate projections.

step 1.1L1L3algebra
3.1

Now let dimX2 and choose linearly independent u,vX; put M:=span{u,v}, a two-dimensional subspace, and let P be a bounded projection with range M by [L4]. The linear maps S,T:MM defined by S(u)=v, S(v)=0 and T(u)=0, T(v)=u are bounded by [L5], and they do not commute, since ST(u)=S(0)=0 while TS(u)=T(v)=u0. Then SP and TP are bounded operators on X by [L1], and PS=S, PT=T because S and T take values in M while P is the identity on M; hence (SP)(TP)=(ST)P and (TP)(SP)=(TS)P, and these differ because the first sends u to (ST)(u)=0 while the second sends u to (TS)(u)=u0. So B(X) is noncommutative for every X with dimX2, while [step 2.1] provides the explicit witness on C2; by [step 1.1] the algebra is unital and Banach.

step 1.1step 2.1L1L4L5A1algebra

Depends on

Used by

Dependency tree · two levels

24 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