Rotational components in n dimensions



 Science > Physics > Rotational components in n dimensions

LINK TO THIS PAGE  


rating :  0   |  0


  Page 1 of 1

1

 
Topic: Science > Physics
User: "Timothy Golden BandTechnology.com"
Date: 24 Oct 2006 09:10:43 AM
Object: Rotational components in n dimensions
In Hermann Weyl's book "The Theory of Groups and Quantum Mechanics"
chapter 3 section 12 toward the end of the first paragraph (pg. 160 on
my edition) he writes:
"The concept of an infinitesimal rotation will be familiar to the
reader from the kinematics of rigid bodies, as well as the fact that
these infinitesimal rotations in 3-dimensional space constitute a
3-dimensional linear family - in n-dimensional space an
[n(n-1)/2]-dimensional family."
I disagree with this and see that the rotations of an n-dimensional
space constitute an n-1 dimensional family.
This may play into some of quantum mechanics, particularly the
attribution of three rotational moments for a 3-dimensional problem (ie
Jx, Jy, Jz).
I don't see the infinitessimal versus finite solutions being any
different in terms of this result.
Perhaps a simple construction will help expose the discrepancy.
Mark out a reference frame in 3D space with traditional axes x, y, and
z.
Place a thin rod one unit long with one end at the origin and the other
on the positive x axis.
Leaving the origin end of the rod stationary wiggle the other end small
amounts.
Two variables are sufficient to define such motion and in particular in
the infinitessimal case they may be resolved by the original coordinate
system as dy and dz; dx being zero. In general these two degrees of
freedom are best described with angles.
This same process takes place in any dimension and can also be viewed
from the vantage of placing a rigid object of that dimension in that
dimension and incrementally fixing points of that object to a
coordinate reference system. For an n dimensional system with m fixed
points the degree of freedom is
n - m .
(This assumes that chosen points are arbitrary ie not
colinear,coplanar,...)
I feel fairly strongly that my analysis is good but is Weyl's bad?
Or am I just looking at it the wrong way?
Ultimately this may boil down to a definition of rotation.
Please correct me.
-Tim
.

User: "John C. Polasek"

Title: Re: Rotational components in n dimensions 24 Oct 2006 09:40:00 AM
On 24 Oct 2006 07:10:43 -0700, "Timothy Golden BandTechnology.com"
<tttpppggg@yahoo.com> wrote:

In Hermann Weyl's book "The Theory of Groups and Quantum Mechanics"
chapter 3 section 12 toward the end of the first paragraph (pg. 160 on
my edition) he writes:

"The concept of an infinitesimal rotation will be familiar to the
reader from the kinematics of rigid bodies, as well as the fact that
these infinitesimal rotations in 3-dimensional space constitute a
3-dimensional linear family - in n-dimensional space an
[n(n-1)/2]-dimensional family."

I disagree with this and see that the rotations of an n-dimensional
space constitute an n-1 dimensional family.

This may play into some of quantum mechanics, particularly the
attribution of three rotational moments for a 3-dimensional problem (ie
Jx, Jy, Jz).

I don't see the infinitessimal versus finite solutions being any
different in terms of this result.
Perhaps a simple construction will help expose the discrepancy.

Mark out a reference frame in 3D space with traditional axes x, y, and
z.
Place a thin rod one unit long with one end at the origin and the other
on the positive x axis.
Leaving the origin end of the rod stationary wiggle the other end small
amounts.
Two variables are sufficient to define such motion and in particular in
the infinitessimal case they may be resolved by the original coordinate
system as dy and dz; dx being zero. In general these two degrees of
freedom are best described with angles.

This same process takes place in any dimension and can also be viewed
from the vantage of placing a rigid object of that dimension in that
dimension and incrementally fixing points of that object to a
coordinate reference system. For an n dimensional system with m fixed
points the degree of freedom is
n - m .
(This assumes that chosen points are arbitrary ie not
colinear,coplanar,...)

I feel fairly strongly that my analysis is good but is Weyl's bad?
Or am I just looking at it the wrong way?
Ultimately this may boil down to a definition of rotation.
Please correct me.

