Математическая энциклопедия - конфигурация

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

Плоская конфигурация конечная система рточек и gпрямых на плоскости, расположенных таким образом, что всякая точка системы инцидентна с одним и тем же числом упрямых этой системы, а всякая прямая инцидентна с одним и том же числом p точек этой системы. Минимальная система точек данной К., из к-рой вся К. может быть получена путем инциденций пар точек с прямыми и пересечений пар прямых, наз. системой образующих данной К. Числа р, g,g, p связаны соотношением pg=gp, a К. обозначается символом (р g, gp). К., содержащая одинаковое число точек и прямых, обозначается символом ( р у).

Примеры плоских К.: 1) Одна точка и одна прямая, инцидентные между собой, образуют К. (11). 2) Три точки, не лежащие на одной прямой, и три прямые, инцидентные с каждой парой, образуют К. (32),

эта фигура трехвершинник (или трехсторонник) на плоскости. 3) Полный четырехсторонник четыре прямые и шесть точек их попарного пересечения образуют К. (62, 43). Однако здесь не все прямые, соединяющие попарно точки К., являются прямыми этой К.; точки R, P, Q и прямые RP, RQ, PQ не принадлежат ей (рис. 1).

Автоморфизмом К. наз. отображение К. на себя, при к-ром точки К. переходят в точки, прямые в прямые этой же К., и при этом ни одна инцидентность не пропадает, и не добавляется новых. К. наз. правильной, если группа автоморфизмов этой К. транзитивна.

Для данной К. (р g, gp )двойственной наз. К. (gp, р g). К. типа (р g )н только такие, двойственно соответствуют К. такого же типа, они наз. двойственно-инвариантными.

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

К. может быть определена также как конечная частичная плоскость. Возможность существования нек-рой К. определяется из геометрпч. н комбинаторных соотношений между количеством точек и прямых и количеством взаимных инциденций. К. задается и с помощью абстрактных схем, напр, на таблице (рис. 2) указаны инцидентности (обозначенные крестиком) четырех точек, вершин А i, и четырех плоскостей, граней Di тетраэдра. После того как нек-рая К. определена абстрактно, возникает вопрос о ее реализации, т. е. о возможности построения всех инциденций по данной системе образующих. Реализуемость К. как конечной частичной плоскости означает возможность изоморфного отображения ее на нек-рую подплоскость какой-либо плоскости.

К. (р 2), реализуется в виде р-сторонника так, что вершины и стороны его попарно инцидентны. Абстрактную схему К. (32) можно построить, напр., таблицей, как на рис. 2. Плоские К. (р 3) возможны лишь при так как через каждую точку К. должны проходить три прямые и на каждой из них должны лежать еще две другие точки К. (число р должно удовлетворять неравенству ). К. типа ( р 3 )допускают модификации, количество к-рых зависит от р. К. (73) представляется схемой (рис. 3),

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

однако последняя инциденция (коллинеарность трех точек) здесь не имеет места. К. (93) допускает три различные модификации, одна из к-рых (93)1 наз. конфигурацией Брианшона Паскаля (рис. 5): каждая прямая li инцидентна с тремя различными точками а,-, а каждая точка с тремя различными прямыми.

Эта К. может быть реализована на проективной плоскоcти (рис. 6), она является проективной, правильной, двойственно инвариантной (см. Брианшона теорема, Паскаля теорема).

Две другие модификации К. (93)2, (93)3 (рис 7) существенно отличаются от конфигурации Брианшона -Паскаля. Напр., К. (93)3 не является правильной, а для построения К. (93)2 необходима вспомогательнаякривая 2-го порядка.

К. (103) имеет уже десять различных модификаций, из к-рых важнейшей является конфигурация Дезарга (рис. 8).

