How could we show that D is bounded and closed?

  • Context: MHB 
  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Bounded Closed
Click For Summary
SUMMARY

The discussion centers on proving that a non-empty set \( D \subseteq \mathbb{R} \) is compact if and only if every continuous function defined on \( D \) is bounded. The participants establish that if \( D \) is compact, then the image \( f(D) \) of any continuous function \( f \) is also compact, thus bounded. Conversely, if every continuous function on \( D \) is bounded, they demonstrate that \( D \) must be closed by constructing an unbounded function \( f(x) = \frac{1}{x-b} \) for a boundary point \( b \notin D \), leading to a contradiction. Ultimately, they conclude that \( D \) is both closed and bounded, confirming its compactness.

PREREQUISITES
  • Understanding of compact sets in topology
  • Knowledge of continuous functions and their properties
  • Familiarity with the concept of boundedness in real analysis
  • Basic principles of limits and convergence in calculus
NEXT STEPS
  • Study the Heine-Borel theorem regarding compactness in \( \mathbb{R}^n \)
  • Explore the properties of continuous functions and their implications on compact sets
  • Learn about boundary points and their significance in topology
  • Investigate examples of unbounded functions and their behavior near boundary points
USEFUL FOR

Mathematicians, students of real analysis, and anyone interested in the properties of compact sets and continuous functions in topology.

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)
 

Similar threads

  • · Replies 32 ·
2
Replies
32
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
2
Views
2K
Replies
3
Views
2K
Replies
8
Views
2K