Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedSession-authored (Fable 5 assisted)precheck passjudge pass (z-ai/glm-5.2)audited 2026-07-31
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 f,g:XRf,g:X\to\mathbb R be continuous maps from a topological space. Then f+gf+g, fgfg, f|f|, max(f,g)\max(f,g), and min(f,g)\min(f,g) are continuous. On the open cozero set coz(g)\operatorname{coz}(g), the quotient f/gf/g is continuous. The same holds for every finite sum, product, maximum, or minimum of continuous real-valued maps.

Facts & Assumptions

Proof

technique · direct
1.1

Addition is continuous at (a,b)(a,b) because sa,tb<ε/2|s-a|,|t-b|<\varepsilon/2 gives (s+t)(a+b)<ε|(s+t)-(a+b)|<\varepsilon. Multiplication is continuous there: after requiring tb<1|t-b|<1, one has stabsat+atb<sa(b+1)+atb,|st-ab|\le |s-a||t|+|a||t-b| < |s-a|(|b|+1)+|a||t-b|, which is less than ε\varepsilon when both coordinate errors are smaller than ε/(2(a+b+1))\varepsilon/(2(|a|+|b|+1)). These coordinate conditions describe product neighbourhoods, so both operations are continuous.

L2
2.1

The reverse triangle inequality stst\big||s|-|t|\big|\le |s-t| makes absolute value continuous. Consequently max{s,t}=s+t+st2,min{s,t}=s+tst2\max\{s,t\}=\frac{s+t+|s-t|}{2},\qquad \min\{s,t\}=\frac{s+t-|s-t|}{2} are continuous by step 1.1 and composition.

step 1.1L1L2
2.2

Reciprocal is continuous at b0b\ne0: if tb<b/2|t-b|<|b|/2, then t>b/2|t|>|b|/2 and 1t1b=tbtb<2tbb2.\left|\frac1t-\frac1b\right| =\frac{|t-b|}{|t||b|}<\frac{2|t-b|}{|b|^2}. Thus division (s,t)s/t(s,t)\mapsto s/t is the product of ss and 1/t1/t and is continuous on R×(R{0})\mathbb R\times(\mathbb R\setminus\{0\}); moreover coz(g)\operatorname{coz}(g) is open by [F1].

step 1.1L1F1L2
3.1

The map (f,g):XR2(f,g):X\to\mathbb R^2 is continuous by [L1], so composing it with the operations of steps 1.1 and 2.1 gives continuity of f+gf+g, fgfg, max(f,g)\max(f,g), and min(f,g)\min(f,g); composing ff with absolute value gives continuity of f|f|.

L1step 1.1step 2.1
3.2

Restricting ff and gg to coz(g)\operatorname{coz}(g) and composing their product map with division gives continuity of f/gf/g there.

L1step 2.2
4.1

Iterating the binary operations of step 3.1 proves the finite assertions.

step 3.1

Depends on

Used by

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