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.
carries both an unbounded and a bounded metric inducing the same topology
Statement refuted
Refuted claim: boundedness of a metric space is determined by its topology (FALSE: boundedness of a metric space is determined by its topology).
The witness is the real line carrying two metrics at once:
They induce the same topology, is unbounded and has no diameter, and is bounded with diameter exactly ( on has the usual topology and diameter at most , The absolute value makes a metric space: is a metric, its open balls are the intervals , and it is unbounded, Bounded subset, diameter, distance from a point to a set, and distance between two sets in a metric space).
Facts & Assumptions
Given: The real line with the two metrics and above.
is a metric on and is not bounded, so it has no diameter (The absolute value makes a metric space: is a metric, its open balls are the intervals , and it is unbounded, Metric space: iff , symmetry, and the triangle inequality; pseudometric and ultrametric, Bounded subset, diameter, distance from a point to a set, and distance between two sets in a metric space).
is a metric on , uniformly equivalent to , and is bounded with ( on has the usual topology and diameter at most , and are metrics uniformly equivalent to , so every metric space carries a bounded metric with the same topology).
Uniform equivalence implies topological equivalence, that is equality of the metric topologies (Lipschitz equivalence implies uniform equivalence implies topological equivalence, Topologically, uniformly and Lipschitz equivalent metrics on a set, The metric topology: a set is open when every one of its points has a ball around it inside the set; closed means open complement).
Counterexample
By [L1] the space is a metric space that is not bounded.
By [L2] the space is a metric space that is bounded, with diameter , and is uniformly equivalent to .
By [L3] the two metrics are topologically equivalent, so : the two metric spaces have exactly the same open sets, the same closed sets, the same convergent sequences and the same continuous maps.
So one and the same set with one and the same topology carries a bounded metric and an unbounded metric; boundedness is therefore not determined by the topology, and the claim is refuted.
Remarks
- Which level of the hierarchy does preserve boundedness. Lipschitz equivalence does, since turns a -ball into a -ball of radius times as large (Topologically, uniformly and Lipschitz equivalent metrics on a set). The present pair is uniformly but not Lipschitz equivalent (On the metrics and are uniformly but not Lipschitz equivalent), which is exactly the room in which boundedness is lost.
- Nor is the diameter a topological invariant, even up to a constant: on the same construction with in place of , for any real , gives diameter while leaving the topology alone.
- The general statement behind this witness is that every metric space is boundedly remetrisable ( and are metrics uniformly equivalent to , so every metric space carries a bounded metric with the same topology), so the failure is not a peculiarity of the real line but the normal state of affairs.
Depends on
- FALSE: boundedness of a metric space is determined by its topology
- $\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
- Bounded subset, diameter, distance from a point to a set, and distance between two sets in a metric space
- $\min(|x-y|, 1)$ on $\mathbb{R}$ has the usual topology and diameter at most $1$
- The absolute value makes $\mathbb{R}$ a metric space: $d(x,y) = |x-y|$ is a metric, its open balls are the intervals $(x-r, x+r)$, and it is unbounded
- Lipschitz equivalence implies uniform equivalence implies topological equivalence
- Topologically, uniformly and Lipschitz equivalent metrics on a set
- Metric space: $d(x,y) = 0$ iff $x = y$, symmetry, and the triangle inequality; pseudometric and ultrametric
- The metric topology: a set is open when every one of its points has a ball around it inside the set; closed means open complement
Used by
Nothing in the library uses this result yet.
Dependency tree · next 3 levels
Direct dependencies and their dependencies through the next three levels: 62 results over 17 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.
Sources
- Bounded set (Wikipedia) (standard reference, not scraped)
- Equivalence of metrics (Wikipedia) (standard reference, not scraped)
- J. Munkres, Topology, 2nd ed., §20 (standard reference, not scraped)
- R. Gardner, Introduction to Topology, notes on Munkres Section 20: The Metric Topology (East Tennessee State University) (standard reference, not scraped)