Главная > Математика > О теории множеств
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

ГЛАВА II. О КОНГРУЭНТНОСТИ МНОЖЕСТВ. КОНГРУЭНТНОСТЬ МНОЖЕСТВ ПРИ КОНЕЧНОМ РАЗБИЕНИИ

1. Конгруэнтность множеств

Конгруэнтность геометрических фигур хорошо известна из элементарной геометрии. Две геометрические фигуры, т. е. два множества точек, лежащих на прямой, на плоскости или в пространстве, конгруэнтны между собой, если они могут быть получены одно из другого путем переноса, поворота или зеркального отражения. Чтобы показать, что два множества А и В конгруэнтны, пишут Необходимым и достаточным условием конгруэнтности множеств А и В является существование между их точками взаимно однозначного соответствия, сохраняющего расстояния, т. е. такого, что если являются двумя произвольными точками множества А, а — соответствующими им точками множества В, то расстояние между точками равно расстоянию между точками и

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

своему собственному подмножеству (т. е. подмножеству, не совпадающему со всем множеством). Таким множеством является, например, множество всех точек полупрямой.

Множество точек называют мономорфным, если оно не конгруэнтно ни одному своему собственному подмножеству Множество точек называют ограниченным, если существует число, большее, чем расстояние между любыми двумя точками этого множества. Докажем, что имеет место

Теорема 1. Каждое ограниченное множество точек прямой мономорфно.

Доказательство. На прямой зеркальное отражение какого-либо множества относительно данной точки (как центра симметрии) совпадает с поворотом этого множества на 180° около той же точки Покажем сперва, что при повороте прямой на 180° вокруг какой-нибудь ее точки ни одно множество точек не может отобразиться в свое собственное подмножество. Допустим, что при таком повороте множество точек прямой отображается в свое собственное подмножество . Пусть х — произвольная точка множества Е. При повороте она, следовательно, отображается в некоторую точку х множества . Очевидно также, что при этом повороте точка х (которая принадлежит , а следовательно, и Е) отображается в точку Отсюда следует, что каждая точка множества Е принадлежит . а это противоречит предположению о том, что является собственным подмножеством Е.

Обозначим теперь для произвольного множества Е точек прямой и для произвольного данного Действительного числа а через сдвиг множества на длину а вдоль нашей прямой. является, таким образом, множеством всех действительных чисел х, где х — точка множества Е. Очевидно, что если то и что для каждого действительного числа

Допустим, что множество точек прямой ограничено. Тогда существует положительное (конечное) число такое, что для любой пары точек множества Е расстояние между меньше Если при сдвиге на длину множество Е отображается на свою часть, или (выражение означает, что множество А является частью множества В), то мы имеем также и, вообще, при Если есть точка множества Е, то для любого натурального числа является точкой множества и, следовательно, также точкой множества Е Поскольку расстояние между точками равно , то абсолютна» величина числа должна быть при , что при невозможно. Следовательно ограниченное множество точек прямой ни при каком сдвиге (на длину, отличную от нуля) не может отобразиться на свою правильную часть.

Теорема 1 доказана. Отметим, что для ограниченных множеств точек на плоскости аналогичное утверждение не имеет места. Для этого случая справедлива

Теорема 2. Существует ограниченное множество точек на плоскости, конгруэнтное некоторой своей правильной части.

Доказательство. Пусть а обозначает какой-либо угол, несоизмеримый с прямым углом. Возьмем произвольный отрезок прямой и повернем его вокруг одного конца на угол а в данном направлении. Будем затем поворачивать этот отрезок в том же направлении на углы Мы получим таким образом бесконечную последовательность отрезков с общей точкой О. Если удалить точку О, то множество наших отрезков будет ограниченным множеством точек плоскости, конгруэнтным (при повороте на угол а) своей правильной части, а именно множество всех точек отрезков без точки О конгруэнтно множеству всех точек отрезков (также без точки О).

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

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

Имеет место

Теорема 3. Всякое множество точек прямой имеет не более одной точки такой, что по ее удалении из множества получается множество, конгруэнтное

Доказательство. Допустим, что некоторое множество точек прямой имеет две различные точки и такие, что по удалении из множества какой-нибудь из них мы получим множество, конгруэнтное Пусть множество, образованное удалением из множества точки множество, образованное удалением из множества точки Допустим, что множество конгруэнтно при повороте прямой на 180° около некоторой ее точки, и пусть при этом повороте точка отображается в точку . Поскольку точка принадлежит точка будет принадлежать и тем более, Но при этом же повороте точка р, очевидно, отображается в точку

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

Следовательно, множество не может быть конгруэнтно множеству при повороте, и аналогично множество не может быть конгруэнтно множеству при повороте. Следовательно, множества конгруэнтны множеству при сдвиге, иначе говоря, существуют действительные числа а и такие, что

Так как то принадлежит множеству и поэтому принадлежит множеству Так как то поэтому и, следовательно, принадлежит множеству откуда следует, что принадлежит множеству из этого, в свою очередь, что принадлежит множеству и тем более множеству следовательно, принадлежит множеству что невозможно.

Теорема 3 таким образом доказана. Как легкое следствие из нее получается

Теорема 4. Во всяком непустом множестве точек прямой, существует точка , после удаления которой из множества получают множество, не конгруэнтное

Доказательство. Теорема 4, очевидно, справедлива для множеств, состоящих из одной только точки. Если же множество содержит по меньшей мере две разные точки то, удаляя или из множества мы получим два множества, которые по теореме 3 не могут быть оба конгруэнтны

Возникает вопрос, сохраняют ли силу теоремы для множеств точек на плоскости и для множеств точек в трехмерном пространстве.

Э. Штраус (Е. Q. Straus) доказал» что теорема 3, а следовательно, и теорема 4 справедливы для множеств точек на плоскости, но доказательство этого является сложным. Мыцельский (J. Mycielski) доказал, что теоремы 3 и 4 для множеств точек трехмерного пространства неверны.

С. Мазуркевич (S. Mazurkiewicz) и я доказали в 1914 г., что существует множество точек на плоскости, состоящее из двух не имеющих общих точек частей, каждая из которых конгруэнтна множеству Можно доказать, что таким свойством не обладает никакое множество точек на прямой.

<< Предыдущий параграф Следующий параграф >>
Оглавление