Chiziqli akslantirishlar

5.2.5. Teorema. Aytaylik, A va V F maydon ustidagi chekli o’lchamli vektor fazolar va va bazislar mos xolda va ga tegishli bo’lsin. farazdan va mos xolda ning bazislarga mos matritsasi bo’lsin. U holda .

Isbot. orqali tashkil topgani uchun, orqali tashkil topgan bo’ladi. kanonik izomorfizm bo’lsin. 5.1.9 natijadan, . Bizda tenglik mavjud, bundan

.

Bundan kelib chiqadiki matritsaning barcha ustunlari orqali ifodalanadi. Shunday qilib, kelib chiqadi.