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.
covered by its closed singletons: every restriction of the indicator of is continuous and the map is not, so the closed pasting lemma needs finiteness
Statement refuted
Refuted: that continuity may be checked on an arbitrary closed cover. Claim 3 of Continuity may be checked on any open cover, and on any finite closed cover; composites of continuous maps are continuous allows only finitely many closed pieces, and the restriction is not removable.
Witness. Give its usual topology (Metrizable space: a topological space whose topology is induced by some metric; metrizability is topological, the metric is not, The absolute value makes a metric space: is a metric, its open balls are the intervals , and it is unbounded) and let
be the family of its singletons, a cover of by closed sets. Let be the indicator of , that is and for . Then every restriction is continuous for the subspace topology (Subspace topology: the traces of the open sets, its closed sets and its bases, the continuity of the inclusion, and the characteristic property of a map into a subspace), and is not continuous (Continuity of a map of topological spaces at a point and globally).
Facts & Assumptions
Given: with its usual topology, the cover by singletons, and the function above.
A map is continuous exactly when preimages of open sets are open (For a map of spaces the following agree: continuity at every point, preimages of open sets open, preimages of closed sets closed, preimages of subbasic open sets open, and , clause (b)).
The subspace topology on has as open sets the traces with open in (Subspace topology: the traces of the open sets, its closed sets and its bases, the continuity of the inclusion, and the characteristic property of a map into a subspace); a topology on always contains and (Topology on a set, open and closed sets, clopen sets, the closed-set axiomatisation, and the coarser/finer comparison).
In the usual topology , balls are open, and is open exactly when every has some with (The absolute value makes a metric space: is a metric, its open balls are the intervals , and it is unbounded, Open ball, closed ball and sphere in a metric space, 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, Arbitrary unions and finite intersections of open sets are open, open balls are open and closed balls are closed, Metrizable space: a topological space whose topology is induced by some metric; metrizability is topological, the metric is not, Intervals of : the nine order-convex forms, nondegeneracy, and length).
For every real there is a natural with , and (For every in a complete ordered field there is a natural with , Canonical naturals are positive and strictly increasing, Inverses of positives are positive, and reciprocation reverses order).
and hence (The multiplicative identity is positive, Order is preserved by adding a constant and by adding inequalities); consequently and .
Every singleton is closed in the usual topology, its complement being a union of two open sets (The absolute value makes a metric space: is a metric, its open balls are the intervals , and it is unbounded, 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
covers , each lying in , and each member is closed by [L4].
For every the subspace carries only the two subsets and , both of which are open in it by [A2]; hence every function out of has open preimages and is continuous, and in particular is.
is a ball, hence open in by [L1], and : indeed by [L3], while for , again by [L3].
is not open in the usual topology: for any the ball contains the point for a natural with given by [L2], and , so ; hence no ball around lies inside .
By step 1.3 and step 1.4 the preimage under of the open set is not open, so is not continuous by [A1]; by steps 1.1 and 1.2 the family is a closed cover of every restriction to which is continuous. So claim 3 of Continuity may be checked on any open cover, and on any finite closed cover; composites of continuous maps are continuous fails without the hypothesis that the cover be finite.
Remarks
-
Why an infinite closed cover is useless and an infinite open cover is not. The proof of claim 3 of Continuity may be checked on any open cover, and on any finite closed cover; composites of continuous maps are continuous writes as a union of sets closed in and concludes that it is closed; only finite unions of closed sets are closed (Topology on a set, open and closed sets, clopen sets, the closed-set axiomatisation, and the coarser/finer comparison), and here is the union of the uncountably many closed sets , , which is , not closed. The open-cover version has no such restriction because arbitrary unions of open sets are open.
-
The singleton cover trivialises every function. For any spaces and and any , the restriction of to a one-point subspace is continuous, so the singleton cover certifies nothing whatever. The witness is therefore the sharpest form of the failure rather than a delicate example, and the map could be replaced by any discontinuous function.
-
A two-piece closed cover of would have detected the discontinuity. For instance and are closed and cover , and restricted to is already discontinuous at by the argument of step 1.4 carried out inside that subspace.
Depends on
- Continuity may be checked on any open cover, and on any finite closed cover; composites of continuous maps are continuous
- Continuity of a map of topological spaces at a point and globally
- Metrizable space: a topological space whose topology is induced by some metric; metrizability is topological, the metric is not
- 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
- Open ball, closed ball and sphere in a metric space
- 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
- Subspace topology: the traces of the open sets, its closed sets and its bases, the continuity of the inclusion, and the characteristic property of a map into a subspace
- For a map of spaces the following agree: continuity at every point, preimages of open sets open, preimages of closed sets closed, preimages of subbasic open sets open, and $f(\overline{A}) \subseteq \overline{f(A)}$
- Intervals of $\mathbb{R}$: the nine order-convex forms, nondegeneracy, and length
- Topology on a set, open and closed sets, clopen sets, the closed-set axiomatisation, and the coarser/finer comparison
- Arbitrary unions and finite intersections of open sets are open, open balls are open and closed balls are closed
- For every $\varepsilon > 0$ in a complete ordered field there is a natural $n \ge 1$ with $1/n < \varepsilon$
- Inverses of positives are positive, and reciprocation reverses order
- Canonical naturals are positive and strictly increasing
- The multiplicative identity is positive
- Order is preserved by adding a constant and by adding inequalities
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: 75 results over 13 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
- Pasting lemma (Wikipedia) (standard reference, not scraped)
- Continuous function (Wikipedia) (standard reference, not scraped)