TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passverified 2026-09-09 (gpt-6-astra)

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.

Rudin 4.20, the sharp converse: on a noncompact $E \subseteq R$ there is an unbounded continuous function and a bounded continuous function with no greatest value, and if $E$ is bounded there is a continuous function on $E$ that is not uniformly continuous

Statement

Let $E \subseteq R$ be nonempty and not compact (Open cover, subcover, compact subset of $R$ (every open cover has a finite subcover), and sequentially compact subset). Then:

there is a function $f : E \to R$ , continuous on $E$ (Continuity of $f : A \to R$ at a point of $A$ and on $A$ : the $ε$ - $δ$ condition, its agreement with $\lim_{x \to c} f (x) = f (c)$ at a limit point, and continuity at an isolated point), that is unbounded on $E$ ;
there is a function $g : E \to R$ , continuous and bounded on $E$ , such that $\sup g [E]$ exists and is not attained; in particular $g$ has no greatest value on $E$ (Maximum and minimum of a set);
if in addition $E$ is bounded (Lower bound, bounded below, bounded set), there is a function $h : E \to R$ , continuous on $E$ , that is not uniformly continuous on $E$ (Uniform continuity of $f : A \to R$ : one $δ$ serving every pair of points of $A$ ).

Together with A continuous real function on a compact subset of $R$ is bounded, Extreme value theorem: a continuous real function on a nonempty compact subset of $R$ attains a greatest and a least value and Heine-Cantor in $R$ : a continuous real function on a compact subset of $R$ is uniformly continuous, proved $R$ -natively from sequential compactness this says that compactness is exactly the hypothesis needed for universal boundedness and attainment of extrema. On a compact set every continuous function is also uniformly continuous. The converse for uniform continuity asserted here applies to bounded sets.

Claim 3 carries the boundedness hypothesis because it must. On an unbounded closed uniformly discrete set, every function is uniformly continuous: if distinct points are separated by a fixed positive distance $c$ , take $δ = c$ for every $ε > 0$ , so $∣ x - y ∣ < δ$ forces $x = y$ . Thus claim 3 cannot be asserted for all unbounded sets. Claims 1 and 2 still hold without the boundedness hypothesis.

Every witness is exhibited, not merely asserted to exist. Four functions do the work: $x$ and $- 1 / (1 + x^{2})$ when $E$ is unbounded, and $1 / (x - x_{0})$ and $- ∣ x - x_{0} ∣$ when $E$ is bounded, where $x_{0}$ is then a point of $\overline{E} ∖ E$ .

Facts & Assumptions

Given: A nonempty set $E \subseteq R$ that is not compact.

[L1]

A subset of $R$ is compact if and only if it is closed and bounded; so $E$ is not closed or not bounded (A subset of $R$ is compact if and only if it is closed and bounded, Open cover, subcover, compact subset of $R$ (every open cover has a finite subcover), and sequentially compact subset, Open subset of $R$ (every point has a neighbourhood inside it), closed subset (complement open), and clopen, Lower bound, bounded below, bounded set).

[L2]

Boundedness: $S$ is bounded when there are reals $ℓ, u$ with $ℓ \leq s \leq u$ for every $s \in S$ ; equivalently when there is a real $M \geq 0$ with $∣ s ∣ \leq M$ for every $s \in S$ . So if $S$ is unbounded then for every real $M > 0$ some $s \in S$ has $∣ s ∣ > M$ (Lower bound, bounded below, bounded set, Basic properties of the absolute value, Every nonempty finite set of reals has a maximum and a minimum, Maximum and minimum of a set).

[L3]

Closure: $\overline{E}$ is the set of points every neighbourhood of which meets $E$ , it contains $E$ , and $E$ is closed exactly when $E = \overline{E}$ (The closure equals the set together with its limit points, equals the set of points every neighbourhood of which meets it, and is the smallest closed superset; a set is closed iff it contains its limit points, Interior, closure, boundary and exterior of a subset of $R$ , The $ε$ -neighbourhood and the punctured $ε$ -neighbourhood of a point of $R$ ).

[L4]

Algebra of continuous functions: constants, the identity and polynomial functions are continuous on any subset of $R$ ; sums, scalar multiples, products and absolute values of continuous functions are continuous; and if $q$ is continuous on $S$ and $q (x) \neq 0$ for every $x \in S$ , then $p / q$ is continuous on $S$ (Sums, scalar multiples, products, absolute values, maxima, minima and quotients with nonvanishing denominator of continuous functions are continuous, as are constants, the identity and every polynomial function, Continuity of $f : A \to R$ at a point of $A$ and on $A$ : the $ε$ - $δ$ condition, its agreement with $\lim_{x \to c} f (x) = f (c)$ at a limit point, and continuity at an isolated point, Integer powers $a^{m}$ ).

