Does Compactness Ensure a Positive Minimum for Continuous Functions?

  • Context: MHB 
  • Thread starter Thread starter kalvin
  • Start date Start date
  • Tags Tags
    Continuity
Click For Summary
SUMMARY

The discussion centers on the relationship between compactness and the existence of a positive minimum for continuous functions defined on compact sets. It is established that if $K \subset \mathbb{R^n}$ is compact and $f: K \rightarrow \mathbb{R}$ is continuous with $f(x) > 0$ for all $x \in K$, then there exists a constant $c > 0$ such that $f(x) \geq c$ for all $x \in K$. This conclusion is supported by the Extreme Value Theorem, which guarantees the existence of minimum and maximum values within compact sets.

PREREQUISITES
  • Understanding of the Extreme Value Theorem in real analysis
  • Knowledge of compact sets in topology
  • Familiarity with continuous functions and their properties
  • Basic concepts of mathematical proofs and inequalities
NEXT STEPS
  • Study the implications of the Extreme Value Theorem in various contexts
  • Explore the properties of compact sets in different dimensions
  • Learn about continuous functions and their applications in real analysis
  • Investigate other theorems related to compactness and continuity, such as the Heine-Borel Theorem
USEFUL FOR

Mathematics students, particularly those studying real analysis, as well as educators and researchers interested in the properties of continuous functions and compact sets.

kalvin
Messages
4
Reaction score
0
Let $K \subset \mathbb{R^n}$ be compact and let $f: K \rightarrow \mathbb{R}$ be continuous. Suppose that $f(x) > 0$ $\forall x \in S.$ Prove there is a $c > 0$ such that $f(x) \geq c$ $\forall x \in K$

My Sol:

I said that by the extreme value theorem $\exists a,b \in K $ such that $f(a) \leq f(x) \leq f(b) \forall x\in K$ so if we let $c=f(a) $ then $c> 0$ and $f(x) \geq c$ a number c > 0 such that f(x) ≥ c for every x ∈ K
 
Physics news on Phys.org
Hi kalvin,

Assuming $S = K$, your solution is correct.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 38 ·
2
Replies
38
Views
5K
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 0 ·
Replies
0
Views
2K