Download - Spiral Curriculum. Mathematical Foundation
-
8/3/2019 Spiral Curriculum. Mathematical Foundation
1/6
S p i r a l C u r r i c u l u m : T o w a r d s M a t h e m a t i c a l
F o u n d a t i o n s
O l g a K o s h e l e v a
D e p a r t m e n t o f T e a c h e r E d u c a t i o n
U n i v e r s i t y o f T e x a s a t E l P a s o
E l P a s o , T X 7 9 9 6 8 , U S A
E m a i l : o l g a k @ u t e p . e d u
A b s t r a c t O n e o f t h e f u n d a m e n t a l i d e a s o f m o d e r n e d u c a t i o n
i s t h e i d e a o f s p i r a l c u r r i c u l u m , w h e n s t u d e n t s r e p e a t e d l y r e v i s i t
t h e s a m e s e q u e n c e o f t o p i c s a t t h e i n c r e a s i n g l e v e l s o f d e p t h ,
d e t a i l , a n d s o p h i s t i c a t i o n . I n t h i s p a p e r , w e s h o w t h a t u n d e r
r e a s o n a b l e a s s u m p t i o n s , t h e o p t i m a l s e q u e n c e o f p r e s e n t i n g t h e
m a t e r i a l s h o u l d i n d e e d f o l l o w a s p i r a l p a t t e r n .
I . I N T R O D U C T I O N
A . W h a t i s a s p i r a l c u r r i c u l u m
T h e c o n c e p t o f a s p i r a l c u r r i c u l u m w a s d e v e l o p e d b y
H a r v a r d ' s p r o f e s s o r J e r o m e S . B r u n e r , a o n e - t i m e P r e s i d e n t o f
t h e A m e r i c a n P s y c h o l o g i c a l A s s o c i a t i o n , a n d o n e o f t h e m a j o r
m o d e r n t h i n k e r s o n e d u c a t i o n ( s e e , e . g . , [ 1 4 ] ) . T h i s n o t i o n w a s
r s t d e v e l o p e d i n h i s c l a s s i c m o n o g r a p h [ 2 ] .
T h e m a i n i d e a o f t h e s p i r a l c u r r i c u l u m i s t h a t s t u d e n t s
r e p e a t e d l y r e v i s i t t h e s a m e s e q u e n c e o f t o p i c s a t t h e i n c r e a s i n g
l e v e l s o f d e p t h , d e t a i l , a n d s o p h i s t i c a t i o n . T h i s i d e a h a s b e e n
f u r t h e r d e v e l o p e d i n h i s f o l l o w i n g b o o k s [ 3 ] , [ 4 ] , [ 6 ] , [ 7 ] , [ 9 ] ,
[ 1 0 ] .
T h i s a p p r o a c h h a s b e e n s u c c e s s f u l l y u s e d a t a l l l e v e l s o f
e d u c a t i o n , f r o m t h e k i n d e r g a r t e n l e v e l t o t h e l e v e l o f u n i v e r s i t y
e d u c a t i o n .
B . W h a t w e d o i n t h i s p a p e r
I n t h i s p a p e r , w e :
d e s c r i b e t h e p r o b l e m o f s e l e c t i n g t h e o p t i m a l s e q u e n c e
o f p r e s e n t i n g t h e m a t e r i a l ,
f o r m a l i z e t h i s p r o b l e m a s a p r e c i s e o p t i m i z a t i o n p r o b l e m ,
a n d
p r o v e t h a t t h e r e s u l t i n g o p t i m a l s e q u e n c e i s i n d e e d a
s p i r a l .
T h u s , w e p r o v i d e a n a d d i t i o n a l m a t h e m a t i c a l j u s t i c a t i o n o f
t h e s p i r a l c u r r i c u l u m a p p r o a c h .
C . W h a t t e c h n i q u e s w e u s e
I n t h i s p a p e r , w e u s e t e c h n i q u e s b a s e d o n s y m m e t r i e s a n d
s y m m e t r y g r o u p s .
T h e s e t e c h n i q u e s h a v e b e e n s u c c e s s f u l l y u s e d i n p h y s i c s .
I n p a r t i c u l a r , i n [ 1 2 ] , [ 1 3 ] , w e u s e d s y m m e t r y t e c h n i q u e s
t o d e s c r i b e o p t i m a l t r a j e c t o r i e s a n d o p t i m a l s h a p e s e . g . ,
i n c l u d i n g o p t i m a l s h a p e s o f c e l e s t i a l b o d i e s ; s e e a l s o [ 1 6 ] .
I n [ 1 ] , [ 1 5 ] , w e e x t e n d e d t h e s e t e c h n i q u e s t o e d u c a t i o n
p r o b l e m s . I n t h i s p a p e r , w e u s e t h e s e t e c h n i q u e s t o e x p l a i n
t h e o p t i m a l i t y o f s p i r a l c u r r i c u l u m .
I I . P R E L I M I N A R Y D I S C U S S I O N S
A . I t i s r e a s o n a b l e t o r e s t r i c t o u r s e l v e s t o n i t e - p a r a m e t r i c
d e s c r i p t i o n s
L e t u s s t a r t w i t h a n a p p r o p r i a t e d e s c r i p t i o n o f t h e s e t o f a l l
t h e m a t e r i a l t h a t n e e d s t o b e l e a r n e d .
T h e u l t i m a t e o b j e c t i v e o f o u r m a t h e m a t i c a l a n a l y s i s i s
t o h e l p t h e e d u c a t o r s w i t h s e l e c t i n g t h e b e s t s e q u e n c e o f
p r e s e n t i n g t h e m a t e r i a l . F o r t h i s p u r p o s e , w e m u s t b e a b l e
t o p r e s e n t d i f f e r e n t p a r t s o f t h e m a t e r i a l i n t h e c o m p u t e r .
I n s i d e a n y g i v e n c o m p u t e r , w e c a n o n l y s t o r e n i t e l y m a n y
b i t s , a n d t h e r e f o r e , w e c a n r e p r e s e n t t h e i n f o r m a t i o n o n l y
a b o u t n i t e l y m a n y p a r a m e t e r s . S o , i t i s r e a s o n a b l e t o r e s t r i c t
o u r s e l v e s t o n i t e - d i m e n s i o n a l d e s c r i p t i o n s .
I n o t h e r w o r d s , d i f f e r e n t p a r t s o f t h e m a t e r i a l c a n b e
d e s c r i b e d b y t h e v a l u e s n i t e l y m a n y p a r a m e t e r s x1, . . . , xn .S o , e a c h p a r t o f t h e m a t e r i a l c a n b e r e p r e s e n t e d a s a p o i n t i n
an
- d i m e n s i o n a l s p a c e Rn
.
B . W e n e e d a c u r v e , n o t a t r a j e c t o r y
I d e a l l y , w e s h o u l d d e s c r i b e w h i c h p a r t o f t h e m a t e r i a l s h o u l d
b e p r e s e n t e d a t d i f f e r e n t m o m e n t s o f t i m e
t. I n o t h e r w o r d s ,
w e n e e d t o k n o w t h e o p t i m a l d e p e n d e n c e x(t) o f t h e m a t e r i a l
p r e s e n t e d a t m o m e n t t o n t h i s m o m e n t o f t i m e . S o , f r o m t h e m a t h e m a t i c a l v i e w p o i n t , i t i s d e s i r a b l e t o d e s c r i b e a t r a j e c t o r y ,
i . e . , a m a p p i n g f r o m t h e s e t o f r e a l n u m b e r s ( r e p r e s e n t i n g t i m e )
t o t h e n- d i m e n s i o n a l s p a c e Rn .F r o m t h e p r a c t i c a l v i e w p o i n t , h o w e v e r , t h e r e a r e t w o a s p e c t s
t o t h i s c h o i c e :
r s t , w e m u s t s e l e c t t h e o r d e r i n w h i c h w e p r e s e n t t h e
m a t e r i a l ;
s e c o n d , w e m u s t s e l e c t t h e s p e e d w i t h w h i c h t h e m a t e r i a l
i s p r e s e n t e d .
S e l e c t i n g t h e p r o p e r o r d e r i s d i f c u l t . O n c e t h e o r d e r i s
s e l e c t e d , s e l e c t i n g t h e s p e e d o f p r e s e n t a t i o n i s m u c h e a s i e r :
w e j u s t n e e d t o k e e p t r a c k o f h o w f a s t s t u d e n t s l e a r n , a n d
m a k e s u r e t h a t t h e y l e a r n t h e m a t e r i a l t o t h e d e s i r e d l e v e l
b e f o r e m o v i n g t o t h e n e x t p a r t o f t h e m a t e r i a l .
I n v i e w o f t h i s f a c t , i n t h e f o l l o w i n g t e x t , w e w i l l c o n -
c e n t r a t e o n t h e m o s t d i f c u l t p a r t o f t h e p r o b l e m : s e l e c t -
i n g t h e p r o p e r o r d e r . F r o m t h e m a t h e m a t i c a l v i e w p o i n t , t h e
o r d e r i s r e p r e s e n t e d b y t h e c o r r e s p o n d i n g c u r v e , i . e . , b y a
1 - d i m e n s i o n a l s e t d e s c r i b i n g t h e c o v e r e d m a t e r i a l . I n t h e s e
t e r m s , w e w o u l d b e l o o k i n g f o r t h e o p t i m a l c u r v e .
-
8/3/2019 Spiral Curriculum. Mathematical Foundation
2/6
C . W e n e e d a f a m i l y o f c u r v e s , n o t a s i n g l e c u r v e
T h e o p t i m a l s e q u e n c e o f p r e s e n t i n g t h e m a t e r i a l d e p e n d s
o n w h a t e x a c t l y w e w a n t : e . g . , a s w e h a v e s h o w n i n [ 1 ] , [ 1 5 ] ,
t h i s s e q u e n c e d e p e n d s o n
w h e t h e r w e w a n t t h e s t u d e n t s t o b e a b l e t o a w l e s s l y
a p p l y t h i s k n o w l e d g e r i g h t a w a y o r
w h e t h e r w e a l l o w f o r a f o l l o w - u p t r a i n i n g p e r i o d ( l i k e
i n t e r n s h i p f o r m e d i c a l d o c t o r s ) i n w h i c h t h e y w o r k u n d e r
p r o p e r s u p e r v i s i o n .
A s a r e s u l t , w e d o n o t e x p e c t t o n d a s i n g l e o p t i m a l c u r v e ,
w e e x p e c t t o n d a f a m i l y o f c u r v e s w h i c h a r e o p t i m a l u n d e r
d i f f e r e n t o p t i m a l i t y c r i t e r i a .
D . I n t h e c o m p u t e r , w e c a n o n l y u s e n i t e - p a r a m e t r i c f a m i l i e s
o f c u r v e s
A s w e h a v e m e n t i o n e d e a r l i e r , t h e u l t i m a t e o b j e c t i v e o f o u r
m a t h e m a t i c a l a n a l y s i s i s t o h e l p t h e e d u c a t o r s w i t h s e l e c t i n g
t h e b e s t s e q u e n c e o f p r e s e n t i n g t h e m a t e r i a l . F o r t h i s p u r p o s e ,
w e m u s t b e a b l e t o p r e s e n t d i f f e r e n t c u r v e s i n t h e c o m p u t e r .
F r o m t h e p u r e l y m a t h e m a t i c a l v i e w p o i n t , w e c a n h a v e
f a m i l i e s c h a r a c t e r i z e d b y i n n i t e n u m b e r o f p a r a m e t e r s : e . g . ,
t h e f a m i l y o f a l l p o s s i b l e c u r v e s . H o w e v e r , i n s i d e a n y g i v e n
c o m p u t e r , w e c a n o n l y s t o r e n i t e l y m a n y b i t s , a n d t h e r e f o r e ,
w e c a n r e p r e s e n t t h e i n f o r m a t i o n o n l y a b o u t n i t e l y m a n y
p a r a m e t e r s . S o , i t i s r e a s o n a b l e t o r e s t r i c t o u r s e l v e s t o n i t e -
d i m e n s i o n a l f a m i l y o f c u r v e s .
E . M a i n p r o b l e m : w h i c h f a m i l i e s o f c u r v e s s h o u l d w e c h o o s e
I n p r i n c i p l e , d i f f e r e n t f a m i l i e s o f c u r v e s c a n b e u s e d .
T h e r e f o r e , i t i s i m p o r t a n t t o c h o o s e t h e r i g h t f a m i l y .
C u r r e n t l y , t h i s c h o i c e i s m a i n l y m a d e a d h o c , a t b e s t , b y
t e s t i n g a f e w p o s s i b l e f a m i l i e s a n d c h o o s i n g t h e o n e t h a t
p e r f o r m s t h e b e s t o n a f e w b e n c h m a r k s . S i n c e o n l y a f e w
f a m i l i e s a r e a n a l y z e d , w e a r e n o t s u r e t h a t w e d i d n o t m i s s
t h e r e a l g o o d a p p r o x i m a t i n g f a m i l y . ( A n d s i n c e o n l y a f e w
b e n c h m a r k s a r e u s e d f o r c o m p a r i s o n , w e a r e n o t s u r e t h a t t h e
c h o s e n f a m i l y i s i n d e e d t h e b e s t o n e . ) I t i s , t h e r e f o r e , d e s i r a b l e
t o n d t h e o p t i m a l f a m i l y o f c u r v e s .
I I I . W H A T D O E S O P T I M A L M E A N ? M O T I V A T I O N S F O R
T H E F O L L O W I N G D E F I N I T I O N S
A . W h a t i s o p t i m a l i t y c r i t e r i o n
O u r o b j e c t i v e i s t o n d a n o p t i m a l f a m i l y o f c u r v e s . W h e n
w e s a y o p t i m a l , w e m e a n o p t i m a l w . r . t . t o s o m e o p t i m a l i t y
c r i t e r i o n . W h e n w e s a y t h a t s o m e o p t i m a l i t y c r i t e r i o n i s g i v e n ,
w e m e a n t h a t , g i v e n t w o d i f f e r e n t f a m i l i e s o f a p p r o x i m a t i n g
s e t s , w e c a n d e c i d e w h e t h e r t h e r s t o n e i s b e t t e r , o r t h a t t h e
s e c o n d o n e i s b e t t e r , o r t h a t t h e s e f a m i l i e s a r e o f t h e s a m e
q u a l i t y w . r . t . t h e g i v e n c r i t e r i o n . I n m a t h e m a t i c a l t e r m s , t h i s
m e a n s t h a t w e h a v e a p r e - o r d e r i n g r e l a t i o n o n t h e s e t o f a l l p o s s i b l e n i t e - d i m e n s i o n a l f a m i l i e s o f s e t s .
B . W e w a n t t o s o l v e a n a m b i t i o u s p r o b l e m : e n u m e r a t e a l l
n i t e - d i m e n s i o n a l f a m i l i e s o f c u r v e s t h a t a r e o p t i m a l r e l a t i v e
t o s o m e n a t u r a l c r i t e r i a
O n e w a y t o a p p r o a c h t h e p r o b l e m o f c h o o s i n g t h e b e s t
f a m i l y o f c u r v e s i s t o s e l e c t o n e o p t i m a l i t y c r i t e r i o n , a n d t o
n d a f a m i l y o f c u r v e s t h a t i s t h e b e s t w i t h r e s p e c t t o t h i s
c r i t e r i o n . T h e m a i n d r a w b a c k o f t h i s a p p r o a c h i s t h a t t h e r e c a n
b e d i f f e r e n t o p t i m a l i t y c r i t e r i a , a n d t h e y c a n l e a d t o d i f f e r e n t
o p t i m a l s o l u t i o n s .
I t i s , t h e r e f o r e , d e s i r a b l e n o t o n l y t o d e s c r i b e a f a m i l y o f
c u r v e s t h a t i s o p t i m a l r e l a t i v e t o s o m e c r i t e r i o n , b u t t o d e s c r i b e
a l l f a m i l i e s o f c u r v e s t h a t c a n b e o p t i m a l r e l a t i v e t o d i f f e r e n t
n a t u r a l c r i t e r i a . I n t h i s p a p e r , w e a r e p l a n n i n g t o u n d e r t a k e
e x a c t l y t h i s m o r e a m b i t i o u s t a s k .
C . N u m e r i c a l o p t i m a l i t y c r i t e r i a
P r e - o r d e r i n g i s t h e g e n e r a l f o r m u l a t i o n o f o p t i m i z a t i o n
p r o b l e m s i n g e n e r a l , n o t o n l y o f t h e p r o b l e m o f c h o o s i n g a
f a m i l y o f s e t s . I n g e n e r a l o p t i m i z a t i o n t h e o r y , i n w h i c h w e a r e
c o m p a r i n g a r b i t r a r y a l t e r n a t i v e s A, B , . . . , f r o m a g i v e n s e t
A, t h e m o s t f r e q u e n t c a s e o f s u c h a p r e - o r d e r i n g i s w h e n a
n u m e r i c a l c r i t e r i o n i s u s e d , i . e . , w h e n a f u n c t i o n J : A R
i s g i v e n f o r w h i c h A B i f a n d o n l y i f J(A) J(B) .
F o r e x a m p l e , w e m a y w a n t t o s e l e c t a f a m i l y f o r w h i c h
t h e s p e e d o f l e a r n i n g t h e g i v e n m a t e r i a l i s t h e l a r g e s t , o r
t h e p e r c e n t a g e o f m a t e r i a l r e t a i n e d u n d e r a c e r t a i n p e r i o d
o f t i m e i s t h e l a r g e s t . F o r b o t h c r i t e r i a , t h e s p e e d a n d t h e
p e r c e n t a g e d e p e n d o n t h e s t u d e n t b o d y . W e c a n t h e r e f o r e
c o n s i d e r w o r s t - c a s e c r i t e r i a b y s e l e c t i n g t h e c u r v e u n d e r
w h i c h t h e g u a r a n t e e d l e a r n i n g t i m e i f t h e s m a l l e s t o r t h e
g u a r a n t e e d r e t e n t i o n p e r c e n t a g e i s t h e l a r g e s t . A l t e r n a t i v e , w e
c a n c o n s i d e r a v e r a g e - c a s e c r i t e r i a b y s e l e c t i n g t h e c u r v e
u n d e r w h i c h t h e a v e r a g e l e a r n i n g t i m e i s t h e s m a l l e s t o r t h e
a v e r a g e r e t e n t i o n p e r c e n t a g e i s t h e l a r g e s t .
D . N o n - n u m e r i c a l o p t i m a l i t y c r i t e r i a n a t u r a l l y a p p e a r
F o r w o r s t - c a s e o p t i m a l i t y c r i t e r i a , i t o f t e n h a p p e n s t h a t
t h e r e a r e s e v e r a l d i f f e r e n t a l t e r n a t i v e s t h a t p e r f o r m e q u a l l y
w e l l i n t h e w o r s t c a s e , b u t w h o s e p e r f o r m a n c e d i f f e r d r a s t i -
c a l l y i n t h e a v e r a g e c a s e s . I n t h i s c a s e , i t m a k e s s e n s e , a m o n g
a l l t h e a l t e r n a t i v e s w i t h t h e o p t i m a l w o r s t - c a s e b e h a v i o r , t o
c h o o s e t h e o n e f o r w h i c h t h e a v e r a g e b e h a v i o r i s t h e b e s t
p o s s i b l e . T h i s v e r y n a t u r a l i d e a l e a d s t o t h e o p t i m a l i t y c r i t e r i o n
t h a t i s n o t d e s c r i b e d b y a n u m e r i c a l o p t i m a l i t y c r i t e r i o n J(A):
i n t h i s c a s e , w e n e e d t w o f u n c t i o n s : J1(A) d e s c r i b e s t h e w o r s t - c a s e b e h a v i o r , J2(A) d e s c r i b e s t h e a v e r a g e - c a s e b e h a v i o r , a n d
A Bi f a n d o n l y i f :
e i t h e r J1(A) < J2(B) , o r J1(A) = J1(B) a n d J2(A) J2(B) .
W e c o u l d f u r t h e r s p e c i f y t h e d e s c r i b e d o p t i m a l i t y c r i t e r i o n
a n d e n d u p w i t h a n a t u r a l c r i t e r i o n . H o w e v e r , a s w e h a v e
a l r e a d y m e n t i o n e d , t h e g o a l o f t h i s p a p e r i s n o t t o n d a
f a m i l y o f c u r v e s t h a t i s o p t i m a l r e l a t i v e t o s o m e c r i t e r i o n , b u t
t o d e s c r i b e a l l f a m i l i e s o f c u r v e s t h a t a r e o p t i m a l r e l a t i v e t o
s o m e n a t u r a l o p t i m a l i t y c r i t e r i a . I n v i e w o f t h i s g o a l , i n t h e
f o l l o w i n g t e x t , w e w i l l n o t s p e c i f y t h e c r i t e r i o n , b u t , v i c e v e r s a ,
-
8/3/2019 Spiral Curriculum. Mathematical Foundation
3/6
w e w i l l d e s c r i b e a v e r y g e n e r a l c l a s s o f n a t u r a l o p t i m a l i t y
c r i t e r i a .
S o , l e t u s f o r m u l a t e w h a t n a t u r a l m e a n s .
E . T h e o p t i m a l i t y c r i t e r i o n m u s t b e i n v a r i a n t w i t h r e s p e c t t o
r e a s o n a b l e s y m m e t r i e s
P r o b l e m s r e l a t e d t o g e o m e t r i c s e t s o f t e n h a v e n a t u r a l s y m -
m e t r i e s . F o r e x a m p l e , i n o u r p r e s e n t a t i o n o f k n o w l e d g e , w e
m a y w a n t t o r o t a t e t h e o r i g i n a l c o o r d i n a t e s x1, . . . , xd a n d
c o n s i d e r n e w o n e s . T h e c h o i c e o f a r o t a t e d c o o r d i n a t e s y s t e m
i s e q u i v a l e n t t o r o t a t i n g a l l t h e p o i n t s : x R(x) . A s a
r e s u l t , i n t h e n e w c o o r d i n a t e s , e a c h c u r v e X A f r o m a
f a m i l y o f c u r v e s A
w i l l b e d e s c r i b e d b y a r o t a t e d c u r v e
R(X) = {R(x) |x X}, a n d t h e o r i g i n a l f a m i l y A t u r n s i n t o a r o t a t e d f a m i l y R(A) = {R(X) |X A}. I t i s r e a s o n a b l e t o r e q u i r e t h a t t h e r e l a t i v e q u a l i t y o f t h e t w o f a m i l i e s o f s e t s
d o n o t c h a n g e u n d e r t h i s r o t a t i o n , i f A i s b e t t e r t h a n B , t h e n R(A) i s b e t t e r t h a n R(B) .
A n o t h e r r e a s o n a b l e s y m m e t r y i s r e - s c a l i n g . U s u a l l y , t h e
c h o i c e o f u n i t s t o d e s c r i b e t h e p a r a m e t e r s xi i s r a t h e r a r b i t r a r y .
I f w e r e p l a c e t h e o r i g i n a l u n i t w i t h a n e w u n i t w h i c h i s
t i m e s
s m a l l e r , t h e n t h e n e w v a l u e s o f t h e p a r a m e t e r a r e i n c r e a s e d b y
a f a c t o r o f
, i . e . , x x. I t i s , t h e r e f o r e , n a t u r a l t o r e q u i r e
t h a t t h e d e s i r e d o p t i m a l i t y c r i t e r i o n b e i n v a r i a n t w i t h r e s p e c t
t o s u c h r e s c a l i n g s .
F . T h e c r i t e r i o n m u s t b e n a l
I f t h e c r i t e r i o n d o e s n o t s e l e c t a n y f a m i l y a s a n o p t i m a l o n e ,
i . e . , i f , a c c o r d i n g t o t h i s c r i t e r i o n , n o n e o f t h e f a m i l i e s i s b e t t e r
t h a n t h e o t h e r s , t h e n t h i s c r i t e r i o n i s o f n o u s e i n s e l e c t i o n .
I f t h e c r i t e r i o n c o n s i d e r s s e v e r a l d i f f e r e n t f a m i l i e s e q u a l l y
g o o d , t h e n w e c a n a l w a y s u s e s o m e o t h e r c r i t e r i o n t o h e l p
s e l e c t b e t w e e n t h e s e e q u a l l y g o o d o n e s , t h u s d e s i g n i n g a
t w o - s t e p c r i t e r i o n . I f t h i s n e w c r i t e r i o n s t i l l d o e s n o t s e l e c t a
u n i q u e f a m i l y , w e c a n c o n t i n u e t h i s p r o c e s s u n t i l w e a r r i v e a t
a c o m b i n a t i o n m u l t i - s t e p c r i t e r i o n f o r w h i c h t h e r e i s o n l y o n e
o p t i m a l f a m i l y .
T h e r e f o r e , w e c a n a l w a y s a s s u m e t h a t o u r c r i t e r i o n i s n a l
i n t h e s e n s e t h a t i t s e l e c t s o n e a n d o n l y o n e o p t i m a l f a m i l y .
I V . D E F I N I T I O N S A N D T H E G E N E R A L R E S U L T
O u r g o a l i s t o c h o o s e t h e b e s t n i t e - p a r a m e t r i c f a m i l y o f
c u r v e s . T o f o r m u l a t e t h i s p r o b l e m p r e c i s e l y , w e m u s t f o r m a l i z e
w h a t a n i t e - p a r a m e t r i c f a m i l y i s a n d w h a t i t m e a n s f o r
a f a m i l y t o b e o p t i m a l . I n a c c o r d a n c e w i t h o u r i n f o r m a l
d e s c r i p t i o n , b o t h f o r m a l i z a t i o n s w i l l u s e n a t u r a l s y m m e t r i e s .
S o , w e w i l l r s t f o r m u l a t e h o w s y m m e t r i e s c a n b e d e n e d
f o r f a m i l i e s o f s e t s , t h e n w h a t i t m e a n s f o r a f a m i l y o f
s e t s t o b e n i t e - d i m e n s i o n a l , a n d n a l l y , h o w t o d e s c r i b e
a n o p t i m a l i t y c r i t e r i o n . C u r v e s w i l l b e t h e n i n t r o d u c e d a s
p a r t i c u l a r c a s e s o f s e t s .
D e n i t i o n 1 . L e t g : M M b e a 1 - 1 - t r a n s f o r m a t i o n o f a s e t M, a n d l e t A b e a f a m i l y o f s u b s e t s o f M. F o r e a c h s e t X A,w e d e n e t h e r e s u l t
g(X) o f a p p l y i n g t h i s t r a n s f o r m a t i o n g t ot h e s e t
Xa s {g(x) |x X}, a n d w e d e n e t h e r e s u l t g(A)
o f a p p l y i n g t h e t r a n s f o r m a t i o n g t o t h e f a m i l y A a s t h e f a m i l y {g(X) |X A}.
D e n i t i o n 2 . L e t M b e a s m o o t h m a n i f o l d . A g r o u p G o ft r a n s f o r m a t i o n s M M i s c a l l e d a L i e t r a n s f o r m a t i o n g r o u p ,i f
Gi s e n d o w e d w i t h a s t r u c t u r e o f a s m o o t h m a n i f o l d f o r
w h i c h t h e m a p p i n g g, a g(a) f r o m GM t o M i s s m o o t h .
W e w a n t t o d e n e r
- p a r a m e t r i c f a m i l i e s s e t s i n s u c h a
w a y t h a t s y m m e t r i e s f r o m G
w o u l d b e c o m p u t a b l e b a s e d o n
p a r a m e t e r s . F o r m a l l y :
D e n i t i o n 3 . L e t M a n d N b e s m o o t h m a n i f o l d s .
B y a m u l t i - v a l u e d f u n c t i o n F : M N w e m e a n a f u n c t i o n t h a t m a p s e a c h m M i n t o a d i s c r e t e s e t F(m) N.
W e s a y t h a t a m u l t i - v a l u e d f u n c t i o n i s s m o o t h i f f o r e v e r y
p o i n t m0 M a n d f o r e v e r y v a l u e f0 F(m), t h e r e e x i s t s a n o p e n n e i g h b o r h o o d
Uo f
m0 a n d a s m o o t h f u n c t i o n
f : U N f o r w h i c h f(m0) = f0 a n d f o r e v e r y
m U, f(m) F(m).
D e n i t i o n 4 . L e t G
b e a L i e t r a n s f o r m a t i o n g r o u p o n a s m o o t h
m a n i f o l d M
.
W e s a y t h a t a c l a s s A o f c l o s e d s u b s e t s o f M i s G-i n v a r i a n t i f f o r e v e r y s e t
X A, a n d f o r e v e r y t r a n s - f o r m a t i o n
g G, t h e s e t g(X) a l s o b e l o n g s t o t h e c l a s s .
I fA
i s aG
- i n v a r i a n t c l a s s , t h e n w e s a y t h a t A
i s a n i t e l y
p a r a m e t r i c f a m i l y o f s e t s i f t h e r e e x i s t :
a ( n i t e - d i m e n s i o n a l ) s m o o t h m a n i f o l d V
;
a m a p p i n g s
t h a t m a p s e a c h e l e m e n t v V i n t o a
s e ts(v) M; a n d
a s m o o t h m u l t i - v a l u e d f u n c t i o n : G V V
s u c h t h a t :
t h e c l a s s o f a l l s e t s s(v) t h a t c o r r e s p o n d s t o d i f f e r e n t
v V c o i n c i d e s w i t h A, a n d f o r e v e r y
v V , f o r e v e r y t r a n s f o r m a t i o n g G, a n d f o r e v e r y
(g, v), t h e s e t s() ( t h a t c o r r e s p o n d s t o
) i s e q u a l t o t h e r e s u l t
g(s(v)) o f a p p l y i n g t h e t r a n s f o r m a t i o n
gt o t h e s e t
s(v) ( t h a t c o r r e s p o n d s t o v ) .
L e t r > 0 b e a n i n t e g e r . W e s a y t h a t a c l a s s o f s e t s B
i s ar
- p a r a m e t r i c c l a s s o f s e t s i f t h e r e e x i s t s a n i t e -
d i m e n s i o n a l f a m i l y o f s e t s A d e n e d b y a t r i p l e (V,s, )f o r w h i c h B c o n s i s t s o f a l l t h e s e t s s(v) w i t h v f r o m s o m e r - d i m e n s i o n a l s u b - m a n i f o l d W V .
D e n i t i o n 5 . L e t A b e a s e t , a n d l e t G b e a g r o u p o f t r a n s f o r m a t i o n s d e n e d o n A.
B y a n o p t i m a l i t y c r i t e r i o n , w e m e a n a p r e - o r d e r i n g ( i . e . ,
a t r a n s i t i v e r e e x i v e r e l a t i o n ) o n t h e s e t A. A n o p t i m a l i t y c r i t e r i o n i s c a l l e d G- i n v a r i a n t i f f o r a l l g
G, a n d f o r a l l A, B A, A B i m p l i e s g(A) g(B). A n o p t i m a l i t y c r i t e r i o n i s c a l l e d n a l i f t h e r e e x i s t s o n e
a n d o n l y o n e e l e m e n t A A t h a t i s p r e f e r a b l e t o a l l t h e
o t h e r s , i . e . , f o r w h i c h B A f o r a l l B = A.
-
8/3/2019 Spiral Curriculum. Mathematical Foundation
4/6
A n o p t i m a l i t y c r i t e r i o n i s c a l l e d G- n a t u r a l i f i t i s G-i n v a r i a n t a n d n a l .
D e n i t i o n 6 . L e t M
b e a s m o o t h m a n i f o l d . A s e t X M i s
c a l l e d a c u r v e i f i t i s a n i m a g e o f a s m o o t h m a p p i n g f r o m a
r e a l l i n e t o M.
T h e o r e m 1 . L e t M b e a m a n i f o l d , l e t G b e a d- d i m e n s i o n a l L i e t r a n s f o r m a t i o n g r o u p o n
M, a n d l e t
r < db e a p o s i t i v e
i n t e g e r . L e t A d e n o t e t h e c l a s s o f a l l r - p a r a m e t r i c f a m i l i e s o f s e t s f r o m
M, a n d l e t b e a G- n a t u r a l o p t i m a l i t y c r i t e r i o n
o n t h e c l a s s A. T h e n :
t h e - o p t i m a l f a m i l y Aopt i s G- i n v a r i a n t ; a n d
e a c h s e t
Xf r o m t h e - o p t i m a l f a m i l y Aopt i s a u n i o n o f
o r b i t s o f (dr)- d i m e n s i o n a l s u b g r o u p s o f t h e g r o u p G.
P r o o f . S i n c e t h e c r i t e r i o n i s n a l , t h e r e e x i s t s o n e a n d o n l y o n e o p t i m a l f a m i l y o f s e t s . L e t u s d e n o t e t h i s f a m i l y b y
Aopt .
1 . L e t u s r s t s h o w t h a t t h i s f a m i l y Aopt i s i n d e e d G- i n v a r i a n t ,
i . e . , t h a t g(Aopt) = Aopt f o r e v e r y t r a n s f o r m a t i o n g G.
I n d e e d , l e t g G. F r o m t h e o p t i m a l i t y o f Aopt , w e c o n c l u d e t h a t f o r e v e r y B A, g1(B) Aopt . F r o m t h e G- i n v a r i a n c e o f t h e o p t i m a l i t y c r i t e r i o n , w e c a n n o w c o n c l u d e t h a t B g(Aopt). T h i s i s t r u e f o r a l l B A a n d t h e r e f o r e , t h e f a m i l y g(Aopt) i s o p t i m a l . B u t s i n c e t h e c r i t e r i o n i s n a l , t h e r e i s o n l y o n e o p t i m a l f a m i l y ; h e n c e ,
g(Aopt) = Aopt . S o , Aopt i si n d e e d i n v a r i a n t .
2 . L e t u s n o w s h o w a n a r b i t r a r y s e t X0 f r o m t h e o p t i m a l f a m i l y
Aopt c o n s i s t s o f o r b i t s o f (dr) - d i m e n s i o n a l s u b g r o u p s o f t h e g r o u p
G.
I n d e e d , t h e f a c t t h a t Aopt i s G- i n v a r i a n t m e a n s , i n p a r t i c - u l a r , t h a t f o r e v e r y g G, t h e s e t g(X0) a l s o b e l o n g s t o
Aopt. T h u s , w e h a v e a ( s m o o t h ) m a p p i n g
g g(X0)f r o m
t h ed
- d i m e n s i o n a l m a n i f o l d G
i n t o t h e r - d i m e n s i o n a l s e t G(X0) = {g(X0) | g G} Aopt . I n t h e f o l l o w i n g , w e w i l l d e n o t e t h i s m a p p i n g b y
g0 .S i n c e
r < d, t h i s m a p p i n g c a n n o t b e 1 - 1 , i . e . , f o r s o m e
s e t s X = g(X0) G(X0), t h e p r e - i m a g e g
10 (X) =
{g | g(X0) = g(X0)} c o n s i s t s o f o n e t h a n o n e p o i n t . B y
d e n i t i o n o f g(X), w e c a n c o n c l u d e t h a t g(X0) = g(X0)
i f f (g)1g(X0) = X0 . T h u s , t h i s p r e - i m a g e i s e q u a l t o {g | (g)1g(X0) = X0}. I f w e d e n o t e (g
)1g b y g , w ec o n c l u d e t h a t g = gg a n d t h a t t h e p r e - i m a g e g10 (X) =g10 (g
(X0)) i s e q u a l t o {gg | g(X0) = X0}, i . e . , t o t h e r e s u l t o f a p p l y i n g
gt o {g | g(X0) = X0} = g
10 (X0) . T h u s , e a c h
p r e - i m a g e ( g10 (X) = g10 (g(X0))) c a n b e o b t a i n e d f r o m o n e o f t h e s e p r e - i m a g e s ( n a m e l y , f r o m
g10 (X0) ) b y a s m o o t h i n v e r t i b l e t r a n s f o r m a t i o n
g. T h u s , a l l p r e - i m a g e s h a v e t h e
s a m e d i m e n s i o n D
.
W e t h u s h a v e a s t r a t i c a t i o n ( b e r b u n d l e ) o f a d-d i m e n s i o n a l m a n i f o l d G i n t o D - d i m e n s i o n a l s t r a t a , w i t h t h e d i m e n s i o n Df o f t h e f a c t o r - s p a c e b e i n g r . T h u s , d = D +Df, a n d f r o m Df r , w e c o n c l u d e t h a t D = dDf nr .
S o , f o r e v e r y s e t X0 Aopt , w e h a v e a D (n r) -
d i m e n s i o n a l s u b s e t G0 G t h a t l e a v e s X0 i n v a r i a n t ( i . e . ,
f o r w h i c h g(X0) = X0 f o r a l l g G0 ) . I t i s e a s y t o c h e c k t h a t i f g, g G0 , t h e n gg
G0 a n d g1 G0 , i . e . , t h a t
G0 i s a s u b g r o u p o f t h e g r o u p G. F r o m t h e d e n i t i o n o f G0a s {g | g(X0) = X0} a n d t h e f a c t t h a t g(X0) i s d e n e d b y a s m o o t h t r a n s f o r m a t i o n , w e c o n c l u d e t h a t G0 i s a s m o o t h s u b - m a n i f o l d o f
G, i . e . , a (n r)- d i m e n s i o n a l s u b g r o u p o f
G.
T o c o m p l e t e o u r p r o o f , w e m u s t s h o w t h a t t h e s e t X0 i s a
u n i o n o f o r b i t s o f t h e g r o u p G0 . I n d e e d , t h e f a c t t h a t g(X0) =
X0 m e a n s t h a t f o r e v e r y x X0 , a n d f o r e v e r y g G0 , t h e e l e m e n t g(x) a l s o b e l o n g s t o X0 . T h u s , f o r e v e r y e l e m e n t xo f t h e s e t X0 , i t s e n t i r e o r b i t {g(x) | g G0} i s c o n t a i n e d i n X0 . T h u s , X0 i s i n d e e d t h e u n i o n o f o r b i t s o f G0 . Q . E . D .
V . T O W A R D S A P P L Y I N G T H E G E N E R A L R E S U L T T O T H E
E D U C A T I O N P R O B L E M : A P P R O P R I A T E U S E O F S Y M M E T R I E S
A . W e n e e d t o d e s c r i b e a p p r o p r i a t e s y m m e t r i e s
T h e a b o v e g e n e r a l r e s u l t w a s f o r m u l a t e d i n t e r m s o f g e n e r a l
s y m m e t r y g r o u p s . S o t o a p p l y t h i s g e n e r a l r e s u l t t o o u r e d u -
c a t i o n p r o b l e m , i t i s n e c e s s a r y t o n d a p p r o p r i a t e s y m m e t r i e s .
I n g e o m e t r i c s i t u a t i o n s d e s c r i b e d i n [ 1 2 ] , [ 1 3 ] , w e h a v e
n a t u r a l g e o m e t r i c s y m m e t r i e s l i k e r o t a t i o n . I n t h e e d u c a t i o n
p r o b l e m s , t h e r e a r e n o n a t u r a l s y m m e t r i e s , b u t w e m u s t n d
t h e a p p r o p r i a t e s y m m e t r i e s i n s o m e i n d i r e c t w a y .
B . T o b e a b l e t o d e s c r i b e s y m m e t r i e s , w e r s t d e s c r i b e c l o s e -
n e s s
T o d e s c r i b e s y m m e t r i e s , w e w i l l d e s c r i b e c l o s e n e s s b e -
t w e e n d i f f e r e n t p a r t s o f t h e m a t e r i a l , a n d d e n e s y m m e t r i e s
a s t r a n s f o r m a t i o n s w h i c h p r e s e r v e s t h i s c l o s e n e s s s o t h a t i f
x a n d y a r e - c l o s e t h e y e i t h e r r e m a i n - c l o s e a f t e r t h i s t r a n s - f o r m a t i o n , o r a t l e a s t b e c o m e f() - c l o s e f o r a n a p p r o p r i a t e f u n c t i o n f() .
C l o s e n e s s m e a n s t h a t f o r e a c h v a l u e o f a d i s t a n c e
a n d f o r
e a c h p o i n t x
, w e h a v e a s e t o f a l l t h e p o i n t s w h o s e d i s t a n c e
t ox
d o e s n o t e x c e e d x
. W e h a v e d i f f e r e n t s e t s f o r d i f f e r e n t
c l o s e n e s s c r i t e r i a , f o r d i f f e r e n t p o i n t s x
, a n d f o r d i f f e r e n t v a l u e
. L e t u s d e s c r i b e t h e f a m i l y o f a l l s u c h s e t s .
C . L i n e a r t r a n s f o r m a t i o n s
I t i s r e a s o n a b l e t o r e s t r i c t o u r s e l v e s t o l i n e a r t r a n s f o r m a t i o n s
Rn Rn , i . e . , o f a l l t r a n s f o r m a t i o n s o f t h e t y p e
xi ai +j
aijxj
w i t h a n i n v e r t i b l e m a t r i x aij .
D . M a i n r e s u l t
W e w i l l s h o w t h a t t h e e l l i p s o i d s a r e t h e s i m p l e s t o p t i -
m a l f a m i l y , i . e . , t h a t o f a l l p o s s i b l e o p t i m a l n i t e - p a r a m e t r i c
f a m i l i e s t h a t c o r r e s p o n d t o d i f f e r e n t Ge - i n v a r i a n t o p t i m a l i t y c r i t e r i a , e l l i p s o i d s h a v e t h e s m a l l e s t n u m b e r o f p a r a m e t e r s .
D e n i t i o n 7 . B y a c l o s e d d o m a i n , w e m e a n a c l o s e d s e t t h a t
i s e q u a l t o t h e c l o s u r e o f t h e s e t o f i t s i n t e r i o r p o i n t s .
T h e o r e m 2 . L e t n > 0 b e a n i n t e g e r , M = Rn , Ge b e
t h e g r o u p o f a l l a f n e t r a n s f o r m a t i o n s , a n d b e a n a t u r a l
-
8/3/2019 Spiral Curriculum. Mathematical Foundation
5/6
( i . e . , Ge - i n v a r i a n t a n d n a l ) o p t i m a l i t y c r i t e r i o n o n t h e c l a s s A o f a l l r - p a r a m e t r i c f a m i l i e s o f c o n n e c t e d b o u n d e d c l o s e d d o m a i n s f r o m Rn . T h e n :
r n(n + 3)/2 ; i f r = n(n+3)/2 , t h e n t h e o p t i m a l f a m i l y c o i n c i d e s e i t h e r
w i t h t h e f a m i l y o f a l l e l l i p s o i d s , o r , f o r s o m e (0, 1),w i t h t h e f a m i l y o f a l l r e g i o n s o b t a i n e d f r o m e l l i p s o i d s b y
s u b t r a c t i n g
t i m e s s m a l l e r h o m o t h e t i c e l l i p s o i d s .
C o m m e n t . I f w e r e s t r i c t o u r s e l v e s t o c o n v e x s e t s ( o r o n l y t o
s i m p l y c o n n e c t e d s e t s ) , w e g e t e l l i p s o i d s o n l y .
P r o o f . D u e t o T h e o r e m 1 , t h e o p t i m a l f a m i l y Aopt i s a f n e i n -
v a r i a n t , i . e . , f o r e v e r y X Aopt , a n d f o r e v e r y t r a n s f o r m a t i o n g Ge , t h e s e t g(X) a l s o b e l o n g s t o Aopt .
1 . L e t u s r s t s h o w t h a t r n(n + 3)/2 . I n d e e d , i t i s k n o w n
( s e e , e . g . , [ 1 1 ] ) t h a t f o r e v e r y o p e n b o u n d e d s e t X
, a m o n g
a l l e l l i p s o i d s t h a t c o n t a i n X
, t h e r e e x i s t s a u n i q u e e l l i p s o i d
Eo f t h e s m a l l e s t v o l u m e . W e w i l l s a y t h a t t h i s e l l i p s o i d
Ec o r r e s p o n d s t o t h e s e t
X. L e t u s c o n s i d e r t h e s e t o f e l l i p s o i d s
Ec t h a t c o r r e s p o n d ( i n t h i s s e n s e ) t o a l l p o s s i b l e s e t s X Aopt .L e t u s x a s e t
X0 Aopt, a n d l e t
E0d e n o t e a n e l l i p s o i d
t h a t c o r r e s p o n d s t o X0 .A n a r b i t r a r y e l l i p s o i d
Ec a n b e o b t a i n e d f r o m a n y o t h e r
e l l i p s o i d ( i n p a r t i c u l a r , f r o m E0 ) b y a n a p p r o p r i a t e a f n e t r a n s f o r m a t i o n g : E = g(E0) . T h e r a t i o o f v o l u m e s i s p r e s e r v e d u n d e r a r b i t r a r y l i n e a r t r a n s f o r m a t i o n s g ; h e n c e , s i n c e t h e e l l i p s o i d E0 i s t h e s m a l l e s t v o l u m e e l l i p s o i d t h a t c o n t a i n s X0 , t h e e l l i p s o i d E = g(E0) i s t h e s m a l l e s t v o l u m e e l l i p s o i d t h a t c o n t a i n s
g(X0) = X.H e n c e , a n a r b i t r a r y e l l i p s o i d E = g(E0) c o r r e s p o n d s t o
s o m e s e t g(X0) Aopt . T h u s , t h e f a m i l y Ec o f a l l e l l i p s o i d s
t h a t c o r r e s p o n d t o s e t s f r o m Aopt i s s i m p l y e q u a l t o t h e
s e t E o f a l l e l l i p s o i d s . T h u s , w e h a v e a ( l o c a l l y s m o o t h )
m a p p i n g f r o m a n r - d i m e n s i o n a l s e t Aopt o n t o t h e n(n + 3)2
-
d i m e n s i o n a l s e t o f a l l e l l i p s o i d s . H e n c e , r n(n + 3)/2.
2 . L e t u s n o w s h o w t h a t f o r r = n(n + 3)/2 , t h e o n l y Ge - i n v a r i a n t f a m i l i e s A a r e e l l i p s o i d s a n d e l l i p s o i d l a y e r s ( d e s c r i b e d i n T h e o r e m 2 ) .
I n d e e d , l e t X0 b e a n a r b i t r a r y s e t f r o m t h e i n v a r i a n t f a m i l y , a n d l e t
E0 b e t h e c o r r e s p o n d i n g e l l i p s o i d . L e t g0 Ge b ea n a f n e t r a n s f o r m a t i o n t h a t t r a n s f o r m
E0 i n t o a b a l l E1 =g(E0). T h i s b a l l t h e n c o n t a i n s t h e s e t X1 = g0(E0) Aopt .
L e t u s s h o w , b y r e d u c t i o n t o a c o n t r a d i c t i o n , t h a t t h e s e t
X1 i s i n v a r i a n t w . r . t . a r b i t r a r y r o t a t i o n s a r o u n d t h e c e n t e r o f t h e b a l l
E1 . I n d e e d , i f i t i s n o t i n v a r i a n t , t h e n t h e s e t R o fa l l r o t a t i o n s t h a t l e a v e X1 i n v a r i a n t i s d i f f e r e n t f r o m t h e s e t o f a l l r o t a t i o n s
SO(n) . H e n c e , R i s a p r o p e r c l o s e d s u b g r o u p o f SO(n). F r o m t h e s t r u c t u r e o f SO(n) , i t f o l l o w s t h a t t h e r e e x i s t s a 1 - p a r a m e t r i c s u b g r o u p R1 o f SO(n) t h a t i n t e r s e c t s w i t h R o n l y i n t h e i d e n t i t y t r a n s f o r m a t i o n 1 . T h i s m e a n s t h a t i f g R1 a n d g = 1 , w e h a v e g R, i . e . , g(X1) = X1 .
I f g(X1) = g(X1) f o r s o m e g, g
R1 , t h e n w e h a v e g1g(X1) = X1 , w h e r e g
1g R1 . B u t s u c h a n e q u a l i t y i s o n l y p o s s i b l e f o r
g1g = 1 , i . e . , f o r g = g . T h u s , i f g, g R1 a n d g = g , t h e n t h e s e t s g(X1) a n d g(X1) a r e
d i f f e r e n t . I n o t h e r w o r d s , a l l t h e s e t s g(X1) , g R1 , a r e d i f f e r e n t .
S i n c e t h e f a m i l y A
i sGe - i n v a r i a n t , a l l t h e s e t s g(X1) f o r
a l lg R1 Ge a l s o b e l o n g t o A. F o r a l l t h e s e s e t s , t h e
c o r r e s p o n d i n g e l l i p s o i d i s g(E1), t h e r e s u l t o f r o t a t i n g t h e b a l l
E1 , i . e . , t h e s a m e b a l l g(E1) = E1 . H e n c e , w e h a v e a 1 - p a r a m e t r i c f a m i l y o f s e t s c o n t a i n e d i n t h e b a l l
E1 .B y a p p l y i n g a p p r o p r i a t e a f n e t r a n s f o r m a t i o n s , w e w i l l g e t
1 - p a r a m e t r i c f a m i l i e s o f s e t s f r o m A i n a n a r b i t r a r y e l l i p s o i d . S o , w e h a v e a n n(n + 3)/2 - d i m e n s i o n a l f a m i l y o f e l l i p s o i d s , a n d i n s i d e e a c h e l l i p s o i d , w e h a v e a 1 - d i m e n s i o n a l f a m i l y
o f s e t s f r o m A
. T h u s , A
w o u l d c o n t a i n a
n(n + 3)
2+ 1
-
p a r a m e t r i c f a m i l y o f s e t s , w h i c h c o n t r a d i c t s t o o u r a s s u m p t i o n
t h a t t h e d i m e n s i o n r
o f t h e f a m i l y A
i s e x a c t l y n(n + 3)/2.
T h i s c o n t r a d i c t i o n s h o w s t h a t o u r i n i t i a l a s s u m p t i o n w a s
f a l s e , a n d f o r r = n(n + 3)/2, t h e s e t X1 i s i n v a r i a n t w . r . t . r o t a t i o n s . H e n c e , w i t h a n a r b i t r a r y p o i n t x, t h e s e t X1 c o n t a i n s a l l t h e p o i n t s t h a t c a n b e o b t a i n e d f r o m
xb y a r b i t r a r y r o t a t i o n s ,
i . e . , t h e e n t i r e s p h e r e t h a t c o n t a i n s x
. S i n c e X1 i s c o n n e c t e d ,
X1i s e i t h e r a b a l l , o r a b a l l f r o m w h i c h a s m a l l e r b a l l w a s
d e l e t e d .
T h e o r i g i n a l s e t X0 = g10 (X1) i s a n a f n e i m a g e o f t h i s
s e t X1 , a n d t h e r e f o r e , X0 i s e i t h e r a n e l l i p s o i d , o r a n e l l i p s o i d w i t h a n e l l i p s o i d a l h o l e i n s i d e . Q . E . D .
E . R e s u l t i n g s y m m e t r i e s
T h e r e a s o n w e d e c i d e d t o c o n s i d e r c l o s e n e s s i s t h a t w e
w a n t e d t o d e s c r i b e s y m m e t r i e s a s ( l i n e a r ) t r a n s f o r m a t i o n s
w h i c h p r e s e r v e c l o s e n e s s .
F r o m t h e p r e v i o u s s e c t i o n , w e k n o w t h a t c l o s e n e s s i s
d e s c r i b e d b y e l l i p s o i d s . B y a n a p p r o p r i a t e s e l e c t i o n o f c o -
o r d i n a t e s , e v e r y e l l i p s o i d c a n b e d e s c r i b e d a s a s p h e r e ( i t i s
s u f c i e n t t o t a k e e i g e n v e c t o r s o f t h e c o r r e s p o n d i n g q u a d r a t i c
f o r m a s c o o r d i n a t e s ) .
T h u s , i n t h e a p p r o p r i a t e c o o r d i n a t e s , c l o s e n e s s i s d e s c r i b e d
b y E u c l i d e a n d i s t a n c e
(x, y) =
(x1 y1)2 + . . . + (xn yn)2.
T r a n s f o r m a t i o n s p r e s e r v i n g E u c l i d e a n d i s t a n c e a r e r o t a t i o n s
a n d s h i f t s . S i n c e w e a r e a l s o a l l o w i n g t r a n s f o r m a t i o n s w h i c h
c h a n g e t h e d i s t a n c e b u t k e e p e q u a l d i s t a n c e s e q u a l w e
m u s t a l s o a l l o w d i l a t i o n s x x.
S o , t h e n a t u r a l g r o u p o f s y m m e t r i e s Ga i s g e n e r a t e d b y s h i f t s , r o t a t i o n s , a n d d i l a t i o n s .
V I . M A I N R E S U L T : M A T H E M A T I C A L J U S T I F I C A T I O N O F
T H E S P I R A L C U R R I C U L U M M E T H O D
A . B a c k t o t h e m a i n p r o b l e m
W e h a v e a l r e a d y a r g u e d t h a t f o r t h e a b o v e o p t i m a l e d -
u c a t i o n p r o b l e m , t h e n a t u r a l g r o u p o f s y m m e t r i e s Ga i sg e n e r a t e d b y s h i f t s , r o t a t i o n s , a n d d i l a t i o n s . I n a c c o r d a n c e w i t h
T h e o r e m 1 , t o n d t h e o p t i m a l c u r v e s , w e m u s t t h e r e f o r e d e -
s c r i b e a l l 1 - d i m e n s i o n a l o r b i t s o f s u b g r o u p s o f t h i s g r o u p Ga .
-
8/3/2019 Spiral Curriculum. Mathematical Foundation
6/6
B . H o w w e c a n s o l v e t h e c o r r e s p o n d i n g m a t h e m a t i c a l p r o b -
l e m
A 1 - D o r b i t i s a n o r b i t o f a 1 - D s u b g r o u p . T h i s s u b g r o u p i s
u n i q u e l y d e t e r m i n e d b y i t s i n n i t e s i m a l e l e m e n t , i . e . , b y t h e
c o r r e s p o n d i n g e l e m e n t o f t h e L i e a l g e b r a o f t h e g r o u p G
. T h i s
L i e a l g e b r a i f e a s y t o d e s c r i b e . F o r e a c h o f i t s e l e m e n t s , t h e
c o r r e s p o n d i n g d i f f e r e n t i a l e q u a t i o n ( t h a t d e s c r i b e s t h e o r b i t )
i s r e a s o n a b l y s t r a i g h t f o r w a r d t o s o l v e .
C . G e n e r a l R e s u l t
O n e c a n s e e t h a t i n g e n e r a l , t h e r e s u l t i n g c u r v e i s i n d e e d
a s p i r a l a l t h o u g h s o m e l i m i t c a s e s a r e a l s o p o s s i b l e , a n d a
l i m i t o f a s p i r a l m a y h a v e a s d i f f e r e n t s h a p e .
D . 3 - D c a s e
L e t u s i l l u s t r a t e a l l t h e p o s s i b i l i t i e s i n t h e 3 - D c a s e . A
g e n e r i c 1 - d i m e n s i o n a l o r b i t o f t h e c o r r e s p o n d i n g g r o u p Ga
i s a c o n i c s p i r a l t h a t i s d e s c r i b e d ( i n c y l i n d r i c a l c o o r d i n a t e s )
b y t h e e q u a t i o n s z = k a n d = R0 exp(c). I t s l i m i t c a s e s a r e :
a l o g a r i t h m i c ( A r c h i m e d e a n ) s p i r a l : a p l a n a r c u r v e (
z =0 ) t h a t i s d e s c r i b e d ( i n p o l a r c o o r d i n a t e s ) b y t h e e q u a t i o n = R0 exp(c) .
a c y l i n d r i c a l s p i r a l , t h a t i s d e s c r i b e d ( i n a p p r o p r i a t e
c o o r d i n a t e s ) b y t h e e q u a t i o n s z = k , = R0 .
a c i r c l e (z = 0 , = R0 ) ;
a s e m i - l i n e ( r a y ) ; a n d
a s t r a i g h t l i n e .
E . 2 - D c a s e
I n t h e 2 - D c a s e , t h e g e n e r a l c a s e i f a l o g a r i t h m i c s p i r a l , a n d
t h e l i m i t c a s e s a r e a c i r c l e , a s e m i - l i n e , a n d a s t r a i g h t l i n e .
F . C o m m e n t a b o u t t h e 3 - D c a s e
I n t h e 3 - D c a s e , t h e r e i s a n a l t e r n a t i v e ( s l i g h t l y m o r e
g e o m e t r i c ) w a y o f d e s c r i b i n g 1 - D o r b i t s : b y t a k i n g i n t o
c o n s i d e r a t i o n t h a t a n o r b i t , j u s t l i k e a n y o t h e r c u r v e i n a 3 -
D s p a c e , i s u n i q u e l y d e t e r m i n e d b y i t s c u r v a t u r e 1(s) a n d
t o r s i o n 2(s) , w h e r e s i s t h e a r c l e n g t h m e a s u r e d f r o m s o m e
x e d p o i n t .
T h e f a c t t h a t t h i s c u r v e i s a n o r b i t o f a 1 - D g r o u p m e a n s
t h a t f o r e v e r y t w o p o i n t s x a n d x o n t h i s c u r v e , t h e r e e x i s t s a t r a n s f o r m a t i o n g G t h a t m a p s x i n t o x . S h i f t s a n d r o t a t i o n s d o n o t c h a n g e
i , t h e y m a y o n l y s h i f t s ( t o s + s0); d i l a t i o n s a l s o c h a n g e
st o
s s a n d c h a n g e t h e n u m e r i c a l v a l u e s o f
i . S o , f o r e v e r y s , t h e r e e x i s t (s) a n d s0(s) s u c h t h a t t h e c o r r e s p o n d i n g t r a n s f o r m a t i o n t u r n s a p o i n t c o r r e s p o n d i n g . t o
s = 0 i n t o a p o i n t c o r r e s p o n d i n g t o s .
A s a r e s u l t , w e g e t f u n c t i o n a l e q u a t i o n s t h a t c o m b i n e t h e
t w o f u n c t i o n s i(s) a n d t h e s e t w o f u n c t i o n s (s) a n d s0(s).T a k i n g a n i n n i t e s i m a l v a l u e s i n t h e s e f u n c t i o n a l e q u a t i o n s , w e g e t d i f f e r e n t i a l e q u a t i o n s , w h o s e s o l u t i o n l e a d s t o t h e
d e s i r e d 1 - D o r b i t s .
V I I . C O N C L U S I O N
W e s t a r t w i t h t h e p r o b l e m o f d e s c r i b i n g a n o p t i m a l c u r v e ,
i . e . , a n o p t i m a l o r d e r o f p r e s e n t i n g t h e m a t e r i a l . A s a r e s u l t
o f o u r a n a l y s i s , w e s h o w t h a t f o r e v e r y r e a s o n a b l e o p t i m a l i t y
c r i t e r i o n , a l l t h e c u r v e s f r o m t h e o p t i m a l f a m i l y o f c u r v e s a r e
s p i r a l s ( o r l i m i t s o f s p i r a l s ) .
T h u s , w e h a v e i n d e e d p r o v i d e d a m a t h e m a t i c a l j u s t i c a t i o n
f o r t h e s p i r a l c u r r i c u l u m .
A c k n o w l e d g m e n t s
T h e a u t h o r i s t h a n k f u l t o t h e a n o n y m o u s r e f e r e e s f o r v a l u -
a b l e s u g g e s t i o n s .
R E F E R E N C E S
[ 1 ] R . A l o a n d O . K o s h e l e v a , O p t i m i z a t i o n T e c h n i q u e s u n d e r U n c e r t a i n
C r i t e r i a , a n d T h e i r P o s s i b l e U s e i n C o m p u t e r i z e d E d u c a t i o n , P r o -
c e e d i n g s o f t h e 2 5 t h I n t e r n a t i o n a l C o n f e r e n c e o f t h e N o r t h A m e r i c a n
F u z z y I n f o r m a t i o n P r o c e s s i n g S o c i e t y N A F I P S ' 2 0 0 6 , M o n t r e a l , Q u e b e c ,
C a n a d a , J u n e 3 6 , 2 0 0 6 .
[ 2 ] J . B r u n e r , T h e P r o c e s s o f E d u c a t i o n , H a r v a r d U n i v e r s i t y P r e s s , C a m -
b r i d g e , M a s s a c h u s e t t s , 1 9 6 0 .
[ 3 ] J . S . B r u n e r , T o w a r d a T h e o r y o f I n s t r u c t i o n , B e l k a p p P r e s s , C a m b r i d g e ,
M a s s a c h u s e t t s , 1 9 6 6 .
[ 4 ] J . S . B r u n e r , T h e R e l e v a n c e o f E d u c a t i o n , N o r t o n , N e w Y o r k , 1 9 7 1 .
[ 5 ] J . B r u n e r , G o i n g B e y o n d t h e I n f o r m a t i o n G i v e n , N o r t o n , N e w Y o r k ,
1 9 7 3 .
[ 6 ] J . B r u n e r , C h i l d ' s T a l k : L e a r n i n g t o U s e L a n g u a g e , N o r t o n , N e w Y o r k ,
1 9 8 3 .
[ 7 ] J . B r u n e r , A c t u a l M i n d s , P o s s i b l e W o r l d s , H a r v a r d U n i v e r s i t y P r e s s ,
C a m b r i d g e , M a s s a c h u s e t t s , 1 9 8 6 .
[ 8 ] J . B r u n e r , A c t s o f M e a n i n g , H a r v a r d U n i v e r s i t y P r e s s , C a m b r i d g e ,
M a s s a c h u s e t t s , 1 9 9 0 .
[ 9 ] J . B r u n e r , T h e C u l t u r e o f E d u c a t i o n , H a r v a r d U n i v e r s i t y P r e s s , C a m -
b r i d g e , M a s s a c h u s e t t s , 1 9 9 6 .
[ 1 0 ] J . B r u n e r , J . G o o d n o w , a n d A . A u s t i n , A S t u d y o f T h i n k i n g , W i l e y , N e w
Y o r k , 1 9 5 6 .
[ 1 1 ] H . B u s e m a n n , T h e g e o m e t r y o f g e o d e s i c s , A c a d e m i c P r e s s , N e w Y o r k ,
1 9 5 5 .
[ 1 2 ] A . F i n k e l s t e i n , O . K o s h e l e v a , a n d V . K r e i n o v i c h , A s t r o g e o m e t r y , e r -
r o r e s t i m a t i o n , a n d o t h e r a p p l i c a t i o n s o f s e t - v a l u e d a n a l y s i s , A C M
S I G N U M N e w s l e t t e r , 1 9 9 6 , V o l . 3 1 , N o . 4 , p p . 3 2 5 .
[ 1 3 ] A . F i n k e l s t e i n , O . K o s h e l e v a , a n d V . K r e i n o v i c h , A s t r o g e o m e t r y : t o -
w a r d s m a t h e m a t i c a l f o u n d a t i o n s , I n t e r n a t i o n a l J o u r n a l o f T h e o r e t i c a l
P h y s i c s , 1 9 9 7 , V o l . 3 6 , N o . 4 , p p . 1 0 0 9 1 0 2 0 .
[ 1 4 ] H . G a r d n e r , J e r o m e S . B r u n e r , I n : J . A . P a l m e r ( e d . ) F i f t y M o d e r n
T h i n k e r s o n E d u c a t i o n . F r o m P i a g e t t o t h e p r e s e n t , R o u t l e d g e , L o n d o n ,
2 0 0 1 .
[ 1 5 ] O . K o s h e l e v a a n d R . A l o , T o w a r d s E c o n o m i c s o f E d u c a t i o n : O p t i -
m i z a t i o n u n d e r U n c e r t a i n t y , P r o c e e d i n g s o f t h e S e c o n d I n t e r n a t i o n a l
C o n f e r e n c e o n F u z z y S e t s a n d S o f t C o m p u t i n g i n E c o n o m i c s a n d
F i n a n c e F S S C E F ' 2 0 0 6 , S t . P e t e r s b u r g , R u s s i a , J u n e 2 8 J u l y 1 , 2 0 0 6 ,
p p . 6 3 7 0 .
[ 1 6 ] S . L i , Y . O g u r a , a n d V . K r e i n o v i c h , L i m i t T h e o r e m s a n d A p p l i c a t i o n s
o f S e t V a l u e d a n d F u z z y V a l u e d R a n d o m V a r i a b l e s , K l u w e r A c a d e m i c
P u b l i s h e r s , D o r d r e c h t , 2 0 0 2 .