TheoremStatement: Literature-sourcedProof: AI-generatedprecheck passaudited 2026-09-04

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.

All norms on a finite-dimensional complex normed space are equivalent

Statement

Let $X$ be a complex vector space carrying two norms $∥ \cdot ∥_{a}$ and $∥ \cdot ∥_{b}$ , and suppose $X$ admits an ordered basis of finite length. Then $∥ \cdot ∥_{a}$ and $∥ \cdot ∥_{b}$ are equivalent in the sense of Equivalent norms, and the dictionary with equivalent metrics.

Facts & Assumptions

Given: A complex vector space $X$ with two norms $∥ \cdot ∥_{a}$ and $∥ \cdot ∥_{b}$ , and an ordered basis $e : n \to X$ .

[L1]

For either norm on $X$ , the basis map from $C^{n}$ with the coordinate $ℓ^{1}$ norm is a topological isomorphism (A chosen algebraic basis identifies a finite-dimensional normed space with a coordinate space).

[L2]

Equivalent norms are exactly those satisfying $c ∥ x ∥_{a} \leq ∥ x ∥_{b} \leq C ∥ x ∥_{a}$ for some $c, C > 0$ (Equivalent norms, and the dictionary with equivalent metrics).

Proof

technique · direct

1.1

Let $T : C^{n} \to X$ be the common algebraic basis map $T (a_{0}, \dots, a_{n - 1}) = \sum_{j < n} a_{j} e_{j}$ . Applied to the norm $∥ \cdot ∥_{a}$ , [L1] gives constants $A, B > 0$ such that $∥ T (a) ∥_{a} \leq A ∥ a ∥_{1} and ∥ a ∥_{1} \leq B ∥ T (a) ∥_{a}$ for every $a \in C^{n}$ .

L1choose

1.2

Applied to the norm $∥ \cdot ∥_{b}$ , [L1] gives constants $A^{'}, B^{'} > 0$ such that $∥ T (a) ∥_{b} \leq A^{'} ∥ a ∥_{1} and ∥ a ∥_{1} \leq B^{'} ∥ T (a) ∥_{b}$ for every $a \in C^{n}$ .

L1choose

2.1

Let $x \in X$ and write $x = T (a)$ , which is possible and unique by [L1]. Then $∥ x ∥_{b} = ∥ T (a) ∥_{b} \leq A^{'} ∥ a ∥_{1} \leq A^{'} B ∥ T (a) ∥_{a} = A^{'} B ∥ x ∥_{a} .$ Interchanging $a$ and $b$ gives $∥ x ∥_{a} \leq A B^{'} ∥ x ∥_{b} .$

step 1.1step 1.2L1algebra

3.1

Step 2.1 is exactly the two-sided estimate of [L2], so the two norms are equivalent.

L2step 2.1∎

Remarks

The proof does not need a separate norm-comparison theorem on $C^{n}$ : one coordinate isomorphism for each norm already supplies the comparison.
The published theorem For $n \geq 1$ all norms on $R^{n}$ are equivalent remains the real base case on which A chosen algebraic basis identifies a finite-dimensional normed space with a coordinate space rests.

Depends on

Used by

Every finite-dimensional normed space is Banach Corollary
Explicit comparison constants for the standard norms on Kⁿ Example

Dependency tree · two levels

35 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

Daniel Daners, Introduction to Functional Analysis (standard reference, not scraped)
Tomasz Kochanek, Functional analysis, Lecture 1 (standard reference, not scraped)