Are Isometric Metric Spaces Identical?

  • Context: Graduate 
  • Thread starter Thread starter Whovian
  • Start date Start date
Click For Summary
SUMMARY

This discussion centers on the concept of isometric metric spaces and their equivalence. It establishes that two spacetimes can be considered "identical" if there exists a bijection that preserves distances along geodesics, specifically through the definitions of homeomorphic, uniformic, and isometric spaces. A continuous bijection indicates homeomorphism, while uniformly continuous bijections denote uniformic spaces. The ultimate conclusion is that if a bijective isometry exists, the two metric spaces are essentially identical.

PREREQUISITES
  • Understanding of metric spaces and geodesics
  • Familiarity with bijections and their properties
  • Knowledge of continuity in mathematical functions
  • Basic concepts of differential geometry
NEXT STEPS
  • Study the definitions and properties of homeomorphic spaces in topology
  • Explore uniform continuity and its implications in metric spaces
  • Learn about isometries and their role in preserving distances
  • Investigate the applications of differential geometry in physics
USEFUL FOR

Mathematicians, physicists, and students of differential geometry interested in the properties and equivalences of metric spaces.

Whovian
Messages
651
Reaction score
3
While trying to come up with a way to disprove [censored conspiracy theory that I think about for amusement] for the billion-and-first time, something occurred to me. After a bunch of bantering with myself over how exactly it works, the problem came down to this. I'm somewhat of an idiot when it comes to differential geometry and haven't studied it in any sort of rigour, but here goes.

If we have two same-dimensional spacetimes with not necessarily identical distortions (or whatever the proper term is,) where distance along a geodesic is defined, if we can find a bijection ##f## from the set of geodesics in one spacetime to the set of geodesics in the other and another bijection ##g## from the points in one spacetime to the point in the other such that the distance along a geodesic ##l## between points ##P## and ##Q## is the same as the distance along ##f\left(l\right)## between ##g\left(P\right)## and ##g\left(Q\right)##, are the two spacetimes, in a sense, "identical," however that's defined? Are there any extra "this behaves nicely" conditions needed, such as continuity of ##f## and ##g##? Or am I just nuts?

EDIT: Oh, and apologies if this is the wrong forum, I just took my best guess as to which forum to put this in. If this is the wrong forum, can it please be moved?

EDIT 2: Sorry if I sounded like a confusing idiot, I sort of am when it comes to stating things like this.
 
Last edited:
Physics news on Phys.org
You're pretty much correct. The two spacetimes are metric spaces, in the sense that they are sets for which a distance between any two points is defined by some metric. There are several notions of equivalence between two metric spaces:

If there exists a continuous bijection between the two spaces, in both directions, we say they are "homeomorphic" (or topologically isomorphic). This just means there is a one-to-one mapping between points in the spaces.

Given that a bijection and its inverse (i.e. both directions) are uniformly continuous, the spaces are called "uniformic." Any isometry (distance-preserving map) between metric spaces is uniformly continuous by definition.

If there exists a bijective isometry between the two spaces (say, [itex]X[/itex] and [itex]Y[/itex] with metrics [itex]d_{X}[/itex] and [itex]d_{Y}[/itex]), they are called "isometric." This just means that the bijective function/map [itex]g: X \rightarrow Y[/itex] is distance preserving, such that for any [itex]p, q \in X[/itex]:

[itex]d_{Y}(g(p), g(q)) = d_{X}(p, q)[/itex]

...and as you guessed, this last property means that the two spaces are essentially identical.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 76 ·
3
Replies
76
Views
4K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 27 ·
Replies
27
Views
7K
  • · Replies 12 ·
Replies
12
Views
4K