Bounded set: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard Pinch
imported>Richard Pinch
(→‎Theorems about bounded sets: expanded statement of BW slightly)
 
Line 9: Line 9:
==Theorems about bounded sets==
==Theorems about bounded sets==


Every bounded set of [[real number]]s has a [[supremum]] and an [[infimum]]. It follows that a [[monotonic sequence]] of real numbers that is bounded has a [[limit of a sequence|limit]]. A bounded sequence that is not monotonic does not necessarily have a limit, but it has a [[subsequence]] that does have a limit (this is the [[Bolzano–Weierstrass theorem]]).
Every bounded set of [[real number]]s has a [[supremum]] and an [[infimum]]. It follows that a [[monotonic sequence]] of real numbers that is bounded has a [[limit of a sequence|limit]]. A bounded sequence that is not monotonic does not necessarily have a limit, but it has a [[monotonic sequence|monotonic]] [[subsequence]], and this does have a limit (this is the [[Bolzano–Weierstrass theorem]]).


The [[Heine–Borel theorem]] states that a subset of the [[Euclidean space]] '''R'''<sup>''n''</sup> is [[compact space|compact]] if and only if it is [[closed set|closed]] and bounded.
The [[Heine–Borel theorem]] states that a subset of the [[Euclidean space]] '''R'''<sup>''n''</sup> is [[compact space|compact]] if and only if it is [[closed set|closed]] and bounded.

Latest revision as of 05:37, 29 December 2008

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In mathematics, a bounded set is any subset of a normed space whose elements all have norms which are bounded from above by a fixed positive real constant. In other words, all its elements are uniformly bounded in magnitude.

Formal definition

Let X be a normed space with the norm . Then a set is bounded if there exists a real number M > 0 such that for all .

Theorems about bounded sets

Every bounded set of real numbers has a supremum and an infimum. It follows that a monotonic sequence of real numbers that is bounded has a limit. A bounded sequence that is not monotonic does not necessarily have a limit, but it has a monotonic subsequence, and this does have a limit (this is the Bolzano–Weierstrass theorem).

The Heine–Borel theorem states that a subset of the Euclidean space Rn is compact if and only if it is closed and bounded.