5.1.8 Natija. Aytaylik A va V lar F dan olingan vektor fazolar bo’lsin va epimorfizm bo’lsin. Agar A finit o’lchamga ega bo’lsa, u holda V finit o’lchamli va bo’ladi.
Isbot. X A da bazis tashkil qilsin. 5.1.3. teoremadan V uchun yasovchi. 4.2.13 xulosadan V fazo bazisni o’z ichiga oladi, bundan . Bulardan ekanligi kelib chiqadi, natija isbotlandi.
Do'stlaringiz bilan baham: |