-Tim

I think Weyl might have gotten to that expression by defining rotation
axes by using cross products. In 3d you have
xXy, yXz and zXx each defines a new axis
each of the 3 axes coupled once each with the remaining 2. By
extension it's the old formula
n(n-1)/2, the 1/2 being because xy = yx
I don't believe you can have a valid 4D rotation scheme simply because
in 4D you can't have the singular cyclic order as in 3d, where the
positive cycle is 123 231 312, and where you get the negative order by
transposing any two axes: 132 213 132.
It doesn't work for 4D. The easy proof is to draw a triangle of 3
dots and number them and test for + and - rotation.
Now try it for 4 points and for example with 1324 you get an
unpleasant criss-cross that is not valid on the face of it.
John Polasek
.

User: "Timo A. Nieminen"

Title: Re: Rotational components in n dimensions 24 Oct 2006 03:01:34 PM
On Wed, 24 Oct 2006, Timothy Golden BandTechnology.com wrote:

In Hermann Weyl's book "The Theory of Groups and Quantum Mechanics"
chapter 3 section 12 toward the end of the first paragraph (pg. 160 on
my edition) he writes:

"The concept of an infinitesimal rotation will be familiar to the
reader from the kinematics of rigid bodies, as well as the fact that
these infinitesimal rotations in 3-dimensional space constitute a
3-dimensional linear family - in n-dimensional space an
[n(n-1)/2]-dimensional family."

I disagree with this and see that the rotations of an n-dimensional
space constitute an n-1 dimensional family.

You can write any rotation in n-d space in terms of a basis of
antisymmetric matrices. For 2D space, you only have one:
[ 0 -1; 1 0 ] (where ; means start a new row).
In 3D, [ 0 -1 0; 1 0 0; 0 0 0 ], [ 0 0 -1; 0 0 0; 1 0 0 ], and
[ 0 0 0; 0 0 -1; 0 1 0 ].
It basically comes down to "how many elements are there below the
diagonal of an n-by-n matrix?" - this is the dimensionality of rotations
in an n-d space. n^2 matrix elements in total, subtract n to remove the
diagonal which is all zero leaves n(n-1), and halve.
http://groups.google.com.au/group/sci.physics/msg/07fbb2e45180a599?hl=en&
--
Timo Nieminen - Home page: http://www.physics.uq.edu.au/people/nieminen/
E-prints: http://eprint.uq.edu.au/view/person/Nieminen,_Timo_A..html
Shrine to Spirits: http://www.users.bigpond.com/timo_nieminen/spirits.html
.
User: "Timothy Golden BandTechnology.com"

Title: Re: Rotational components in n dimensions 25 Oct 2006 07:43:40 AM
Timo A. Nieminen wrote:

On Wed, 24 Oct 2006, Timothy Golden BandTechnology.com wrote:

In Hermann Weyl's book "The Theory of Groups and Quantum Mechanics"
chapter 3 section 12 toward the end of the first paragraph (pg. 160 on
my edition) he writes:

"The concept of an infinitesimal rotation will be familiar to the
reader from the kinematics of rigid bodies, as well as the fact that
these infinitesimal rotations in 3-dimensional space constitute a
3-dimensional linear family - in n-dimensional space an
[n(n-1)/2]-dimensional family."

I disagree with this and see that the rotations of an n-dimensional
space constitute an n-1 dimensional family.


You can write any rotation in n-d space in terms of a basis of
antisymmetric matrices. For 2D space, you only have one:

[ 0 -1; 1 0 ] (where ; means start a new row).

In 3D, [ 0 -1 0; 1 0 0; 0 0 0 ], [ 0 0 -1; 0 0 0; 1 0 0 ], and
[ 0 0 0; 0 0 -1; 0 1 0 ].

It basically comes down to "how many elements are there below the
diagonal of an n-by-n matrix?" - this is the dimensionality of rotations
in an n-d space. n^2 matrix elements in total, subtract n to remove the
diagonal which is all zero leaves n(n-1), and halve.

http://groups.google.com.au/group/sci.physics/msg/07fbb2e45180a599?hl=en&