[L5]

Suprema: a nonempty subset of $R$ bounded above has a least upper bound (Complete ordered field (least-upper-bound property)), and for $u = \sup S$ every real $ε > 0$ admits $s \in S$ with $u - ε < s$ (Epsilon characterisation of the supremum).

[L6]

Archimedean property in reciprocal form, reciprocals, and squares: for every real $η > 0$ there is a natural $n \geq 1$ with $1 / n < η$ ; $0 < s < t$ implies $0 < 1 / t < 1 / s$ ; $0 \leq a < b$ implies $a^{2} < b^{2}$ ; and $t \geq 1$ implies $t^{2} \geq t$ (For every $ε > 0$ in a complete ordered field there is a natural $n \geq 1$ with $1 / n < ε$ , Every complete ordered field is Archimedean, Inverses of positives are positive, and reciprocation reverses order, Monotonicity of $x \mapsto x^{n}$ and of $n \mapsto a^{n}$ , Integer powers $a^{m}$ ).

[L7]

Uniform continuity requires one positive $δ$ for all pairs at each positive $ε$ (Uniform continuity of $f : A \to R$ : one $δ$ serving every pair of points of $A$ ). The triangle inequality gives $∣ u - v ∣ \geq ∣ u ∣ - ∣ v ∣$ by applying it to $u = (u - v) + v$ (The triangle inequality).

[L8]

Ordered-field arithmetic in $R$ : totality and trichotomy; $∣ u ∣ > 0$ exactly when $u \neq 0$ ; $1 + t^{2} \geq 1 > 0$ for every real $t$ ; and the minimum of a two-element set of reals (Ordered field, Basic properties of the absolute value, Every nonempty finite set of reals has a maximum and a minimum, Maximum and minimum of a set, Intervals of $R$ : the nine order-convex forms, nondegeneracy, and length).

Proof

technique · constructive

1.1

By [L1] the set $E$ is not closed or not bounded, and these two possibilities are exhaustive: if $E$ is bounded then it is not closed. The two cases below are treated separately, and claim 3 arises only in the second.

1.2

First case: $E$ is unbounded. Claim 1. Put $f (x) : = x$ , continuous on $E$ by [L4]. Given a real $M > 0$ , [L2] supplies $x \in E$ with $∣ x ∣ > M$ , that is $∣ f (x) ∣ > M$ ; so $f$ is unbounded on $E$ .

L2L4construct

1.3

First case, claim 2. Put $g (x) : = - 1 / (1 + x^{2})$ . The denominator is a polynomial function, continuous by [L4], and satisfies $1 + x^{2} \geq 1 > 0$ by [L8], so $g$ is continuous on $E$ by [L4]; moreover $0 < 1 / (1 + x^{2}) \leq 1$ , so $- 1 \leq g (x) < 0$ for every $x \in E$ and $g$ is bounded. Hence $g [E]$ is nonempty and bounded above by $0$ , so $u : = \sup g [E]$ exists by [L5] and $u \leq 0$ .

L4L5L8construct

2.1

First case: the supremum is $0$ and is not attained. Let a real $ε > 0$ be given and put $M : = \max {1, 1 / ε} \geq 1$ . By [L2] there is $x \in E$ with $∣ x ∣ > M$ , so $x^{2} > M^{2} \geq M \geq 1 / ε$ by [L6] and [L8], hence $1 + x^{2} > 1 / ε > 0$ and $1 / (1 + x^{2}) < ε$ by [L6], that is $g (x) > - ε$ . So no real below $0$ is an upper bound of $g [E]$ , and $0$ is one; therefore $u = 0$ . Since $g (x) < 0$ for every $x \in E$ by step 1.3, the value $0$ is not attained, and for each $x \in E$ the number $ε : = - g (x) > 0$ produces by [L5] some $x^{'} \in E$ with $g (x^{'}) > - ε = g (x)$ , so $g$ has no greatest value.

step 1.3L2L5L6L8

2.2

Second case: $E$ is bounded, hence not closed. By [L3] we have $E \subseteq \overline{E}$ and $E \neq \overline{E}$ , so there is $x_{0} \in \overline{E} ∖ E$ . Every neighbourhood of $x_{0}$ meets $E$ by [L3]; and $x - x_{0} \neq 0$ for every $x \in E$ , since $x_{0} \notin E$ , so $∣ x - x_{0} ∣ > 0$ there by [L8].

step 1.1L3L8choose

3.1

