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.
Topologically equivalent metrics on a vector space need not come from equivalent norms
Statement refuted
If two metrics on a vector space are topologically equivalent and one is induced by a norm, then the other is induced by an equivalent norm.
Facts & Assumptions
Given: A nonzero normed space and the norm metric .
The bounded remetrisation is a metric topologically equivalent to ( and are metrics uniformly equivalent to , so every metric space carries a bounded metric with the same topology, Topologically, uniformly and Lipschitz equivalent metrics on a set).
A norm metric satisfies for every scalar (A norm on a real vector space, the induced metric, and the dictionary with the metric axioms).
Counterexample
By [L1], the metric has the same topology as the original norm metric .
Suppose were induced by some norm on . Choose a nonzero vector ; then , so [L2] gives for every scalar .
The right-hand side of step 2.1 is unbounded as , but by definition for every . This contradiction shows that is not induced by any norm at all.
Hence is topologically equivalent to a norm metric while failing even to come from a norm, so it certainly does not come from a norm equivalent to the original one. This refutes the statement.
Depends on
- Topologically, uniformly and Lipschitz equivalent metrics on a set
- Equivalent norms, and the dictionary with equivalent metrics
- A norm on a real vector space, the induced metric, and the dictionary with the metric axioms
- $\min(d,1)$ and $d/(1+d)$ are metrics uniformly equivalent to $d$, so every metric space carries a bounded metric with the same topology
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
34 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
- Equivalence of metrics (Wikipedia) (standard reference, not scraped)
- J. Demmel, MA221 Lecture 3: Vector Norms (standard reference, not scraped)