Bounded set

Notes

---

TODO: Surely this can be generalised to an arbitrary Metric space

---

Of $\mathbb{R}^n$

Given a set $A\subseteq\mathbb{R}^n$ we say $A$ is bounded if:

• $\exists K\in\mathbb{R}$ such that $\forall x\in A$ (where $x=(x_1,\cdots,x_n)$) we have $\vert x_i\vert\le K$ for $i\in\{1,\cdots,n\}$

Immediate results

[Expand]

(Real line) $A\subseteq[-K,K]\subset\mathbb{R}$ (where $K> 0$ and $[-K,K]$ denotes a closed interval) if and only if $A$ is bounded.

---

This follows right from the definitions, the $K$ is the bound.

Proof: $\implies$

If such a $K$ exists then it is the bound. We are done.

Proof: $\impliedby$

If it is bounded then it is easy to see that given a bound $K$, $A\subseteq[-K,K]$ (use the implies-subset relation)

Note: stipuates the $A\subseteq[-K,K]\implies$ bounded direction only.

[Expand]

(Real line) Every closed interval ($[a,b]$ for $a,b\in\mathbb{R}$ and $a\le b$) is bounded.

---

Choose $K=\text{Max}(\vert a\vert,\vert b\vert)$ - result follows

See also

• Topological property theorems