--
Timo Nieminen - Home page: http://www.physics.uq.edu.au/people/nieminen/
E-prints: http://eprint.uq.edu.au/view/person/Nieminen,_Timo_A..html
Shrine to Spirits: http://www.users.bigpond.com/timo_nieminen/spirits.html

Thanks all for the clarification. For feedback purposes I do find
Nieminen's response the most legible. Perhaps I will need further
correction; here is my reflection of these comments:
The rotation Weyl speaks of is the most restrictive form; one degree of
freedom for the object under study. This means in a 2D problem rotation
about a point, in 3D about an axis, and in 4D about a plane, etc. The
"[n(n-1)/2]-dimensional family" refers to an n->n projection matrix
which fixes the position of the object. Ultimately such a matrix would
also contain a variable theta which would pertain to the rotational
angle accomodating rotations at a given fix. Though there are nxn
elements in the projection matrix the degree of freedom in such a
matrix is not simply nxn.
For an intuitive nonquantitative sense of the reduction we can actually
use my general rotation concept. Each time we fix a point on the object
the degrees of freedom of the rotational possibilities drops. Hence
the information required to specify the successive point fixes reduces.
The final fix is merely a singular dimensioned value theta. Upon
specifying theta the transformation matrix is completed. Therefore the
prior fix had only two degrees of freedom.
So likewise backward to the first fix. Now a quantitative measure is
seen:
1 + 2 + 3 ... + n .
When we take the origin as the first fixed point we have further
reduced the dimension of the system since the first fix (n) is simply
mapping 0 to 0. Hence we wind up with:
1 + 2 + 3 ... + n - 1 .
which is the same as
n ( n - 1 ) / 2 .
This value really specifies theta as well so if you want to leave theta
as a free variable this measure could drop by one, depending on how you
want to view the final solution.
The title of this thread indicates my misunderstanding since the
context is more apropriately rotational projections rather than
rotational components.
-Tim
.
User: ""

Title: Re: Rotational components in n dimensions 25 Oct 2006 08:43:22 AM
Timothy Golden BandTechnology.com wrote:

Timo A. Nieminen wrote:

On Wed, 24 Oct 2006, Timothy Golden BandTechnology.com wrote:

In Hermann Weyl's book "The Theory of Groups and Quantum Mechanics"
chapter 3 section 12 toward the end of the first paragraph (pg. 160 on
my edition) he writes:

"The concept of an infinitesimal rotation will be familiar to the
reader from the kinematics of rigid bodies, as well as the fact that
these infinitesimal rotations in 3-dimensional space constitute a
3-dimensional linear family - in n-dimensional space an
[n(n-1)/2]-dimensional family."

I disagree with this and see that the rotations of an n-dimensional
space constitute an n-1 dimensional family.


You can write any rotation in n-d space in terms of a basis of
antisymmetric matrices. For 2D space, you only have one:

[ 0 -1; 1 0 ] (where ; means start a new row).

In 3D, [ 0 -1 0; 1 0 0; 0 0 0 ], [ 0 0 -1; 0 0 0; 1 0 0 ], and
[ 0 0 0; 0 0 -1; 0 1 0 ].

It basically comes down to "how many elements are there below the
diagonal of an n-by-n matrix?" - this is the dimensionality of rotations
in an n-d space. n^2 matrix elements in total, subtract n to remove the
diagonal which is all zero leaves n(n-1), and halve.

http://groups.google.com.au/group/sci.physics/msg/07fbb2e45180a599?hl=en&

--
Timo Nieminen - Home page: http://www.physics.uq.edu.au/people/nieminen/
E-prints: http://eprint.uq.edu.au/view/person/Nieminen,_Timo_A..html
Shrine to Spirits: http://www.users.bigpond.com/timo_nieminen/spirits.html


Thanks all for the clarification. For feedback purposes I do find
Nieminen's response the most legible. Perhaps I will need further
correction; here is my reflection of these comments:

