Discussion Overview
The discussion revolves around the proof of the proposition that "every Cauchy sequence in a metric space is bounded." Participants are examining the validity of a specific step in the proof as presented on a wiki page, particularly focusing on the implications of using strict inequalities versus non-strict inequalities in the definition of Cauchy sequences.
Discussion Character
- Technical explanation
- Debate/contested
Main Points Raised
- One participant questions how the proof can take m = N_1 while also requiring m > N_1, suggesting a potential flaw in the argument.
- Another participant agrees that there is an error in the wiki, proposing that the notation should be adjusted from m, n > N to m, n ≥ N to align with the definition of a Cauchy sequence.
- A third participant notes that despite the perceived error, several functional analysis texts present the proof similarly to the wiki, raising the question of who is correct.
- A later reply clarifies that while Cauchy sequences can be defined using either strict or non-strict inequalities, using the strict inequality in the proof necessitates additional considerations, such as introducing another index N_2 > N_1.
Areas of Agreement / Disagreement
Participants express disagreement regarding the correctness of the proof as presented in the wiki, with some asserting it contains an error while others point out that similar proofs appear in established literature. The discussion remains unresolved regarding the implications of these differing definitions.
Contextual Notes
The discussion highlights limitations in the proof's assumptions and the dependency on the definitions of Cauchy sequences, particularly concerning the use of strict versus non-strict inequalities.