Аналитическая геометрия и линейная алгебра. Умнов А.Е. - 173 стр.

UptoLike

Составители: 

Рубрика: 

cÈÏ Ëã
177
ÒÓˮӺË¹¯º°¯ÈÓ°mº
˺¯ËäÈ

º ÒϺ亯
ÁÒÏäË
imÈãÒÓˮө²¹¯º°¯ÈÓ°mÈ
1
Λ
Ò
2
Λ
ÒϺ亯ÁÓ©ºÈÒºã}ºº
È}ºÈÒ²¯ÈÏä˯Ӻ°Ò¯ÈmÓ©
iº}ÈÏÈËã°mº
°
)dim()dim(
21
Λ=Λ
 ¯ÒÓÒäÈ« ¹¯ÈmÒãº ºº¯ÈÎËÓÒ« ¹¯Ò }ºº¯ºä
}Èκä ªãËäËÓ
x
Λ
1
°ÈmÒ°« m °ººmË°mÒË ªãËäËÓÒÏ
2
Λ
 ÒäËÒ® Ë
ÎË °Èä©Ë }ºº¯ÒÓÈ©ÈÈ}ÎËÒ°¹ºãÏ« ¹¯ÈmÒãÈ Ë®°mÒ® ° ªãËäËÓÈäÒ m
}ºº¯ÒÓÈÓºä¹¯Ë°ÈmãËÓÒÒ¹¯Ò²ºÒä}ÒϺ亯ÁÒÏä
1
Λ
Ò
2
Λ

iº¹°Òäº
nm=>=
dim( ) dim( )
ΛΛ
12
Ë
1
Λ
Ò
2
Λ
ÒϺ亯ÁÓ©ºÈÓË}º
º¯©® ÓÈº¯
n
ãÒÓˮӺ ÓËÏÈmÒ°Ò䩲 ªãËäËÓºm ÒÏ
1
Λ
ºº¯ÈÎÈË°« m
n
ªãËäËÓºm m
2
Λ
 }ºº¯©Ë º«ÏÈÓ© © ãÒÓˮӺ ÏÈmÒ°Òä©äÒ º°}ºã} ¹¯Ò
ÒϺ亯ÁÒÏäËÓãËmº®ªãËäËÓ¹Ë¯Ë²ºÒmÓãËmº®ªãËäËÓºä©¹¯Ò²ºÒä}
¹¯ºÒmº¯ËÒ°¹¯Ë¹ºãºÎËÓÒËäºãÒÓˮӺ®ÓËÏÈmÒ°Ò亰Òm©¯ÈÓÓ©²
n
ªãË
äËÓºmÒÏ
1
Λ

vãÈ®
n
<
m
¯È°°äÈ¯ÒmÈË°«ÈÓÈãºÒÓº
˺¯ËäÈº}ÈÏÈÓÈ
˺¯ËäÈ

Ò°ãº ãÒÓˮӺ ÓËÏÈmÒ°Ò䩲 ªãËäËÓºm m ãºä }ºÓËÓºä ÓÈº¯Ë
ªãËäËÓºm ÒÏ
n
Λ
¯ÈmÓº ¯ÈÓ äÈ¯Ò© °ºã© }ºº¯º® °ºË¯ÎÈ
}ºº¯ÒÓÈ©ªãËäËÓºmÈÓÓººÓÈº¯ÈmÓË}ºº¯ºäÈÏÒ°Ë
iº}ÈÏÈËã°mº
vãËË ÒÏ ÒϺ亯ÁÓº°Ò ãÒÓˮӺº ¹¯º°¯ÈÓ°mÈ
n
Λ
ÒãÒÓˮӺº
¹¯º°¯ÈÓ°mÈ m°Ë²
n
}ºä¹ºÓËÓÓ©² °ºãºm È È}ÎË ÒÏ ˺¯Ëä©  º
¯ÈÓËäÈ¯Ò©
vã˰mÒË

k
ªãËäËÓºmm
n
Λ
ãÒÓˮӺÏÈmÒ°Òä©ºÈÒºã}ººÈÈ¯ÈÓ
äÈ¯Ò© °ºã© }ºº¯º® °ºË¯ÎÈ }ºº¯ÒÓÈ© ªÒ² ªãËäËÓºm m
ÓË}ºº¯ºäÈÏÒ°ËäËÓËËä
min{ , }
nk

vã˰mÒË