The rotation Weyl speaks of is the most restrictive form; one degree of
freedom for the object under study. This means in a 2D problem rotation
about a point, in 3D about an axis, and in 4D about a plane, etc. The
"[n(n-1)/2]-dimensional family" refers to an n->n projection matrix
which fixes the position of the object. Ultimately such a matrix would
also contain a variable theta which would pertain to the rotational
angle accomodating rotations at a given fix. Though there are nxn
elements in the projection matrix the degree of freedom in such a
matrix is not simply nxn.
From the quote you gave, Weyl refers to the set of canonical rotations

which can be composed (i.e. multiplied) into an arbitrary rotation. In
3-space you have 3 canonical rotations one for (by convention) the XY,
YZ, ZX planes. Arbitrary N-space rotations are composed of minimum
N-choose-2 (or (n(n-1)/2) if you like) canonical rotations. That
derives from the generalization of Eulers rotation theorem which is
central to this entire approach. You can easily prove that theorem (see
previous post).
Now, by defining skew-symmetric matrices S(i,j)[i][j]=(-1)^(i+j) for
all i,j permutations you can construct the (ij)'th-plane canonical
rotation matrix as R(i,j)=exp(S(i,j)). Discard all reflections (i.e.
det(R(i,j))=-sin(x)^2-cos(x)^2=-1). Since rotation compositions do not
commute (past 2), apply canonical rotations arbitrarily but
consistently. Use the reverse order for inverse rotations.
[...]
.
User: "Timothy Golden BandTechnology.com"

Title: Re: Rotational components in n dimensions 25 Oct 2006 11:46:45 AM
wrote:

Timothy Golden BandTechnology.com wrote:

Timo A. Nieminen wrote:

On Wed, 24 Oct 2006, Timothy Golden BandTechnology.com wrote:

In Hermann Weyl's book "The Theory of Groups and Quantum Mechanics"
chapter 3 section 12 toward the end of the first paragraph (pg. 160 on
my edition) he writes:

"The concept of an infinitesimal rotation will be familiar to the
reader from the kinematics of rigid bodies, as well as the fact that
these infinitesimal rotations in 3-dimensional space constitute a
3-dimensional linear family - in n-dimensional space an
[n(n-1)/2]-dimensional family."

I disagree with this and see that the rotations of an n-dimensional
space constitute an n-1 dimensional family.


You can write any rotation in n-d space in terms of a basis of
antisymmetric matrices. For 2D space, you only have one:

[ 0 -1; 1 0 ] (where ; means start a new row).

In 3D, [ 0 -1 0; 1 0 0; 0 0 0 ], [ 0 0 -1; 0 0 0; 1 0 0 ], and
[ 0 0 0; 0 0 -1; 0 1 0 ].

It basically comes down to "how many elements are there below the
diagonal of an n-by-n matrix?" - this is the dimensionality of rotations
in an n-d space. n^2 matrix elements in total, subtract n to remove the
diagonal which is all zero leaves n(n-1), and halve.

http://groups.google.com.au/group/sci.physics/msg/07fbb2e45180a599?hl=en&

--
Timo Nieminen - Home page: http://www.physics.uq.edu.au/people/nieminen/
E-prints: http://eprint.uq.edu.au/view/person/Nieminen,_Timo_A..html
Shrine to Spirits: http://www.users.bigpond.com/timo_nieminen/spirits.html


Thanks all for the clarification. For feedback purposes I do find
Nieminen's response the most legible. Perhaps I will need further
correction; here is my reflection of these comments:

The rotation Weyl speaks of is the most restrictive form; one degree of
freedom for the object under study. This means in a 2D problem rotation
about a point, in 3D about an axis, and in 4D about a plane, etc. The
"[n(n-1)/2]-dimensional family" refers to an n->n projection matrix
which fixes the position of the object. Ultimately such a matrix would
also contain a variable theta which would pertain to the rotational
angle accomodating rotations at a given fix. Though there are nxn
elements in the projection matrix the degree of freedom in such a
matrix is not simply nxn.


From the quote you gave, Weyl refers to the set of canonical rotations

