MHB How could we show that D is bounded and closed?

  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Bounded Closed
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

Let $D\subseteq \mathbb{R}$ be a non-empty set. I want to show that $D$ ist compact if and only if each continuous function is bounded on $D$.

I have done the following:

We suppose that $D$ is compact. Since $f$ is continuous, we have that $f(D)$ is also compact, right? (Wondering)
We have that a set is compact iff it is bounded and closed.
Therefore, we have that $f(D)$ is bounded, and so $f$ is bounded on $D$.

Let $f$ be a continuous function that is bounded on $D$.
Since $f$ is bounded on $D$, we have that $f(D)$ is bounded.
To show that $D$ is compact we have to show that $D$ is bounded and closed.
Could you give me a hint how we could show that? (Wondering)
 
Physics news on Phys.org
mathmari said:
Hey! :o

Let $D\subseteq \mathbb{R}$ be a non-empty set. I want to show that $D$ ist compact if and only if each continuous function is bounded on $D$.

I have done the following:

We suppose that $D$ is compact. Since $f$ is continuous, we have that $f(D)$ is also compact, right? (Wondering)
We have that a set is compact iff it is bounded and closed.
Therefore, we have that $f(D)$ is bounded, and so $f$ is bounded on $D$.

Let $f$ be a continuous function that is bounded on $D$.
Since $f$ is bounded on $D$, we have that $f(D)$ is bounded.
To show that $D$ is compact we have to show that $D$ is bounded and closed.
Could you give me a hint how we could show that? (Wondering)

Suppose that each continuous function on $D$ is bounded.

We argue that $D$ is closed. Suppose not. Then there is a point $b\notin D$ such that $b$ is in the boundary of $D$. Define $f: D\to \mathbf R$ as $f(x)=1/(x-b)$. Then $f$ is an unbounded continuous function on $D$. This is a contradiction.

Now since the map $g: D\to \mathbf R$ defined as $g(x)=x$ for all $x\in D$ is bounded, we infer that $D$ is bounded.

Therefore $D$ is closed and bounded, and thus compact.
 
caffeinemachine said:
Then there is a point $b\notin D$ such that $b$ is in the boundary of $D$. Define $f: D\to \mathbf R$ as $f(x)=1/(x-b)$. Then $f$ is an unbounded continuous function on $D$. This is a contradiction.

Why is $f$ unbounded? (Wondering)

Do we apply $f$ at $x_n$, and since $x_n\rightarrow b$, $x_n$ is arbitrarily close to $b$, therefore $x_n-b$ is arbitrarily close to $0$, and so $f(x)$ goes to infinity?
 
Last edited by a moderator:
mathmari said:
Why is $f$ unbounded? (Wondering)

Do we apply $f$ at $x_n$, and since $x_n\rightarrow b$, $x_n$ is arbitrarily close to $b$, therefore $x_n-b$ is arbitrarily close to $0$, and so $f(x)$ goes to infinity?
That is correct.
 
caffeinemachine said:
That is correct.

Thank you! (Yes)
 
Back
Top