Она реализуется на действительной проективной плоскости, является проективной, правильной, двойственно инвариантной. Другие девять модификаций . (103) не выражают никакой общей геометрич. теоремы, причем лишь восемь из них могут быть реализованы на действительной проективной плоскости, но для их построения требуется специальное расположение системы образующих точек (в частности, К. такого типа реализуются в виде правильных многосторонников (рис. 9).

В приведенной на чертеже последовательности вершин также получается вписанный и одновременно описанный десятисторонник. К. (93) и (103) также допускают геометрич. построение с помощью многосторонников, вписанных и описанных вокруг самих себя, так, К. (93)1 представляется в виде девятисторонника (2, 3, 6, 1, 5, 9, 4, 8, 7, 2) (рис. 6), конфигурация Дезарга в виде десятисторонника (рис. 8) (1, 2,3,4,5,6, 7, 8,9, 10, 1). Такие представления этих К. единственные точностью до автоморфизмов. Вообще, построение р-сторонников, одновременно вписанных й описанных вокруг самих себя, приводит к К. типа (р 3). Существуют также представления К. типа ( р 3 )в виде нескольких многосторонников, вписанных и описанных вокруг друг друга.

Напр., конфигурация Дезарга допускает единственный способ (с точностью до автоморфизма) представления парой взаимно вписанных и описанных пятисторонников (1, 9, 7, 5, 3) и (8, 4, 10, 6, 2) (рис. 8). При увеличении числа рколичество модификаций К. типа ( р 3). быстро растет.

продолжение Конфигурация...

Пространственная конфигурация конечная система точек и плоскостей такая, что каждая точка инцидентна с одним и тем же числом плоскостей, а каждая плоскость с одним и тем же числом точек. Наряду с К., состоящей из точек и плоскостей, в пространстве рассматриваются и К., состоящие из точек и прямых. Так, рассмотренная выше конфигурация Дезарга, состоящая из точек и прямых, предедавляет собой также и пространственную К. (103) (рис. 8), если соответствующие трехсторонники лежат в различных плоскостях; одновременно ее можно рассматривать как К. (103, 56), составленную из точек и плоскостей: шесть вершин соответствующих трехсторонников, центр перспективы и три точки на оси перспективы, в к-рых сходятся соответствующие стороны трехсторонников, дают всего десять точек, а три плоскости, образованные соответствующими сторонами трехсторонников, и две плоскости самих трехсторонников дают всего пять плоскостей. В каждой плоскости шесть точек К., и каждая точка инцидентна трем различным плоскостям.

Тривиальной пространственной К. типа (р g). является К. (43), ее схема на рис. 2; она изображается тетраэдром. К. типа (р 4) для невозможна, при р=8 имеется пять различных схем К., одна из к-рых, так наз. конфигурация Мёбиуса, состоит из двух тетраэдров, вписанных и описанных друг около друга. Каждой из восьми точек вершин тетраэдров инцидентны четыре плоскости граней тетраэдров, а каждой из восьми плоскостей инцидентны четыре точки вершины. При переходе к К. более высокого порядка число возможных модификаций быстро возрастает, напр., К. (94) имеет уже 26 геометрич. осуществимых модификаций.

Из пространственных К. более высокого порядка примечательны конфигурация Рейе и конфигурация Шлефли. Конфигурацией Рейе наз. состоящая из точек и плоскостей К. (126). В действительном проективном пространстве ее можно построить, напр., из вершин нек-рого куба, его центра, трех (бесконечно удаленных) точек, в к-рых сходятся параллельные ребра куба, а плоскостями этой К. являются шесть граней куба и шесть его диагональных плоскостей, проходящих через пары противоположных ребер (рис. 10).

Конфигурация Рейе является проективной, правильной и двойственно инвариантной, причем изображение этой К. можно построить (согласно большому принципу двойственности), используя вместо куба октаэдр (рис. 11).

Конфигурацию Рейе можно рассматривать также как пространственную К. точек и прямых (124, 163). К. (302, 125), состоящая из точек и прямых, наз. двойным шестисторонником Шлефли. Он изображается в пространстве, напр., в виде симметрично расположенных прямых и точек на каждой грани куба (по одной из двух шестерок) (рис. 12).