Proof about dense set and continuous function

Click For Summary
SUMMARY

The discussion centers on the proof that if a continuous function f satisfies f(x) = 0 for all x in a dense set A, then f(x) = 0 for all x in its domain. The proof utilizes the definition of a dense set, stating that every open interval contains a point of A, and applies the limit definition of continuity. The contradiction arises when assuming f(a) > 0, leading to the conclusion that f(x) must equal zero everywhere. Additionally, it is noted that specifying the domain and codomain of f, particularly f: ℝ → ℝ, is essential for clarity.

PREREQUISITES
  • Understanding of continuous functions and their properties
  • Knowledge of dense sets in real analysis
  • Familiarity with limit definitions in calculus
  • Basic set theory concepts
NEXT STEPS
  • Study the properties of continuous functions in real analysis
  • Explore the concept of dense sets and their implications in topology
  • Learn about the formal definitions of limits and continuity
  • Investigate examples of functions with specified domains and codomains
USEFUL FOR

Mathematics students, particularly those studying real analysis, and educators looking to enhance their understanding of continuity and dense sets in function theory.

R_beta.v3
Messages
13
Reaction score
0

Homework Statement



If f is continuous, and f(x) = 0 for all x in A, where A is a dense set. Then f(x) = 0 for all x.

I am using the following definitions:
A set of real numbers A is dense if every open interval contains a point of A.
And the limit definition for a continuous function.

Homework Equations





The Attempt at a Solution



Suppose there is an a such that f(a) > 0, then since f is continuous, there is an δ > 0, such that, for all x,
if |x - a| < δ, then |f(x) - f(a)| < f(a). So f(x) > 0 for all x in (-δ + a, δ + a).
But since (-δ + a, δ + a) is an open interval it contains a point of A call it z, but that is impossible, because then f(z) = 0 (By hypothesis), and f(z) > 0 because f(x) > 0 for all x in (-δ + a, δ + a). Assuming there is an a such that f(a) > 0 leads to a contradiction.

I did basically the same to show that there are no x with f(x) < 0.
Therefore f(x) = 0 for all x.

Am I correct?

Also, hello.
 
Physics news on Phys.org
That would be correct.

As a matter of correctness though, you should really mention somewhere what the codomain and domain of f are. I assume here that you're working with [itex]f:\mathbb{R}\rightarrow \mathbb{R}[/itex].
 

Similar threads

Replies
30
Views
3K
Replies
8
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
4
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K