which can be composed (i.e. multiplied) into an arbitrary rotation. In
3-space you have 3 canonical rotations one for (by convention) the XY,
YZ, ZX planes. Arbitrary N-space rotations are composed of minimum
N-choose-2 (or (n(n-1)/2) if you like) canonical rotations. That
derives from the generalization of Eulers rotation theorem which is
central to this entire approach. You can easily prove that theorem (see
previous post).

Now, by defining skew-symmetric matrices S(i,j)[i][j]=(-1)^(i+j) for
all i,j permutations you can construct the (ij)'th-plane canonical
rotation matrix as R(i,j)=exp(S(i,j)). Discard all reflections (i.e.
det(R(i,j))=-sin(x)^2-cos(x)^2=-1). Since rotation compositions do not
commute (past 2), apply canonical rotations arbitrarily but
consistently. Use the reverse order for inverse rotations.

[...]

I'm really interested in how this relates to angular momentum.
In making instances
J x , J y , J z
I have difficulty.
This is close to the planar representation you are steering us toward.
Does it relate?
There are systems of rotation that are constructable which do not
necessarily obey the strict rules that we have used thus far on this
thread. In that the complex numbers form a natural rotational system we
could extend this result downward to the real line and see that a
binary rotation is the only possibility via the arithmetic product.
This binary rotation can also be applied in higher dimensions yielding
the improper transform (determinant - 1). There are artifacts of this
in some work that I have done on polysigned numbers. Such systems are
flipping handedness and this sort of math is of interest when
considering spin and such qualities that are surprising to our ordinary
3D sense of space. Spacetime itself can be claimed to admit some
handedness if we attribute electromagnetic behavior to it rather than
building electromagnetic behavior on top of it. This is done somewhat
in the numerous tensor theories. Typically they will identify their
inherent support for Maxwell's equations up front.
All of this is just an aside I suppose unless you want to address some
of it. I am more interested in the attribution of a total energy of
| J x | | J x | + | J y | | J y | + | J z | | J z |
and verifying its validity. Some of the Lie stuff uses M and this form
would be equally discussable; It's the composition that I do not
understand.
If I were to attribute this energy in four components in three
dimensions would the result be equally valid?
The rotation considered is one dimensional right?
Like above on this thread?
How it comes to be broken into these components puzzles me.
I've always had a hard time with rotation yet also felt that it is deep
in its consequences.
-Tim
.
User: "Timothy Golden BandTechnology.com"

Title: Re: Rotational components in n dimensions 26 Oct 2006 09:50:22 AM
Timothy Golden BandTechnology.com wrote:

schoenfeld.one@gmail.com wrote:

Timothy Golden BandTechnology.com wrote:

Timo A. Nieminen wrote:

On Wed, 24 Oct 2006, Timothy Golden BandTechnology.com wrote:

In Hermann Weyl's book "The Theory of Groups and Quantum Mechanics"
chapter 3 section 12 toward the end of the first paragraph (pg. 160 on
my edition) he writes:

"The concept of an infinitesimal rotation will be familiar to the
reader from the kinematics of rigid bodies, as well as the fact that
these infinitesimal rotations in 3-dimensional space constitute a
3-dimensional linear family - in n-dimensional space an
[n(n-1)/2]-dimensional family."

I disagree with this and see that the rotations of an n-dimensional
space constitute an n-1 dimensional family.


You can write any rotation in n-d space in terms of a basis of
antisymmetric matrices. For 2D space, you only have one:

[ 0 -1; 1 0 ] (where ; means start a new row).

In 3D, [ 0 -1 0; 1 0 0; 0 0 0 ], [ 0 0 -1; 0 0 0; 1 0 0 ], and
[ 0 0 0; 0 0 -1; 0 1 0 ].

It basically comes down to "how many elements are there below the
diagonal of an n-by-n matrix?" - this is the dimensionality of rotations
in an n-d space. n^2 matrix elements in total, subtract n to remove the
diagonal which is all zero leaves n(n-1), and halve.

http://groups.google.com.au/group/sci.physics/msg/07fbb2e45180a599?hl=en&

--
Timo Nieminen - Home page: http://www.physics.uq.edu.au/people/nieminen/
E-prints: http://eprint.uq.edu.au/view/person/Nieminen,_Timo_A..html
Shrine to Spirits: http://www.users.bigpond.com/timo_nieminen/spirits.html


