Будем называть декартовой плоскостью $\mathbb{R}^2$ множество всех упорядоченных пар действительных чисел $(x,y)$. Элементы $\mathbb{R}^2$ называют точками, а числа $x,y$ – координатами этих точек.
Пусть $a\leqslant b,c\leqslant d$. Множество всех точек, координаты $(x,y)$ которых удовлеворяют неравенствам $a\leqslant x\leqslant b,c\leqslant y\leqslant d$, будем называть прямоугольником и обозначать $[a,b;c,d]$. Стороны прямоугольника параллельны координатным осям. Если $a=b$ или $c=d$, то прямоугольник $[a,b;c,d]$ называется вырожденным.
Множество всех точек $(x,y)$ , удовлетворяющих неравенствам $a< x< b, c< y< d$, называют внутренностью прямоугольника.
Площадью (или мерой) прямоугольника $I\equiv [a,b;c,d]$ называется произведение длин его сторон, т.е. $m(I)=(d−c)(b−a)$.
Фигурой (или элементарным множеством) назовем такое множество на плоскости, которое можно представить в виде объединения конечного числа прямоугольников. Фигура называется вырожденной, если она может быть представлена в виде конечного объединения вырожденных прямоугольников.
Предложение. Каждую фигуру можно разбить на конечное число прямоугольников с попарно непересекающимися внутренностями.
Это предложение принимаем без доказательства.
Определение. Пусть фигура $X$ является объединением прямоугольников $I_{1},\dots ,I_{n}$, у которых внутренности попарно не пересекаются. Тогда мерой фигуры $X$ называется
$$m(X) = \sum_{k=1}^{n}m(I_{k}).$$
Нетрудно показать, что данное определение меры не зависит от способа разбиения этой фигуры на прямоугольники с попарно непересекающимися внутренностями. Ясно, что мера вырожденной фигуры равна нулю.
Пусть теперь $E$ – произвольное множество на плоскости, которое содержится в некотором прямоугольнике, т.е. ограниченное.Число $$m^*(E) = \inf_{X\supset E}m(X),$$ где нижняя грань берется по всевозможным фигурам $X$, содержащим множество $E$, называется внешней мерой Жордана множества $E$. Далее, число $$m_{*}(E) = \sup_{X\subset E}m(X),$$ где верхняя грань берется по всевозможным фигурам $X$, содержащимся во множестве $E$, называется внутренней мерой Жордана множества $E$.
Нетрудно показать, что если фигуры $X$ и $Y$ таковы, что $X\subset Y$, то $m(X) \leqslant m(Y)$. Отсюда сразу следует, что для любого ограниченного множества $E$ справедливо неравенство $m_{∗}(E)\leqslant m^*(E).$
Определение. Если внутренняя мера множества $E$ равна его внешней мере, то множество $E$ называется измеримым по Жордану или квадрируемым. В этом случае общее значение внешней и внутренней мер называется мерой Жордана множества $E$ и обозначается $m(E).$
Пусть $E$ – множество всех точек из единичного квадрата $[0,1;0,1]$, у которых обе координаты рациональны. Это множество не содержит ни одной невырожденной фигуры, т.к. в каждом невырожденном прямоугольнике существуют точки с иррациональными координатами. Значит, $m_{∗}(E)=0.$ С другой стороны, нетрудно показать, что любая фигура, содержащая множество $E$, содержит также единичный квадрат. Поэтому $m^∗(E)=1.$ Таким образом, $m_{∗}(E)< m^∗(E)$, так что множество $E$ неизмеримо по Жордану.
Определение. Пусть $f$ – неотрицательная функция на отрезке $[a,b].$ Подграфиком функции $f$ будем называть множество $E_{f}$ всех точек $(x,y)$, координаты которых удовлетворяют неравенствам $a\leqslant x\leqslant b,0\leqslant y\leqslant f(x).$
Теорема. Пусть функция $f$ неотрицательна и интегрируема на отрезке $[a,b].$ Тогда ее подграфик $E_{f}$ измерим и $$m(E_{f}) = \int \limits_{a}^{b} f(x)dx.$$
Возьмем разбиение $a = x_{0} < x_{1} < \dots < x_{n} = b$ отрезка $[a,b]$ и обозначим $$m_{i} = \inf_{x\in [x_{i},x_{i+1}]}f(x),\;\;\;\;\;\;\; M_{i} = \sup_{x\in [x_{i},x_{i+1}]}f(x).$$
Далее пусть
$$\underline \Delta_{i} = [x_{i},x_{i+1};0,m_{i}],$$ $$\overline{\Delta_{i}} = [x_{i},x_{i+1};0,M_{i}],$$ $$\underline X=\bigcup_{i=0}^{n-1}\underline \Delta_{i},$$ $$\overline{X}=\bigcup_{i=0}^{n-1}\overline{\Delta_{i}}.$$
Тогда, по определению меры фигуры, имеем $$m(\underline X)=\sum_{i=0}^{n-1}m(\underline\Delta_{i})=\sum_{i=0}^{n-1}m_{i}\Delta x_{i}=\underline S ,$$
где $\underline S$ – нижняя сумма Дарбу функции $f$, соответствующая выбранному разбиению. Аналогично получаем, что $m(\overline X)=\overline S,$ где $\overline S$ – верхняя сумма Дарбу.
Поскольку функция $f$ интегрируема, то $\overline S — \underline S\rightarrow 0$ вместе с диаметром разбиения. Следовательно, для любого $\varepsilon >0$ найдется такое $\delta >0$, что для любого разбиения диаметра, меньшего, чем $\delta$, справедливо неравенство $\overline S — \underline S < \varepsilon$. Значит, $m(\overline X)−m(\underline X) < \varepsilon$. Заметим, что $\underline X\subset E_{f} \subset \overline X$. Поэтому $m(\underline X) \leqslant m_{*}(E_{f}) \leqslant m^*(E_{f}) \leqslant m(\overline X)$. Отсюда следует $m^*(E_{f})-m_{*}(E_{f}) <\varepsilon$, а значит, $m_{∗}(E_{f})$ и $m^∗(E_{f})$ равны. Это означает, что множество $E_{f}$ измеримо. Кроме того, из неравенств $\underline S \leqslant m(E_{f})\leqslant \overline S$ и из того, что $\displaystyle \overline S - \underline S\rightarrow 0$ и $\displaystyle \overline S \rightarrow \int\limits_{a}^{b} f(x)dx,$ $\displaystyle \underline S \rightarrow \int\limits_{a}^{b} f(x)dx$, вытекает, что $\displaystyle m(E_{f})=\int\limits_{a}^{b} f(x)dx$.
Примеры решения задач
Данные примеры читателю рекомендуется решить самому в качестве тренировки.
- Вычислить площадь фигуры, ограниченной линиями $y=x^2+2,$ $y=0,$ $x=-2,$ $x=1$.
- Вычислить площадь фигуры, ограниченной линиями $\displaystyle y=\frac{2}{x},$ $y=x+1,$ $y=0,$ $x=3.$
Решение
Фигура, площадь которой нам нужно найти, зарисована серым цветом.
Этот пример полезен тем, что в нём площадь фигуры считается с помощью двух определенных интегралов:
- На отрезке $[-1;1]$ над осью $Ox$ расположен график прямой $y=x+1$;
- На отрезке $[1;3]$ над осью $Ox$ расположен график гиперболы $\displaystyle y=\frac{2}{x}$.
Понятно, что площади нужно сложить, поэтому:
$$S=\int\limits_{-1}^{1}(x+1)dx+\int\limits_{1}^{3}\frac{2dx}{x}=$$
$$=\left ( \frac{x^2}{2} +x\right )\bigg|_{-1}^1 +2(\ln x)\bigg|_{1}^3=$$
$$=\frac{1}{2}+1-\left ( \frac{1}{2}-1 \right ) +2(\ln3- \ln 1)=$$
$$=\frac{1}{2}+1-\frac{1}{2}+1+2(\ln3-0)=2+2\ln3=2(1+\ln3)$$Ответ: $S=2(1+\ln3).$
- Найти площадь множества, ограниченного линиями $y=x^2+1,$ $x+y=3.$
Решение
Найдем абсциссы точек пересечения графиков
$$\left\{\begin{matrix}
y=x^2+1\\
y=3-x
\end{matrix}\right.$$Решая эту систему, находим $x_{1}=-2,$ $x_{2}=1.$ Поэтому
$$S=\int\limits_{-2}^{1}(3-x)dx-\int\limits_{-2}^{1}(x^2+1)dx=$$
$$=9-\frac{x^2}{2}\bigg|_{-2}^1-\left ( \frac{x^3}{3}+x \right )\bigg|_{-2}^1=$$
$$=9-\frac{1}{2}+2-\frac{4}{3}-\frac{8}{3}-2=4.5$$Ответ: $S=4.5.$
- Найти площадь круга $x^2+y^2 \leqslant R^2$.
Решение
Верхняя полуокружность задается уравнением $y=\sqrt{R^2-x^2},$ $-R \leqslant x \leqslant R.$ Поэтому площадь верхнего полукруга равна
$$S=\int\limits_{-R}^{R}\sqrt{R^2-x^2}dx=2\int\limits_{0}^{R}\sqrt{R^2-x^2}dx=$$
$$=[x=Rz]=2R^2\int\limits_{0}^{1}\sqrt{1-z^2}dz=\frac{\pi R^2}{2},$$
а значит, площадь всего круга равна $\pi R^2.$Ответ: $S=\pi R^2.$
Вычисление площадей
Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме «Вычисление площадей».