Bolzano–Weierstrass theorem

Bolzano–Weierstrass theorem

In real analysis, the Bolzano–Weierstrass theorem is a fundamental result about convergence in a finite-dimensional Euclidean space R^n. The theorem states that each bounded sequence in R^n has a convergent subsequence. An equivalent formulation is that a subset of R^n is sequentially compact if and only if it is closed and bounded.

Proof

First we prove the theorem in the case of n = 1, in which case the ordering on R can be put to good use. Indeed we have the following result.

Rising Sun Lemma: Every sequence {x_n} in R has a monotone subsequence.

Proof: Let us call a positive integer "n" a peak of the sequence if m > n implies x_n > x_m, i.e., if x_n is greater than every subsequent term in the sequence. Suppose first that the sequence has infinitely many peaks. Then the subsequence of peaks is strictly decreasing, and we are done. So suppose now that there are only finitely many peaks, and let "N" be the last peak. By definition, this means that there is n_1 > N with x_{n_1} < x_N. Since n_1 > N, n_1 is not a peak, which, as above, implies the existence of an n_2 > n_1 with x_{n_2} geq x_{n_1}. Repeating this process leads to an infinite subsequence x_{n_1} leq x_{n_2} leq ldots, qed.

Now suppose we have a bounded sequence in R; by the Rising Sun Lemma there exists a monotone subsequence, necessarily bounded. But it is immediate from the completeness of the real numbers that any bounded nondecreasing (respectively, nonincreasing) sequence converges to its least upper bound (respectively, greatest lower bound).

Finally, the general case can be easily reduced to the case of n=1 as follows: given a bounded subsequence in R^n, the sequence of first coordinates is a bounded real sequence, hence has a convergent subsequence. We can then extract a subsubsequence on which the second coordinates converge, and so on, until in the end we have passed from the original sequence to a subsequence "n" times -- which is still a subsequence of the original sequence -- on which each coordinate sequence converges, hence the subsequence itself is convergent.

Sequential compactness in Euclidean spaces

Suppose "A" is a subset of R^n with the property that every sequence in "A" has a subsequence converging to an element of "A". Then "A" must be bounded, since otherwise there exists a in A and a sequence x_n in "A" with ||x_n-a|| geq n for all "n", and then every subsequence is unbounded and therefore not convergent. Moreover "A" must be closed, since from a noninterior point "x" in the complement of "A" one can build an "A"-valued sequence converging to "x". Thus the subsets "A" of R^n for which every sequence in "A" has a subsequence convering to an element of "A" -- i.e., the subsets which are sequentially compact in the subspace topology -- are precisely the closed and bounded sets.

This form of the theorem makes especially clear the analogy to the Heine-Borel Theorem, which asserts that a subset of R^n is compact if and only if it is closed and bounded. In fact a metrizable space is compact if and only if it is sequentially compact, so that the Bolzano-Weierstrass and Heine-Borel theorems are essentially the same. However this result about metrizable spaces is somewhat more difficult to prove than either Bolzano-Weierstass or Heine-Borel.

History

The Bolzano–Weierstrass theorem is named after mathematicians Bernard Bolzano and Karl Weierstrass. It was actually first proved by Bolzano, but this proof was lost. It was re-proven by Weierstrass and became an important centerpiece of analysis. Later, it was discovered that Bolzano had in fact proved the theorem long before Weierstrass, hence the current name.

Application to economics

There are different important equilibrium concepts in economics, the proofs of the existence of which often require variations of the Bolzano-Weierstrass theorem. One example is the existence of a Pareto efficient allocation. An allocation is a matrix of consumption bundles for agents in an economy, and an allocation is pareto efficient if no change can be made to it which makes no agent worse off and at least one agent better off (here rows of the allocation matrix must be rankable by a preference relation). The Bolzano-Weierstrass theorem allows one to prove that if the set of allocations is compact and non-empty, then the system has a Pareto efficient allocation.

ee also

*Sequentially compact space
*Heine-Borel theorem

References

# Fitzpatrick, Patrick M. (2006) Advanced Calculus (2nd ed.). Belmont, CA: Thompson Brooks/Cole. ISBN 0-534-37603-7.

External links

* [http://www.cool-rr.com/bw.htm A proof of Bolzano–Weierstrass Theorem]
* [http://planetmath.org/?op=getobj&from=objects&id=2129 PlanetMath: proof of Bolzano–Weierstrass Theorem]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Bolzano-Weierstrass theorem — /bohl zah noh vuy euhr shtrahs , strahs , bohlt sah /, Math. the theorem that every bounded set with an infinite number of elements contains at least one accumulation point. [named after B. BOLZANO and K. Weierstrass (1815 97), German… …   Universalium

  • Bolzano-Weierstrass theorem — /bohl zah noh vuy euhr shtrahs , strahs , bohlt sah /, Math. the theorem that every bounded set with an infinite number of elements contains at least one accumulation point. [named after B. BOLZANO and K. Weierstrass (1815 97), German… …   Useful english dictionary

  • Weierstrass theorem — Several theorems are named after Karl Weierstrass. These include: *The Weierstrass approximation theorem, also known as the Stone Weierstrauss theorem *The Bolzano Weierstrass theorem, which ensures compactness of closed and bounded sets in R n… …   Wikipedia

  • Extreme value theorem — This article is about continuous functions in analysis. For statistical theorems about the largest observation in a sequence of random variables, see extreme value theory. A continuous function ƒ(x) on the closed interval [a,b] showing the… …   Wikipedia

  • Karl Weierstrass — Infobox Scientist name = Karl Weierstrass |300px caption = Karl Theodor Wilhelm Weierstrass (Weierstraß) birth date = birth date|1815|10|31|mf=y birth place = Ostenfelde, Westphalia death date = death date and age|1897|2|19|1815|10|31|mf=y death… …   Wikipedia

  • Bernard Bolzano — Bernard (Bernhard) Placidus Johann Nepomuk Bolzano (birth date|1781|10|5|mf=y ndash; December 18, 1848) was a Bohemian mathematician, theologian, philosopher, logician and antimilitarist of German mother tongue.FamilyBolzano was the son of two… …   Wikipedia

  • Weierstrass function — may also refer to the Weierstrass elliptic function ( ) or the Weierstrass sigma, zeta, or eta functions. Plot of Weierstrass Function over the interval [−2, 2]. Like fractals, the function exhibits self similarity: every zoom (red circle)… …   Wikipedia

  • Heine–Borel theorem — In the topology of metric spaces the Heine–Borel theorem, named after Eduard Heine and Émile Borel, states:For a subset S of Euclidean space R n , the following two statements are equivalent: * S is closed and bounded *every open cover of S has a …   Wikipedia

  • Kakutani fixed point theorem — In mathematical analysis, the Kakutani fixed point theorem is a fixed point theorem for set valued functions. It provides sufficient conditions for a set valued function defined on a convex, compact subset of a Euclidean space to have a fixed… …   Wikipedia

  • Arzelà–Ascoli theorem — In mathematics, the Arzelà–Ascoli theorem of functional analysis gives necessary and sufficient conditions to decide whether every subsequence of a given sequence of real valued continuous functions defined on a closed and bounded interval has a… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”