Is This Approach Valid for Proving the Discrete Metric in a Metric Space?

Click For Summary
SUMMARY

The discussion centers on proving the validity of the discrete metric in a metric space, specifically defined as ##d(x,y)=0## if and only if ##x=y## and ##d(x,y)=1## if and only if ##x\neq y##. The proof demonstrates that for all points ##x, y, z## in the metric space, the triangle inequality ##d(x,y) \leq d(x,z) + d(z,y)## holds true. The approach taken is confirmed as valid by considering all possible cases of the distances involved, ensuring the proof is comprehensive and accurate.

PREREQUISITES
  • Understanding of metric spaces and their properties
  • Familiarity with the triangle inequality in mathematics
  • Knowledge of discrete metrics and their definitions
  • Basic proof techniques in mathematical analysis
NEXT STEPS
  • Study the properties of metric spaces in detail
  • Explore the implications of the triangle inequality in various contexts
  • Learn about different types of metrics beyond the discrete metric
  • Review proof strategies in mathematical analysis for better comprehension
USEFUL FOR

Mathematics students, particularly those studying real analysis or topology, educators teaching metric spaces, and anyone interested in mathematical proofs and their applications.

Terrell
Messages
316
Reaction score
26

Homework Statement


Let ##x,y\in X## such that ##X## is a metric space. Let ##d(x,y)=0## if and only if ##x=y## and ##d(x,y)=1## if and only if ##x\neq y##

Homework Equations


N/A

The Attempt at a Solution


I have already seen various approaches in proving this. Although, I just want to know if this approach of mine is also valid.

Proof:
We want to show that ##\forall x,y,z\in X##, ##d(x,y)\leq d(x,z)+d(z,y)##.
If ##d(x,z)=1##, then ##1\leq d(x,z)+d(z,y)\leq 2##. But since ##0\leq d(x,y)\leq 1##, then ##d(x,y)\leq 1\leq d(x,z)+d(z,y)\leq 2##. However, if ##d(x,z)=0=d(z,y)##, then ##d(x,y)=0=d(x,z)+d(z,y)##. Hence, the result follows.
 
Physics news on Phys.org
Terrell said:

Homework Statement


Let ##x,y\in X## such that ##X## is a metric space. Let ##d(x,y)=0## if and only if ##x=y## and ##d(x,y)=1## if and only if ##x\neq y##

Homework Equations


N/A

The Attempt at a Solution


I have already seen various approaches in proving this. Although, I just want to know if this approach of mine is also valid.

Proof:
We want to show that ##\forall x,y,z\in X##, ##d(x,y)\leq d(x,z)+d(z,y)##.
If ##d(x,z)=1##, then ##1\leq d(x,z)+d(z,y)\leq 2##. But since ##0\leq d(x,y)\leq 1##, then ##d(x,y)\leq 1\leq d(x,z)+d(z,y)\leq 2##. However, if ##d(x,z)=0=d(z,y)##, then ##d(x,y)=0=d(x,z)+d(z,y)##. Hence, the result follows.
Not really a lot to say. If you consider all cases, you are done. Seems like you did that, so you are fine.
 
  • Like
Likes   Reactions: Terrell
Math_QED said:
Not really a lot to say. If you consider all cases, you are done. Seems like you did that, so you are fine.
Thanks! I had it on an exam earlier, just couldn't get my head off it if I got it right or not. lol.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
9
Views
3K
Replies
8
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
2
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K