Объём

Определение "Объём" в Большой Советской Энциклопедии

Объём. Рис.

Объём, одна из основных величин, связанных с геометрическими телами. В простейших случаях измеряется числом умещающихся в теле единичных кубов, т. е. кубов с ребром, равным единице длины.

Объём. Рис.

Задача вычисления Объём простейших тел, идущая от практических потребностей, была одним из стимулов развития геометрии. Математика Древнего Востока (Вавилония, Египет) располагала рядом правил (большей частью эмпирических) для вычисления Объём тел, с которыми чаще всего приходилось встречаться на практике (например, призматических брусьев, пирамид полных и усечённых, цилиндров). Среди формул Объём были и неточные, дававшие не слишком заметную процентную ошибку лишь в пределах употребительных линейных размеров тела. Греческая математика последних столетий до нашей эры освободила теорию вычисления Объём от приближённых эмпирических правил. В «Началах» Евклида и в сочинениях Архимеда имеются только точные правила для вычисления Объём многогранников и некоторых круглых тел (цилиндра, конуса, шара и их частей). При этом уже в учении об Объём многогранников греческой математики должны были преодолеть значительные трудности, существенно отличающие этот отдел геометрии от родственного ему отдела о площадях многоугольников. Источник различия, как выяснилось лишь в начале 20 в., состоит в следующем: в то время как всякий многоугольник можно посредством надлежащих прямолинейных разрезов и перекладывания полученных частей «перекроить» в квадрат, аналогичное преобразование (посредством плоских разрезов) произвольного многогранника в куб оказывается, вообще говоря, невозможным (теорема Дена, 1901). Отсюда становится ясным, почему Евклид уже в случае треугольной пирамиды был вынужден прибегнуть к бесконечному процессу последовательных приближений, пользуясь при доказательстве исчерпывания методом. Бесконечный процесс лежит и в основе современной трактовки измерения Объём, сводящийся к следующему. Рассматриваются всевозможные многогранники, вписанные в тело К, и всевозможные многогранники, описанные вокруг тела К. Вычисление Объём многогранника сводится к вычислению объёмов составляющих его тетраэдров (треугольных пирамид). Пусть {V_i} — числовое множество объёмов, вписанных в тело многогранников, a {V_d} — числовое множество описанных вокруг тела К многогранников. Множество {V_i} ограничено сверху (объёмом любого описанного многогранника), а множество {V_d} ограничено снизу (например, числом нуль). Наименьшее из чисел, ограничивающее сверху множество {V_i}, называется нижним объёмом V тела К; а наибольшее из чисел, ограничивающее снизу множество {V_d}, называется верхним объёмом  тела К. Если верхний объём  тела К совпадает с его нижним объёмом V, то число V =   = V  называется объёмом тела К, а само тело — кубируемым телом. Для того чтобы тело было кубируемым, необходимо и достаточно, чтобы для любого положительного числа e можно было указать такой описанный вокруг тела многогранник и такой вписанный в тело многогранник, разность V_d — V_i объёмов которых была бы меньше e.

Аналитически Объём может быть выражен с помощью кратных интегралов. Пусть тело К (рис. 1) ограничено цилиндрической поверхностью с параллельными оси Oz образующими, квадрируемой областью М плоскости Оху и поверхностью z = f (x, у), которую любая параллель к образующей цилиндра пересекает в одной и только в одной точке. Объём такого тела может быть вычислен с помощью двойного интеграла
.

Объём тела, ограниченного замкнутой поверхностью, которая встречается с параллелью к оси Oz не более чем в двух точках, может быть вычислен как разность Объём двух тел, подобных предшествующему. Объём тела может быть выражен в виде тройного интеграла
,

где интегрирование распространяется на часть пространства, занятую телом. Иногда удобно вычислять Объём тел через его поперечные сечения. Пусть тело (рис.2), содержащееся между плоскостями z = а и z = b (b > а), рассекается плоскостями, перпендикулярными оси Oz. Если все сечения тела квадрируемы и площадь сечения S — непрерывная функция от z, то Объём тела может быть выражен простым интегралом
. (1)

Исторически происходило так, что задолго до создания интегрального исчисления операция интегрирования фактически применялась (в различных геометрических формах) к вычислению Объём простейших тел (пирамиды, шара, некоторых тел вращения), чем и была подготовлена почва для оформления этого исчисления в 17—18 вв. В частности, формулу (1) содержал в зародыше т. н. Кавальери принцип, сохраняющий своё значение для школьного преподавания. В элементарном преподавании полезной оказывается также Симпсона формула, соответствующая тому случаю, когда в (1) функция S (z) является многочленом не выше 3-й степени.
Об обобщениях понятия «Объём» см. в ст. Мера множества.
Лит.: Кудрявцев Л. Д., Математический анализ, т. 1—2, М., 1970; Лебег А., Об измерении величин, пер. с франц., 2 изд., М., 1960.