Определения и формулировки, 3 семестр, Кохась К.П. — различия между версиями
м (rollbackEdits.php mass rollback) |
|||
(не показано 5 промежуточных версий 5 участников) | |||
Строка 2: | Строка 2: | ||
'''ЕСЛИ НАХОДИТЕ ОШИБКИ ИСПРАВЛЯЙТЕ''' | '''ЕСЛИ НАХОДИТЕ ОШИБКИ ИСПРАВЛЯЙТЕ''' | ||
+ | == Фотки определений и формулировок == | ||
+ | [https://dl.dropbox.com/u/21779860/%21matan.zip photos] | ||
+ | |||
+ | В архиве фотки со всеми определениями в том порядке, в котором они даны выше. | ||
== Определения == | == Определения == | ||
Строка 20: | Строка 24: | ||
===Сигма-алгебра=== | ===Сигма-алгебра=== | ||
===Объем=== | ===Объем=== | ||
+ | {{Определение | ||
+ | |definition= | ||
+ | <tex>\mu : P \rightarrow \overline{\mathbb R}</tex> — объем, если: | ||
+ | # <tex>\mu(\varnothing) = 0</tex> | ||
+ | # <tex>\forall A, A_1 ... A_n \in P : A = \underset{i=1}{\overset{n}{\cup}}{A_i} \Rightarrow \mu A = \underset{i=1}{\overset{n}{\sum}}{A_i}</tex> | ||
+ | # <tex>\forall A: \mu A \ge 0</tex> | ||
+ | |||
+ | Если <tex>\forall A : \mu A \neq +\infty</tex>, то объем называется конечным. | ||
+ | }} | ||
+ | |||
===Мера=== | ===Мера=== | ||
===Сигма-конечная мера=== | ===Сигма-конечная мера=== | ||
Строка 39: | Строка 53: | ||
== Формулировки == | == Формулировки == | ||
+ | ===Характеризация жордановых множеств с помощью параллелепипедов=== | ||
+ | ===Аддитивность интеграла по жорданову множеству. Усиленная аддитивность=== | ||
+ | ===Теорема Фубини=== | ||
+ | ===Свойства переноса 1-форм (внешнее произведение, диффернциал, вычисление на векторе)=== | ||
+ | ===Свойства объема: усиленная монотонность, конечная полуаддитивность, "субтрактивность"=== | ||
+ | ===Теорема об эквивалентности счетной аддитивности и счетной полуаддитивности=== | ||
+ | ===Теорема о непрерывности снизу=== | ||
+ | ===Теорема о непрерывности сверху=== | ||
+ | ===Счетная аддитивность классического объема=== | ||
+ | ===Регулярность меры Лебега=== | ||
+ | ===Лемма о переносе меры с помощью отображения=== | ||
+ | ===Лемма о сохранении измеримости=== | ||
+ | ===Теорема о сохранении измеримости при гладком отображении=== | ||
+ | ===Сохранение меры Лебега при ортогональных преобразованиях=== | ||
+ | ===Лемма "о структуре компактного оператора"=== | ||
+ | ===Теорема о преобразовании меры Лебега при линейном отображении=== | ||
+ | ===Теорема об измеримости пределов и супремумов=== | ||
+ | ===Характеризация измеримых функций с помощью ступенчатых=== | ||
+ | ===Измеримость монотонной функции=== | ||
+ | ===Теорема Лебега о сходимости почти везде и сходимости по мере=== | ||
+ | ===Теорема Рисса о сходимости по мере и сходимости почти везде=== |
Текущая версия на 19:11, 4 сентября 2022
* - ТРЕБУЕТ ДОРАБОТКИ
ЕСЛИ НАХОДИТЕ ОШИБКИ ИСПРАВЛЯЙТЕ
Фотки определений и формулировок
В архиве фотки со всеми определениями в том порядке, в котором они даны выше.
Определения
Жорданово множество
Объем жорданова множества
1- и 2-формы
Дифференциальная 1- или 2-форма в $\mathbb R^n$
Внешнее произведение форм
Внутреннее произведение
Интеграл 1-формы по ориентированной кривой
Ориентированная область в $\mathbb R^2$
Правоориентированная область
Дифференциал дифференциальной формы
Перенос формы при гладком отображении
Интеграл от 2-формы по ориентированной области в $\mathbb R^2$
Полукольцо
Алгебра
Сигма-алгебра
Объем
Определение: |