<?xml version="1.0" encoding="UTF-8"?>

<record version="8" id="4826">
 <title>bounded</title>
 <name>BoundedInterval</name>
 <created>2003-10-15 01:04:08</created>
 <modified>2006-05-20 04:48:15</modified>
 <type>Definition</type>
 <creator id="2760" name="yark"/>
 <author id="2760" name="yark"/>
 <author id="3" name="drini"/>
 <author id="3284" name="apmxi"/>
 <classification>
	<category scheme="msc" code="54E35"/>
 </classification>
 <defines>
	<concept>bounded interval</concept>
 </defines>
 <related>
	<object name="EuclideanDistance"/>
	<object name="MetricSpace"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

\newcommand{\Z}{\mathbb{Z}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Q}{\mathbb{Q}}
</preamble>
 <content>\PMlinkescapeword{between}
\PMlinkescapeword{equivalent}

Let $X$ be a subset of $\R$. We say that $X$ is bounded when there exists a real number $M$ such that $|x|&lt;M$ for all $x\in X$. When $X$ is an interval, we speak of a bounded interval.

This can be generalized first to $\R^n$. We say  that $X\subseteq \R^n$ is bounded if there is a real number $M$ such that $\Vert x\Vert&lt;M$ for all $x\in X$ and $\Vert\cdot\Vert$ is the Euclidean distance between $x$ and $y$.

This condition is equivalent to the statement: There is a real number $T$ such that $\Vert x-y\Vert&lt;T$ for all $x,y\in X$.

A further generalization to any metric space $V$ says that $X\subseteq V$ is bounded when there is a real number $M$ such that $d(x,y)&lt;M$ for all $x,y\in X$, where $d$ is the metric on $V$.</content>
</record>
