рервно як композиція неперервних відображень; крім того,. Також зауважимо, що
,
тобто br/>
. br/>
Таким чином, - полухарактер.
) Нехай тепер - деякий полухарактер. Тоді, тобто . Покладемо,, g неперервна як композиція безперервних функцій (? Неперервна за умовою). Тоді
= і
. br/>
Вище було показано (п. 1.3), що в цьому випадку, де.
Отже,, ч.т.д.
Зауваження. Для характерів формулюється і доводиться аналогічна теорема, з тією лише різницею, що на константу c накладається умова | c | = 1. br/>
.5 Напівгрупа S
.5.1 Визначення і деякі властивості
Розглянемо безліч:. Введемо на ньому алгебраїчну операцію таким чином:
.
Позначимо. Тоді справедливе твердження:
Лемма. Безліч є абелевої полугруппой без нульового елемента і володіє скороченнями. p> Доказ. Очевидно, що введена операція визначена на всій множині. Неважко бачити, що
=
==
В В
. br/>
операція асоціативна на. Тоді за визначенням - напівгрупа. Зауважимо, зазначена операція коммутативна. Дійсно:
В
.
Значить, є абелевої полугруппой.
В не існує нульового елемента, тому що таким елементом може бути тільки пара (0,0).
Нехай тепер,. Тоді
,
В В В
Отримуємо, що володіє правими скороченнями. Аналогічно показується, що володіє і лівими скороченнями, тобто володіє скороченнями.
Отже, - абелева півгрупа з нулем, що володіє скороченнями, ч.т.д.
Зауваження. Поряд з полугруппой ми також можемо розглядати і напівгрупу, для якої вірна аналогічна лема. br/>
.5.2 Інваріантна міра в S
Спробуємо ввести в інваріантну міру. Неважко переконається,
що-алгебра борелевская множин на є звуженням-алгебри борелевская множин на, тобто br/>
.
В можна ввести міру Лебега (позначимо її). Тоді покладемо. Зауважимо, що, значить природно визначити:. визначається через міру Лебега, а стало бути є-адитивної заходом.
В існує топологія, індукована природної топологією. Вона є топологічної полугруппой, тому що відображення є безперервним.
Теорема. є інваріантної заходом, заданої в полугруппе.
Доказ. Доведемо, що дана міра инвариантна ліворуч, тобто . Зважаючи-аддитивности заходи досить показати, що це вірно для M = [a; b), де,. Покажемо це. br/>
.
Т.к. неперервна, то
В
Тоді.
Отже, дана міра инвариантна зліва. Аналогічно показується, що вона інваріантна праворуч, ч.т.д. br/>
1.5.3 Полухарактери і характери в S
Справедливо наступне твердження:
Теорема. Відображення є полухарактером, де, так, що й. p> Доказ. 1) Відображення безперервно як композиція неперервних відображень; крім того, і. Також вірно, що. Дійсно. br/>
. br/>
Таким чином, - полухарак...
