Akslantirish

b)e_R (x)  f₁ x  x, f₁  e_R H


a

a
c) f ^1(x)  a^1x, dеmak f ^1  H

2). R to`plamdagi g<sub>a</sub> (x)  x  a aR ko`rinishdagi barcha funktsiyalardan

iborat to`plam P ham o`zgartirishlar guruhini hosil qiladi.

_а) g_a x x  a, g_b (x)  x b

_g_a g_b (x)  g_a g_b x g_a x b _{ xab}

bo`lsa,
va

_gb g_a (x)  g_b g_a x g_b (x  a)  a b, _{ya'niga gb Pva gb ga P va}


a

a
g_a g_b  g_b g_a  g_ab P . в) e_R  g_o P; с) g^1(x)  x  a, dеmak g^1  g_a P.

Shunday qilib P o`zgartirishlar guruhi bo`ladi.