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 be a nonzero complex Banach space and let be the bounded linear operators on 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 is a unital complex Banach algebra (Unital Banach algebra), which is noncommutative as soon as is at least two-dimensional: the two-dimensional case is exhibited explicitly below, and the general case is transferred to 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 with the maximum norm the operators
satisfy .
Facts & Assumptions
Given: An assumed Axiom of Choice, a nonzero complex Banach space , and the space of bounded linear operators with the operator norm .
Composition of bounded operators is bounded and associative, is bounded, and the operator norm is submultiplicative: , with because (A bounded linear operator between normed spaces, The operator norm as the least bound and as the unit-sphere or unit-ball supremum).
If is a Banach space then is Banach for the operator norm (If (Y) is Banach then (\mathcal B(X,Y)) is Banach).
Every finite-dimensional normed space is complete, in particular with the maximum norm is a Banach space (Every finite-dimensional normed space is Banach).
Every finite-dimensional subspace of a normed space is complemented, that is, there is a bounded projection whose range is exactly ; such a satisfies (Finite-dimensional subspaces are complemented, A closed subspace is complemented exactly when it is the range of a bounded projection).
A linear map with a finite-dimensional normed domain is bounded, so every linear map on a finite-dimensional normed space is a bounded operator (A linear map from a finite-dimensional normed space is bounded).
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
is an associative complex algebra under composition and pointwise linear structure, with unit ; by [L1] the norm is submultiplicative and , and by [L2] with it is complete; hence it is a unital complex Banach algebra.
The space with the maximum norm is a nonzero complex Banach space by [L3], so the argument of [step 1.1] applies to it and is a unital complex Banach algebra; for the explicit operators on that space and , so both are bounded, and while , so although and are the two coordinate projections.
Now let and choose linearly independent ; put , a two-dimensional subspace, and let be a bounded projection with range by [L4]. The linear maps defined by , and , are bounded by [L5], and they do not commute, since while . Then and are bounded operators on by [L1], and , because and take values in while is the identity on ; hence and , and these differ because the first sends to while the second sends to . So is noncommutative for every with , while [step 2.1] provides the explicit witness on ; by [step 1.1] the algebra is unital and Banach.
Depends on
- Unital Banach algebra
- If \(Y\) is Banach then \(\mathcal B(X,Y)\) is Banach
- Every finite-dimensional normed space is Banach
- A bounded linear operator between normed spaces
- The operator norm as the least bound and as the unit-sphere or unit-ball supremum
- Finite-dimensional subspaces are complemented
- A closed subspace is complemented exactly when it is the range of a bounded projection
- A linear map from a finite-dimensional normed space is bounded
- The Axiom of Choice
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
- Theo Bühler and Dietmar A. Salamon, Functional Analysis — §5.1.1 examples, printed pp. 209–214 (standard reference, not scraped)