Thanks all for the clarification. For feedback purposes I do find
Nieminen's response the most legible. Perhaps I will need further
correction; here is my reflection of these comments:

The rotation Weyl speaks of is the most restrictive form; one degree of
freedom for the object under study. This means in a 2D problem rotation
about a point, in 3D about an axis, and in 4D about a plane, etc. The
"[n(n-1)/2]-dimensional family" refers to an n->n projection matrix
which fixes the position of the object. Ultimately such a matrix would
also contain a variable theta which would pertain to the rotational
angle accomodating rotations at a given fix. Though there are nxn
elements in the projection matrix the degree of freedom in such a
matrix is not simply nxn.


From the quote you gave, Weyl refers to the set of canonical rotations

which can be composed (i.e. multiplied) into an arbitrary rotation. In
3-space you have 3 canonical rotations one for (by convention) the XY,
YZ, ZX planes. Arbitrary N-space rotations are composed of minimum
N-choose-2 (or (n(n-1)/2) if you like) canonical rotations. That
derives from the generalization of Eulers rotation theorem which is
central to this entire approach. You can easily prove that theorem (see
previous post).

Now, by defining skew-symmetric matrices S(i,j)[i][j]=(-1)^(i+j) for
all i,j permutations you can construct the (ij)'th-plane canonical
rotation matrix as R(i,j)=exp(S(i,j)). Discard all reflections (i.e.
det(R(i,j))=-sin(x)^2-cos(x)^2=-1). Since rotation compositions do not
commute (past 2), apply canonical rotations arbitrarily but
consistently. Use the reverse order for inverse rotations.

[...]


I'm really interested in how this relates to angular momentum.
In making instances
J x , J y , J z
I have difficulty.
This is close to the planar representation you are steering us toward.
Does it relate?

There are systems of rotation that are constructable which do not
necessarily obey the strict rules that we have used thus far on this
thread. In that the complex numbers form a natural rotational system we
could extend this result downward to the real line and see that a
binary rotation is the only possibility via the arithmetic product.
This binary rotation can also be applied in higher dimensions yielding
the improper transform (determinant - 1). There are artifacts of this
in some work that I have done on polysigned numbers. Such systems are
flipping handedness and this sort of math is of interest when
considering spin and such qualities that are surprising to our ordinary
3D sense of space. Spacetime itself can be claimed to admit some
handedness if we attribute electromagnetic behavior to it rather than
building electromagnetic behavior on top of it. This is done somewhat
in the numerous tensor theories. Typically they will identify their
inherent support for Maxwell's equations up front.
All of this is just an aside I suppose unless you want to address some
of it. I am more interested in the attribution of a total energy of
| J x | | J x | + | J y | | J y | + | J z | | J z |

I've boched the line above. Its not energy. As I go back to the books
the closest thing that I see is a form
J J = Jx Jx + Jy Jy + Jz Jz .
I am seeing some careful treatment on addition of angular momentum too.
I guess I'll have to understand the commutator algebra [f,g] notation
to get anywhere with this.
Sorry about the boo-boo.
-Tim

and verifying its validity. Some of the Lie stuff uses M and this form
would be equally discussable; It's the composition that I do not
understand.
If I were to attribute this energy in four components in three
dimensions would the result be equally valid?
The rotation considered is one dimensional right?
Like above on this thread?
How it comes to be broken into these components puzzles me.
I've always had a hard time with rotation yet also felt that it is deep
in its consequences.

-Tim

.





User: "Jim Black"

Title: Re: Rotational components in n dimensions 26 Oct 2006 11:36:02 AM
Timothy Golden BandTechnology.com wrote:

In Hermann Weyl's book "The Theory of Groups and Quantum Mechanics"
chapter 3 section 12 toward the end of the first paragraph (pg. 160 on
my edition) he writes:

"The concept of an infinitesimal rotation will be familiar to the
reader from the kinematics of rigid bodies, as well as the fact that
these infinitesimal rotations in 3-dimensional space constitute a
3-dimensional linear family - in n-dimensional space an
[n(n-1)/2]-dimensional family."

