Научная статья на тему 'Разбиение класса d на подклассы'

Разбиение класса d на подклассы Текст научной статьи по специальности «Математика»

CC BY
116
26
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
СибСкрипт
ВАК
Область наук
Ключевые слова
ВЫПУКЛЫЕ МНОГОГРАННИКИ / КЛАССИФИКАЦИЯ / ПОКРЫТИЕ / ГОМОТЕТИЯ / CONVEX POLYHEDRONS / CLASSIFICATION / COVERING / HOMOTHETY

Аннотация научной статьи по математике, автор научной работы — Пуолокайнен Татьяна Матвеевна

Настоящая работа посвящена разбиению выпуклых многогранников одного класса на подклассы. Принципом классификации является количество направлений в пространстве, параллельно которым расположены грани фрагментов призматических частей, принадлежащих границе многогранника. Рассматриваемая задача связана с проблемой Хадвигера о покрытии выпуклых геометрических тел их образами при гомотетии с коэффициентами, меньшими единицы.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

CLASSIFICATION CLASS D OF POLYHEDRONS

The paper is continuation of the author's series of paper devoted to the solution of Hadwiger,s problem connected with covering of convex polyhedrons with help of body images at homothety. The problem under discussion can be described as follows: to give the classification of all convex polyhedrons the surface of which includes a special part.

Текст научной работы на тему «Разбиение класса d на подклассы»

УДК 27 21 00

РАЗБИЕНИЕ КЛАССА D НА ПОДКЛАССЫ

Т. М. Пуолокайнен

CLASSIFICATION CLASS D OF POLYHEDRONS

T. M. Puolokhajnen

Настоящая работа посвящена разбиению выпуклых многогранников одного класса на подклассы. Принципом классификации является количество направлений в пространстве, параллельно которым расположены грани фрагментов призматических частей, принадлежащих границе многогранника. Рассматриваемая задача связана с проблемой Хадвигера о покрытии выпуклых геометрических тел их образами при гомотетии с коэффициентами, меньшими единицы.

The paper is continuation of the author s series of paper devoted to the solution of Hadwigers problem connected with covering of convex polyhedrons with help of body images at homothety. The problem under discussion can be described as follows: to give the classification of all convex polyhedrons the surface of which includes a special part.

Ключевые слова: выпуклые многогранники, классификация, покрытие, гомотетия.

Keywords: convex polyhedrons, classification, covering, homothety.

Введение

В работе [1] Хадвигер сформулировал гипотезу, согласно которой для покрытия любого выпуклого тела в п-мерном евклидовом пространстве достаточно 2П тел меньших размеров, гомотетичных данному телу. В работе [2, с. 34 - 40] автора все выпуклые многогранники трехмерного евклидова пространства были разбиты на четыре класса: А, В, С, Б. В работе [3, с. 151 - 154] автора была осуществлена классификация многогранников класса А. Работа [4] автора посвящена покрытию многогранников класса А их меньшими копиями при гомотетии в трехмерном евклидовом пространстве. В работе [2, с. 34 -40] автора к классу В были отнесены выпуклые многогранники, поверхность которых содержит одну или несколько призматических частей. В работе [2, с. 34 - 40] автора к классу С были отнесены выпуклые многогранники, граница которых содержит, по крайней мере, одну поверхность переходного типа и не содержит призматических частей. Настоящая статья посвящена разбиению всех многогранников класса Б на подклассы. Классификация многогранников класса Б необходима для того, чтобы решить задачу покрытия не отдельно взятого многогранника этого класса его образами при гомотетии с коэффициентами, меньшими единицы, а целого класса выпуклых многогранников. Например, если многогранник принадлежит первому подклассу класса Б, то его покрытие можно осуществить точно так же, как покрытие многогранника класса А, если нормали граней удовлетворяют дополнительному условию. Если это дополнительное условие не выполнено, то для покрытия многогранника найден другой прием. Аналогично может быть осуществлено покрытие многогранников второго и третьего подкласса класса Б.

1. Некоторые определения

В работе [2, с. 34 - 40] автора введено понятие призматической части поверхности. Напомним это определение.

Определение 1. Пусть М — выпуклый многогранник и q — некоторая прямая в пространстве. Пусть имеется п граней многогранника М, параллельных прямой q (п>3). Пусть все п граней, параллельных прямой q, образуют одну компоненту связности. Пусть эта компонента связности гомеоморфна кольцу между двумя окружностями. Граница компоненты связности состоит из двух замкнутых непересекающихся ломаных, каждая из которых топологически эквивалентна окружности. В этом случае будем говорить, что граница выпуклого многогранника содержит призматическую часть.

В работе автора [2, с. 34 - 40] дано определение поверхности переходного типа. Напомним это определение.

Пусть на плоскости заданы две окружности w и ■^, центры и радиусы которых различны. Пусть эти окружности касаются внутренним образом в точке р. Множество точек плоскости, заключенных между двумя окружностями, включая окружности и точку Р, обозначим W.

