pogulyat_vyshelДля группы аффинных преобразований прямой у меня получилось то же, что в
википедии для правоинвариантной меры. Видать, преподаватель ошибся, когда предложил рассмотреть этот пуллбэк (то определение через интеграл, что я привёл, на самом деле описывает правоинвариантную меру)
А настоящая левоинвариантная, видать, определяется так:
Соответственно, в пуллбэке не левый сдвиг, а правый
Про то, что Вы предложили -- если оба варианта верны, то они должны отличаться в константное число раз. Меня интересует, правильно ли то, что предложил я.
Хотя... в учебнике, вроде бы, исходный вариант... Ладно, давайте исходного придерживаться