Completeness of R2 with Taxicab Norm

Click For Summary
SUMMARY

The discussion confirms that R² is complete under the taxicab norm, given that R is complete. The proof utilizes Cauchy sequences, demonstrating that for any ε > 0, appropriate choices of Nx and Ny ensure that the distance between the sequences converges to the limit in R². The key inequality derived shows that the taxicab distance d((x_n, y_n), (x, y)) is less than ε, thereby establishing the completeness of R².

PREREQUISITES
  • Understanding of Cauchy sequences in metric spaces
  • Familiarity with the concept of completeness in real analysis
  • Knowledge of the taxicab norm and its properties
  • Basic proficiency in limits and convergence of sequences
NEXT STEPS
  • Study the properties of Cauchy sequences in different norms
  • Explore the implications of completeness in various metric spaces
  • Learn about the taxicab norm compared to other norms like the Euclidean norm
  • Investigate examples of complete and incomplete metric spaces
USEFUL FOR

Mathematics students, particularly those studying real analysis, as well as educators and researchers interested in metric spaces and their properties.

gtfitzpatrick
Messages
372
Reaction score
0

Homework Statement



Given R is complete, prove that R2 is complete with the taxicab norm

The Attempt at a Solution



you know that ,xk \rightarrow x , yk \rightarrow y

Then, given \epsilon, choose Nx and Ny so that \left|x_n - x_m\left| and \left|y_n - y_m\left| are less than \epsilon/2 respectively, whenever m,n \geq N = \left|N_x\left|+\left|N_y\left|.

Then d((\ x_n,y_n),(\ x_m,y_m)) = \sqrt{(x_n - x_m)^2 + (y_n - y_m)^2} \leq \sqrt{(\epsilon^2 /4) + (\epsilon^2 /4)} = \epsilon/2 < \epsilon

i've modified an answer from another question here, i think this work but I am not sure...
 
Physics news on Phys.org


Let x_n,y_n be Cauchy sequences in R, then you know they have limits, x,y, elements of R.

Given epsilon>0, choose Nx such that |x_n-x|&lt;\varepsilon/2 for all n>Nx, and choose Ny the same way. Then let N=max(Nx,Ny).

Then for n>N, you have:
d((x_n,y_n),(x,y))=|x_n-x|+|y_n-y|&lt;\varepsilon.
(Remember it specified the taxicab norm, not Euclidean!)

Now you know that (x_n,y_n) converges to (x,y), and that (x,y) is actually in R2. So R2 is complete.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 28 ·
Replies
28
Views
3K
Replies
9
Views
3K
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K