1
$\begingroup$

If $E$ iis a compact, nonempty subset of REAL numbers (hence closed), we know that every convergent sequence in $E$ converges in $E$, are there sequences $a_{n}$ and $b_{n}$ in $E$ that converge to $\sup E$ and $\inf E$, respectively?

I would think so since we can just take any collection on points in $E$ that are arbitrary close to $E$, but how would I show this, or is it not true in an arbitrary metric space?

  • 0
    The reason I am $t$a$k$ing this sequence to converge to Sup is because I am trying to prove SupE is in E.2012-04-05

1 Answers 1

2

I think you don't need to talk about compactness or anything. Your question is asking given a bounded subset $S$ of $\Bbb{R}$, is there a sequence of points $a_n$ that live in $S$ that converge to $\sup S$? Note that if $S$ is closed this would force $\sup S \in S$.

By definition of the supremum for all $\epsilon > 0$, there is a point $a \in S$ such that $\sup S - \epsilon < a \leq \sup S.$

In particular if we choose $\epsilon = 1/n$, for every $n \in \Bbb{N}$ we get some ball of radius $1/n$ about $\sup S$. Choose a point $a_n$ in this ball. Then you get a sequence of points $a_n$ that live in $S$ and converge to $\sup S$.

  • 0
    @DejanGovc I have edited that.2012-04-06