Finding accumulation points of ##S=\{\frac{1}{n}+\frac{1}{m}\}##

  • Thread starter Thread starter mahler1
  • Start date Start date
  • Tags Tags
    Points
Click For Summary
SUMMARY

The accumulation points of the set \( S = \{\frac{1}{n} + \frac{1}{m} \mid n, m \in \mathbb{N}\} \) are definitively identified as the points of the form \( \frac{1}{n} \) and \( 0 \). The proof utilizes the epsilon-delta definition of accumulation points, confirming that for any \( \epsilon > 0 \), there exist elements in \( S \) arbitrarily close to these points. Furthermore, the set \( S \) is determined to be non-compact based on the Heine-Borel theorem, as it is not closed; specifically, \( 0 \) is a limit point of \( S \) but is not contained within \( S \).

PREREQUISITES
  • Understanding of accumulation points in topology
  • Familiarity with the Heine-Borel theorem
  • Knowledge of the epsilon-delta definition of limits
  • Basic concepts of sequences in real analysis
NEXT STEPS
  • Study the Heine-Borel theorem in detail to understand compactness criteria
  • Explore the concept of limit points and their properties in metric spaces
  • Learn about sequences and series in real analysis for deeper insights
  • Investigate examples of closed and bounded sets in \(\mathbb{R}\)
USEFUL FOR

Students of real analysis, mathematicians exploring topology, and educators preparing lessons on compactness and accumulation points will benefit from this discussion.

mahler1
Messages
217
Reaction score
0
Homework Statement .
Let ##S==\{\frac{1}{n}+\frac{1}{m}, n,m \in \mathbb N\}##, find all the accumulation points of ##S## and decide whether ##S## is compact or not. The attempt at a solution.

I've found that the points of the form ##\frac{1}{n}## and ##0## are accumulation points. For the first, given ##ε>0##, take the point ##\frac{1}{n}+\frac{1}{m}## such that ##m>\frac{1}{ε}##.
Then, ##|\frac{1}{n}-(\frac{1}{n}+\frac{1}{m})|=|\frac{1}{m})|<ε##. To prove ##0## is an accumulation point, given ##ε>0##, take ##n: n>\frac{1}{ε} \implies \frac{1}{n}<ε##.

How can I prove that these are the only accumulation points of ##S##?

For compactness, by the Heine Borel theorem, ##S## is compact ##\iff## ##S## is closed and bounded. But ##0 \in \overline S## and clearly ##0## doesn't exist in ##S##, this means ##S## is not closed so ##S## is not compact.
 
Physics news on Phys.org
Without loss of generality, assume m <= n. If a > 0 is an accumulation point, can you find an upper bound on m?
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
9
Views
2K
Replies
3
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
Replies
3
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K