lÈ¯ÒÈ¹Ë¯Ë²ºÈÓËm©¯ºÎËÓÓÈ«º˰
det
S
0
c È Ï  Ë ã                                                      177
ÒÓˮӺ˹¯º°ˆ¯ÈÓ°ˆmº



    ‘˺¯ËäÈ                       imÈãÒÓˮө²¹¯º°ˆ¯ÈÓ°ˆmÈ Λ1 Ò Λ 2 ÒϺ亯ÁÓ©ˆºÈÒˆºã }ºˆº
                            È}ºÈÒ²¯ÈÏä˯Ӻ°ˆÒ¯ÈmÓ©
     º­ ÒϺ亯
    ÁÒÏäË 

     iº}ÈÏȈËã°ˆmº
         
         
         ‚°ˆ  dim( Λ1 ) = dim( Λ 2 )  ¯ÒÓÒäÈ« ¹¯ÈmÒ㺠ºˆº­¯ÈÎËÓÒ« ¹¯Ò }ºˆº¯ºä
               }ÈÎºä‚ ªãËäËӈ‚ x ∈ Λ1  °ˆÈm҈°« m °ººˆmˈ°ˆmÒË ªãËäËӈ ÒÏ Λ 2  ÒäË Ò® ˆË
               ÎË °Èä©Ë }ºº¯ÒÓȈ© È ˆÈ}ÎË Ò°¹ºã ς« ¹¯ÈmÒãÈ Ë®°ˆmÒ® ° ªãËäËӈÈäÒ m
               }ºº¯ÒÓȈӺ乯˰ˆÈmãËÓÒÒ¹¯Ò²ºÒä}ÒϺ亯ÁÒÏä‚ Λ1 Ò Λ 2 
               
               iº¹‚°ˆÒ䈺 n = dim( Λ1 ) > dim( Λ2 ) = m Ë Λ1 Ò Λ 2 ÒϺ亯ÁÓ©‘ºÈÓË}º
               ˆº¯©® ÓÈ­º¯ n ãÒÓˮӺ ÓËÏÈmÒ°Ò䩲 ªãËäËӈºm ÒÏ Λ1  ºˆº­¯ÈÎÈˈ°« m n
            ªãËäËӈºm m Λ 2  }ºˆº¯©Ë º­«ÏÈÓ© ­©ˆ  ãÒÓˮӺ ÏÈmÒ°Òä©äÒ º°}ºã }‚ ¹¯Ò
            ÒϺ亯ÁÒÏäËӂãËmº®ªãËäËӈ¹Ë¯Ë²º҈mӂãËmº®ªãËäËӈˆºä©¹¯Ò²ºÒä}
            ¹¯ºˆÒmº¯ËÒ °¹¯Ë¹ºãºÎËÓÒËäºãÒÓˮӺ®ÓËÏÈmÒ°Ò亰ˆÒm©­¯ÈÓÓ©² nªãË
            äËӈºmÒÏ Λ1 
            
            vã‚È®n < m¯È°°äȈ¯ÒmÈˈ°«ÈÓÈãºÒÓº
            
            
       ‘˺¯ËäȺ}ÈÏÈÓÈ
              
              
              
    ‘˺¯ËäÈ          Ұ㺠ãÒÓˮӺ ÓËÏÈmÒ°Ò䩲 ªãËäËӈºm m ã ­ºä }ºÓËÓºä ÓÈ­º¯Ë
    
                    ªãËäËӈºm ÒÏ Λn  ¯ÈmÓº ¯ÈÓ‚ äȈ¯Ò© °ˆºã­© }ºˆº¯º® °º˯ÎȈ
                    }ºº¯ÒÓȈ©ªãËäËӈºmÈÓÓººÓÈ­º¯ÈmÓË}ºˆº¯ºä­ÈÏÒ°Ë


     iº}ÈÏȈËã°ˆmº
         
               vãË‚ˈ ÒÏ ÒϺ亯ÁÓº°ˆÒ ãÒÓˮӺº ¹¯º°ˆ¯ÈÓ°ˆmÈ Λn  Ò ãÒÓˮӺº
               ¹¯º°ˆ¯ÈÓ°ˆmÈ m°Ë² n}ºä¹ºÓËӈө² °ˆºã­ºm È ˆÈ}ÎË ÒÏ ˆËº¯Ëä©  º
               ¯ÈÓËäȈ¯Ò© 
                
                
                
    vã˰ˆmÒË                     kªãËäËӈºmm Λn ãÒÓˮӺÏÈmÒ°Ò䩈ºÈÒˆºã }ºˆºÈ}ºÈ¯ÈÓ
                            äȈ¯Ò© °ˆºã­© }ºˆº¯º® °º˯ÎȈ }ºº¯ÒÓȈ© ªˆÒ² ªãËäËӈºm m
                                   ÓË}ºˆº¯ºä­ÈÏÒ°ËäËÓ ËËä min{n, k } 
                  
                  
                  
    vã˰ˆmÒË                     lȈ¯Òȹ˯˲ºÈÓËm©¯ºÎËÓÓÈ«ˆº˰ˆ  det S ≠ 0