Lobachevskiy geometriyasining puankare va kleyn talqini

Skalyar ko‘paytma - vektor fazoning ixtiyoriy ikki elementiga bitta haqiyqiy son mos qo‘yilib, bu moslik quyidagi to‘rtta xossaga ega bo‘ladi:
1)
2)
3)
₄₎
Invariant funksiya – ixtiyoriy uchun munosabat o‘rinli.
Yo‘l - uzluksiz akslantirish.
Ekvivalent yo‘llar - va yo‘llar uchun shunday mavjud bo‘lib, bo‘ladi.
Differensiallash – ko‘paytirishning differensiallash qonuniga bo‘ysunuvchi additiv akslantirish.
Differensial maydon – differensiallash aniqlangan maydon.