Ikkinchi bob binar munosabatlar va

Xususan



birlik aks ettirishdir. Bundan ning teskarilanuvchiligi va 3-§ 3-teoremaga asosan uning biektsiya ekanligi kelib chiqadi. Ushbu aks ettirishning biektsiyaligi shunga o`xshash isbotlanadi.

Ixtiyoriyx uchun munosabatdan h ning teskarilanuvchiligi va 3-§ 3-teoremaga asosan biektsiyaligi kelib chiqadi.

N a t i j a. Agar x element A guruxda to`la o`zgarsa (ya`ni A dagi xar bir qiymatni faqat bir martadan qabul qilgan xolda A dagi barcha qiymatlarni qabul qilsa), u xolda o`zgaruvchilar xam A guruxda to`la o`zgaradi.

I s b o t. Natijaning isboti f_a ,h va g_a aks ettirishlarning biektsiya ekanligidan kelib chiqadi.

YArimguruxda ifodani xar qanday natural son uchun aniqlagan edik, endi uni ixtiyoriy n butun son uchun aniqlaymiz. qulaylik uchun a°-e deb olinadi. Agar n- manfiy butun son bo`lsa, Deb olinadi. Bu belgilashlardan ixtiyoriy n va