j инвариант

[droid]

Здравствуйте!

Помогите понять откуда появляется данное понятие. Столкнулся с задачей где это используется и никак не разберусь. Для меня это сейчас такая функция от сложного отношения четырех точек, которая остается постоянной при перестановках точек.
$j(\tau)=\frac{(\tau^2-\tau+1)^3}{\tau^2(\tau-1)^2}$
$j(CR(A_1, A_2, A_3, A_4)) = j(CR(A_2, A_3, A_4, A_1))$
Если это находиться не слишком глубоко в математике, если можете, дайте ссылку с доходчивым объяснением.

Заранее спасибо.

[svv]

http://milogiya.narod.ru/preemst2.htm

А дальше -- просто составили такую функцию, которая имеет одно и то же значение для аргументов $\tau$, $1/\tau$, $1-\tau$ и т.д. (то есть для всех шести значений сложного отношения, получаемых перестановкой точек).

[droid]

svv в сообщении #419067 писал(а):

http://milogiya.narod.ru/preemst2.htm

А дальше -- просто составили такую функцию, которая имеет одно и то же значение для аргументов $\tau$, $1/\tau$, $1-\tau$ и т.д. (то есть для всех шести значений сложного отношения, получаемых перестановкой точек).

Я знаю что такое сложное отношение четырех точек и при желании можно, наверно, и подобрать такую инвариантную функцию. Но, честно говоря, я ждал более математической точки зрения.