Mavzu: n-o’lchovli Affin fazo va Affin koordinatalar sistemasi k-o’lchovli tekislik. Ikki tekislikning o’zaro vaziyati

Mavzu: n-o’lchovli Affin fazo va Affin koordinatalar sistemasi. k-o’lchovli tekislik. Ikki tekislikning o’zaro vaziyati
vektor fazo va elementlari nuqtalar deb ataladi. to'plam berilgan bo'lsin. to'plam bilan to'plam orasidagi shunday moslik o'rnatamizki, ma'um tartibda olingan ikki M,N nuqta uchun dagi aniq bitta vektor mos kelsin, buni deb belgilaymiz. Lekin shuni ta'kidlash zarurki, dagi har bir vektorga da nuqtalarning tartiblangan turli juftliklari mos kelishi mumkin. Masalan, , bunda M, N, P, Q, K, L larning barchasi ga tegishlidir.
yozuvini quyidagicha ifodalaymiz: vektorni M nuqtadan qo'yish bilan N nuqta hosil qilinadi.
Yuqorida keltirilgan bilan orasidagi moslikning ikki aksiomani qanoatlantirish talab etiladi.
. M va uchun yagona shunday N mavjudki, uning uchun .
. A, B, C uchun
Bu ikki aksioma ba'zan vektorni nuqtadan boshlab qo'yish aksiomalari deb yuritiladi.
Ta'rif. Elementlari yuqoridagi aksiomalarini qanoatlantiruvchi bo'sh bo'lmagan to'plam n o'lchovli haqiqiy affin fazo deb ataladi. Uni orqali belgilaymiz. Agar vektor fazo kompleks vektor fazo bo'lsa, u holda ham kompleks affin fazo deb ataladi.
Demak, n o'lchovli affin fazoni simvolik ravishda quyidagi ko'rinishda yozish mumkin: .
vektor fazo ning eltuvchisi deyiladi.
Xususiy holda, n=2 bo'lsa, ikki o'lchovli affin fazo bo'lib, ning elementlarini odatdagi geometrik fazolar deb olsak, affin tekislik hosil bo'ladi.
Misol tariqasida quyidagi teoremalarni isbotlaylik,
1-teorema. ning ustma-ust tushgan ikki nuqtasiga ning nol vektori mos keladi, ya’ni .
Isbot. bo’sin. A, A nuqtalarga dan biror mos kelsin: ni olsak, ga asosan, shunday B nuqta mavjudki, endi ni tadbiq qilsak Bundan ga asoasan