Bounded set: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Subpagination Bot
m (Add {{subpages}} and remove any categories (details))
imported>Jitse Niesen
(add some theorems about bounded sets)
Line 4: Line 4:


==Formal definition==
==Formal definition==
Let ''X'' be a normed space with the [[norm (mathematics)|norm]] <math>\|\cdot\|</math>. Then a set <math>A \subset X</math> is bounded if there exists a real number ''M>0'' such that <math>\|x\|\leq M</math> for all <math>x \in A</math>.
 
Let ''X'' be a normed space with the [[norm (mathematics)|norm]] <math>\|\cdot\|</math>. Then a set <math>A \subset X</math> is bounded if there exists a real number ''M'' > 0 such that <math>\|x\|\leq M</math> for all <math>x \in A</math>.
 
==Theorems about bounded sets==
 
Every bounded set of [[real number]]s has a [[supremum]] and an [[infimum]]. It follows that a monotonic [[sequence (mathematics)|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]]).
 
The [[Heine–Borel theorem]] states that a subset of the [[Euclidean space]] '''R'''<sup>''n''</sup> is [[compact set|compact]] if and only if it is [[closed set|closed]] and bounded.

Revision as of 13:50, 26 July 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 subsequence that 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.