- #1
haruna
- 10
- 0
Hello,
I am having a problem about the nature of the measurements of the intervals ds's forming out of infinitesimal displacements dx's of the coordinates and the actual meaning of the measurements of the same dx's, in flat metric spaces.
I am certain that this must be a trivial problem, but I, somehow, can't see how to get around it.
Well, to start with, I do not have this problem with non-flat metric spaces because there the dx's and ds's are clearly distinguished from one another as they clearly belong to different dimensions.
So, I take an orthogonal triangle on a plane and measure the hypotenuse there to be, say: ds=[itex]\sqrt{dX^{2}+dY^{2}+2adXdY}[/itex] for some a, 0<a<1.
How do I know that my infinitesimal triangle is orthogonal in this metric space?
By Euclid's definition and construction: I take a line segment and draw the vertical at its middle point. How?
By drawing two circles radius the line segment and center one of its end points. Thereby joining the two points where the circles intersect by a straight line, I am left with two vertical lines.
Of course, to a creature living in a space with ds=[itex]\sqrt{dX^{2}+dY^{2}}[/itex], this would look like I have used a transformation of coordinates:
x=X +Ycosθ
y=Ysinθ,
but my metric space is different altogether than his or hers. I have no problem understanding the nature of such a metric space, either.
But, what is wrong with ds's like: ds=[itex]\sqrt{adX^{2}+bdY^{2}}[/itex], a,b≠1 ?
What does my infinitesimal triangle look like there? What are the lengths of its sides? Are the vertical sides of length dX and dY with hypotenuse ds=[itex]\sqrt{adX^{2}+bdY^{2}}[/itex], or are they [itex]\sqrt{a}[/itex]dX and [itex]\sqrt{b}[/itex]dY with the same hypotenuse ds=[itex]\sqrt{adX^{2}+bdY^{2}}[/itex]?
How come for example, since both dX and ds belong on the same plane, to measure differently for dY=0? Shouldn't ds measure dX for dY=0, too?
I would like someone to please explain this to me, since in my mind it is an impredicativity I don't seem to be able to go around...
I am having a problem about the nature of the measurements of the intervals ds's forming out of infinitesimal displacements dx's of the coordinates and the actual meaning of the measurements of the same dx's, in flat metric spaces.
I am certain that this must be a trivial problem, but I, somehow, can't see how to get around it.
Well, to start with, I do not have this problem with non-flat metric spaces because there the dx's and ds's are clearly distinguished from one another as they clearly belong to different dimensions.
So, I take an orthogonal triangle on a plane and measure the hypotenuse there to be, say: ds=[itex]\sqrt{dX^{2}+dY^{2}+2adXdY}[/itex] for some a, 0<a<1.
How do I know that my infinitesimal triangle is orthogonal in this metric space?
By Euclid's definition and construction: I take a line segment and draw the vertical at its middle point. How?
By drawing two circles radius the line segment and center one of its end points. Thereby joining the two points where the circles intersect by a straight line, I am left with two vertical lines.
Of course, to a creature living in a space with ds=[itex]\sqrt{dX^{2}+dY^{2}}[/itex], this would look like I have used a transformation of coordinates:
x=X +Ycosθ
y=Ysinθ,
but my metric space is different altogether than his or hers. I have no problem understanding the nature of such a metric space, either.
But, what is wrong with ds's like: ds=[itex]\sqrt{adX^{2}+bdY^{2}}[/itex], a,b≠1 ?
What does my infinitesimal triangle look like there? What are the lengths of its sides? Are the vertical sides of length dX and dY with hypotenuse ds=[itex]\sqrt{adX^{2}+bdY^{2}}[/itex], or are they [itex]\sqrt{a}[/itex]dX and [itex]\sqrt{b}[/itex]dY with the same hypotenuse ds=[itex]\sqrt{adX^{2}+bdY^{2}}[/itex]?
How come for example, since both dX and ds belong on the same plane, to measure differently for dY=0? Shouldn't ds measure dX for dY=0, too?
I would like someone to please explain this to me, since in my mind it is an impredicativity I don't seem to be able to go around...