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.
Sums, products, absolute values, finite maxima and minima, and quotients of continuous real-valued maps on a topological space are continuous where defined
Statement
Let be continuous maps from a topological space. Then , , , , and are continuous. On the open cozero set , the quotient is continuous. The same holds for every finite sum, product, maximum, or minimum of continuous real-valued maps.
Facts & Assumptions
Given: A topological space and continuous maps .
A map into a product is continuous exactly when its coordinate maps are continuous, compositions of continuous maps are continuous, and a map whose range lies in a subspace is continuous into that subspace exactly when it is continuous into the ambient space (A map into a product is continuous iff each of its components is; the projections are continuous and open; and each projection is surjective when every factor is nonempty, which for an infinite index set uses the Axiom of Choice, 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 , 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).
is open for continuous (Zero sets and cozero sets of continuous real-valued functions).
Proof
Addition is continuous at because gives . Multiplication is continuous there: after requiring , one has which is less than when both coordinate errors are smaller than . These coordinate conditions describe product neighbourhoods, so both operations are continuous.
The reverse triangle inequality makes absolute value continuous. Consequently are continuous by step 1.1 and composition.
Reciprocal is continuous at : if , then and Thus division is the product of and and is continuous on ; moreover is open by [F1].
The map is continuous by [L1], so composing it with the operations of steps 1.1 and 2.1 gives continuity of , , , and ; composing with absolute value gives continuity of .
Restricting and to and composing their product map with division gives continuity of there.
Iterating the binary operations of step 3.1 proves the finite assertions.
Depends on
- Continuity of a map of topological spaces at a point and globally
- The product set $\prod_{i \in I} X_i$ of functions choosing a point in each factor, the projections, the box topology, and the product topology as the initial topology of the projections; the empty product is a one-point space
- 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 map into a product is continuous iff each of its components is; the projections are continuous and open; and each projection is surjective when every factor is nonempty, which for an infinite index set uses the Axiom of Choice
- 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)}$
- 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
- Zero sets and cozero sets of continuous real-valued functions
Used by
- Without local finiteness, a pointwise finite sum of continuous functions can be discontinuous Counterexample
- A locally finite hat-function partition of unity on ℝ subordinate to overlapping intervals Example
- Under choice and dependent choice, a finite subordinate partition of unity for a two-set cover of a compact interval Example
- A locally finite family of continuous nonnegative functions has a continuous pointwise sum Lemma
- A locally finite nonnegative family with positive pointwise sum normalizes to a partition of unity Lemma
Dependency tree · next 3 levels
Direct dependencies and their dependencies through the next three levels: 86 results over 15 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
- J. Robbin, Partitions of Unity (standard reference, not scraped)
- S. Semmes, Topology notes, Sections 5.13–5.14 (Rice University) (standard reference, not scraped)
- Continuity notes (University of California, Berkeley) (standard reference, not scraped)