Свойства тройного интеграла
По смыслу и доказательству полностью аналогичны свойствам определённого и двойного интегралов.
Линейность
Если функции $\mathbf { \textit { f } } (\mathbf { \textit { x } } $, $\mathbf { \textit { y } } $, $\mathbf { \textit { z } } )$, $\mathbf { \textit { g } } (\mathbf { \textit { x } } $, $\mathbf { \textit { y } } $, $\mathbf { \textit { z } } )$ интегрируемы по области$\mathbf { \textit { V } } $, то их линейная комбинация $\alpha f(x,y,z)+\beta g(x,y,z)$ тоже интегрируема по $\mathbf { \textit { V } } $, и $\iiint\limits_V { \,\left[ { \alpha f(P)+\beta g(P) }\right]dv } = \alpha \iiint\limits_V { f(P)dv } +\beta \iiint\limits_V { g(P)dv } $.
Аддитивность
Если область $\mathbf { \textit { V } } $ является объединением двух областей $\mathbf { \textit { V } } _ { 1 } $ и $\mathbf { \textit { V } } _ { 2 } $, не имеющих общих внутренних точек, то $\iiint\limits_V { f(P)dv } =\iiint\limits_ { V_1 } { f(P)dv } +\iiint\limits_ { V_2 } { f(P)dv } $.
Интеграл от единичной функции по области
$\mathbf { \textit { V } } \quad \textbf { равен объёму этой области: } \iiint\limits_V { dv } =v(V)\textbf { . } $
Интегрирование неравенств
Если в любой точке $P\in V$ выполняется неравенство $f(P)\leqslant g(P)$, и функции $\mathbf { \textit { f } } (\mathbf { \textit { P } } )$, $\mathbf { \textit { g } } (\mathbf { \textit { P } } )$ интегрируемы по области $\mathbf { \textit { V } } $, то $\iiint\limits_V { f(P)dv } \leqslant \iiint\limits_V { g(P)dv } $.
Теоремы об оценке интеграла
Если функция $\mathbf { \textit { f } } (\mathbf { \textit { P } } )$ интегрируема по области $\mathbf { \textit { V } } $, и для $\forall P\in V$ выполняется $m\leqslant f(P)\leqslant M$, то $m\cdot v(V)\leqslant \iiint\limits_V { f(P)dv } \leqslant M\cdot v(V)$.
Если функция $\mathbf { \textit { f } } (\mathbf { \textit { P } } )$ интегрируема по области$\mathbf { \textit { V } } $, то $\left| { \iiint\limits_V { f(P)dv } }\right|\leqslant \iiint\limits_V { \,\vert f(P)\vert dv } $.
Теорема о среднем
Если функция $\mathbf { \textit { f } } (\mathbf { \textit { P } } )$ непрерывна на области $\mathbf { \textit { V } } $, то существует точка $P_0 \in V$, такая что $\iiint\limits_V { f(P)dv } =f(P_0 )\cdot v(V)$.
Далее:
Вычисление двойного интеграла
Примеры применения цилиндрических и сферических координат
Замыкание. Свойства замыкания. Теорема о сведении к заведомо полной системе
Упрощение логических функций
Замена переменных в двойном интеграле. Двойной интеграл в полярных координатах
Решение задач с помощью алгебры высказываний
Формула Гаусса - Остроградского
Вычисление площади поверхности
Вычисление объёмов
Лемма о построении множества $[F]_{x1,x2}$
Вычисление криволинейного интеграла второго рода в случае выполнения условия независимости от формы
Определение криволинейного интеграла второго рода
Логические следствия
Теорема о заведомо полныx системаx
Критерий полноты {формулировка}. Лемма о несамодвойственной функции
Огравление $\Rightarrow $
Комментарии ()