Разбиение и покрытие многогранников класса C
Автор: Пуолокайнен Т.М.
Журнал: Вестник Восточно-Сибирского государственного университета технологий и управления @vestnik-esstu
Статья в выпуске: 1 (40), 2013 года.
Бесплатный доступ
Первая часть статьи посвящена классификации выпуклых многогранников одного класса. В настоящей работе доказано, что для покрытия любого выпуклого многогранника, граница которого содержит хотя бы одну поверхность переходного типа, достаточно восьми многогранников меньших размеров, гомотетичных данному многограннику. Рассматриваемая задача связана с проблемой Хадвигера о покрытии выпуклых геометрических тел их образами при гомотетии.
Выпуклые многогранники, классификация, покрытие многогранника, гомотетия
Короткий адрес: https://sciup.org/142142638
IDR: 142142638
Текст научной статьи Разбиение и покрытие многогранников класса C
В работе [4] Хадвигер сформулировал гипотезу, согласно которой для покрытия любого выпуклого тела в n-мерном евклидовом пространстве достаточно 2n тел меньших размеров, гомотетичных данному телу. В работе [1] все выпуклые многогранники трехмерного евклидова пространства были разбиты на 4 класса: A, B, C, D. В работе [2] была осуществлена классификация многогранников класса A. Работа [3] посвящена покрытию многогранников класса A их меньшими копиями при гомотетии в трехмерном евклидовом пространстве. В работе [1] к классу B были отнесены выпуклые многогранники, поверхность которых содержит одну или несколько призматических частей. В работе [1] к классу C были отнесены выпуклые многогранники, граница которых содержит по крайней мере одну поверхность переходного типа и не содержит призматических частей. Настоящая статья посвящена разбиению всех многогранников класса C на подклассы и покрытию многогранников этого класса их меньшими копиями при гомотетии. Классификация многогранников класса C необходима для того, чтобы решить задачу покрытия многогранников этого класса их образами при гомотетии с коэффициентами, меньшими единицы.
Поверхности переходного типа
Пусть на плоскости заданы две окружности w и w 1 , центры и радиусы которых различны. Пусть эти окружности касаются внутренним образом в точке Q. Множество точек плоскости, заключенных между двумя окружностями, включая окружности и точку Q, обозначим W.
Определение 1. Рассмотрим выпуклый многогранник M. q – некоторая прямая в пространстве. Пусть имеется n граней многогранника M, параллельных прямой q (n≥3) и образующих одну компоненту связности, гомеоморфную множеству W. Компоненту связности границы многогранника, топологически эквивалентную множеству W, назовем многогранной поверхностью переходного типа. Будем говорить, что в этом случае поверхность переходного типа состоит из одного звена.
Многогранная поверхность переходного типа, состоящая из одного звена, содержит n граней и представляет собой поверхность с краем, который является объединением двух замкнутых ломаных, имеющих одну общую точку. Эту точку назовем вырожденным ребром или особой вершиной поверхности переходного типа. Все грани (и ребра) поверхности переходного типа параллельны одной прямой в пространстве; эти грани и ребра назовем боковыми.
В работе [1] введено понятие призматической части поверхности выпуклого многогранника. Если граница выпуклого многогранника M содержит поверхность переходного типа, состоящую из одного звена, и не содержит призматической части, то многогранник отнесем к классу C.
Поверхность переходного типа может состоять из двух и большего количества звеньев. Рассмотрим множество Um, которое можно получить следующим образом. Пусть имеется окружность w и m окружностей w i , w2, . ^,wm, каждая из которых касается окружности w внутренним образом. Пусть окружности w1, w2, ^,wm (m > 2) таковы, что их пересечение не пусто. Обозначим Um множество, являющееся замыканием разности круга с границей w и объединения кругов с границами w i , w 2 , ^,w m .
Определение 2. Пусть граница выпуклого многогранника M содержит компоненту связности, топологически эквивалентную множеству Um, такую, что все грани этой компоненты параллельны некоторой прямой q пространства. Такую поверхность с краем также назовем поверхностью переходного типа. В этом случае поверхность переходного типа состоит из m звеньев .
Пусть имеется поверхность переходного типа, состоящая из m звеньев. Край такой поверх -ности состоит из двух пространственных ломаных, имеющих столько общих вершин, сколько звеньев содержится в поверхности переходного типа. Каждую такую вершину назовем вырожденным ребром или особой вершиной поверхности переходного типа. Все грани (и ребра) поверхности переходного типа параллельны одному направлению в пространстве.
Если граница выпуклого многогранника содержит хотя бы одну поверхность переходного типа с m звеньями (или с одним звеном) и не содержит призматической части, то его отнесем к многогранникам класса C.
Классификация многогранников класса C
Все многогранники класса C разобьем на три подкласса: Ci, C2, C3.
Многогранник класса C, граница которого содержит одну поверхность переходного типа, отнесем к классу Ci. Каждая грань поверхности переходного типа многогранника класса Ci параллельна одному направлению в пространстве.
Многогранник класса C, граница которого содержит две поверхности переходного типа, отнесем к классу C2. Грани первой поверхности переходного типа параллельны одному направлению в пространстве, а грани второй - другому.
Многогранник класса C, граница которого содержит три или более поверхностей переходного типа, отнесем к классу C3.
Все многогранники класса Ci разобьем на три подкласса:
-
а) почтипризмы;
-
б) почтипризмы с одним однолистником или одной шапочкой;
-
в) почтипризмы с двумя однолистниками или шапочками.
Почтипризмы
Введем понятие почтипризмы.
Определение 3. Рассмотрим выпуклую призму. Пусть точка Q - внутренняя точка бокового ребра. Проведем через точку Q две плоскости б и в, каждая из которых пересечет остальные боковые ребра призмы во внутренних точках. Многогранник, полученный из призмы отсечениями плоскостями б и в и заключенный между этими плоскостями, назовем почтипризмой.
По аналогии с призмой многоугольники, лежащие в плоскостях б и в, назовем основаниями почтипризмы. Грани и ребра, параллельные одному направлению, назовем боковыми гранями и ребрами почтипризмы. Боковые грани и ребра почтипризмы образуют боковую поверхность по-чтипризмы. Точку Q назовем вырожденным ребром или особой вершиной почтипризмы. Очевидно, что боковая поверхность почтипризмы является поверхностью переходного типа, состоящей из одного звена.
Определение 4. Пусть имеется почтипризма. Выберем какую-либо вершину почтипризмы, кроме особой вершины, и проведем плоскость, пересекающую все ребра, исходящие из этой вершины, во внутренних точках. Эта плоскость отсекает от почтипризмы треугольную пирамиду. Полученный новый многогранник (без треугольной пирамиды) назовем почтипризмой с отсечением. Отсечение, которое было выполнено, назовем отсечением первого вида.
Почтипризмы с одним однолистником или одной шапочкой
В работе [2] введены понятия обычного однолистника и шапочки . Рассмотрим второй подкласс многогранников класса Ci - почтипризмы с одним однолистником или с одной шапочкой.
Определение 5. Пусть имеется некоторая почтипризма. К одному из оснований почтипризмы «приклеим» обычный однолистник, основание которого равно основанию почтипризмы. Выпуклый многогранник, полученный «склеиванием» почтипризмы с обычным однолистником, назовем почтипризмой с одним однолистником.
Определение 6. Рассмотрим многогранную поверхность с краем – шапочку; замкнутая пространственная ломаная L – граница шапочки. К каждой грани шапочки проведем единичный вектор внешней нормали. Выберем представители этих векторов так, чтобы начало каждого направленного отрезка совпало с центром единичной сферы. Тогда, по определению шапочки, существует такая полусфера с границей w, что концы всех представителей векторов будут внутренними точками этой полусферы. Пусть прямая q не параллельна ни одной из граней шапочки и не параллельна плоскости б, в которой лежит граница w полусферы. Рассмотрим цилиндрическую поверхность, для которой ломаная L является направляющей, а образующие цилиндрической поверхности параллельны прямой q. Обозначим V выпуклое неограниченное тело, поверхность которого состоит из шапочки и части цилиндрической поверхности. Пусть в – опорная плоскость шапочки, которая имеет с границей шапочки только одну общую точку – вершину Q ломаной L – и отсекает от неограниченного тела V выпуклый многогранник M. В пересечении плоскости в и цилиндрической поверхности получилась плоская замкнутая ломаная; обозначим ее F. Ломаные L и F пересекаются в точке Q и составляют край поверхности переходного типа. Выпуклый многогранник M, ограниченный шапочкой, поверхностью переходного типа и многоугольником с границей F, назовем почтипризмой с одной шапочкой. Многоугольник с границей F назовем основанием почти-призмы с одной шапочкой.
Замечание 1. Поверхность переходного типа, о которой говорится в определении 6, состоит из одного звена. Точка Q пересечения ломаных L и F является особой точкой поверхности переходного типа. Поверхность переходного типа почтипризмы с одной шапочкой будем также называть боковой поверхностью этого многогранника.
Поверхность переходного типа почтипризмы с одной шапочкой может состоять из двух и более звеньев. Как построить такой многогранник?
Сначала выполним такие же построения, какие были выполнены для получения почтиприз-мы с одной шапочкой в том случае, когда поверхность переходного типа состояла из одного звена. Выбираем некоторую шапочку. Пусть край шапочки – это пространственная ломаная L. Рассмотрим полусферу, соответствующую шапочке. Прямая q не параллельна ни одной из граней шапочки и не параллельна плоскости б, в которой лежит граница полусферы. Рассмотрим цилиндрическую поверхность, направляющей которой является ломаная L, а образующая параллельна прямой q. Пусть опорная плоскость в шапочки такова, что плоскость в имеет с границей шапочки в точности две общие точки (вершины ломаной L), причем эти точки не являются соседними вершинами ломаной L.
Если для выбранной шапочки такой опорной плоскости не существует, то заменим шапочку другой, которая обладает указанным свойством. Выпуклый многогранник, ограниченный шапочкой, цилиндрической поверхностью и многоугольником, который получен пересечением цилиндрической поверхности и плоскости в, назовем почтипризмой с одной шапочкой. Многоугольник, который лежит в плоскости в, назовем основанием почтипризмы с одной шапочкой. Поверхность переходного типа такой почтипризмы с шапочкой состоит из двух звеньев.
Аналогичными построениями можно получить почтипризму с одной шапочкой и поверхностью переходного типа, состоящей из трех и большего числа звеньев.
Почтипризмы с двумя однолистниками или шапочками
Определение 7. Рассмотрим почтипризму. К каждому из оснований этой почтипризмы «приклеим» два обычных однолистника с основаниями, равными основаниям почтипризмы, так, чтобы новый многогранник остался выпуклым. Полученный многогранник, являющийся объединением почтипризмы и двух обычных однолистников, назовем почтипризмой с двумя однолистниками .
Определение 8. Рассмотрим почтипризму с одной шапочкой. К основанию такой почтиприз-мы «приклеим» обычный однолистник так, чтобы полученный многогранник остался выпуклым. Новый многогранник назовем почтипризмой с однолистником и шапочкой.
Замечание 2. Поверхность переходного типа почтипризмы с однолистником и шапочкой может состоять из одного звена, а может содержать любое конечное количество звеньев.
Для введения понятия почтипризмы с двумя шапочками рассмотрим более сложную конструкцию.
Определение 9. Рассмотрим плоскую замкнутую ломаную L. Обозначим вершины этой ломаной A 1 , A 2 ,…,A n . Пусть ломаная L является направляющей цилиндрической поверхности, а образующая цилиндрической поверхности параллельна некоторой прямой q. Прямая q не лежит в плоскости ломаной L. Пусть имеются две шапочки – M 1 и M 2 . Шапочка M 1 обращена выпуклостью вверх, а граница шапочки проектируется в ломаную L в направлении прямой q. Пусть, кроме того, шапочка M 1 имеет с ломаной L только одну общую точку, например A 1 . Пусть шапочка M 2 обладает теми же свойствами, что и шапочка M 1 . Граница шапочки M 2 проектируется в ломаную L в направлении прямой q и имеет с ломаной L только одну общую вершину – точку A 1 . Отличие шапочки M 2 от шапочки M 1 состоит только в том, что шапочка M 2 обращена выпуклостью вниз. Многогранная цилиндрическая поверхность с краем, ограниченная сверху границей первой шапочки, а снизу границей второй шапочки, представляет собой поверхность переходного типа, состоящую из одного звена. Выпуклый многогранник, ограниченный двумя шапочками и поверхностью переходного типа, назовем почтипризмой с двумя шапочками.
Аналогично можно получить почтипризму с двумя шапочками, поверхность переходного типа которой состоит из двух и более звеньев. В этом случае верхняя и нижняя шапочки имеют не одну общую вершину, а две и большее количество несоседних общих вершин.
Классификация многогранников классов C2 и C3
Дадим определение многогранника класса C2.
Определение 10. Рассмотрим выпуклый многогранник M класса C. Пусть q и m – две непараллельные прямые в пространстве. Пусть выпуклый многогранник M обладает тем свойством, что его границе принадлежит поверхность переходного типа, каждая грань которой параллельна прямой q. Пусть, кроме того, границе многогранника M принадлежит еще одна поверхность переходного типа, каждая грань которой параллельна прямой m. Многогранник M класса C, граница которого содержит две поверхности переходного типа, отнесем к классу C2.
Нетрудно убедиться в том, что имеет место следующее.
Теорема 1. Две поверхности переходного типа многогранника класса C2 имеют непустое пересечение.
Замечание 3. Очевидно, что пересечением двух поверхностей переходного типа, каждая из которых состоит из двух и более звеньев, являются либо две грани, либо грань и вершина, либо две вершины.
Имеет место
Теорема 2. Если пересечение двух поверхностей переходного типа многогранника класса C2 состоит из двух граней, то эти грани параллельны.
Поверхности переходного типа могут состоять из одного, двух и большего количества звеньев. Возможны следующие варианты.
-
1. Каждая поверхность переходного типа состоит из одного звена.
-
2. Одна поверхность переходного типа состоит из одного звена, вторая – из большего количества звеньев.
-
3. Каждая поверхность переходного типа состоит из двух и более звеньев.
Рассмотрим более подробно первый случай. Пусть каждая поверхность переходного типа состоит из одного звена. Нетрудно убедиться в том, что пересечением двух таких поверхностей переходного типа могут быть:
– две параллельные грани;
– грань и точка – вершина многогранника.
Если в каждом из этих случаев рассмотреть замыкание разности поверхности многогранника класса C2 и объединения поверхностей переходного типа, то максимальное число компонент связности оставшейся части – это четыре. Каждую из компонент связности оставшейся части многогранной поверхности назовем луночкой. Нетрудно убедиться в том, что по количеству луночек, принадлежащих границе многогранника, все многогранники рассматриваемого множества C2 можно подразделить на 5 подклассов. Поверхность многогранника класса C2 может содержать 4 луночки, 3 луночки, 2 луночки, 1 луночку, луночек может не быть.
Замечание 4. Выше мы рассмотрели выпуклые многогранники класса C2, каждая поверхность переходного типа которых состоит из одного звена. Аналогично можно рассмотреть и два оставшихся случая: 2) одна поверхность переходного типа состоит из одного звена, а вторая – из большего количества звеньев; 3) обе поверхности переходного типа состоят из двух и более звеньев. И в этих случаях граница многогранника может содержать 4 луночки, 3 луночки, 2 луночки, 1 луночку, луночек может не быть.
Дадим определение многогранника класса C3.
Определение 11. Пусть M – выпуклый многогранник класса C, и g, m, q – некоторые прямые в пространстве, никакие две из которых не параллельны. Пусть выпуклый многогранник M обладает тем свойством, что границе этого многогранника принадлежат 3 поверхности переходного типа. Каждая грань первой поверхности переходного типа параллельна прямой g. Каждая грань второй поверхности переходного типа параллельна прямой m. Аналогичным свойством обладают грани третьей поверхности переходного типа: каждая из них параллельна прямой q. Такие выпуклые многогранники отнесем к классу C3.
Замечание 5. Если граница выпуклого многогранника класса C содержит более трех поверхностей переходного типа, то такой многогранник также отнесем к классу C3.
Теорема 3. Любые две поверхности переходного типа многогранника класса C3 имеют непустое пересечение.
Нетрудно убедиться в том, что для многогранников класса C3 имеет место утверждение, аналогичное теореме 2.
Теорема 4. Если пересечение двух поверхностей переходного типа многогранника класса C3 состоит из двух граней, то эти грани параллельны.
Разбиение многогранников класса C3 на подклассы осуществим аналогично тому, как мы выделили подклассы класса C2.
Пусть M – выпуклый многогранник класса C3, ∂ M – его граница. П 1 – поверхность переходного типа, каждая грань которой параллельная прямой g, П 2 – поверхность переходного типа, каждая грань которой параллельна прямой m, П 3 – поверхность переходного типа, все грани которой параллельны прямой q. Рассмотрим замыкание множества ∂ M \ ( П 1 U П 2 U П 3 ). Максимальное число компонент связности, на которые распадается это множество, – 8. Каждая компонента связности – это луночка. Итак, поверхность выпуклого многогранника может состоять из трех поверхностей переходного типа, попарно пересекающихся, и восьми луночек.
Будем уменьшать количество луночек. Получим многогранники класса C3, содержащие 7 луночек, 6 луночек и т.д., многогранники, не содержащие луночек.
Замечание 6. Может оказаться так, что пересечение всех трех поверхностей переходного типа не пусто. В этом случае максимальное число луночек – 6.
Классификацию многогранников класса C3, содержащих 3 поверхности переходного типа, мы осуществим по количеству луночек.
Замечание 7. Если многогранник класса C3 содержит 4 и более поверхностей переходного типа, то классификацию таких многогранников осуществим аналогично.
Итак, все многогранники класса C можно представить в виде объединения трех непересека-ющихся подклассов: C1, C2, C3. Разбиение на классы выполнено по количеству поверхностей переходного типа, принадлежащих границе многогранника. В свою очередь, класс Cl разбит на три подкласса: почтипризмы, почтипризмы с одним однолистником или одной шапочкой и почти-призмы с двумя однолистниками или шапочками.
Покрытие многогранников класса C
Имеют место теоремы:
Теорема 5. Для покрытия почтипризмы, в основании которой лежит треугольник или выпуклый многоугольник, отличный от параллелограмма, достаточно четырех или пяти многогранников меньших размеров, гомотетичных данному многограннику.
Для покрытия почтипризмы, в основании которой лежит параллелограмм, достаточно пяти многогранников меньших размеров, гомотетичных данному многограннику.
Теорема 6 . Для покрытия почтипризмы с одним однолистником или одной шапочкой, в основании которой лежит треугольник или выпуклый многоугольник, отличный от параллелограмма, достаточно от четырех до шести многогранников меньших размеров, гомотетичных данному многограннику.
Для покрытия почтипризмы с одним однолистником или одной шапочкой, в основании которой лежит параллелограмм, достаточно 5 или 6 гомотетичных многогранников меньших размеров.
Замечание 8. Напомним, что в теоремах 5 и 6 речь идет о почтипризме, поверхность переходного типа которой состоит из одного звена.
Теорема 7. Для покрытия почтипризмы с двумя одолистниками или шапочками, в сечении поверхности переходного типа которой лежит треугольник или выпуклый многоугольник, отличный от параллелограмма, достаточно от 5 до 7 многогранников меньших размеров, гомотетичных данному многограннику.
Для покрытия почтипризмы с двумя однолистниками или шапочками, в сечении которой лежит параллелограмм, достаточно 6 или 7 гомотетичных многогранников меньших размеров.
Замечание 9. Сечение почтипризмы с двумя однолистниками или шапочками, о котором говорится в теореме 7, выполнено плоскостью, проходящей через особую точку поверхности переходного типа и пересекающей боковые ребра этой поверхности во внутренних точках.
Теорема 8. Для покрытия любого многогранника класса C1 достаточно от 4 до 8 тел меньших размеров, гомотетичных данному многограннику.
Теорема 9. Для покрытия любого многогранника класса C2 достаточно от 4 до 7 многогранников меньших размеров, гомотетичных данному многограннику.
Теорема 10. Для покрытия любого многогранника класса C3 достаточно от 4 до 7 многогранников меньших размеров, гомотетичных данному многограннику.
Теорема 11. Для покрытия любого многогранника класса C достаточно 8 многогранников меньших размеров, гомотетичных данному многограннику.