Объём n-мерного прямоугольника — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Ячейки)
(Свойство 3)
Строка 35: Строка 35:
 
==Свойство 3==
 
==Свойство 3==
 
{{Утверждение
 
{{Утверждение
|statement=Пусть <tex>\Pi_1, \ldots, \Pi_p</tex> {{---}} прямоугольники, <tex>\Pi \subset \bigcup\limits_{j = 1}^p \Pi_j</tex>. Тогда <tex>v(\Pi)\leq\sum\limits_{j=1}^p\Pi_j</tex>
+
|statement=Пусть <tex>\Pi_1, \ldots, \Pi_p</tex> {{---}} прямоугольники, <tex>\Pi \subset \bigcup\limits_{j = 1}^p \Pi_j</tex>. Тогда <tex>v(\Pi)\leq\sum\limits_{j=1}^pv(\Pi_j)</tex>
 
}}
 
}}
  

Версия 00:01, 5 января 2012

TODO: ВАКАНСИЯ: ВНИМАТЕЛЬНЫЙ ЧИТАТЕЛЬ. НУЖЕН, ЧТОБЫ ОЗНАКОМИТЬСЯ С ЭТИМ ТЕКСТОМ И ИСПРАВИТЬ КОСЯКИ


Определение:
[math]\Pi = \langle a_1; b_1 \rangle \times \cdots \times \langle a_n; b_n \rangle = \{\bar x = (x_1; x_2 \ldots x_n), x_j \in \langle a_j; b_j \rangle\}[/math]


Определение:
[math]v(\Pi) = \prod\limits_{j=1}^n (b_j - a_j)[/math] — объём прямоугольника


Выведем два основных свойства

Свойство 1

Утверждение:
Пусть [math]\Pi_1, \ldots, \Pi_p[/math] попарно не имеют общих внутренних точек, [math]\bigcup\limits_{j=1}^p \Pi_j = \Pi[/math](прямоугольник), то [math]v(\Pi)=\sum\limits_{j=1}^pv(\Pi_j)[/math]
[math]\triangleright[/math]

Доказательство основано на следующем тождестве: Если дано какое-то разбиение отрезка [math]a=x_0\lt x_1\lt \cdots\lt x_m=b[/math], то

[math]b - a = \sum\limits_{k = 0}^{m - 1} (x_{k + 1} - x_k)[/math]

Далее доказательство полностью аналогично доказательству для многократного интеграла. План:

  1. Доказать для разбиения на клетки
  2. Обобщить
  3. ??????
  4. Доказательство!
[math]\triangleleft[/math]

Свойство 2

Утверждение:
Пусть [math]\Pi_1, \ldots, \Pi_p[/math] попарно не имеют общих внутренних точек и [math]\bigcup\limits_{j=1}^p\Pi_j \subset \Pi[/math]. Тогда [math]v(\Pi) \geq \sum\limits_{j=1}^pv(\Pi_j)[/math]
[math]\triangleright[/math]
Для доказательства заметим, что легко понять, что совокупность прямоугольников — полукольцо множеств(аксиомы проверяются непосредственно). Поэтому, данная формула доказывается по аналогии меры в полукольце, но вместо [math]\sum\limits^\infty[/math][math]\sum\limits^n[/math]
[math]\triangleleft[/math]

Свойство 3

Утверждение:
Пусть [math]\Pi_1, \ldots, \Pi_p[/math] — прямоугольники, [math]\Pi \subset \bigcup\limits_{j = 1}^p \Pi_j[/math]. Тогда [math]v(\Pi)\leq\sum\limits_{j=1}^pv(\Pi_j)[/math]

Ячейки

Хотя совокупности прямоугольников — полукольцо, целесообразно его заузить, а именно:


Определение:
Пусть [math]\bar a = (a_1, \ldots, a_n)[/math], [math]\bar b = (b_1, \ldots, b_n)[/math]. Тогда ячейка [math][a; b) = [a_1; b_1) \times \cdots \times [a_n; b_n)[/math]


Утверждение:
Пересечение ячеек — ячейка
Утверждение:
Разность ячеек — объединение двух дизъюнктных ячеек
Утверждение:
Совокупность ячеек — тоже полукольцо

Но их, так сказать, меньше, чем прямоугольников.


Определение:
[math]\mathcal{R}[/math] — полукольцо ячеек


Утверждение:
[math]v(\Pi)[/math] — конечная полуаддитивная функция на [math]\mathcal{R}[/math] в силу свойств [math] v [/math]

Мера на множестве ячеек

Теорема:
Объём ячейки — [math]\sigma[/math]-аддитивная функция на [math]\mathcal{R}[/math], то есть, является мерой на этом множестве.
Доказательство:
[math]\triangleright[/math]

Доказательство будет основано на том, что если в [math]\mathbb{R}^n[/math] ограниченное замкнутое множество содержится в некотором объединении открытых множеств, то из такого покрытия можно выделить конечное подпокрытие. Это свойство компактности.

[math]\Pi = \bigcup\limits_{j=1}^\infty \Pi_j[/math] — дизъюнктны. Нужно доказать, что [math]v(\Pi) = \sum\limits_{j=1}^\infty v(\Pi_j)[/math].

[math]\bigcup\limits_{j=1}^p \Pi_j \subset \Pi \Rightarrow [/math] (по второму свойству [math]v[/math]) [math]\sum\limits_{j=1}^p v(\Pi_j) \leq v(\Pi)[/math]

Устремляя [math]p\to\infty[/math], получаем, что [math]\sum\limits_{j=1}^\infty v(\Pi_j) \leq v(\Pi)[/math]

Осталось доказать противоположное неравенство.

[math]v(\Pi) = \prod\limits_{j=1}^n (b_j - a_j)[/math]

Если на это величину смотреть как на функцию двух переменных, то она будет непрерывна как произведение непрерывных функций.

Значит, малое отклонение аргумента приведёт к малому изменению значения функции.

[math]\Pi_j \subset \Pi_j^o[/math](открытое). Погружаем [math]\Pi_j[/math] в открытый прямоугольник [math]\Pi_j^o[/math] таким образом, чтобы [math]v(\Pi_j^o) \lt v(\Pi_j) + \frac{\varepsilon}{2^j}[/math]. Это можно сделать по непрерывности [math]v[/math].

В результате получаем, что [math]\Pi\subset\bigcup\limits_{j=1}^\infty \Pi_j^o[/math]


Определение:
[math]\Pi^c[/math] — замыкание ячейки [math]\Pi^o[/math]


Утверждение:
Замыкание не изменяет объёма

Однако, после замыкание множество становится компактом.

[math]\Pi^c \subset \bigcup\limits_{j=1}^\infty \Pi_j^o[/math]

В силу свойства компактов из получившегося покрытия выбираем конечное подпокрытие

[math]\Pi\subset\Pi^c\subset\bigcup\limits_{k=1}^p\Pi_{j_k}^o[/math]

По третьему свойству объёма, [math]v(\Pi) = v(\Pi^c) \leq \sum\limits_{k=1}^pv(\Pi_{j_k}^o) \lt \sum\limits_{k=1}^pv(\Pi_{j_k}) + \frac\varepsilon{2^{j_k}}[/math][math]\leq \sum\limits_{j=1}^\infty v(\Pi_j) + \varepsilon[/math].

Обратное неравнство установлено
[math]\triangleleft[/math]