I disagree with this and see that the rotations of an n-dimensional
space constitute an n-1 dimensional family.

This may play into some of quantum mechanics, particularly the
attribution of three rotational moments for a 3-dimensional problem (ie
Jx, Jy, Jz).

I don't see the infinitessimal versus finite solutions being any
different in terms of this result.
Perhaps a simple construction will help expose the discrepancy.

Mark out a reference frame in 3D space with traditional axes x, y, and
z.
Place a thin rod one unit long with one end at the origin and the other
on the positive x axis.
Leaving the origin end of the rod stationary wiggle the other end small
amounts.
Two variables are sufficient to define such motion and in particular in
the infinitessimal case they may be resolved by the original coordinate
system as dy and dz; dx being zero. In general these two degrees of
freedom are best described with angles.

You forgot that you can also rotate the rod along its axis. This
leaves the rod unchanged, but that is because the rod is a special
case. Add to the rod a short projection initially pointing along the
positive y axis, and you will be able to see the difference.
So for an n-dimensional space, we have the (n-1) rotational components
you came up with above, plus rotations in the (n-1) dimensional
subspace perpendicular to the rod. We get
(n-1) + (n-2) + (n-3) + ... + 3 + 2 + 1 = n(n-1)/2
rotatonal components.
I should point out that you actually can produce a rotation of the type
above out of the rotations you considered, provided you consider the
definitions of your rotations to be fixed with respect to the
coordinate axes, and not defined relative to the rod. For example,
start out with a 90-degree rotation moving rods along the x-axis toward
the z-axis -- let's call this direction of rotation x->z for short.
Then do a theta-degree x->y rotation. Last, do a negative 90-degree
x->z rotation, i.e., the inverse of the first step. The net result is
equivalent to that of a theta-degree y->z rotation.
But if you want infintesimal components, there are two problems with
the above. First, although I only used two types of rotations, I
needed three steps to do it, so I'd still need at least three numbers
to describe any rotation. Second, if you're limited to infintesimal
rotations of order dtheta, then it turns out the largest y->z rotation
you can make out of x->y and x->z rotations is of order dtheta^2.
.
User: "Timothy Golden BandTechnology.com"

Title: Re: Rotational components in n dimensions 28 Oct 2006 10:00:53 AM
Jim Black wrote:

Timothy Golden BandTechnology.com wrote:

In Hermann Weyl's book "The Theory of Groups and Quantum Mechanics"
chapter 3 section 12 toward the end of the first paragraph (pg. 160 on
my edition) he writes:

"The concept of an infinitesimal rotation will be familiar to the
reader from the kinematics of rigid bodies, as well as the fact that
these infinitesimal rotations in 3-dimensional space constitute a
3-dimensional linear family - in n-dimensional space an
[n(n-1)/2]-dimensional family."

I disagree with this and see that the rotations of an n-dimensional
space constitute an n-1 dimensional family.

This may play into some of quantum mechanics, particularly the
attribution of three rotational moments for a 3-dimensional problem (ie
Jx, Jy, Jz).

I don't see the infinitessimal versus finite solutions being any
different in terms of this result.
Perhaps a simple construction will help expose the discrepancy.

Mark out a reference frame in 3D space with traditional axes x, y, and
z.
Place a thin rod one unit long with one end at the origin and the other
on the positive x axis.
Leaving the origin end of the rod stationary wiggle the other end small
amounts.
Two variables are sufficient to define such motion and in particular in
the infinitessimal case they may be resolved by the original coordinate
system as dy and dz; dx being zero. In general these two degrees of
freedom are best described with angles.


You forgot that you can also rotate the rod along its axis. This
leaves the rod unchanged, but that is because the rod is a special
case. Add to the rod a short projection initially pointing along the
positive y axis, and you will be able to see the difference.

So for an n-dimensional space, we have the (n-1) rotational components
you came up with above, plus rotations in the (n-1) dimensional
subspace perpendicular to the rod. We get

(n-1) + (n-2) + (n-3) + ... + 3 + 2 + 1 = n(n-1)/2

rotatonal components.