Определение 2. Рассмотрим выпуклый многогранник М. q - некоторая прямая в пространстве. Пусть имеется п граней многогранника М, параллельных прямой q (п > 3), и образующих одну компоненту связности, гомеоморфную множеству W. Компоненту связности границы многогранника, топологически эквивалентную множеству W, назовем многогранной поверхностью переходного типа.

Дадим определение фрагмента призматической части поверхности.

Определение 3. Рассмотрим все грани выпуклого многогранника, параллельные некоторой прямой т в пространстве. Пусть эти грани образуют одну компоненту связности. Пусть эта компонента связности границы многогранника состоит не менее, чем из трех граней и топологически эквивалентна кругу. Такую часть поверхности многогранника назовем фрагментом призматической части первого вида.

Замечание 1. Граница фрагмента призматической части первого вида представляет собой простую замкнутую пространственную ломаную.

Рассмотрим множество кругов ^1,^2,.^п, где п > 2. Пусть любые два соседние круга касаются, при этом не соседние круги общих точек не имеют. Обозначим точки касания пар соседних кругов

A1=w1 П V2; А2= V2 П V3; ...; An_1=wn_1 П wn.

Круги Wl и wn не имеют общих точек. Обозначим объединение всех таких кругов и.

Определение 4. Пусть имеется выпуклый многогранник. Рассмотрим все его грани, параллельные некоторой прямой т пространства. Пусть эти грани образуют компоненту связности, топологически эквивалентную множеству и. Такое объединение граней многогранника назовем фрагментом призматической части второго вида.

Замечание 2. Граница фрагмента призматической части второго вида представляет собой объединение п простых замкнутых ломаных. Каждые две соседние простые замкнутые ломаные имеют одну общую вершину. Граница фрагмента призматической части второго вида содержит п-1 общих вершин.

Дадим определение многогранника класса Б.

Определение 5. К классу Б отнесем такие выпуклые многогранники, граница которых не содержит призматической части, не содержит поверхности переходного типа, но содержит один или несколько фрагментов призматической части первого или второго вида.

2. Разбиение класса Б на подклассы

Все многогранники класса Б разобьем на три подкласса, каждый из которых будем называть классом. Принципом разбиения выбираем количество направлений, параллельно которым расположены фрагменты призматических частей, лежащие на границе многогранника.

К классу Б1 отнесем многогранники класса Б, граница которых содержит один или несколько фрагментов призматических частей, грани которых параллельны одному направлению в пространстве.

Пусть т и q - две не параллельные прямые в пространстве. Пусть границе выпуклого многогранника М класса Б принадлежит один или несколько фрагментов призматических частей, параллельных прямой т. Пусть границе того же многогранника принадлежит еще один или несколько фрагментов призматических частей, параллельных прямой q. В этом случае многогранник отнесем к классу Б2.

Пусть т, р и q - три попарно не параллельные прямые в пространстве. Пусть границе выпуклого многогранника класса Б принадлежит один или несколько фрагментов призматических частей, параллельных прямой т. Пусть поверхности многогранника М принадлежит один или несколько фрагментов призматических частей, параллельных прямой р. Пусть, кроме того, границе многогранника М принадлежит один или несколько фрагментов призматических частей, параллельных прямой q. В этом случае многогранник отнесем к классу Б3.

Замечание 3. Фрагменты призматических частей, о которых говорится в описании классов Б1, Б2, Б3, могут быть как первого, так и второго вида.

Замечание 4. Многогранники класса Б могут содержать фрагменты призматических частей, параллельные четырем и более направлениям в пространстве. Все такие многогранники класса Б также отнесем к классу Б3.

3. Классификация многогранников класса Б1

Напомним, что в класс Б1 вошли многогранники, граница которых содержит один или несколько фрагментов призматических частей. Каждая грань фрагмента (фрагментов) призматической части параллельна одному направлению в пространстве. Все многогранники класса Б1 разобьем на два класса.

1) Многогранники класса Б1, содержащие один фрагмент призматической части (первого или второго вида).

2) Многогранники класса Б1, содержащие два и более фрагментов призматической части (первого или второго вида).

Сначала рассмотрим многогранники класса Б1, содержащие один фрагмент призматической части первого вида. Все такие многогранники разделим на подклассы по следующему принципу. Рассмотрим единичные векторы внешних нормалей к каждой грани фрагмента призматической части. Пусть фрагменту призматической части принадлежат грани ау, а2,ак . Обозначим единичные векторы внешних нормалей граней а1, а2,...,ак соответственно Пу, п2,..., пк . Перенесем единичные векторы

внешних нормалей граней на единичную сферу. Все эти векторы лежат в одной плоскости. В работе [2, с. 34 - 40] автора было доказано, что угол между векторами пу и пк меньше 3600. Все многогранники

