Proof of Bolzano-Weierstrass theorem using Axiom of Completeness.

  • Context: Graduate 
  • Thread starter Thread starter kindlychung
  • Start date Start date
  • Tags Tags
    Axiom Proof Theorem
Click For Summary

SUMMARY

The discussion focuses on the proof of the Bolzano-Weierstrass theorem utilizing the Axiom of Completeness. Participants analyze the sequence defined by a_n = (-1)^n/n, illustrating its convergence behavior. The set S is identified as containing all x ≤ 0, while x > 0 is excluded, highlighting the theorem's implications regarding bounded sequences in real analysis.

PREREQUISITES

  • Understanding of the Bolzano-Weierstrass theorem
  • Familiarity with the Axiom of Completeness in real analysis
  • Knowledge of sequences and their convergence
  • Basic graphing skills to visualize sequences

NEXT STEPS

  • Study the implications of the Axiom of Completeness on real numbers
  • Explore examples of bounded sequences and their limits
  • Learn about the applications of the Bolzano-Weierstrass theorem in functional analysis
  • Investigate graphical methods for analyzing convergence of sequences

USEFUL FOR

Mathematics students, educators, and researchers interested in real analysis, particularly those studying convergence and the properties of bounded sequences.

kindlychung
Messages
10
Reaction score
0
This is an analysis exercise, I don't get the definition of S. Could anyone explain, please?
See the attached pic.
 

Attachments

  • 2010-09-26-234324_776x170_scrot.png
    2010-09-26-234324_776x170_scrot.png
    13.5 KB · Views: 870
Physics news on Phys.org
It might help you to look at an example. Let an = (-1)n/n. Plot a few of these: -1, 1/2, -1/3, 1/4, ...

Now what x would be in your set S? Can you see any x ≤ 0 is in S but any x > 0 isn't?
 

Similar threads

Graduate Question about the Bolzano Weierstrass analogue in Hilbert spaces
  • · Replies 2 ·
Replies
2
Views
3K
Graduate Question about proof of Great Picard Theorem
  • · Replies 3 ·
Replies
3
Views
4K
Undergrad Deductive proof in logic formal systems
  • · Replies 4 ·
Replies
4
Views
2K
Positive derivative implies growing function using Bolzano-Weierstrass
  • · Replies 14 ·
Replies
14
Views
2K
Graduate Question about Bolzano-Weierstrass Theorem Proof
  • · Replies 8 ·
Replies
8
Views
5K
Graduate What is the Importance of Rolle's Theorem?
  • · Replies 1 ·
Replies
1
Views
4K
Proving well ordering principle from Peano Axioms
  • · Replies 9 ·
Replies
9
Views
2K
Undergrad Proofs of Stokes Theorem without Differential Forms
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad A Zorich proposition about local charts of smooth surfaces
  • · Replies 2 ·
Replies
2
Views
2K
Is mathematics invented or discovered?
  • · Replies 64 ·
3
Replies
64
Views
5K