Bourbaki

Theorem 2 (Bolzano)

Tag 0BSH, permanent. Cite it as [Bourbaki, Tag 0BSH].

General Topology, chapter IV, § 6. Continuous and semi-continuous real-valued functions

Let ff be a continuous real-valued function defined on a connected space XX. If aa and bb are any two points of XX, and if α\alpha is a real number belonging to the closed interval whose end-points are f(a)f(a) and f(b)f(b), then there is at least one point x∈Xx \in X such that f(x)=αf(x) = \alpha.

For f(X)f(X) is connected (Chapter I, § 11, no. 2, Proposition 4) and is therefore an interval of R‾\overline{\mathbf{R}} (§ 4, no. 2, Proposition 5); hence it contains the closed interval with end-points f(a)f(a) and f(b)f(b).

This theorem is often expressed in the form that a continuous real-valued function on a connected space cannot pass from one value to another without passing through all intermediate values.

This property is by no means characteristic of continuous functions; there are examples of functions defined on a connected space and discontinuous at every point which have this property (Exercise 2).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.