ÿþ 1
A B
P O D S T A W O W E S T R U K T U R Y A L G E B R A I C Z N E D e f . S t r u k t u r l i n i o w z b i o r u X ( X = fð) n a d c i a Be m K n a z y w a m y u k Ba d d w ó c h o d w z o r o w a D: 1 ) X x X 'ð
( x , y ) àð x + y Îð X w y n i k d o d a w a n i a w X ; 2 ) K x X 'ð ( að, x ) àð aðx Îð X m n o |e n i e e l e m e n t ó w p r z e z
p r z e z s y s t e m a l g e b r a i c z n y r o z u m i e m y :
s k a l a r y c i a Ba .
( X , jð) , X z b i ó r n i e p u s t y , jð: X n àð X ( n Îð Z + ) d a n e o d w z o r o w a n i e , z w a n e n - a r g u m e n t o w y m P L 1 . ( X , + ) j e s t g r u p a b e l o w ( p r z e m i e n n )
d z i a Ba n i e m w X . ( n = 0 w y r ó |n i a m y e l e m e n t x ßð X ; n = 1 d z i a Ba n i e j e d n o a r g . ; n = 2 d z i a Ba n i e
P L 2 . ( að + bð) x = að x + bð x | að ( x + y ) = að x + að y | að ( bð x ) = ( að bð) x | 1 x = x
b i n a r n e ) .
D e f . P a r u p o r z d k o w a n ( X , lð) , g d y lð j e s t s t r u k t u r l i n i o w w X n a d K , n a z y w a m y p r z e s t r z e n i
( X , jð) , jð d z i a Ba n i e b i n a r n e g r u p o i d
l i n i o w n a d c i a Be m K .
D e f . G r u p o i d n a z y w a m y p ó Bg r u p , j e |e l i jð j e s t d z i a Ba n i e m Bc z n y m , t z n .
D e f . J e |e l i X j e s t n i e p u s t y m p o d z b i o r e m p r z e s t r z e n i l i n i o w e j X , t o p a r y ( X , lð) n a z y w a m y
0 0
p o d p r z e s t r z e n i l i n i o w p r z e s t r z e n i l i n i o w e j X .
"ðx , y , z ÎðX jð(ðx , jð(ðy , z )ð)ð=ðjð(ðjð(ðx , y )ð, z )ð
L e m a t ( e l e m e n t a r n e w Ba s n o [c i p r z e s t r z e n i l i n i o w e j ) :
U w a g a : ( jð ºð * - n o t a c j a m u l i p l i k a t y w n a , jð ºð + - n o t a c j a a d d y t y w n a ) .
1 ) "ðx 0 x = x 0 = 0 | 0 x + ( x + x ) = ( 0 x + 1 x ) + x = ( 0 + 1 ) x + x = 1 x + x = x + x | p o d o b n i e x 0
1 1 2 1 1 2 1 2 1 2 1 2 1
D e f . D z i a Ba n i e b i n a r n e jð o w Ba s n o [c i : "ðx , y , z ÎðX jð(ðx , y )ð=ð jð(ðy , x )ð n a z y w a m y p r z e m i e n n y m . ( N p . + ( x + x ) = x + x èð x + 0 = x
1 2 1 2
2 ) að x = 0 óð að = 0 l u b x = 0
( N , jð) jð( x , y ) = x y n i e j e s t p r z e m i e n n e )
3 ) að ( x + y ) = - að x - að y | að ( x - y ) = að x - að y
D e f . ( X , jð) g r u p o i d : e l e m e n t e o w Ba s n o [c i "ðx jð(ðx , e )ð=ð jð(ðe , x )ð=ð x n a z y w a m y e l e m e n t e m
U k Ba d y e l e m e n t a r n e w p r z e s t r z e n i l i n i o w e j
j e d n o s t k o w y m d z i a Ba n i a jð.
U k Ba d y s k o Dc z o n e : X p r z e s t r z e D l i n i o w a n a d K , x , . . . , x Îð X .
1 n
L e m a t : E l e m e n t j e d n o s t k o w y , j e |e l i i s t n i e j e , t o j e s t j e d y n y .
D e f . K a |d y e l e m e n t p o s t a c i x = að x + . . . + að x að Îð K n a z y w a m y k o m b i n a c j l i n i o w ( o
1 1 n n i
¢ð ¢ð)ð=ð ¢ð ¢ð¢ð
e jð(ðx , e jð(ðe , x )ð=ð x ( p o d s t . x =ð e )
w s p ó Bc z y n n i k a c h að , . . . , að ) r o z p i t n a u k Ba d z i e s k o Dc z o n y m .
1 n
¢ð¢ð ¢ð
J : Þð e =ð e
¢ð ¢ð¢ð)ð=ð ¢ð¢ð ¢ð
e jð(ðx , e jð(ðe , x )ð=ð x ( p o d s t . x =ð e ) D e f . U k Ba d s k o Dc z o n y n a z y w a m y :
1 ) l i n i o w o n i e z a l e |n y m , j e |e l i að x + . . . + að x = 0 èð að = . . . = að = 0 .
1 1 n n 1 n
e l e m e n t j e d n o s t k o w y : l e w y ( e ) e x = x , p r a w y ( e ) x e = x . J e [l i i s t n i e j e e i e , t o e = e = e .
l l p p p l p l
2 ) l i n i o w o z a l e |n y m , g d y n i e j e s t n i e z a l e |n y m , w i c i s t n i e j n i e z e r o w e w s p ó Bc z y n n i k i að , . . . , að , |e að x
1 n 1 1
n o t a c j a : a d d y t y w n a àð e ºð 1 ; m u l t i p l i k a t y w n a àð e ºð 0 .
+ . . . + að x = 0
n n
D e f . P ó Bg r u p ( X , jð) z j e d n o [c i o w Ba s n o [c i :
T w . U k Ba d { e | að Îð A } j e s t l i n i o w o n i e z a l e |n y , j e |e l i k a |d y j e g o p o d u k Ba d s k o Dc z o n y j e s t l i n i o w o
að
¢ð ¢ð)ð=ð ¢ð ¢ð
"ðx ÎðX $ðx ÎðX jð(ðx , x jð(ðx , x )ð=ð e x -ð e l e m e n t o d w r o t n y n a z y w a m y g r u p .
n i e z a l e |n y .
L e m a t : E l e m e n t x j e s t j e d y n y . D e f . J e |e l i E = { e | að Îð A } j e s t u k Ba d e m e l e m e n t ó w p r z e s t r z e n i l i n i o w y c h X n a d K , t o z b i ó r s p a n E j e s t
að
z b i o r e m w s z y s t k i c h k o m b i n a c j i l i n i o w y c h r o z p i t y c h n a u k Ba d z i e E . x Îðs p a n E Ûð x =ð lðaðe að . s p a n E
åð
B e z p o [r e d n i a d e f i n i c j a g r u p y að
G r u p a t o s y s t e m a l g e b r a i c z n y ( X , jð) z j e d y n y m d z i a Ba n i e m b i n a r n y m jð, p r z y c z y m s p e Bn i o n e s |d a n i a :
j e s t p o d p r z e s t r z e n i X ( p o w Bo k a l i n i o w a r o z p i t a n a z b i o r z e E ) .
T w . ( p o d s t a w o w e ) X p r z e s t r z e D l i n i o w a n a d K . J e |e l i B j e s t z b i o r e m l i n i o w o n i e z a l e |n y m w X , t o
0
éð
·ð x ( y z ) =ð ( x y ) z
i s t n i e j e m a k s y m a l n y z b i ó r l i n i o w o n i e z a l e |n y B Éð B
G 1 . D z i a Ba n i e jð j e s t Bc z n e : "ðx , y , z ÎðX jð(ðx , jð(ðy , z )ð)ð=ð jð(ðjð(ðx , y )ð, z )ð 0
êð
êð+ð x +ð ( y +ð z ) =ð ( x +ð y ) +ð z D e f . B a z p r z e s t r z e n i l i n i o w e j X n a z y w a m y k a |d y m a k s y m a l n y p o d z b i ó r l i n i o w o n i e z a l e |n y B .
ëð
W n . K a |d a p r z e s t r z e D l i n i o w a X n a d K m a b a z .
éð
·ð 1 x =ð x 1 =ð x
G 2 . $ðe "ðx jð(ðe , x )ð=ð jð(ðx , e )ð=ð x W n . J e |e l i p r z e s t r z e D l i n i o w a X m a b a z B =ð e að t o "ðx Îð X z a c h o d z i j e d n o z n a c z n a r e p r e z e n t a c j a
êð {ð }ð
êð+ð 0 +ð x =ð x +ð 0 =ð x
ëð
x =ð E aðlðaðe að
éð·ð x x ¢ð x ¢ðx =ð1 x ¢ð x -ð1 e l e m e n t o d w r o t n y
=ð =ð
¢ð)ð=ð ¢ð
G 3 . jð(ðx , x jð(ðx , x )ð=ð e êð
K o m e n t a r z : Z b i ó r A j e s t r ó w n o l i c z n y z e z b i o r e m B , j e |e l i i s t n i e j e b i j e k c j a f : A ®ðB . P i s z e m y w t e d y A ~ B
=ð
êð+ð x +ð x ¢ð x ¢ð +ð x =ð 0 x ¢ð e l e m e n t p r z e c i w y n y
ëð m ó w i c , |e z b i o r y A i B s r ó w n o l i c z n e .
P o s t u l a t : J e |e l i A j e s t z b i o r e m , t o o d p o w i a d a j e m u ( ? ) p r z e d m i o t c a r d A ºðX A n a z y w a m y l i c z b
L e m a t : P ó Bg r u p a ( X , jð) j e s t g r u p a w t e d y i t y l k o w t e d y , g d y : 1 ) "ðx jð( e , x ) =ð x 2 )
k a r d y n a l n z b . A . P r z y t y m : d w a z b . A , B m a j t s a m l i c z b k a r d y n a l n w y Bc z n i e w t e d y , g d y s
¢ð ¢ð
"ðx $ðx jð( x , x ) =ð e
r ó w n o l i c z n e , a w i c c a r d A = c a r d B ÛðA ~ B N p . A = { 1 , . . . , n } B = { 1 , . . . , m } , A ~ B Ûð m = n
T w . W p r z e s t r z e n i l i n i o w e j d o w o l n e d w i e b a z y s r ó w n o l i c z n e [ B , B - b a z y w X , t o c a r d B = c a r d B ]
F a k t : J e |e l i ( G , jð) j e s t g r u p , t o d l a k a |d e g o a , b Îð G r ó w n a n i e : jð( a , x ) = b | jð( x , a ) = b m a j e d n o 1 2 1 2
r o z w i z a n i e D e f . W y m i a r e m p r z e s t r z e n i l i n i o w e j X n a d c i a Be m K n a z y w a m y m o c b a z y t e j p r z e s t r z e n i : d i m X = c a r d
J : jð( a , x ) = b . P r z y p u [m y , |e r o z w i z a n i e x i s t n i e j e t o a àð a - 1 jð( a - 1 , jð( a , x ) = jð( jð( a - 1 , a ) , x ) = B | B - b a z a w X ( ºð c a r d B ) N p . d i m R n = n ; d i m R = ¥ð
k Q
jð( e , x ) = x , p r a w a s t r o n a r ó w n a n i a : jð( a - 1 , b ) , s t d : x = jð( a - 1 , b ) . x = jð( a - 1 , b ) s p e Bn i a r ó w n a n i e : jð( a , x ) =
T w . P r z e s t r z e D l i n i o w a X n a d K j e s t s k o Dc z e n i e w y m i e r n a j e |e l i d i m X = n ( n ÎðZ + ) - p r z e s t r z e D n -
b : jð( a , jð( a - 1 , b ) ) = jð( jð( a , a - 1 ) , b ) = jð( e , b ) = b
w y m i a r o w a
U w a g a : fð = G Ìð G n a z y w a m y p o d g r u p , j e |e l i G j e s t p o d z b i o r e m z a m k n i t y m z e w z g l d u n a
0 0
d z i a Ba n i e g r u p .
M A C I E R Z E
S - z b . n i e p u s t y , m . , n ³ð1 . M a c i e r z t y p u m ´ðn n a d S n a z y w a m y u k Ba d e m m ·ðn e l e m e n t o w y z b i ó r
P i e r [c i e D: T o s y s t e m a l g e b r a i c z n y z w y r ó |n i o n y m u k Ba d e m d w ó c h d z i a Ba D b i n a r n y c h ( R , + , ·ð) p r z y
c z y m : 1 ) ( R , + ) j e s t g r u p p r z e m i e n n ( ºð g r . A b e l o w a ) ; 2 ) ( R , ·ð) j e s t p ó Bg r u p ( ·ð Bc z n e ) ; 3 ) éð a 1 1 a 1 2 . . . a 1 n ùð
êð úð
r o z d z i e l n o [ d z i a Ba n i a ·ð w z g l d e m d z i a Ba n i a + , t z n . "ðx , y , z (ðx ( y +ð z ) =ð x y +ð x z Ùð ( y +ð z ) x =ð y x +ð z x )ð .
u p o r z d k o w a n y w m - w i e r s z a c h , n - k o l u m n a c h A =ð a i n ºð . . . a i k ÎðS
[ð ]ð êð úð
m ´ðn
êð
J e [l i d z i a Ba n i e ·ð p r z e m i e n n e p i e r [c i e D p r z e m i e n n y . J e [l i d z i a Ba n i e ·ð m a e l e m e n t j e d n o s t k o w y
a m 1 a m 2 . . . a m n úð
ëð ûð
p i e r [c i e D z j e d n o [c i .
éða 1 1 . . . 0 ùð
éð1 . . . 0 ùð
C i a Bo : ( K , + , ·ð) ºð ( K , + , ·ð, 0 , 1 ) , p r z y c z y m : 1 ) ( K , + , ·ð) j e s t p i e r [c i e n i e m z j e d n o [c i ; 2 ) ( K \ { 0 } , + , 1 )
êð úð
êð úð
j e s t g r u p
N p . I =ð . . . =ðd i a g (ð1 , . . . , 1 )ð - m a c i e r z j e d n o s t k o w a êð. . . . . . úð =ð d i a g a 1 1 , . . . , a n n - m a c i e r z
(ð )ð
êð. . . úð
êð úð
êð0 1 úð
0 a n n
êð úð
P r z e s t r z e D l i n i o w a : ëð ûð ëð ûð
d i a g o n a l n a
2
A B
D Z I A L A N I A :
F a k t J e |e l i f Îð L (ðX , Y )ð t o d i m k e r f +ðd i m i m f =ðd i m X ( w y m i a r j d r a + w y m i a r o b r a z u = w y m i a r
ìð
d z i e d z i n y )
[ð ]ð
ïðA +ð B =ð a i +ð b i k
J e |e l i A , B s m a c i e r z a m i t e g o s a m e g o t y p u ( n a d K , R ) , t o * íð A =ð a i k B =ð b i k Z b i ó r
[ð ]ð [ð ]ð
ìð j e d n o r o d n e , y =ð 0
ïðað ·ð A =ð að ·ð a i k ïð
[ð ]ð
R ó w n a n i a l i n i o w e f ÎðL (ðX , Y )ð ( *ð) f (ðx )ð=ð y r ó w n a n i e l i n i o w e íðn i e j e d n o r o d n e , y ¹ð 0
îð
ïð
îð
M a t ( K ) w m a c i e r z y t y p u m ´ðn n a d K j e s t p r z e s t r z e n i l i n o w w s e n s i e d z i a Ba n i a *
m ´ðk
R ó w n a n i a ( * ) j e s t n i e j e d n o r o d n e Ûð y Îði m f f (ðx )ð =ð 0 Ûð x Îðk e r f
éð ùð éð ùð éð ùð
. . . . . . . . .
êð úð êð úð êð úð
M n o |e n i e m a c i e r z y : êð. . . a i j . . . úð êð. . . b j k . . . úð =ð êð. . . c i k . . . úð N a o g ó B m n o |e n i e m a c i e r z y n i e
êð úð êð úð êð úð
L e m a t . J e |e l i f Îð L (ðX , Y )ð , t o :
. . . . . . . . .
êð úðm ´ðl êð úðl ´ðn êð úðm ´ðn
ëð ûð ëð ûð ëð ûð
j e s t p r z e m i e n n e !
1 °ð k a |d e r ó w n a n i e j e d n o r o d n e f (ðx )ð =ð 0 m a p o s t a : x Îðk e r f B 0 =ð e að - b a z a j d r a x =ð lðaðe að
{ð }ð åð
að
W Ba [c i w o [c i
1 °ð Bc z n o [ ( A B ) C = A ( B C )
2 °ð J e |e l i y Îði m f , t o k a |d e r o z w i z a n i e r ó w n a n i a f (ðx )ð =ð y x =ð x 0 +ð x S , g d y x 0 Îðk e r f x -
s
2 °ð r o z d z i e l n o [ A ( B + C ) = A B + A C
3 °ð að( bðA ) = ( aðbð) A ; ( að+ bð) A = aðA + bðA d o w o l n e r o z w i z a n i e s z c z e g ó l n e r ó w n a n i a f (ðx )ð =ð y
J e |e l i M a t m ´ðn A ®ð A t =ð A =ð m a c i e r z t r a n s p o n o w a n a
(ðK )ð'ð k i i k
[ða ]ð [ða ]ð
n ´ðm m ´ðn y Îði n f $ðs f x s =ð y
(ð )ð
S
J e |e l i A t = A m a c i e r z s y m e t r y c z n a ; A t = - A m a c i e r z s k o [n i e s y m e t r y c z n a
N i e c h x b d z i e j a k i m k o l w i e k r o z w i z a n i e m r . f (ðx )ð =ð y
t
J e |e l i K =ð C , M a t m A ®ð A *ð ºð a k i ºð a i k m a c i e r z s p r z |o n a ( H e m i t e a d o A ) A * = A - m a c i e r z
(ðC )ð; [ð ]ð
[ð ]ð
f x -ð x s =ð f (ðx )ð-ð f (ðs )ð =ð 0 x -ð x s Îðk e r f
(ð )ð
s a m o s p r z |o n a ºð H e m i t e a
J e |e l i A * A = I , t o A n a z y w a m y m a c i e r z u n i t a r n
L e m a t ( T w . o i n t e r p o l a c j i o d w z o r o w a D l i n i o w y c h ) X , Y p . l i n i o w e n a d K , B =ð e að - b a z a X , k a |d e
{ð }ð
aðÎðA
t t *ð *ð t
W Ba s n o [c i : (ðA +ð B )ð =ð A t +ð B t ; (ðaðA )ð =ð aðA t ; (ðA +ð B )ð =ð A *ð +ð B *ð ; (ðaðA )ð =ð aðA *ð ; (ðA B )ð =ð B t A t
~ ~ ~
o d w z o r o w a n i e f : B ®ð Y m a j e d n o z n a c z n e p r z e d Bu |e n i e l i n i o w e f : X ®ð Y f B =ð f
*ð
; (ðA B )ð =ð B *ðA *ð
T w . ( o i z o m o r f i z m i e ) J e |e l i X , Y - p . l i n i o w e n a d K , t o r ó w n o w a |n e s w a r u n k i : 1 °ð X »ðY ( X i z o m o r f i c z n e
D e f . A l g e b r a X n a d c i a Be m K , t o s u p . ( ? ) a l g e b r a ( X , lð, ·ð) , g d z i e 1 °ð ( X , lð) - p r z e s t r z e D l i n i o w a n a d c i a Be m
z Y ) 2 °ð d i m X = d i m Y N p . k n @ð k m Ûð n =ð m
K ; 2 °ð ( X , + , ·ð) - p i e r [c i e D; 3 °ð x ( lðy ) = lðx y ;
J e |e l i "ðx , y x y =ð y x p r z e m i e n n e . J e |e l i $ðe "ðx e x =ð x e =ð x | e - e l e m e n t j e d n o s t k o w y
W Y Z N A C Z N I K I
ïð
d i m K M a t m ´ðn =ð m ·ðn a i k =ð a 1 1 E 1 1 +ð. . . +ða m n E n m E i k =ð =ð
[ð ]ð p q p q íð0 , . . .
(ðK )ð [ðdð ]ð, dð ìð1 , p =ð i , q =ð k
m ´ðn
ïð éða 1 1 . . . a 1 n ùð
îð
êð úð
A =ð , . . , A 2 =ð a i k =ð . . . . . . Îð M a t n
(ðA 1 )ð êð úð (ðK )ð
[ð ]ð
n ´ðm
O d w z o r o w a n i e l i n i o w e f : X ®ðY ; X , Y p . l i n i o w e n a d K 1 °ð f x 1 +ð x 2 =ð f x 1 +ð f x 2 a d d y t y w n e ; 2 °ð
(ð )ð (ð )ð (ð )ð
êða . . . a n m úð
m 1
ëð ûð
f x =ð að f j e d n o r o d n e ; n a z y w a m y l i n i o w y m
(ðað )ð (ðx )ð
D e f . O d w z o r o w a n i e d e t : M a t n (ðK )ð ®ð K o w Ba s n o [c i a c h :
D e f 1 d e t A j e s t f . l i n i o w ( s w o i c h k o l u m n )
L (ð X , Y )ð z b i ó r w s z y s t k i c h o d w z o r o w a D l i n o w y c h f z X d o Y j e s t p . l i n i o w
~
d e t æð A 1 , . . . , A k +ð A k , . . . , A n öð =ð d e t , . . . , A k , . . . , A n d e t æð. . . , A k , . . . öð
çð ÷ð çð ÷ð
(ðA 1 )ð+ð èð ~
ìð èð øð øð
f +ð g (ðx )ð =ð f (ðx )ð+ð g (ðx )ð
(ð )ð
ïð
lð íð f , g Îð L (ð X , Y )ð
d e t , . . . , aðA k , . . . , A =ð að d e t , . . . , A k , . . . , A n
(ðA 1 )ð (ðA 1 )ð
ïð (ð )ð (ð )ð n
að f x =ð að f x
(ð )ð
îð
D e f 2 . . . A s i d e n t y c z n e t o A = 0
Y =ð X , L (ðX , X )ð =ð L (ðX )ð
D e f 3 d e t $ð =ð 1 (ð1 =ð e )ð n a z y w a m y w y z n a c z n i k i e m n a A
f : X ®ðY j e s t l i n o w e , f - f o r m a l i n i o w a n a X D e f 4 J e |e l i m a c i e r z A m a k o l u m n y z e r o w e , t o d e t A = 0
L ( X , K ) ºðX * - p r z e s t r z e D d u a l n a ( s p r z |o n a d l a X ) D e f 5 J e |e l i B p o w s t a j e z A p r z e z p r z e s t a w i e n i e d w ó c h k o l u m n , t o d e t A = - d e t B
D e f . J e |e l i f Îð L (ðX , Y )ð , t o k e r f ºð x Îð X A (ðx )ð =ð 0 - k e r n e l f ; i m f ºð f (ðx )ð ÎðY x Îð X - o b r a z f D e f 6 J e |e l i pð j e s t p e r m u t a c j z b ( 1 , . . . , n ) t o d e t æð A pð A pð öð =ð s g n A
{ð }ð çð
{ð }ð (ðpð )ðd e t
(ð1 )ð, . . . , (ðn )ð÷ð
èð øð
w . k e r f j e s t p o d p r z e s t r z e n i X , i m f j e s t p o d p r z e s t r z e n i Y
D e f 7 J e |e l i d w i e k o l u m n y m a c i e r z y A s i d e n t y c z n e l u b p r o p o r c j o n a l n e , t o d e t A = 0
U w a g a J e |e l i að, bð l i c z b a k a r d y n a l n e , t o p r z e z s u m að+ bð r o z u m i e m y m o c s u m y z b i o r ó w r o z Bc z n y c h
D e f 8 W y z n a c z n i k i m a c i e r z y n i e z m i e n i a j s i , g d y d o u s t a l o n e j k o l u m n y d o d a i n n k o l u m n
m o c y að, bð o d p o w i e d n i o
p o m n o |o n p r z e z s k a l a r
$ðz b . A , m o c y að, A Çð B =ð Æð að +ð bð =ð c a r d (ðA Èð B )ð
$ðz b . B , m o c y B
3
A B
D e f 9 F u n k c j a d e t ( ) o w Ba s n o [c i a c h D 1 - 3 j e s t j e d y n i m a p o s t a d e t A =ð s g n pð a pð
åð éðx 1 ùð éð
pð ÎðS n (ð1 )ð, . . . , a pð(ðn )ð y 1 ùð
êð úð êð úð
X 'ð x =ð êð úð ®ð y =ð A x =ð êð úð =ð A x ÎðY
D e f 1 0 ( C a u c h y ) d e t A B =ð d e t A d e t B
êðx úð êðy úð
êð n úð êð n úð
ëð ûð ëð ûð
D e f 1 1 W y z n a c z n i k i m a c i e r z y d a n e j i t r a n s p o n o w a n e j j e s t t e n s a m d e t A =ð d e t A t
s p r a w d z a m y , |e T ( . ) j e s t o d w z o r o w a n i e m l i n i o w y m z X d o Y . J e s t o n o b i j e k c j . Z a t e m T j e s t
éð ùð
i z o m o r f i z m e m p . l i n .
D e f êð úð l <ð k £ð m i n (ðm , n )ð k - k o l u m n a
T
êð úðm ´ðn
ëð ûð
A ®ð A
T =ð A 1
(ðA 1 )ð
i i +ðk
T A 2 =ð T =ð A 1 A 2 X =ð Y ¯ð ¯ð m a c i e r z o d w r o t n a
m i n o r m a c i e r z y A : m = n D o p e Bn i e n i e a l g e b r a i c z n e e l e m e n t ó w a i k A i k =ð (ð-ð1 )ð M i k g d z i e M i k t o (ðA 1 )ð (ðA 1 )ðT (ðA 2 )ð
T =ð A 2
(ðA 2 )ð
A -ð1 ®ð A -ð1
m i n o r m a c i e r z y A , d o p e Bn i e n i e a l g e b r a i c z n e a i k
Z b i ó r w s z y s t k i c h o d w z o r o w a D A : X ®ð X , n i e o s o b l i w y c h , j e s t g r u p p o d w z g l d e m s k Ba d a n i a
D e f 1 2 ( T w . L a p l a c e a )
o d w z o r o w a D A B =ð I Ûð B =ð A -ð1
ìðd e t A , l =ð i
ïð
a i 1 A l 1 +ð. . . +ða i n A l n =ð
(ð1 )ð íð0 , l ¹ð i
ïð
îð
J e |e l i A , B m a c i e r z e m a j w Ba s n o [c i A B =ð I Ûð B =ð A -ð1 B A =ð I Ûð B =ð A -ð1
(ð )ð
ìðd e t A , l =ð k
ïð
-ð1 -ð1
a 1 k A 1 l +ð. . . +ða n k A a l =ð
(ð2 )ð íð0 , l ¹ð k (ðA B )ð =ð B -ð1 A -ð1 (ðA B )ð =ð B -ð1 A -ð1
ïð
îð
-ð1 -ð1
M a c i e r z o w a r e p r e z e n t a c j a o d w z o r o w a D l i n i o w y c h w p r z e s t r z e n i a c h s k o Dc z e n i e w y m i e r n y c h (ðA -ð1 )ð =ð A (ðA -ð1 )ð =ð A
X p r z e s t r z e D l i n i o w a K , d i m X = n | b a z a X , e =ð e 1 , . . . , e n
(ð )ð
D e f . M a c i e r z A d d o s t a w i o n a d o A : A d = [ a ] t ( m a c i e r z t r a n s p o n o w a n a d o m a c i e r z y d o p e Bn i e D
i k
n
a l g e b r a i c z n y c h e l e m e n t ó w a )
X 'ð x =ð x i e i Ûð y =ð , . . , x n n i k
åð (ðx q )ðÎðK
i =ð1
S t w i e r d z a m y , |e
éðx 1 ùð éða 1 1 . . . a 1 n ùðéð A 1 1 . . . A 1 n ùð éðd e t A . . . 0 ùð
êð úð êð úðêð úð êð úð
K n 'ð y =ð , . . . , x n «ð A A d = . . . . . . . . . . . . . . . . . . . . . d e t A . . . = d e t A * I
(ðx q )ð êð. . . úð êð úðêð úð êð úð
êðx úð êða . . . a n n úðêðA n 1 . . . A n n úð êð
0 . . . d e t A úð
n n 1
ëð ûð ëð ûðëð ûð ëð ûð
S k d :
N i e c h (ð X , e )ð - p . l i n o w a n - w y m i a r o w a , o b a z i e e =ð e 1 , . . . , e n ; Y , f - p . l i n o w a m . - w y m i a r o w a , o
(ð )ð (ð )ð
A ( 1 / d e t A * A d ) = I - > A - 1 = ( 1 / d e t A ) A d
D e f . X , Y p r z e s t r z e n i e l i n i o w e n a d K , n , m w y m i a r o w e , o d p o w i e d n i o | e L ( X , Y ) 'ðA «ðA ÎðM a t ( K )
f m ´ðn
b a z i e f =ð f 1 , . . . , f n R z d p r z e k s z t a Bc e n i a l i n i o w e g o A : r ( A ) = d e f = d i m i m A ( l i c z b a l i n i o w o n i e z a l e |n y c h e l . o b r a z u ) , r ( A ) =
(ð )ð
r ( A ) : T ( A ) = A
M a t m ´ðn (ðK )ð - p . . l i n i o w a w s z y s t k i c h m a c i e r z y t y p u m ´ðn W Ba s n o [c i :
( 1 ) J e |e l i A j e s t n i e o s o b l i w e t o r ( A ) = n ( Y = X )
( 2 ) r ( A ) = l i c z b a l i n n i e z a l e |n y c h k o l u m n ( w i e r s z y ) , n a j w y |s z y s t o p i e D m i n o r a r ó |n y o d z e r a
L (ð X , Y )ð - z b . w s z y s t k i c h o d w z o r o w a D l i n i o w y c h z X d o Y
D e f . P r z e k s z t a Bc e n i a e l e m e n t a r n e m a c i e r z y :
I r o d z a j u : ( n a w i e r s z a c h ) . m n o |e n i e w y b r a n e g o w i e r s z a p r z e z að ¹ð0 , p r z e s t a w i e n i e d w ó c h w i e r s z y , d o
T w . P r z e s t r z e n i e L (ð X , Y )ð o r a z M a t m ´ðn (ðK )ð s i z o m o r f i c z n e w s z c z e g ó l n o [c i : a l g e b r y L (ðX )ð o r a z
u s t a l o n e g o w i e r s z a d o d a n i e l i n i o w e j k o m b i n a c j i p o z o s t a By c h
M a t n (ðK )ð s i z o m o r f i c z n e I I r o d z a j u ( n a k o l u m n a c h ) ( t o s a m o )
L e m a t . K a |d e p r z e k s z t a Bc e n i e e l e m e n t a r n e : 1 ) I - r o d z A ®ðA = P A , g d z i e P j e s t m a c i e r z n i e o s o b l i w ; 2 )
J :
I I r o d z A ®ðA = A Q , g d z i e Q j e s t m a c i e r z n i e o s o b l i w
n
A ÎðL (ð X , Y )ð x Îð X x =ð x j e j Z a s t o s o w a n i e p r z e k s z t a Bc e D e l e m e n t a r n y c h :
åð
j =ð1
1 w y |s z e g o r z d u m a c i e r z y
lð
n n n m m
2 o b l i c z a n i e d e t e r m i n a n t ó w
æð
A =ð A æð x j e j öð =ð x j A =ð x j æð a i j f i öð =ð a i j x j öð f i a i j - j e d n o z n a c z n i e
çð ÷ð çð ÷ð çð ÷ð
(ðx )ð åð åð (ðe j )ð åð åð åð åð
j =ð1 j =ð1 j =ð1 i =ð1 i =ð1
èð øð èð øð èð øð T w . ( K r o n e c k e r C a p e l l i ) R o z w a |m y u k Ba d m r ó w n a D o n n i e w i a d o m y c h
o k r e [l o n y e l e m e n t c i a Ba K éðb 1 ùð éðx 1 ùð
ìða 1 x 1 +ð . . . +ð x 1 n x 1 =ð b 1 êð úð êð úð
ïð
n
éð ùð ( * ) = i k
íða x 1 +ð . . . +ð x m n x n =ð b m w k t ó r y m a ÎðK ( C , R , . . . ) , b = d a n y w e k t o r w K m x = - k o l u m n a
a 1 j x j éða 1 1 . . . a 1 n ùðéðx 1 ùð éðx 1 ùð êð. . . úð êð. . . úð
åð
j =ð1
êð úð ïð
1 m
êð úðêð úð êð úð îð êðb úð êðx úð
f =ð êð . . . úð =ð . . . =ð A x : x =ð n o t a c j a k o l u m n o w a n n
ëð ûð ëð ûð
êð úðêð úð êð úð
êð n úð
a m j x j êða . . . a m n úðêðx n úð êðx n úð n i e w i a d o m y c h ( K m )
êðåð úð m 1
j =ð1 ëð ûðëð ûð ëð ûð
ëð ûð
m ¹ðn p r o s t o k t n y u k B l i n i o w y ,
T m = n k w a d r a t o w y , , , , , ,
A ®ð A - j e d n o z n a c z n e o d w z o r o w a n i e
b ¹ð0 u k Ba d n i e j e d n o r o d n y
b = 0 u k B j e d n o r o d n y
4
A B
éðb 1 ùð éðx 1 ùð éða 1 1 -ð lð a 1 2 . . . a 1 n ùð
êð úð êð úð êð úð
( * ) ÛðA x = b : A = [ a ] b = x = Ûð A x + . . . . + A x = b , A a 2 1 a 2 2 -ð lð . . . . . .
i k m ´ðn 1 1 n n j - t o j - t a k o l u m n a m a c i e r z y A
êð. . . úð êð. . . úð êð úð
Ûð d e t ( A - lðI ) = = p ( lð) w i e l o m i a n s t o p n i a n - t e g o n a d K
n
êðb úð êðx úð êð úð
. . . . . . . . . . . .
n n
ëð ûð ëð ûð
êð úð
êð a n 1 . . . . . . a n n -ð lðûð
úð
T w . ( K r o n e c k e r C a p e l l i ) U k Ba d ( * ) j e s t n i e s p r z e c z n y Ûð j e |e l i r ( A ) = r ( A ) , g d z i e A t o m a c i e r z ëð
b b
u t w o r z o n a z m a c i e r z y A p r z e z d o Bc z e n i e k o l u m n y w y r a z ó w w o l n y c h . ( r ( ) r z d m a c i e r z y )
p ( lð) = ( - 1 ) n lðn + p lðn - 1 + . . . + p lð+ p A l e K j e s t a l g e b r z a m k n i t a ( n ³ð1 ) , z a t e m i s t n i e j e lðÎðK , |e r ó w n a n i e
n 1 n - 1 n
D o w ó d : U k Ba d ( * ) j e s t n i e s p r z e c z n y Ûð i s t n i e j e l x . . . x w K , |e i c h k o m b i n a c j a l i n i o w a z e l b a z y d a j e
1 n
( * ) m a r o z w i z a n i e n i e z e r w e w K n
e l e m e n t b Ûðr ( A ) = r ( A )
b
D e f . W i e l o m i a n p ( lð) ºðd e t ( A - lðI ) n a d ( j e s t ? ) w i e l o m i a n e m c h a r a k t e r y s t y c z n y m .
n
W n
( 1 ) U k Ba d j e d n o r o d n y j e s t n i e s p r z e c z n y A x = 0
W n .
( 2 ) J e d n o r o d n y u k Ba d k w a d r a t o w y r ó w n a D l i n A x = 0 ( m = n ) j e s t n i e s p r z e c z n y . L i c z b a k l i n i o w o
( 1 ) lð- w a r o [ w Ba s n a A | k t ó r e k o l w i e k r o z w i z a n i e p ( lð) = 0 lð , . . . , lð nð , . . . , nð ( k r o t n o [c i nð , . . .
n 1 n 1 n 1
n i e z a l e |n y c h r o z w i z a D: K = n - r | r = r ( A ) | A = A | A x = 0 ÛðA x = 0 | d i m k e r A ( = k ) + d i m i m A
, nð ³ð1 | nð + . . . + nð = n )
k 1 k
( r = r ( A ) ) = n | k + r = n | k = n - r
( 2 ) lð- w a r t o [c w Ba s n a A , t o o d p o w i a d a j e j k = n - r ( r = r ( A - lðI ) ) l i n i o w o n i e z a l . W e k t o r ó w w Ba s n y c h .
( 3 ) U k Ba d j e d n o r o d n y A x = 0 ( m = n ) m a r o z w i z a n i e n i e z e r o w e Ûð n > r Ûðd e t A = 0 ( t z n A m a c i e r z
X - n w y m i a r o w a p r z e s t r z e D l i n i o w a n a d c i a Be m K : Z a p i s ( X , e ) z n a c z y : w X w y r a z e , n - w y m b a z e : e , . . .
1
o s o b l i w a )
e
n
J e |e l i r = r ( A ) = n t o k = 0 u k Ba d m a j e d y n e r o z w i z a n i e z e r o w e
( U w a g a : b a z a t o z a w s z e z b i ó r n i e p u s t y )
U w a g a : f : L ( X , Y ) | f ( x ) = y n i e s p r z e c z n y Ûð y Îði m f , k t ó r e g o k a |d e r o z w i z a n i e x : x = x + x |
0 s
X b a z y e : e , . . . e l u b b a z y e : e , . . . e
1 n 1 n
x Îðk e r f , x s
0 s - d o w o l n i e d o b r a n e r o z w i z a n i a r ó w n a D j e d n o r o d n y c h ( f ( x ) = n )
$ð j e d n a k o w e o d w z o r o w a n i e m a c i e r z y P = [ p ] ÎðM a t ( K ) , |e
i k n
J e |e l i k e r f m a b a z B , t o k e r f 'ð x = Sð x e
0 að að
ìðe ' 1 =ð p 1 1 e 1 +ð . . . +ð p n 1 e n éðe ' 1 ùð éðe 1 ùð
W d a n y m u k B ( * ) A x = y | A x = y | x , A x = 0 | x = að e + . . . + að e
0 0 s 1 1 k k
ïð êð úð êð úð
N p . : x + 2 x + . . . n x = 1 | X = K n | x = að e + . . . + að e | f : K n ®ðK | f ( x ) = x + 2 x + . . . + n x | A = = P - t , k r ó t k o : e = P t e
1 2 n 1 1 n n 1 2 n íð. . . . . . . . . . t z n . êð. . . úð êð. . . úð
ïðe ' =ð p 1 n e 1 +ð . . . +ð p n n e n êðe úð
[ 1 , 2 , . . . , n ] êðe ' úð
n n n
îð ëð ûð ëð ûð
éðx 1 ùð
z w a n a m a c i e r z p r z e j [c i a ( w X ) z b a z y e d o b a z y e
êð úð
x = | ( A x = 1 ) Ûð x = 1 ( 2 x + . . . + n x ) , x , . . . , x ÎðK W Ba s n o [c i :
1 2 n 2 n
êð. . . úð
êðx úð ( 1 ) M a c i e r z p r z e j [c i a P t r a n s f o r m u j e b a z e n a b a z e p o p r z e z s w o j e k o l u m n y
n
ëð ûð
( 2 ) M a c i e r z p r z e j [c i a P j e s t n i e o s o b l i w a : d e t P ¹ð 0
r ( A ) = 1 | r ( A ) = 1
b
( 3 ) J e |e l i P j e s t m a c i e r z p r z e j [c i a z b a z y e d o b a z y f o r a z Q j e s t m . p r z e j . z f d o b . G , t o P Q j e s t m .
P r z e j . z b . e d o b . g
éð1 -ð ( 2 x 2 +ð . . . +ð n x n ) ùð éð1 ùð éð-ð2 ùð éð0 ùð
P
éðx 1 ùð
êð úð êð úð êð úð êð úð
êð úð ( X , e ) ( X , f )
êðx 2 úð êð0 úð êð0 úð êð0 úð
x = = = + x + . . . + x
2 n
êð. . . úð
êð. . . úð êð0 úð êð0 úð êð0 úð
êðx úð
êð úð êð úð êð úð êð úð
P Q Q
n
ëð ûð
êðx n úð êð êð úð êð úð
ûð
ëð ûð ëð0 úð ëð0 ûð ëð-ð n ûð
( X , g )
k + 1 = n | k = n - 1
f = P t e , g = Q t f Þð g = Q t ( P t e ) = ( Q t P t ) e = ( Q P ) t e
T w . ( C r a m e r ) J e |e l i m a c i e z r z A ÎðM a t ( K ) j e s t n i e o s o b l i w e , t o u k Ba d k w a d r a t o w y r ó w n a D l i n i o w y c h ( * )
n
( 4 ) J e |e l i P m a c i e r z p r z e j [c i a z b a z y e d o b a z y f , t o P - 1 j e s t m a c i e r z p r z e j [c i a z b . f d o b . e
ìða 1 1 x 1 +ð . . . +ð a n 1 x 1 =ð b 1 éðDð1 / Dð ùð
P
ïð êð úð
( X , e ) ( X , f )
A x = b , t z n . . . m a j e d y n e r o z w i z a n i e p o s t a c i x = , g d z i e Dð= d e t A , Dð
1 - t o
íð. . . . . . . êð. . . úð
ïða x 1 +ð . . . +ð a n n x n =ð b n êðDð / Dðúð
1 n n
îð ëð ûð I Q
d e t e r m i n a n t m a c i e r z y u t w o r z o n e j z A p r z e z z a s t p i e n i e i - t e j k o l u m n y k o l u m n w y r a z ó w w o l n y c h
D o w o d : A «ðA | A x = b | A - n i e o s o b l i w e | $ðA - 1 | A - 1 | A x = b | ( A - 1 A ) x = A - 1 b Þð x = A - 1 b «ð x = A - ( X , e )
P * Q = I Þð Q = P - 1
éðA 1 1 . . . A n 1 ùðéðb 1 ùð éðDð1 ùð éðDð1 / Dð ùð
éðe 1 ùð éðe 1 ' ùð
1 êð úðêð úð 1 êð úð êð úð
1
b | A - 1 = ( 1 / Dð) [ A ] | x = ( 1 / Dð) [ A ] b = . . . . . . . . . = = êð úð êð úð
i k k i
êð úðêð. . . úð êð. . . . úð êð. . . úð
Dð ( * ) P t e = e | e = | e =
êð. . . úð êð. . . úð
êðA . . . A n n úðêðb n úð Dð êðDð úð êðDð / Dðúð
1 n n n
ëð ûðëð ûð ëð ûð ëð ûð êðe úð êðe ' úð
n n
ëð ûð ëð ûð
W y z n a c z e n i e m a c i e r z y p r z e j [c i a r e d u k u j e s i d o r o z w i z a n i a r ó w n a n i a m a c i e r z o w e g o ( * ) e t P = ( e ) t
W E K T O R Y I W A R T O ZC I W AA S N E
K - c i a Bo a l g e b r a i c z n e n i e z a m k n i t e ( t z n . k a |d y w i e l o m i a n s t o p n i a > 0 n a d K m a p r z y n a j m n i e j j e d n o z e r o ,
X - n w y m i a r o w a p r z e s t r z e D z d w i e m a b a z a m i e , e
C ( o . k . ) , Z ( n i e ) , R ( n i e x 2 + 1 = 0 ) , A = [ a ] ÎðM a t ( K ) d a n a m a c i e r z
p i k n
n n n n n
n n n
D e f . J e |e l i i s t n i e j e w e k t o r n i e z e r o w y lð ( w K n ) , |e p r z y p e w n y m lð¬ðK b d z i e : A x = lðx ( A x = lðx ) , t o
X 'ðx | x = e k = ' e k ' = ' æð i =ð1 p i k e i öð = p i k x k ' e i = çð p i k x k ' öðe i
çð ÷ð ÷ð
åðx k åðx k åðx k åð åðåð åðæðåð
i =ð1 k =ð1
m ó w i m y , |e x j e s t w e k t o r e m w Ba s n y m m a c i e r z y A , o d p o w i a d a j c y m w a r t o [c i w Ba s n e j lð. A ®ð( x , lð) èð øð èð øð
k =ð1 k =ð1 k =ð1 k =ð1 i =ð1
T w . K a |d a m a c i e r z A = [ a ] n a d c i a Be m a l g . z a m k n i t y m m a w a r t o [c i w Ba s n e o r a z w e k t o r w Ba s n y .
i k m ´ðn
ìðx 1 =ð p 1 1 x 1 ' +ð. . . +ð p 1 n x n ' éðx 1 ùð éðx 1 ' ùð
D o w ó d : lð, x t o w a r t o [ w Ba s n a i w e k t o r w Ba s n y m a c i e r z y A Ûð j e s t x ¹ð0 o r a z lðÎðK | G d y s p e Bn i o n e
ïð êð úð êð úð
j e s t r ó w n a n i e A x = lðx «ð ( A - lðI ) x = 0 «ð j e s t u k B. k w a d r a t o w y c h r ó w n a D j e d n o r o d n y c h , t z n . = P | x = P x | x = P - 1 x
íð. . . êð. . . úð êð. . . úð
ïðx =ð p 1 n x 1 ' +ð. . . +ð p n n x n ' êðx úð êðx ' úð
n n n
îð ëð ûð ëð ûð
5
A B
Z a l e |n o [ m a c i e r z y p r z e s t r z e n i l i n p r z y z m i a n i e b a z y . R o z w a |m y d i a g r a m p r z e m i e n n y :
( A x ) * =ð lðx * | | x * A =ð lðx * | x * A =ð lðx * / x
( x * A ) x =ð lðx * x
A A
( X , e ) ( Y , f ) ( X , e ) ( X , e ) 2 2 2
x * A =ð lð( x 1 +ð x 2 +ð . . . +ð x n )
A A
2 2
x * ( A x ) =ð x * lðx =ð ( x 1 +ð . . . +ð x n ) lð
2 2 2 2
að P bð Q að P að P
( x 1 +ð . . . +ð x n ) lð =ð lð( x 1 +ð . . . +ð x n )
lð =ð lð
A A
( X , e ) ( Y , f ) ( X , e ) ( X , e )
M u n i t a r n e óð U * U = I ( ºðU U * = I óðU * = U - 1 )
B B
u =ð 2 , r
éð ùð
c o s að -ð s i n að n p :
U =ð
êð úð
w k t ó r y m
êðs i n að c o s að úð
ëð ûð
X , Y p r z e s t r z e n i e l i n i o w e s k o Dc z e n i e w y m i a r o w e n , m
A : X ®ðY , d a n e p r z e k s z t a Bc e n i e l i n o m a c i e r z y A F a k t 2 . w i d m o m a c i e r z y u n i t a r n e j j e s t z a w a r t e w S : U * U = I = > sð ( A ) Ìð S
að - a u t o m o r f i z m ( X , e ) n a ( X , e ) o m a c i e r z y P ( p r z e j [c i a z e d o e ) D o w ó d : lð, x w a r t . , w e k t o r w Ba s n y m a c i e r z y U
bð - a u t o m o r f i z m ( X , f ) n a ( X , f ) o m a c i e r z y Q ( p r z e j [c i a z f d o d )
éð x 1 ùð
B m a c i e r z o p e r a t o r a A w b a z i e e , f
úð 2 2
U x =ð lðx | x * U * =ð lðx * | x * x =ð[ðx 1 , . . . , x n ]ðêð. . . . . =ð x 1 +ð . . . +ð x n >ð 0
êð úð
êð úð
M a m y , |e x n
ëð ûð
D l a d i a g r a m u ( 1 ) | A x = bðB , t j . A = bð- 1 A að
( x * U * ) U x =ð lðlðx * x
D l a d i a g r a m ó w ( 2 ) | A að = að B , t j . B = að- 1 A að
2 2 2 2
( 1 ) B = Q - 1 A P
x * x =ð lð x * x x * x ( 1 -ð lð ) =ð 0 -ð >ð 1 -ð lð =ð 0 -ð >ð lð =ð 1
( 2 ) B = P - 1 A P
n
F a k t 3 ( G e r s h g o r i n , 1 9 3 1 ) J e |e l i A = [ a ] Îð M a t ( jð) , t o sð ( A ) Ìð Èð D g d z i e : D = { lð= C : | lð - a | = <