Is the Completeness of R^m in Pugh's Analysis Proof Circular?

  • Thread starter Thread starter mateomy
  • Start date Start date
Click For Summary
SUMMARY

Pugh's Real Mathematical Analysis asserts that R^m is complete, which is derived from the completeness of R. The proof involves showing that a Cauchy sequence in R^m can be expressed in component form, where each component is a Cauchy sequence in R. The completeness of R guarantees the convergence of these component sequences, leading to the convergence of the vector sequence. The discussion highlights concerns about potential circular reasoning in the proof, specifically regarding the reliance on the completeness of R to establish the completeness of R^m.

PREREQUISITES
  • Understanding of Cauchy sequences
  • Familiarity with the concept of completeness in metric spaces
  • Knowledge of vector spaces, specifically R^m
  • Basic grasp of mathematical proofs and logical reasoning
NEXT STEPS
  • Study the properties of Cauchy sequences in metric spaces
  • Explore the concept of completeness in various types of spaces, including Banach spaces
  • Review the structure and properties of m-dimensional real vector spaces
  • Investigate common pitfalls in mathematical proofs, particularly in analysis
USEFUL FOR

Mathematics students, particularly those studying real analysis, educators teaching advanced calculus, and anyone interested in the foundational aspects of metric spaces and vector analysis.

mateomy
Messages
305
Reaction score
0
I'm reading through Pugh's Real Mathematical Analysis and one of the theorems he puts down states that "R^m is complete". I assume the superscript refers to it being metric as that's what he's talking about right before this theorem. Anyway, the proof seems -to me- circular. I was hoping someone could show me why it isn't or perhaps that I'm expecting too much.

It says:

let p be a Cauchy sequence in R^m. express p in component form p={p1,p2,p3,...pmn}. Because p is Cauchy, each component sequence is Cauchy. Completeness of R implies that the component sequences converge, and therefore the vector sequence converges.


I dunno, but for some reason, and I've read it over 20+ times, that seems like circular reasoning.

(Sorry for being to lazy to post in Latex format)
 
Physics news on Phys.org
I think [itex]\mathbb R^m[/itex] refers to an m-dimensional real vector space. If so then he's proving the m-dimensional space to be complete using the fact that the 1-dimensional real line is complete.
 
Ah, you pointing that out and me re-reading the proof makes it more clear. Thank you.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 14 ·
Replies
14
Views
5K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
11K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K