класса Б1, содержащие один фрагмент призматической части первого вида, разделим на три множества по углу между векторами. Для этого обозначим угол

между векторами пу и пк буквой ф:

1) ф < 1800 ,

2) ф = 1800 ,

3) ф > 1800 .

Многогранники класса Б1, содержащие один фрагмент призматической части второго вида, также можно классифицировать по углу, который образуют векторы единичных внешних нормалей п1 и

пк .

В работе [2] автора сформулирована теорема, в которой описано свойство фрагментов призматических частей, параллельных одному направлению.

Теорема. Рассмотрим многогранник класса Б1, фрагмент призматической части которого параллелен направлению q в пространстве. Вынесем единичные векторы внешних нормалей граней фраг-

мента призматической части на единичную сферу. Обозначим концы единичных векторов А1, А2, ..., Ап. Рассмотрим объединение дуг А1А2, А2А3,., Ап-1Ап. Получим дугу А1Ап окружности большого круга. Пусть имеется еще один или несколько фрагментов призматических частей многогранника М, параллельных направлению q, которым соответствуют свои дуги окружности большого круга. Все полученные таким образом дуги окружности большого круга не имеют общих точек.

Рассмотрим многогранники класса Б1, содержащие два и более фрагментов призматической части (первого или второго вида), параллельных одному направлению. Если построить векторы

единичных внешних нормалей к каждой грани каждого фрагмента, а затем перенести все эти векторы на единичную сферу, то все они окажутся лежащими в одной плоскости единичной сферы. Пусть, для определенности, поверхность многогранника класса Б1 содержит три фрагмента призматической части, каждый из которых параллелен некоторой прямой.

Пусть Пу, п2,..., пк - единичные векторы внешних

нормалей первого фрагмента призматической части. Обозначим

а = 4пр пк).

Аналогично для второго и третьего фрагментов призматических частей получим

в = Z-{mv т), 7 = /(рр рт).

Так как многогранник выпуклый, то углы а, в, 7 не имеют общих точек, кроме центра окружности. Заштрихуем эти углы. Среди трех не заштрихованных углов окружности выбираем такой угол, мера которого наибольшая. Если все не заштрихованные углы равны, то выбираем любой из них. Обозначим меру этого угла д . Угол, равный разности полного угла и угла д , назовем углом закрутки фрагментов призматических частей, параллельных одному направлению в пространстве. Обозначим меру угла закрутки фрагментов призматических частей в данном направлении ф . Мы рассмотрели случай, когда фрагментов призматических частей на поверхности многогранника три. Аналогично рассматриваем случай, когда границе многогранника принадлежит любое конечное число фрагментов призматических частей, параллельных одному направлению в пространстве.

Все многогранники класса Б1, содержащие несколько фрагментов призматической части, параллельных одному направлению в пространстве, раз-

делим на подклассы по величине угла закрутки ф фрагментов призматических частей.

1) Угол ф меньше развернутого угла.

2) Угол ф равен развернутому углу.

3) Угол ф больше развернутого угла.

4. Классификация многогранников классов D2 и D3

Рассмотрим теперь многогранник класса D2. Пусть граница многогранника содержит фрагменты призматических частей, грани которых параллельны двум направлениям в пространстве. В каждом из направлений может быть расположен один или несколько фрагментов призматических частей первого или второго вида. Особенности расположения фрагментов призматических частей в одном направлении были рассмотрены в пункте 3. Все рассмотрения пункта 3 можно перенести на фрагменты призматических частей, расположенные в каждом из двух направлений. Если рассмотреть фрагменты призматических частей первого или второго вида, параллельные двум направлениям, то возможны такие случаи их взаимного расположения:

1) пересечение двух фрагментов призматических частей, взятых по одному из каждого направления, может быть пусто;

2) пересечение фрагментов призматических частей разных направлений может состоять из одной грани или одной вершины;

3) пересечение фрагментов призматических частей разных (двух) направлений может состоять из двух параллельных граней, одной грани и одной вершины, а также из двух вершин.

Аналогичные рассмотрения можно осуществить и для многогранников класса D3.

Литература

1. Hadwiger, G. Ungeloste Probleme. References Elem.der Math / G. Hadwiger. - 1957. - № 20.

2. Пуолокайнен, Т. М. Классификация выпуклых многогранников / Т. М. Пуолокайнен // Труды ПетрГУ. Сер. «Математика». - 2004. - Вып. 11.

3. Пуолокайнен, Т. М. Разбиение многогранников класса А на подклассы / Т. М. Пуолокайнен // Альманах современной науки и образования. -№ 7(14).

4. Пуолокайнен, Т. М. Покрытие многогранников класса A образами многогранников при гомотетии / Т. М. Пуолокайнен // Вестник ВСГТУ. Сер. «Естественные науки». - 2008. - № 4.

i Надоели баннеры? Вы всегда можете отключить рекламу.