Math 2.0

statement theorem

Intermediate value theorem for connected spaces

Statement

Let XX be a connected space, let f ⁣:X→Rf \colon X \to \mathbb{R} be continuous, and let a,b∈Xa, b \in X. Then for each real cc between f(a)f(a) and f(b)f(b) there is x∈Xx \in X with f(x)=cf(x) = c.

Remarks

Proof: f(X)f(X) is connected, by continuous image of a connected set is connected. Thus it is an interval, by connected subsets of the real line are intervals, and it contains cc. For X=[a,b]X = [a, b], this is the intermediate value theorem of calculus: a continuous f ⁣:[a,b]→Rf \colon [a, b] \to \mathbb{R} takes each value between f(a)f(a) and f(b)f(b). For example, each polynomial of odd degree with real coefficients has a real root.

Explanations

L1 human

A continuous real function on a connected space cannot jump over a value. To get from f(a)f(a) to f(b)f(b), it passes through all values in between.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

Sources

  1. Web https://en.wikipedia.org/wiki/Intermediate_value_theorem, General metric and topological spaces
  2. Web https://en.wikipedia.org/wiki/Intermediate_value_theorem, Theorem