5.1.6. Natija. Aytaylik A va V lar F dan olingan vektor fazolar bo’lsin va  monomorfizm bo’lsin. U holda A, V ni finit o’lchamlaridan  kelib chiqadi.
Isbot. Aytaylik X A da finit bazis tashlikil etsin. 5.1.5 natijaga ko’ra  V da chiziqli erkli qism to’plam tashkil etadi. 5.1.3 teoremaga asosan,  uchun yasovchi, demak, uchun bazis tashkil etadi. 4.2.20 teoremadan,  va f inyektiv, 
Do'stlaringiz bilan baham: |
