2)
Дадим строгое определение многогранника, предложенное А.Д. Александровым.
Начнем с кратких предварительных определений; все они относятся как к пространству, так и к плоскости.
Фигура – это то же, что множество точек.
Точка называется граничной точкой данной фигуры, если сколь угодно близко от нее есть точки, как принадлежащие фигуре, так и не принадлежащие ей.
Точка фигуры, не являющаяся ее граничной точкой, называется внутренней.
Множество всех граничных точек фигуры называется ее границей, а множество всех ее внутренних точек – внутренностью.
Замкнутой областью называется множество точек, обладающее следующими свойствами:
(1)Оно содержит внутренние точки, а внутренность его связна.
(2)Оно содержит свою границу, и она совпадает с границей его внутренности.
Данное определение относится либо к множеству точек на плоскости, либо – в пространстве. Замкнутая область в пространстве называется телом, а на плоскости – плоской замкнутой областью или просто замкнутой областью, если ясно, что речь идет о фигуре на плоскости.
Из определения замкнутой области – как на плоскости, так и в пространстве – следует, что она состоит из внутренности и ее границы, которая оказывается так же границей самой замкнутой области. Поэтому замкнутую область можно определить несколько иначе. Замкнутая область – это множество точек, имеющее (не пустую) связную внутренность и состоящее из нее и ее границы.
Оба данные выше определения равносильны. Граница замкнутой области всюду прилегает к ее внутренности. У «куба с крылом» (рис 1.1) «крыло» входит в границу фигуры, но не содержится в границе ее внутренности. Граница тела называется его поверхностью.
В определении замкнутой области не требуется, чтобы она была ограниченной – имела конечные размеры; допускаются и бесконечные области. Примерами в пространстве могут служить полупространство, двугранный угол, как множество, ограниченное двумя полуплоскостями, и др. Все пространство тоже является телом – это единственное тело, не имеющее границы.
Часто в само понятие тела включают требование его ограниченности – конечности его размеров, но этого делать не будем, потому что в геометрии имеют дело и с бесконечными телами. Точно так же и в планиметрии встречаются и бесконечные области, например угол – часть плоскости, ограниченная двумя лучами с общим началом.
Дадим теперь определение многоугольника и многогранника.
Многоугольником называется замкнутая область конечных размеров, граница которой состоит из конечного числа отрезков. Многоугольник называется простым, если его граница представляет собой одну простую замкнутую ломаную.
Многогранником
называется тело конечных размеров, граница (поверхность) которого состоит из конечного числа многоугольников. Данное определение повторяет определение на основе наглядных представлений, однако теперь входящие в него понятия тела и его поверхности понимаются не только наглядно, но и с точки зрения данных им выше определений.
Нередко, как уже говорилось, многогранником называют не тело, ограниченное многоугольниками, а поверхность, составленную из многоугольников; такое словоупотребление встречается вне школьного курса даже чаще. Встречается и смешение терминов, когда «многогранник» понимается то в одном, то в другом смысле. Так, когда говорят, например, «склеим из развертки куб», то имеют в виду не тело, а поверхность.
Подобное употребление одного и того же слова в разных, хотя и тесно связанных, смыслах встречается в геометрии постоянно и, можно даже сказать, характерно для нее. Углом называют и фигуру, состоящую из двух лучей, и ограниченную ею часть плоскости; так же как двугранный угол понимается или как фигура из двух плоскостей, или как ограниченная ею часть пространства; многоугольником называют и ломаную, и ограниченную ею часть плоскости, и т. п. В этом нет ничего страшного, если каждый раз понимать, в каком именно смысле употребляется в данный момент тот или иной термин.