Coordinate systems/Derivation of formulas/Coordinate variable transformations

Can these formulas be derived without without sketches or visualizing three-dimensional geometry?

edit

The answer is yes, and students who can do will quickly grasp the Riemannian calculus of general relativity.

In the three dimensional universe that contains the identities of this resource, the "vector" and "unit vector" are like Euclid's common notions in that there is little point in defining them. But vectors and basis vectors exist within any set of variables that obey Riemannian calculus[citation needed].

First think about unit vectors in Cartesian coordinates as a "step" of unit length in the direction of a coordinate

edit

Following ideas found in textbooks on general relativity, we can define the unit vector in Cartesian coordinates as the the displacement vector associated with increasing the variable x by 1:

 

where  . The leads to the obvious and expected result:

 

Modify this definition of unit vector if the coordinates are "curvey" (non-technical term) in some way

edit

A pretty obvious statement. The problem arises in other coordinate systems, where a step will turn the unit vectors around if the step is too large. We have this primitive notion that   is supposed to point in the "direction of increasing  , but since this direction changes, we must therefore make a very small step. Then we "normalize" by dividing by the size of that step.

Let's try this out in polar coordinates (which are cylindrical coordinates if we ignore z):

 

"Upstairs" is easy to calculate

edit

Upstairs is easily related to the derivative of the two components of the position vector. We use partial derivatives because two variables are present (in polar coordinates):

 

where we have used x=x(r,θ)=rsinθ and y=y(r,θ)=rsinθ. Hence,

 .

"Downstairs" is hard to do if you are not allowed to "see" it

edit

For downstairs, we could the rule for line differential in polar coordinates, namely  , but that requires visualization, which we wish to eschew in order to better grasp Riemannian calculus. Hence we seek what is called "the metric". Begin with our transformation:

   

An extremely useful rule in mathematical physics is:

 
 

Hence,

 


 

And the metric for polar coordinates is...

edit

It is a simple but tedious matter to work out the partial derivatives and conclude that the metric in polar coordinates can be written:

 

The equation is obvious if you just look at this picture, but we did it without a picture in a way that could easily be generalized to more than three dimensions. And without using any mental images, we conclude that if dr=0, then  . In other words, two points separated in angle by ε will be spearated in space by rε.

 

And therefore the unit vector in the   direction is,

(unfinished)

edit

... don't forget, what ever get's calculated here might be wrong.

See Tensors for application to the mathematics of general relativity

edit

In a curvilinear coordinate system, the coordinates are ...