Second case, claim 1. Put $f (x) : = 1 / (x - x_{0})$ for $x \in E$ . The denominator is a polynomial function, continuous by [L4], and does not vanish on $E$ by step 2.2, so $f$ is continuous on $E$ by [L4]. Given a real $M > 0$ , step 2.2 supplies $x \in E$ with $∣ x - x_{0} ∣ < 1 / M$ , and $∣ x - x_{0} ∣ > 0$ , so $∣ f (x) ∣ = 1 / ∣ x - x_{0} ∣ > M$ by [L6]. Hence $f$ is unbounded on $E$ .

step 2.2L4L6construct

3.2

Second case, claim 2. Put $g (x) : = - ∣ x - x_{0} ∣$ for $x \in E$ , continuous on $E$ by [L4]. Since $E$ is bounded, [L2] gives a real $M \geq 0$ with $∣ x ∣ \leq M$ on $E$ , so $∣ x - x_{0} ∣ \leq M + ∣ x_{0} ∣$ and $- (M + ∣ x_{0} ∣) \leq g (x) < 0$ for every $x \in E$ : $g$ is bounded, and $g [E]$ is nonempty and bounded above by $0$ . For a real $ε > 0$ , step 2.2 supplies $x \in E$ with $∣ x - x_{0} ∣ < ε$ , that is $g (x) > - ε$ ; so $\sup g [E] = 0$ by [L5], and it is not attained because $g (x) < 0$ everywhere on $E$ . As in step 2.1, $g$ therefore has no greatest value on $E$ .

step 2.1step 2.2L2L4L5L8construct

4.1

Second case, claim 3. Put $h : = f$ of step 3.1, continuous on $E$ . Fix any $δ > 0$ . By step 2.2 choose $y \in E$ with $∣ y - x_{0} ∣ < δ / 2$ , and then choose $x \in E$ with $∣ x - x_{0} ∣ < \min {δ / 2, 1 / (∣ h (y) ∣ + 2)}$ . These are two finite selections. The triangle inequality gives $∣ x - y ∣ < δ$ , while $∣ h (x) ∣ = 1 / ∣ x - x_{0} ∣ > ∣ h (y) ∣ + 2$ . Hence $∣ h (x) - h (y) ∣ \geq ∣ h (x) ∣ - ∣ h (y) ∣ > 2$ . Thus every positive $δ$ fails the uniform-continuity condition for $ε = 1$ , proving claim 3.

step 2.2step 3.1L6L7L8

5.1

The two cases of step 1.1 are exhaustive, and in each of them claims 1 and 2 have been established by exhibiting the functions named, while claim 3, whose hypothesis places $E$ in the second case, is step 4.1.

step 1.2step 1.3step 2.1step 3.1step 3.2step 4.1discharge-construct: the four witnesses x and -1/(1+x^2) and 1/(x-x_0) and -|x-x_0|∎

Remarks

The bounded non-closed case is where all three failures happen at once. There $x_{0} \in \overline{E} ∖ E$ is a hole in the domain, and $1 / (x - x_{0})$ blows up at it: it is unbounded, it is not uniformly continuous, and $- ∣ x - x_{0} ∣$ approaches its supremum $0$ without reaching it. The unbounded case needs a different witness for claim 2, because $- ∣ x - x_{0} ∣$ need not be bounded there, and $- 1 / (1 + x^{2})$ is the standard substitute.
Claim 3 uses only two nearby points for each proposed radius. Adherence supplies each point in turn, and the reciprocal estimate separates their function values. This finite selection argument requires no Axiom of Choice.
What "not attained" means here, precisely. The supremum of $g [E]$ exists as a real number and equals $0$ , and no point of $E$ has $g$ -value $0$ . That is stronger than saying $g$ has no maximum: it identifies the value the function fails to reach. The companion page works both witnesses out concretely in The identity on $(0, 1)$ is bounded with no greatest value, and on $[0, \infty)$ it is continuous and unbounded ↗.

Depends on

Used by

The identity on (0,1) is bounded with no greatest value, and on [0,∞) it is continuous and unbounded Counterexample
FALSE: a continuous real function on a bounded domain attains a greatest value False statement

Dependency tree · two levels

69 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

W. Rudin, Principles of Mathematical Analysis, 3rd ed., Ch. 4 (Thm 4.20) (standard reference, not scraped)
Extreme value theorem (Wikipedia) (standard reference, not scraped)
Uniform continuity (Wikipedia) (standard reference, not scraped)
W. Rudin, Principles of Mathematical Analysis (standard reference, not scraped)

Rudin 4.20, the sharp converse: on a noncompact E⊆RE⊆R there is an unbounded continuous function and a bounded continuous function with no greatest value, and if EE is bounded there is a continuous function on EE that is not uniformly continuous