MATHEMATI C S : A. D .

MI C HAL
s o a s t o h a v e a h o m o g e n e o u s i n t e g r a n d b u t a t t h e e x p e n s e o f i n c r e a s i n g
t h e n u m b e r o f
d e p e n d e n t
v a r i a b l e s b y o n e ( f r o m n t o n + 1 ) . Ho w e v e r
w h e n t h e r e i s a n i g n o r a b l e c o o r d i n a t e t h e p r o b l e m c a n b e t r a n s f o r m e d i n t o
o n e w i t h a h o m o g e n e o u s i n t e g r a n d w i t h o n l y n d e p e n d e n t v a r i a b l e s , t h i s
i n t e g r a n d i n v o l v i n g t h e c o n s t a n t m o m e n t u m w h i c h c o r r e s p o n d s t o t h e
i g n o r a b l e c o o r d i n a t e . S i n c e t h e p a r a m e t e r c a n b e c h o s e n a r b i t r a r i l y
w h e n t h e i n t e g r a n d i s h o m o g e n e o u s t h i s e n a b l e s u s t o t a k e o n e o f t h e
c o o r d i n a t e s t h e m s e l v e s a s t h e i n d e p e n d e n t v a r i a b l e t h u s r e d u c i n g t h e
p r o b l e m t o o n e w i t h n - 1 ( i n s t e a d o f n ) d e p e n d e n t v a r i a b l e s .
NOTES ON S C ALAR EXTENS I ONS OF TENS ORS AND PROP-
ERTI ES OF LOC AL C OORD I NATES
By A. D . MI C HAL
D EPARTMENT OF MATHEMATI C S , C ALI FORNI A I NS TI TU TE OF TEC HNOLOG Y .
C o m m u n i c a t e d D e c e m b e r 2 2 , 1 9 3 0
1 . Th e d i f f e r e n t i a l g e o m e t r y o f t h e n -d i m e n s i o n a l g r o u p m a n i f o l d o f
a n n -p a r a m e t e r c o n t i n u o u s g r o u p o f t r a n s f o r m a t i o n s w a s , I b e l i e v e , f i r s t
s t u d i e d b y C a r t a n ' a n d S c h o u t e n ' i n 1 9 2 6 . Th i s g r o u p m a n i f o l d p o s -
s e s s e s t w o t e l e p a r a l l e l i s m s 2 ( d i s t a n t p a r a l l e l i s m s ) . Th e r e r e s u l t s a u n i q u e
s ym m e t r i c a f f i n e c o n n e c t i o n
1 ' a , ,
r Y = 1 / 2 r ( a + f ) . i ~r 0 . ( 1 )
Ei n s t e i n ' s 2 c o n v e n t i o n f o r G r e e k a n d La t i n i n d i c e s a s w e l l a s h i s s u m m a t i o n
c o n v e n t i o n w i l l b e e m p l o ye d t h r o u g h o u t o u r p a p e r . A f e w e x c e p t i o n s w i l l
o c c u r ( s u c h a s t h o s e o f f o r m u l a ( 5 ) a n d ( 1 0 ) b e l o w ) b u t t h i s n e e d n o t c a u s e
a n y c o n f u s i o n . No w t h e e n n u p l e o f c o n t r a v a r i a n t v e c t o r s
i t '
( t h e a s -
s o c i a t e d e n n u p l e o f c o v a r i a n t v e c t o r s i s d e n o t e d b y i t a ) i s n o t a r b i t r a r y b u t
s a t i s f i e s t h e d i f f e r e n t i a l e q u a t i o n s
i ta
j T
i r C t k V ( 2 )
w h e r e c k j a r e t h e s t r u c t u r a l c o n s t a n t s o f t h e g r o u p .
I n t h e S e p t e m b e r , 1 9 2 8 , i s s u e o f t h e s e PROC EED I NG S , 3 I p u b l i s h e d a
p a p e r e n t i t l e d " Th e G r o u p Ma n i f o l d o f Fi n i t e C o n t i n u o u s Po i n t a n d Fu n c -
t i o n a l Tr a n s f o r m a t i o n G r o u p s . " I n t h i s p a p e r I d e v e l o p e d t h e s u b j e c t i n
s u c h a m a n n e r a s t o b r i n g i n t o t h e f o r e g r o u n d t h e v a r i o u s f u n d a m e n t a l
i n v a r i a n t s i n a n a r b i t r a r y c o 6 r d i n a t e s ys t e m . Th i s w a s a c h i e v e d w i t h t h e
1 3 2 PROC . N. A. S .
MATHEMATI C S : A. D . MI C HAL
a i d o f a l o c a l c o o r d i n a t e s ys t e m z i ' t h a t w a s d e f i n e d i m p l i c i t l y i n t e r m s o f a n
a r b i t r a r i l y c h o s e n c o o r d i n a t e s ys t e m x a b y
x a
=
q a + i " ( q ) z
-
! r , ( q ) i " ( q ) j
"
( q ) z Y , ( 3 )
w h e r e q a a r e t h e c o o r d i n a t e s i n t h e e a s ys t e m o f t h e o r i g i n o f t h e z i c o -
o r d i n a t e s s u c h a c o o r d i n a t e s ys t e m z i h a s t h e p r o p e r t y t h a t
i ' ( z ) =
i b
a n d
r F, ( z )
=
( 4 )
( i b '
=
0
o r
1
a c c o r d i n g
a s a
i o r a
=
i ) J
a t t h e o r i g i n z = 0 . Th e b a r o v e r t a n d r d e n o t e s t h a t t h e f u n c t i o n s
a r e r e f e r r e d t o a z ' c o o r d i n a t e s ys t e m a n d t h e n e v a l u a t e d i n t h a t s ys t e m .
I n t h e p a p e r A, I u s e d t h e t e r m i n o l o g y c a n o n i c a l ( i n s t e a d o f l o c a l ) c o -
o r d i n a t e s ys t e m f o r a n y s ys t e m z t t h a t s a t i s f i e s t h e a b o v e c o n d i t i o n s ( 4 ) .
Th e r e l a t i o n s h i p ( 3 ) b e t w e e n t h e l o c a l c o 6 r d i n a t e s z i a n d t h e a r b i t r a r y c o -
o r d i n a t e s x a w a s u s e d r e p e a t e d l y t o d e m o n s t r a t e t h e o r e m s i n t h e g r o u p m a n i -
f o l d . Fo r e x a m p l e t h e f i r s t t e n s o r e x t e n s i o n
j , ,
( c o v a r i a n t d e r i v a t i v e o f
w a s d e r i v e d b y f i r s t o b t a i n i n g t h e f i r s t
s c a l a r e x t e n s i o n j , k o f t h e g r o u p
v e c t o r s
j r
( a , k z
=
( 5 )
I t t u r n s o u t t h a t
( k
=
1 / 2 C k j
;
j V P
=
1 / 2 c 4 i i j k
Fo r f u r t h e r d e t a i l s o f t h i s p a r t i c u l a r e x a m p l e s e e 5 o f p a p e r A.
2 . Th e s p e c i a l r e s u l t s o n l o c a l c o o r d i n a t e s a n d s c a l a r e x t e n s i o n s i n
p a p e r A h a v e m o r e r e c e n t l y l e d m e t o t h e c o n s i d e r a t i o n o f a g e n e r a l a n d
s ys t e m a t i c t h e o r y o f l o c a l c o o r d i n a t e s a n d s c a l a r e x t e n s i o n s . I n f a c t , i n
t h e Ma r c h , 1 9 3 0 , i s s u e o f t h e Bu l l e t i n o f t h e Am e r i c a n Ma t h e m a t i c a l S o c i e t y4
I p u b l i s h e d a b r i e f n o t e e n t i t l e d " An Op e r a t i o n Th a t G e n e r a t e s S c a l a r
D i f f e r e n t i a l I n v a r i a n t s f r o m Te n s o r . " Ac o m p l e t e a c c o u n t o f t h i s s u b j e c t i s
s t i l l u n d e r p r e s s . 5 A s p e c i a l s i t u a t i o n h a s b e e n s i n g l e d o u t a n d d i s c u s s e d
i n a n o t h e r p a p e r . 6 I s h a l l b e c o n t e n t i n t h e p r e s e n t p a p e r w i t h t h e s t a t e -
m e n t o f t w o f u n d a m e n t a l t h e o r e m s t h a t w e r e p r o v e d i n p a p e r B. I n
3 I c o n s i d e r t w o t h e o r e m s ( 3 a n d 4 ) t h a t a r e n o t c o n t a i n e d i n p a p e r B.
Le t
i t
b e a n e n n u p l e o f l i n e a r l y i n d e p e n d e n t v e c t o r s a n d l e t o u r n
d i m e n s i o n a l s p a c e b e f u r t h e r e n d o w e d w i t h a s ym m e t r i c a f f i n e c o n n e c t i o n
r 1 ' . Th e s e t w o s e t s o f f u n c t i o n s n e e d n o t b e o f t h e s p e c i a l t yp e u s e d i n
t h e t h e o r y o f t h e g r o u p m a n i f o l d . Th e
i , m a y b e , f o r e x a m p l e , t h e
o r t h o g o n a l e n n u p l e u s e d b y Ei n s t e i n 2 i n h i s " U n i f i e d Fi e l d Th e o r y" o r
w h a t n o t .
V OL. 1 7 , 1 9 3 1 1 3 3
MATHEMATI C S : A. D . MI C HAL
D e f i n i t i o n . -A c o 6 r d i n a t e s ys t e m z i t h a t i s d e f i n e d i m p l i c i t l y b y
x
-
=
q
_
+
i
( q )
z
(
s =1 ( s +. 1 ) ! ( q i t ( ) j i S q )
.
j , t ( q ) ZZ.
i (
w i l l b e c a l l e d a c o 6 r d i n a t e s ys t e m S r ( a l o c a l c o 6 r d i n a t e s ys t e m o f o r d e r r ) .
Fo r d e f i n i t i o n s o f t h e " g e n e r a l i z e d a f f i n e c o n n e c t i o n s " r , . . , s e e a
r e c e n t p a p e r . 7 W i t h t h e a i d o f t h e r e l a t i o n s ( 6 ) a n d
( 2 z
=
, " ,
( r x , ( z ) ) z ==
0 ( s = 1 , 2 , . .
, r ) ( 7 )
o n e c a n p r o v e t h e f o l l o w i n g t h e o r e m s .
THEOREM 1 . An y t w o c o o r d i n a t e s ys t e m s z t a n d Zt o f t yp e S r w i t h . t h e
s a m e o r i g i n a r e r e l a t e d b y m e a n s o f a t r a n s f o r m a t i o n
Zt = Zt + h r 2 ( Z)
( 8 )
w h e r e h r +2 ( z ) i s a r e g u l a r p o w e r s e r i e s i n z t o f t h e f o r m
h ' r +2 ( z )
=
a j
a t , z . j l
. . z . ( 9 )
s =r +2
THEOREM 2 . I f z i i s a c o 6 r d i n a t e s ys t e m o f t yp e S r a n d i f T:
a
a r e
t h e c o m p o n e n t s o f a t e n s o r , t h e n t h e f u n c t i o n s t e k . * . . j m , m , . . . .
m r ( x 1 , . . . Xx ) d e -
f i n e d b y
' 4
f t f ( ) = (
Y a
z ) \
( 1 0 )
a r e a b s o l u t e s c a l a r s ( t h e r t h s c a l a r e x t e n s i o n o f T) . Th e e x p l i c i t e x p r e s s i o n
f o r t h e r t h s c a l a r e x t e n s i o n o f i s g i v e n b y
m = T
f . .
Ek Y . l 5 l E. . r 4 Er 4 : . . .
. ! t ,
( 1
e k . . . 1 j , m l
* * *
m r a , e l . . .
e r k C
.
1 4 '
m 1 V 1
. . .
m r t
c s ( l
w h e r e Tz
. Er i s t h e r t h t e n s o r e x t e n s i o n 8 o f
T, ,
I n t h e s e Th e o r e m s a s w e l l a s i n Th e o r e m s 3 a n d 4 b e l o w w e u n d e r s t a n d
t h a t m e r e l y t h e m i n i m u m h yp o t h e s e s o f c o n t i n u i t y a n d d i f f e r e n t i a b i l i t y
o f t h e f u n c t i o n s c o n c e r n e d ( a s f u n c t i o n s o f t h e r e a l v a r i a b l e s x l , x 2 , . . . , x " )
a r e s a t i s f i e d . Fo r e x a m p l e , i n Th e o r e m 2 w e a s s u m e : ( a ) t h e e x i s t e n c e
a n d c o n t i n u i t y o f t h e d e r i v a t i v e s o f T u p t o a n d i n c l u d i n g t h e r t h ; ( b )
t h e e x i s t e n c e a n d c o n t i n u i t y o f t h e d e r i v a t i v e s o f r u p t o a n d i n c l u d i n g
t h e ( r
-
1 ) s t ; ( c ) t h e c o n t i n u i t y o f t ( o f c o u r s e i n c a s e r i s o f t yp e ( 1 ) ,
w e a s s u m e t h e e x i s t e n c e a n d c o n t i n u i t y o f t h e d e r i v a t i v e s o f t u p t o a n d
i n c l u d i n g t h e r t h ) .
I n t h e No v e m b e r , 1 9 3 0 , i s s u e o f t h e s e PROC EED I NG S , 9 T. Y . Th o m a s
p u b l i s h e d a n i n t e r e s t i n g a n d i l l u m i n a t i n g p a p e r e n t i t l e d " On t h e U n i f i e d
Fi e l d Th e o r y. I . " Th r o u g h o u t h i s p a p e r , s c a l a r e x t e n s i o n s ( c a l l e d a b s o l u t e
1 3 4 PROC . N. A. S .
MATHEMATI C S : A. D . MI C HAL
d e r i v a t i v e s b y Th o m a s ) p l a y a f u n d a m e n t a l r o l e . Th o m a s b a s e s h i s
o p e r a t i o n s o n l o c a l c o o r d i n a t e s o f i n f i n i t e o r d e r a n d t h u s r e s t r i c t s h i m s e l f
t o t h e i n d e f i n i t e d i f f e r e n t i a b i l i t y o f t h e a f f i n e c o n n e c t i o n .
3 . Th e p u r p o s e o f t h i s p a r a g r a p h i s t o s t a t e a n d o u t l i n e t h e p r o o f s o f
t w o t h e o r e m s .
THEOREM 3 . A l i n e a r t r a n s f o r m a t i o n w i t h c o n s t a n t
c o e f f i c i e n t s
o f t h e
v e c t o r b a s e
i
i r .
=
a J j ,
|
C Z'

-4 -
( 1 2 )
i n d u c e s t h e l i n e a r t r a n s f o r m a t i o n
Zs = a C
z i
( 1 3 )
i n t h e l o c a l c o 6 r d i n a t e s z ' o f t yp e S r a n d w i t h t h e s a m e a r b i t r a r i l y c h o s e n
o r i g i n w h e n e v e r t h e a f f i n e c o n n e c t i o n b e l o n g s t o o n e o f t h e f o l l o w i n g t h r e e t yp e s :
( 1 ) r I ' i n d e p e n d e n t o f i f
( 2 ) r a = 1 / 2 i r +
I
( 3 ) C h r i s t o f f e l s ym b o l s o f t h e t yp e c o n s i d e r e d b y Le v i -C i v i t a 1 0 i n h i s
t r e a t m e n t o f Ei n s t e i n ' s 2 Ri e m a n n s p a c e s w i t h t e l e p a r a l l e l i s m . I n t h i s c a s e
w e r e s t r i c t o u r s e l v e s t o o r t h o g o n a l t r a n s f o r m a t i o n s ( 1 2 ) .
Th e t h e o r e m . i s o b v i o u s f o r a f f i n e c o n n e c t i o n s o f t yp e ( 1 ) . By c a l c u l a t i Q n
w e o b t a i n
-=r , . . P-Y 8 ( s = 1 , 2 , . . . , r )
a n d a s b e f o r e t h e t h e o r e m f o r t yp e ( 2 ) f o l l o w s r e a d i l y.
A s i m i l a r p r o o f
c a n b e g i v e n f o r a f f i n e c o n n e c t i o n s o f t yp e ( 3 ) w h e n w e r e s t r i c t o u r s e l v e s
t o o r t h o g o n a l t r a n s f o r m a t i o n s ( 1 2 ) .
THEOREM 4 . I f a l o c a l c o 6 r d i n a t e s ys t e m S r i s b a s e d o n t h e a f f i n e
c o n -
n e c t i o n ( 2 ) o f Th e o r e m 3 , t h e n t h e s c a l a r e x t e n s i o n
, k .
. . .
I
s a t i s f i e s t h e
i d e n t i t y
S ( %k j , k . . . k r )
= 0 ( 1 4 )
w h e r e S d e n o t e s t h e s u m o f a l l t e r m s o b t a i n a b l e f r o m
t h e o n e i n t h e
p a r e n t h e s i s
b y a c yc l i c p e r m u t a t i o n o f t h e s u b s c r i p t s j , k i , . . , k r . Mo r e o v e r ,
t h e
i d e n t i t y
( 1 4 ) p e r s i s t s n o t o n l y u n d e r c o 6 r d i n a t e t r a n s f o r m a t i o n s b u t a l s o u n d e r a r b i -
t r a r y t r a n s f o r m a t i o n s ( 1 2 ) o f t h e v e c t o r b a s e , j .
No w ( 1 4 ) c a n b e p r o v e d b y i d e n t i f yi n g
S ( , k i . . .
k r ) z
-
= 0
w i t h
( r Ml k . . . k r ) Z
= 0 =
e x c e p t f o r a n u m e r i c a l f a c t o r . Th i s c a n b e v e r i f i e d w i t h t h e a i d o f
( 7 ) ,
V OL. 1 7 , 1 9 3 1
1 3 5
MATHEMATI C S : A. D . MI C HAL
t h e p a r t i c u l a r f o r m o f r , , , t h e r e c u r r e n c e r e l a t i o n s c o n n e c t i n g t h e " g e n e r a l -
i z e d a f f i n e c o n n e c t i o n s , " 7 a n d t h e f a c t t h a t t h e r e l a t i o n s
( r J k , . . . k 5 ) z =o = 0 ( s = 1 , 2 , . . . , r )
a r e e q u i v a l e n t t o
s ( a J k 1 k ) =0 ( s = 1 , 2 , . . . , r ) .
t ZS
z =
Fi n a l l y t h e l a s t p a r t o f t h e t h e o r e m i s e a s i l y p r o v e d b y a s l i g h t v a r i a t i o n
o f a n a r g u m e n t g i v e n b y Th o m a s . 9
Mu c h t h a t w e h a v e s a i d i n t h e s e f r a g m e n t a r y n o t e s f i n d s a p p l i c a t i o n t o
t h e g r o u p m a n i f o l d o f a n n -p a r a m e t e r c o n t i n u o u s Li e g r o u p .
1
E. C a r t a n a n d J . A. S c h o u t e n , Pr o c . Am s t e r d a m Ac a d . , 2 9 ( 1 9 2 6 ) . S e e a l s o L. P.
Ei s e n h a r t , t h e s e PROC EED I NG S , 1 1 ( 1 9 2 5 ) , p p . 2 4 6 -2 5 0 .
2
A. Ei n s t e i n , Ma t h . An n . , 1 0 2 ( 1 9 3 0 ) , p p . 6 8 5 -6 9 7 , a s w e l l a s Ei n s t e i n ' s p a p e r s i n
t h e S i t z u n g s b e r i c h t e Pr e u s s . Ak . ( 1 9 2 8 -1 9 3 0 ) .
A. D . Mi c h a l , t h e s e PROC EED I NG S , 1 4 ( 1 9 2 8 ) , p p . 7 4 6 -7 5 4 . W e s h a l l r e f e r t o t h i s
a s p a p e r A. Th e t h r e e l i n e s e n d i n g w i t h f o r m u l a ( 2 2 ) i n A s h o u l d b e r e p l a c e d b y
( PJ k l ) o = ( a I _ + _C i C j k -+ C a k C j t l
o a
a k / o 4 4
W i t h t h e a i d o f ( 6 ) a n d ( 2 1 ) w e g e t
-b 0 4 a j k +b Pj C a k C
( 2 2 )
( b a l Pa k 4 -i i a 2 2 )
4
A. D . Mi c h a l , Bu l l . Am e r . Ma t h . S o c . , 3 6 ( 1 9 3 0 ) , p p . 2 2 2 -2 2 3 . W e s h a l l r e f e r
t o t h i s i n c o n j u n c t i o n w i t h t h e p a p e r g i v e n i n r e f e r e n c e 5 b e l o w a s p a p e r B.
5 A. D . Mi c h a l , " An Op e r a t i o n Th a t G e n e r a t e s Ab s o l u t e S c a l a r D i f f e r e n t i a l I n -
v a r i a n t s f r o m Te n s o r s , " Tb h o k u Ma t h . J . ( 1 9 3 1 ) .
6 A. D . Mi c h a l , " S c a l a r Ex t e n s i o n s o f a n Or t h o g o n a l En n u p l e o f V e c t o r s , " Am e r .
Ma t h . Mo n t h l y, 3 7 ( 1 9 3 0 ) , p p . 5 2 9 -5 3 3 .
"
A. D . Mi c h a l , " G e o d e s i c C o o r d i n a t e s o f Or d e r , r , " Bu l l . Am e r . Ma t h . S o c . , 3 6 ( 1 9 3 0 ) ,
p p . 5 4 1 -5 4 6 . Re f e r e n c e s t o 0 . V e b l e n ' s a n d T. Y . Th o m a s ' w o r k o n t h e " g e n e r a l i z e d
a f f i n e c o n n e c t i o n s " w i l l b e f o u n d i n t h i s p a p e r .
8
Th e t e n s o r e x t e n s i o n s o f a t e n s o r b a s e d o n a s ym m e t r i c a f f i n e c o n n e c t i o n r ' h a v e
b e e n c o n s i d e r e d b y m e o n t h e b a s i s o f t h e p r o p e r t i e s o f g e o d e s i c c o o r d i n a t e s o f o r d e r r ,
a c l a s s o f g e o d e s i c c o o r d i n a t e s d i s t i n c t f r o m t h o s e o f t yp e S r . S e e m y p a p e r i n r e f e r e n c e
7 a b o v e .
9
T. Y . Th o m a s , t h e s e PROC EED I NG S , 1 6 ( 1 9 3 0 ) , p p . 7 6 1 -7 7 6 .
1 0
T. Le v i -C i v i t a , S i t z u n g s b e r i c h t e Pr e u s s . Ak . ( 1 9 2 9 ) , p p . 1 3 7 -1 5 3 . S e e a l s o m y
p a p e r i n t h e Am e r . Ma t h . Mo n t h l y, l o c . c i t .
1 3 6 PROC . N. A. S .