Totally bounded set: Difference between revisions
Jump to navigation
Jump to search
imported>Hendra I. Nurdin m (typos) |
imported>Hendra I. Nurdin m (updated link) |
||
| Line 2: | Line 2: | ||
==Formal definition== | ==Formal definition== | ||
Let ''X'' be a metric space. A set <math>A \subset X</math> is totally bounded if for any radius ''r>0'' the exist a finite number ''n(r)'' (that depends on the value of ''r'') of [[metric space|open balls]] <math>B_r(x_1),\ldots,B_r(x_{n(r)})</math>, with <math>x_1,\ldots,x_{n(r)} \in X</math>, such that <math>A \subset \cup_{k=1}^{n(r)}B_r(x_{k})</math>. | Let ''X'' be a metric space. A set <math>A \subset X</math> is totally bounded if for any radius ''r>0'' the exist a finite number ''n(r)'' (that depends on the value of ''r'') of [[metric space#Metric topology|open balls]] <math>B_r(x_1),\ldots,B_r(x_{n(r)})</math>, with <math>x_1,\ldots,x_{n(r)} \in X</math>, such that <math>A \subset \cup_{k=1}^{n(r)}B_r(x_{k})</math>. | ||
==See also== | ==See also== | ||
Revision as of 06:33, 26 September 2007
In mathematics, a totally bounded set is any subset of a metric space with the property that for any positive radius r>0 it is contained in some union of a finite number of "open balls" of radius r. In a finite dimensional normed space, such as the Euclidean spaces, total boundedness is equivalent to boundedness.
Formal definition
Let X be a metric space. A set is totally bounded if for any radius r>0 the exist a finite number n(r) (that depends on the value of r) of open balls , with , such that .
