1 Используемые обозначения 3
2 Асимптотика mm-энтропии пространства Rn с абсолютно непрерывной
мерой 3
2.1 Основной результат 4
2.2 Доказательство основного результата 4
3 Асимптотика mm-энтропии пуассоновского процесса 8
3.1 Основной результат 13
3.2 Доказательство основного результата 14
4 Заключение 15
Литература 15
История термина ’’энтропия” восходит корнями ко второй половине XIX века, когда ученые стремились познать и описать законы термодинамики. Одним из первых, кто определил понятие энтропии (термодинамической энтропии), был немецкий физик-теоретик Рудольф Клаузиус, который подобным образом обозначал меру необратимого рассеивания энергии, т.е. энергию, которая не шла на совершение ’полезной” работы. Им был введен и сам термин, с греческого означающий ev en ”в” + rgonn trope ’превращение”.
В дальнейшем Людвиг Больцман разработал аналог энтропии в статистической механике: так он определил величину, пропорциональную логарифму числа состояний, в которых может находиться система. Больцман рассматривал энтропию как меру ’запутанности” системы. В настоящее время энтропия Больцмана-Гиббса имеет фундаментальное значение в физике.
Нас же в данной работе будет интересовать информационная энтропия, среди первооткрывателей которой - Клод Шеннон, Джон фон Нейман и Норберт Виннер. Подробнее об истории развития можно прочесть в работе А.М.Вершика. Энтропия Шеннона стала ключевым объектом множества разделов математики, включая теоритическую информатику, теорию динамических систем, эргодическую теорию и теорию вероятностей.
Начнем с двух определений, первое из которых общеизвестно, а второе фактически есть у Шеннона.
Пусть (X, d) - метрическое пространство, A С X - компактное подмножество X. Обозначим за N (A, е) наименьшее число замкнутых шаров радиуса Е, необходимое для покрытия множества A. Величина
H (A, е) := ln N (A, е)
называется энтропией компакта A (или метрической энтропией компакта A).
Определение энтропии вероятностной меры, данное Шенноном, можно обобщить на другие объекты. Для метрического пространства с борелевской мерой (X, d, P) рассмотрим понятие mm-энтропии:
Nmm(E, А) := min{n : 3x1, x2 ... ,xn : P(X An=1B(xi, e) < А}.
Hmm(E,5) := In Nmm(E,A),
где B(x, r) - замкнутый шар с центром в точке x и радиуса г. Отметим, что данное определение использует тот хорошо известный факт, что мера P с точностью до произвольно малой массы сосредоточена на компакте. Индекс ”mm” означает ’measure-metric” по аналогии с mm-пространствами Громова. Величину Hmm(-, •) будем называть mm- энтропией пространства. Более детальный анализ структуры ”метрика плюс мера”.
Идея использования энтропии компактов для измерения ”массивности” множеств в метрических пространствах восходит ещё к довоенным работам Л.С.Понтрягина и Л.Г. Шнирельмана. Новую главу в теории информации и энтропии открыли знаменитые работы К.Шеннона. Они усилили интерес А.Н.Колмогорова к различным аспектам этой теории. В частности, А.Н.Колмогоров начал изучать энтропию покрытия разных классов множеств, большое внимание уделяя именно компактам. Например, см. знаменитый обзор А.Н.Колмогорова и В.М.Тихомирова, также комментарий к нему В.М.Тихомирова, и обзоры. Вскоре энтропия компактов нашла неожиданные применения в теории вероятностей, где Р.Дадли, В.Н.Судаков и К.Ферник на её основе исследовали траекторные свойства гауссовских случайных процессов.
Интерес к изучению mm-энтропии связан в том числе и с тем, что она позволяет определить нетривиальный инвариант mm-пространств относительно изометрий, сохраняющих меру. Так, например, мы можем утверждать об отсутствии изоморфизма двух mm-пространств, если их mm-энтропии различны.
Одними из первых стали изучать mm-энтропию А.М.Вершик и М.А.Лифшиц: в совместной работе они показали, что для широкого класса банаховых пространств с гауссовской мерой mm-энтропия тесно связана с энтропией соответствующего эллипсоида рассеивания.
В данной работе мы получили асимптотику количества шаров, почти покрывающих пространство, (а значит и асимптотику mm-энтропии) для случая R" с абсолютно непрерывной мерой, а также для пространства траекторий процесса Пуассона. В дальнейшем планируется продолжить изучать mm-энтропию в бесконечномерных пространствах — для распределений различных классов негауссовских процессов.
[1] А.М. Вершик, ’’Информация, энтропия, динамика”, Математики XX века. Взгляд из Петербурга, МЦНМО, Москва (2010), 47-76.
[2] А. М. Вершик, М. А. Лифшиц, ”О mm-энтропии банахова пространства с гауссовской мерой” — Теория вероятн. и ее примен. 68 (2023), №3, 532-543.
[3] А.М. Вершик, П.Б. Затицкий, Ф.В. Петров, ’Виртуальная непрерывность измеримых функций многих переменных и ее приложения”, Успехи матем. наук, 69 (2014), 81-114.
[4] А.Н. Колмогоров, ”О некоторых асимптотических характеристиках вполне ограниченных метрических пространств”, Докл. АН СССР, 108 (1956), 385- 389. 1 2 3
[8] А.В. Скороход. ’’Предельные теоремы для случайных процессов” — Теория вероятн. и ее примен. 1 (1956), 289-319.
[9] А.В. Скороход. ’Предельные теоремы для случайных процессов с независимыми приращениями” — Теория вероятн. и ее примен. 2 (1957), 145-177.
[10] В.М. Тихомиров, ”s-энтропия и s-ёмкость”. В книге: А.Н. Колмогорова. ’Теория информации и теория информации”. M., Наука, 1987, 262-269 .
[11] В.М. Тихомиров, ’Работы А.Н. Колмогорова по s-энтропии функциональных классов и суперпозициям функций”, Успехи Матем. Наук, 18 (1963), 55-92.
[12] В.М. Тихомиров, ’Поперечники и энтропия”, Успехи Матем. Наук, 38 (1983), 91-99.
[13] П. Халмош, ’Теория меры”, M: Изд-во иностранной литературы 1953, M: Факториал Пресс, 2003.
[14] M. Gromov, ’Metric structures for Riemannian and non-Riemannian spaces”, Birkhauser Boston, 1999.
[15] C. Rudolf, ”Ueber verschiedene fur die Anwendung bequeme Formen der Haupt. der mechanischen Warmetheorie”, Annalen der Physik und Chemie, 1865, 125 (7): 353-400
[16] C.E. Shannon, ”A mathematical theory of communication”, I,II, Bell Syst. Techn.J., 27 (1948), 3, 379-423 ; 4, 623-656. К. Шеннон, ’Математическая теория связи”. В кн. ’Работы по теории информации и кибернетике ”, М.: Изд-во иностр.лит., 1963, 243332.
[17] A.M. Vershik, ’Dynamics of metrics in measure spaces and their asymptotics invariants’, Markov Process and Related Fields, 16, 1 (2010), 169-185