I should point out that you actually can produce a rotation of the type
above out of the rotations you considered, provided you consider the
definitions of your rotations to be fixed with respect to the
coordinate axes, and not defined relative to the rod. For example,
start out with a 90-degree rotation moving rods along the x-axis toward
the z-axis -- let's call this direction of rotation x->z for short.
Then do a theta-degree x->y rotation. Last, do a negative 90-degree
x->z rotation, i.e., the inverse of the first step. The net result is
equivalent to that of a theta-degree y->z rotation.

But if you want infintesimal components, there are two problems with
the above. First, although I only used two types of rotations, I
needed three steps to do it, so I'd still need at least three numbers
to describe any rotation. Second, if you're limited to infintesimal
rotations of order dtheta, then it turns out the largest y->z rotation
you can make out of x->y and x->z rotations is of order dtheta^2.

Thanks.
The three-step rotations are pretty far from a natural solution. I can
see in three dimensions that they can work out. Rotation as a
projection matrix seems very generalized but also lacks simplicity,
particularly when you actually look at the values in the matrix with
all of their angular variables attached. The simplest form of rotation
in its near 3D sense is the product of the complex numbers. Supposedly
this is generalized to 3D by quaternions. I haven't applied them so I
can only say supposedly. The products do not commute and so are
consistent with your 3 step problem, where the order of the steps is
strict. None the less if physical rotation is restricted to a singular
angle theta then the complex plane will always sufffice. It just needs
to be projected onto properly.
I'd rather get to the Jx, Jy, Jz components of quantum theory. Is this
just classical stuff? I don't see that the commutator notation [A,B]
applies as I earlier thought. That is more about operators and
functions.
-Tim
.


User: ""

Title: Re: Rotational components in n dimensions 24 Oct 2006 09:51:14 AM
Timothy Golden BandTechnology.com wrote:

In Hermann Weyl's book "The Theory of Groups and Quantum Mechanics"
chapter 3 section 12 toward the end of the first paragraph (pg. 160 on
my edition) he writes:

"The concept of an infinitesimal rotation will be familiar to the
reader from the kinematics of rigid bodies, as well as the fact that
these infinitesimal rotations in 3-dimensional space constitute a
3-dimensional linear family - in n-dimensional space an
[n(n-1)/2]-dimensional family."

I disagree with this and see that the rotations of an n-dimensional
space constitute an n-1 dimensional family.

In 2D, a rotation occurs about a point. In 3D, about an axis. It is
true that N-dimensional rotations occur about an (N-1) dimensional
subspace. The generalization of that approach leads to
Geometric/Clifford Algebras. Look that up if interested.
There is an alternative approach, one very rarely mentioned in
textbooks (I've never seen the generalization in any textbook
actually). Rather than considering rotations about points, axis and
subspaces, you can consider rotations about planes. For example, in 2D
a rotation occurs _on_ the XY plane. In 3D, a rotation occurs on 3
planes - XY, YZ and ZX. The case for 3 dimensions follows from Eulers
rotation theorem. These 'basis rotations' are called 'canonical
rotations'.
The generalization of this approach into N-dimensions gives N-choose-2
canonical rotations for an arbitrary N-rotation. This follows from the
generalization of Eulers rotation theorem into N space which states
that every N-rotation can be characterized by a minimum of N-choose-2
parameters.
The proof of this is quite elegant. Consider, for example, that any
N-rotation matrix A can be given by the exponentiation of a NxN
skew-symmetric matrix B. The diagonals of B are all 0. The lower
triangular portion of B is defined by the upper triangluar portion of
B. Since there are only N-choose-2 elements in the upper triangular
portion, only N-choose-2 parameters are required to describe the
N-rotation (each parameter corresponds to an angle of a canonical
rotation).
[...]
.


  Page 1 of 1

1

 


Related Articles
 

NEWER

pg.1612     pg.1232     pg.940     pg.716     pg.544     pg.412     pg.311     pg.234     pg.175     pg.130     pg.96     pg.70     pg.50     pg.35     pg.24     pg.16     pg.10     pg.6     pg.3     pg.1

OLDER