ИНВАРИАНТНОЕ СРЕДНЕЕ это:

ИНВАРИАНТНОЕ СРЕДНЕЕ

на группе или полугруппе G, точнее, инвариантное среднее на пространстве Xфункций на G,- непрерывный линейный функционал тна замкнутом подпространстве Xпространства В(G)всех ограниченных комплекснозначных функций на G, снабженном равномерной нормой, содержащем постоянные функции и инвариантном относительно операций комплексного сопряжения, причем ти Xудовлетворяют следующим условиям: 1) пространство Xинвариантно относительно левого сдвига, т. е. если то и где xf(t)=f(xt )для всех т - среднее на X, т. е.для всех и inf {f(x)}m(f)sup {f(x)} для всех действительнозначных 3) m(xf)=m(f) для всех и всех В этом случае

И. с. тназ. левоинвариантным средним; аналогично определяется правоинвариантное среднее и двустороннее И. с. на G.

Если на X = B(G)существует двустороннее И. с, то группа Gназ. аменабельной. Аменабельность группы Gсвязана с существованием инвариантных мер относительно нек-рых групп преобразований, связанных с G(см. [1]). Если G- локально компактная топологич. группа, то на пространствах почти периодич. функций и слабо почти периодич. функций на Gсуществует нетривиальное левое И. с. С другой стороны, следующие условия эквивалентны: 1) существует левое И. с. на пространстве 2) существует левое И. с. на пространстве X = CB(G)ограниченных непрерывных комплексных функций на G;3) существует левое И. с. на пространстве Х = UCB(G)двусторонне непрерывных ограниченных комплексных функций; 4) существует двустороннее И. с. на одном из пространств СВ (G), UCB(G); 5) группа Gне имеет дополнительной серии представлений; 6) носитель регулярного представления группы Gсовпадает с дуальным пространством этой группы; 7) единичная функция на группе Gможет быть на любом компакте равномерно аппроксимирована конечными линейными комбинациями матричных элементов регулярного представления группы G;8) если m - левая мера Хаара на G,v - такая ограниченная комплексная регулярная борелевская мера на G, что

для всех финитных непрерывных функций f на G, то 9) для нек-рого q>1,любого е>0 и любого компакта существует неотрицательная функция удовлетворяющая условию ||xj-j||<e для всех 10) предыдущее условие выполняется для всех q>1,11) для любого e>0 и любого компакта существует такое борелевское множество что иm-1(U).m(xUDU)<e для всех 12) любое непрерывное действие группы Gна компактном выпуклом множестве в локально выпуклом пространстве непрерывными аффинными преобразованиями имеет неподвижную точку. Локально компактная группа, удовлетворяющая любому из равносильных условий 1) - 12), наз. аменабельной. Непрерывные образы аменабельных групп, замкнутые подгруппы аменабельных групп, расширения аменабельных групп с помощью аменабельных, индуктивные пределы аменабельных групп - аменабельны. Равномерно ограниченное представление аменабельной группы в гильбертовом пространстве эквивалентно унитарному представлению в том же пространстве. Нек-рые из перечисленных результатов могут быть распространены на случай общих топологич. групп, допускающих И. с. на пространстве ограниченных непрерывных комплексных функций. Теория И. с. и аменабельных групп имеет существенные приложения в теории динамич. систем, эргодич. теории, теории алгебр Неймана и в абстрактном гармонич. анализе.

Лит.:[1] von Neumann J., "Fundam. math.", 1929, v. 13, p. 73-116; [2] Грин ли ф Ф., Инвариантные средние на топологических группах и их приложения, пер. с англ., М. 1973; [3] Диксмье Ж., С*-алгебры и их йредставления, пер. с франц., М., 1974.

А. И. Штерн.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ИНВАРИАНТНОЕ СРЕДНЕЕ" в других словарях:

  • УНИТАРНОЕ ПРЕДСТАВЛЕНИЕ — топологической группы представление топологич. группы унитарными операторами в гильбертовом пространстве. Теория У. п. один из наиболее разработанных разделов теории представлений топологич. групп, что связано как с его многочисленными… …   Математическая энциклопедия

  • ЭРГОДИЧЕСКАЯ ТЕОРИЯ — Введение Э. т. (метрическая теория динамических систем) раздел теории динамических систем, изучающий их статистич. свойства. Возникновение Э. т. (1 я треть 20 в.) было стимулировано попытками доказать эргодическую гипотезу (термин введён П. и Т.… …   Физическая энциклопедия

  • ПОЧТИ ПЕРИОДИЧЕСКАЯ ФУНКЦИЯ — функция, к рая может быть представлена обобщенным рядом Фурье. Существуют различные способы определения классов П. п. ф., основанные на понятиях замыкания, почти периода, сдвига. Каждый из классов П. п. ф. получается в результате замыкания в том… …   Математическая энциклопедия

  • МАСШТАБНАЯ ИНВАРИАНТНОСТЬ — (скейлинг), свойство неизменности ур ний, описывающих к. л. физ. процесс или явление, при одновременном изменении всех расстояний и отрезков времени в одно и то же число раз. (В квант. теории этому соответствует инвариантность относительно… …   Физическая энциклопедия

  • КАЛИБРОВОЧНЫЕ ПОЛЯ — (компенсирующие поля), векторные поля, обеспечивающие инвариантность ур ний движения относительно калибровочных преобразований (см. КАЛИБРОВОЧНАЯ СИММЕТРИЯ). Примеры таких полей эл. магн. поле в электродинамике, а также глюонные поля в квантовой… …   Физическая энциклопедия

  • Уравнение Дирака — релятивистски инвариантное уравнение движения для би спинорного классического поля электрона, применимое также для описания других точечных фермионов со спином 1/2; установлено П. Дираком в 1928. Содержание 1 Вид уравнения 2 Физический смысл …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»