CC BY
118МАТЕМАТИКА
Вестник Сыктывкарского университета.
Серия 1: Математика. Механика. Информатика.
Выпуск 2 (27). 2018
УДК 511.0
ГЕОМЕТРИЯ ПЕРПЕНДИКУЛЯРНОГО: АКСИОМАТИКА МНОГОМЕРНОГО ПРОСТРАНСТВА И ЗАКОНЫ ДЕ
МОРГАНА
Р. Р. Пименов
В статье дается аксиоматика конечномерной геометрической структуры, использующая только отношение перпендикулярности. Эта структура оказывается проективным пространством, в котором выполняется геометрический аналог логических законов де Моргана. Указывается связь построения с аксиомой Веблена и разбиением на пары четырехэлементного множества различными способами. Исследование связано с теорией орторешеток, матро-идами, связями Галуа и квантовой логикой.
Ключевые слова: основания геометрии, перпендикулярность, логика, орторешетки, связи Галуа.
1. Введение
Известно, что основные логические операции можно выразить через одно бинарное отношение, называемое «штрих Шеффера» и обозначаемое символом |. Запись А|В означает, что высказывания А и В — несовместимы. В данной статье мы показываем, что все геометрические операции и отношения во многомерном пространстве выразимы через одно отношение перпендикулярности Точнее говоря, мы показываем, что конечномерное проективное пространство можно ясно и кратко описать, используя лишь отношение перпендикулярности. При этом мы определим не только проективное пространство, а проективное пространство с перпендикулярностью, частным случаем которого является геометрия сферы с отождествленными диаметральными точками, или геометрия связки подпространств, проходящих через одну фиксированную точку. Мы увидим также, что свойства отношений | и ± тесно связаны и отношение перпендикулярности можно понимать
© Пименов Р. Р., 2018.
как обобщение штриха Шеффера и на него распространяются обобщенные логические законы де Моргана. С чисто геометрической точки зрения статья больше всего связана с работами Бахмана о построении геометрии на основании симметрии в [4]: перпендикулярность — не менее фундаментальное понятие, чем симметрия, поскольку симметрия не мыслится в геометрии без перпендикуляров. С. Табачников в [10] и мы в [11-13] изучали перпендикулярность как геометрическое явление, обнаруживая неизвестные ранее наглядные геометрические факты, с ним связанные.
В разделе 2.1 мы опишем основную конструкцию, в разделе 2.2 введем аксиомы и назовем рассматриваемые «Пространства с перпендикулярностью» — Н-пространствами. В разделе 2.3 мы докажем, что Н-пространства имеют размерность, в 2.4 мы покажем, что подпространства Н-пространства аналогичны подпространствам проективной геометрии и введем понятие «независимые элементы», аналогичное понятию линейной независимости. В разделе 3 мы введем естественное понятие перпендикулярных подпространств и докажем теорему о двух парах перпендикулярных подпространств и укажем связь этой теоремы с законами де Моргана. В разделе 4 мы, основываясь на теореме Веблена-Юнга [1], установим, в каком случае Н-пространство является проективным пространством, и укажем еще один способ определения проективного пространства. В комментариях мы указываем связи изложенной аксиоматики с теорией орторешеток [2, 6, 7], квантовой логикой [9], определением матроида [3] и связями Галуа [1]. Связи Галуа (в усеченном виде) играют наибольшую роль для нашей аксиоматики, на них основан раздел 2.1, в разделе 5 мы приведем примеры их использования в геометрии и топологии. В завершение мы обсудим развитие предлагаемого понимания геометрии.
2. Аксиомы и основные свойства «пространств с перпендикулярностью »
2.1. Основная конструкция
Пусть даны некие объекты (элементы или точки пространства), которые могут находиться друг с другом в отношении Н. Это отношение симметрично, т. е. Н(Х, У)=Н(У, X) и антирефлексивно: объект не может находиться в отношении Н сам с собой, Н(Х, X) невозможно1. Как
1 Здесь и далее в разделе описывается частный случай связи Галуа [2]. Пусть у нас есть два множества X и У, произвольное бинарное отношение Р(х, у), где х € X, у € У определяет соотношение между подмножествами X и У. Каждому подмножеству р С X ставится в соответствие р* С У, состоящее из тех и только
определить, что такое «точка», «прямая», «гиперплоскость», «подпространство», используя всего одно отношение Н? Мы используем именно букву Н, поскольку в ее начертании есть проведение перпендикуляра к перпендикуляру, что составляет основной прием в предлагаемом исследовании.
Геометрически самый простой способ мыслить элементы и отношение Н — связкой прямых, проходящих через фиксированную точку А во многомерном евклидовом пространстве. Прямые связки мы назовем элементами, а перпендикулярные прямые — «элементами, лежащими в отношении Н». Подпространствами тогда окажутся множества прямых, перпендикулярных всем прямым из какого-то данного множества. Эта модель ведет нас к проективному пространству или к сферической геометрии, в обоих случаях прямые связки называются «точками».
Определение 2.1. Пусть М — произвольное множество элементов. М* называется множество всех элементов, таких, что любой элемент из М* перпендикулярен любому элементу из М.
Определение 2.2. Множество Р называется подпространством2, если существует такое множество М, что М*=Р. В этом случае мы называем множество М определяющим подпространство Р.
Отметим важный частный случай: гиперплоскостью мы называем множество всех элементов, перпендикулярных какому-то одному элементу (М из определения подпространства состоит всего из одного элемента) .
Просто доказываем, используя симметричность Н, см., например, [2], что если М само является подпространством, то М**=М. По сути, доказательство использует лишь факт, что Василий является соседом соседа Василия (отношение Н в этой фразе означает «соседство»). Это можно выразить и так: если Р — произвольное множество, то Р***=Р (поскольку Р* является подпространством по определению). Записи такого типа кратки, но работа с ними и понимание их не всегда удобны, поэтому далее мы избегаем подобных конструкций.
тех элементов У, которые находятся в отношении Е со всеми элементами р. Таким же образом каждому подмножеству в У ставится в соответствие подмножество в X. Очевидно, если р С X, то р** С X и р С р**. В статье мы используем частный случай, когда множества X и У совпадают, можно назвать этот случай «склеенной» связью Галуа.
2 Вводимое понятие подпространства естественно трактовать в терминах теории игр (см. [8], с. 41-42) как коалицию, а отношение Н — как отношение антагонистичности.
Определение 2.3. Подпространства А и В называются двойственными, если А*=В.
Замечание 2.1. Из предыдущего отсюда сразу следует, что В*=А.
Общеизвестно переворачивающее свойство двойственности: Если произвольное множество элементов М\ лежит во множестве М2, то множество М* включает М2*. Из определения подпространств следует, что пересечение подпространств — снова подпространство: А* Р| В * = = (А У В)*, где А и В — произвольные множества. Мы можем выразить эту мысль более громоздко, пусть А и В — произвольные подпространства, тогда Ар|В = (А* и В*)* — здесь мы явно указали множество, определяющее подпространство А В, это множество А* В*.
Мы легко определили гиперплоскости, а как определить прямые? В геометрии прямая задается двумя точками, лежащими на ней. Есть два способа определения прямой (через двойственность и через пересечение гиперплоскостей). Два элемента А и В задают подпространство Ь\ = {А, В}* и двойственное к Ь\ подпространство Ь2 = Ь*. Именно Ь2, множество всех перпендикуляров ко всем элементам, перпендикулярным и А, и В, мы и будем называть прямой в пространстве.
Определение 2.4. Прямой, определенной двумя различными элементами А и В, мы называем множество элементов {А, В}**.
Как устроена прямая? Она есть множество всех элементов, перпендикулярных элементам Ь1, а элементов в Ь1 может быть бесконечно много, и совершенно неясно, есть ли на прямой хоть какие-то элементы, кроме А и В. Возможно, напротив, что не существует элемента, перпендикулярного и А, и В, тогда {А, В}* = 0 и все элементы лежат на прямой, определенной А и В. Из симметричности отношения Н легко следует:
Предложение 2.1. Если элементы О и В лежат на прямой, определенной А и В, то прямая, определенная О и В, лежит на прямой, определенной А и В.
То, что две рассматриваемые прямые совпадают, как происходит в геометрии, мы докажем существенно позднее, и для этого уже недостаточно свойства симметричности Н.
2.2. Аксиомы
Определение И-пространства:
Множество элементов (мы называем элементы также точками) называется Н-пространством, если удовлетворяет следующим четырем аксиомам. Мы используем введенные в предыдущем разделе обозначения и определения.
Обозначения или нулевая аксиома
Между элементами существует бинарное симметричное отношение Н, такое, что Н(Х, X) невозможно (Н — антирефлексивно). В дальнейшем это отношение Н называется перпендикулярностью.
1. Рекурсивная аксиома
Для произвольного элемента X множество всех элементов, перпендикулярных ему, также образует Н-пространство. Пустое множество и множество, состоящее из одного элемента, мы также называем Н-пространством.
2. Проекционная аксиома
Для любых двух различных элементов А и В существует один и только один элемент С, такой, что Н(А, С) , С лежит на прямой АВ и для этого С верно, что АВ=АС (определение прямой дано ранее).
Есть тривиальные следствия аксиомы, важные для доказательства базы индукции в некоторых теоремах. Если существует элемент Р, для которого не существует элемента X, перпендикулярного ему, то Р — единственный элемент Н-пространства: если существует отличный от Р элемент Q, то по аксиоме существует У, перпендикулярный Р. Возможно, что У совпадает с Q. Если элементов вообще не существует (пустое множество выше мы признали частным случаем Н-пространства), то аксиома верна, но бессодержательна.
Из того, что АВ=АС равносильно любому из двух равенств: {А, В}**={А, С}** и {А, В}*={А, С}*, возникают два важных многомерных геометрических истолкования аксиомы.
Первое происходит из равенства {А, В}**={А, С}**. В сочетании с условием Н(А, С) оно означает, что прямая АВ пересекает гиперплоскость А* в точке С. Аксиома тем самым утверждает существование точки пересечения гиперплоскости и прямой, обозначенной С, или что произвольную точку пространства, отличную от А, можно спроецировать на А*.
Второе истолкование исходит из формулы {А, В}*={А, С}* и означает, что пересечение гиперплоскостей А* и В* является гиперплоскостью в гиперплоскости А* (то, что гиперплоскость сама является Н-пространством, утверждает рекурсивная аксиома). Таким образом,
существование точки О говорит о вложении 3.
Определение 2.5. Определенную выше точку С мы будем называть проекцией В на А*.
Из определения и проекционной аксиомы следует, что при данной А проекция есть у каждой точки, кроме самой А. 3. Аксиома конечности
В Н-пространстве не существует бесконечного множества элементов, каждый из которых перпендикулярен каждому. Непротиворечивость аксиом и первая модель
Для доказательства непротиворечивости аксиом предложим первую модель Н-пространства: произвольное множество и его элементы образуют Н-пространство, где отношение Н означает «два элемента отличны друг от друга» Н(х,у) ^ х = у. Очевидно выполняется рекурсивная и проекционная аксиомы, а если множество конечно, то выполняется и аксиома конечности. Геометрически это не самое интересное пространство — в нем все элементы перпендикулярны друг другу.
Сейчас мы докажем три простых, но существенных факта, а затем установим, что Н-пространство обладает привычной размерностью.
Предложение 2.2. (О несуществовании). Для любого элемента X не существует элемента У, перпендикулярного X и всем элементам X*.
Доказательство. Докажем от противного, используя лишь нулевую аксиому и простейшую форму диагонального метода. Предположим, что такой У существует: он перпендикулярен X и потому лежит в X*. У перпендикулярен всем элементам X* и потому перпендикулярен и сам себе, что невозможно из-за антирефлексивности перпендикулярности. □
Замечание 2.2. Утверждение тривиально обобщается на случай, когда X не элемент, а произвольное множество элементов. В этом случае не существует элемента У, перпендикулярного всем элементам X и X* одновременно. Другая формулировка утверждения: множества X и X* никогда не пересекаются.
Предложение 2.3. (О равенстве). Если элемент В перпендикулярен всем элементам, перпендикулярным А, то А=В.
3Эту аксиому естественно истолковать в терминах «антагонистов» и «коалиции» так: в коалиции обязательно есть антагонисты членов коалиции.
Доказательство. От противного. Предположим, что такой элемент В, отличный от А, существует. В этом случае {А, В}* = А* Р| В* = А*, так как по предположению А* лежит в В*. По проекционной аксиоме существует элемент С, такой, что С перпендикулярен А и {А,В}* = = {А, С }*, по предположению {А, В}* = А* Р| В * = А*, тогда и {А, С}* = А*. Тогда С перпендикулярен А и всем элементам А*, что противоречит доказанному ранее предложению о несуществовании. □
Предложение 2.4. (О единственности перпендикуляра). Пусть имеется множество взаимно-перпендикулярных элементов М, такое, что не существует элемента X, перпендикулярного им всем (М* — пусто). Тогда если мы удалим из М произвольный элемент А, то {М \ А}* состоит в точности из одного элемента — самого А.
Доказательство. От противного: предположим, существует отличный от А элемент В, перпендикулярный всем элементам {М \ А}. Тогда {М \ А} лежит в {А, В}* и по проекционной аксиоме существует элемент С, перпендикулярный А и всем элементам {М \ А}. Элемент С перпендикулярен всем элементам М, но по предположению такого элемента не существует. Противоречие. □
2.3. Размерность И-пространств
Здесь мы докажем, что Н-пространство и его подпространства имеют размерность с привычными геометрическими свойствами.
Лемма 2.1. (О проекциях). Пусть М - произвольное множество элементов и А — произвольный его элемент. Тогда М* = {АуМа}*, где Ма — множество, образованное проекциями всех элементов М, кроме А на А*.
Доказательство. М* есть пересечение всех т*, где т пробегает все элементы М, это пересечение равно пересечению всех {А, т}*, где т пробегает все элементы М (так как для любого т {А,т}* = А* Р| т*). К каждой паре {А, т}* мы применяем проекционную аксиому, заменяя т на та, где та есть проекция т на А* и {А, т}* = {А, та}*, поэтому М* равно пересечению всех {А,та}*, где та пробегает все элементы Ма, а это пересечение равно {А и Ма}*. □
Лемма 2.2. (О перпендикулярах к конечному числу элементов). Пусть дано конечное число элементов А1,А2,...Ак. Тогда существует конечное число взаимно-перпендикулярных элементов В1, В2,... ,В3(в < к), таких, что {Аь ..., Ак}* = {Вь ..., В3}*.
Доказательство. Проведем индукцию по к. База индукции имеется: при к=2 доказываемое утверждение совпадает с проекционной аксиомой. При к=1 утверждение лишено смысла. Осуществим, пользуясь леммой о проекциях, индукционный переход. Непосредственно сделать его невозможно, так как среди данных А, может не быть элемента, перпендикулярного всем остальным. Предположим, что для любого Н-пространства утверждение истинно для любого меньшего к числа элементов. По лемме о проекциях, примененной к множеству М = {Аь А2,... Ак}, М* = {А:, А'2,... А'к}*, где А, - проекция А, на А*. Рассмотрим А*, по аксиоме рекурсии оно является Н-пространством, по индукционному предположению в нем {А'2,... А' }* можно представить в виде {В2,... В5}*, где В, взаимоперпендикулярны и в < к — 1 (неравенство возможно, например, если среди А, есть равные элементы). Так как все В, лежат в А*, т. е. перпендикулярны А^ то множество {Аь В2,... В5} и будет искомым множеством взаимных перпендикуляров. □
Замечание 2.3. В построенное конечное множество взаимных перпендикуляров входит один из данных элементов, А^
Из леммы о перпендикулярах к конечному числу элементов следует:
Множество элементов, перпендикулярных какому-то конечному числу элементов, является Н-пространством. Доказательство тривиально: пользуясь леммой, мы заменяем данное конечное число элементов на конечное число взаимоперпендикулярных элементов, а затем, пользуясь аксиомой рекурсии, проводим индукцию по числу полученных взаимоперпендикулярных элементов. Обобщим доказанную лемму на данное произвольное множество М (конечное или бесконечное) элементов.
Теорема 2.1. (О перпендикулярах ко множеству). Множество всех элементов, перпендикулярных всем элементам произвольного множества М, совпадает с множеством всех перпендикуляров к конечному множеству взаимоперпендикулярных элементов.
Доказательство. Индукция предыдущего доказательства не применима к бесконечному множеству. Поэтому мы докажем утверждение от противного. Пусть такое множество М существует. Пусть А! произвольный элемент М. По проекционной лемме М* = {А1,М1 }*, где М\ проекция М\ А1 на А!. Если М\ пусто (М состояло из одного элемента А1), утверждение доказано, если нет - выберем в М1 произвольный элемент А2, такой, что М* = {Аь А2,М2}*, где М2 — проекция М1 \ А2 на А2
(это возможно по проекционной лемме, примененной к Н-пространству А1). Если М2 пусто — утверждение доказано. И так далее - если процесс оборвется на к-том шаге из-за того, что М^ пусто, требуемая конечная последовательность взаимных перпендикуляров построена, это множество полученных А^. Если же процесс никогда не прерывается, то построена бесконечно большая последовательность взаимоперпендикулярных элементов А^, что противоречит аксиоме конечности. □
Следствие 2.1. Множество всех элементов, перпендикулярных ко всем элементам любого множества М, является Н-пространством.
Из аксиомы конечности не следует существование натурального числа К, такого, что в каждом множестве взаимоперпендикулярных элементов не более N элементов. Сейчас мы докажем гораздо более сильное утверждение, позволяющее определить размерность произвольного Н-пространства.
Определение 2.6. Назовем множество элементов X полным, если не существует элемента, перпендикулярного всем элементам X. Или, что то же самое, X* пусто.
Замечание 2.4. Для любого X, X — полное множество в X**.
Замечание 2.5. Геометрически существенен очевидный переход: множество называется полным, если пересечение всех определенных его элементами гиперплоскостей пусто.
Замечание 2.6. Обычно говоря о полноте множества, мы имеем в виду его полноту в объемлющем все элементы Н-пространстве. Но иногда мы имеем в виду какое-то подпространство М, включающее X, и говорим о полноте X, имея в виду, что в М нет элемента, перпендикулярного всем элементам X. Тогда мы будем говорить: X полно в М.
Теорема 2.2. (О размерности И-пространства). Пусть даны два полных множества взаимоперпендикулярных элементов А и В, сами элементы мы обозначаем А^ и В^. Тогда число элементов в А равно числу элементов в В.
Доказательство. Пусть в А к элементов, в В — б элементов, и к > в. Мы докажем, что к=Б, ведя индукцию по б, а затем докажем базу индукции.
Индукционный переход
Если в множествах А и В есть общий элемент Р, то рассмотрим Н-пространство Р*, {А \ Р} и {В \ Р} полны в Р* (если бы в Р* существовал общий перпендикуляр какого-нибудь из них, то он же был
бы общим перпендикуляром и в исходном Н-пространстве). Мощность В \ Р строго меньше б, индукционный переход осуществлен. Пусть общего элемента у множеств А и В нет, тогда мы построим из В новое множество С, полное и состоящее из взаимных перпендикуляров с числом элементов, не большим бив которое входит один из элементов множества А.
Выберем в В произвольный элемент, например В8. В А существует элемент, обозначим его А1, не перпендикулярный В3 (в противном случае А не будет полным множеством). Рассмотрим множество В' = {В \ Вв}и{А1} (мы заменили В3 на А1). Докажем, что множество В' — полное множество. Это следует из предложения о единственности перпендикуляра. Согласно этому предложению для множества {В \ В5} существует единственный элемент В5, перпендикулярный всем его элементам. По построению В3 не перпендикулярен А1, следовательно, В'* пусто. В' не состоит из взаимных перпендикуляров, но, по лемме о перпендикулярах к конечному множеству, существует множество С, в которое входит А1 , состоящее из взаимных перпендикуляров, с числом элементов, не большим б и С*=В*=?.
У множеств А и С есть общий элемент А1, поэтому мы можем рассмотреть Н-пространство АЦ. В нем лежат множества {А\А1} и {С\А1}, каждое из них удовлетворяет условию теоремы, количество элементов в первом равно к-1, во втором < в — 1. Индукционный переход осуществлен.
База индукции устанавливается тривиально. Пусть б=1, это означает, что в В всего один элемент и, так как по предположению В — полное множество, не существует элемента, перпендикулярного В. При формулировке проекционной аксиомы было доказано, что в этом случае все Н-пространство состоит из одного элемента, значит, множество А также включает только этот элемент. □
Определение 2.7. Размерностью Н-пространства мы называем уменьшенное на единицу количество элементов произвольного полного множества взаимно-перпендикулярных элементов Н-пространства.
Из доказанной выше теоремы следует, что размерность не зависит от того, какое именно полное множество взаимных перпендикуляров рассматривается: мощность всех таких множеств одинакова, а из аксиомы конечности следует, что размерность — конечна.
Замечание 2.7. Мы вычитаем единицу, чтобы не получалось, что размерность Н-пространства, состоящего всего из одного элемента (точки), была равна 1, мы привыкли, что размерность такого пространства — 0.
Было доказано, что каждое подпространство является Н-простран-ством, поэтому каждое подпространство также обладает размерностью, меньшей, чем размерность исходного пространства. Далее мы всюду обозначаем как N — размерность исходного Н-пространства.
Предложение 2.5. (О размерности подпространств). Пусть множество М состоит из к взаимных перпендикуляров. Тогда размерность Н-пространства М*=Ы-к+1, размерность М**=к-1
Доказательство. Размерность М** на единицу меньше мощности множества лежащих в М** взаимных перпендикуляров, полных в М**, М само является таким множеством, потому М**=к-1. Рассмотрим какую-нибудь полную в М* последовательность взаимоперпендикулярных элементов, пусть их б. Добавим к ней к элементов из М, получим последовательность из Б+к взаимоперпендикулярных элементов, по теореме о размерности в + к — 1 < N, неравенство возможно, так как не доказано, что эта последовательность — полная. Докажем, что имеет место равенство: рассмотрим произвольную полную последовательность взаимоперпендикулярных элементов, включающую М, в ней N+1 элемент, и все элементы, не лежащие в М, лежат в М*, следовательно, существует полная в М* последовательность из К+1-к взаимоперпендикулярных элементов, следовательно, размерность М* равна К-к+1, что и требовалось доказать. □
2.4. Структура подпространств и независимые элементы
Здесь мы покажем, что подпространства имеют естественные геометрические свойства.
Проекционная аксиома гарантирует, что если А и В гиперплоскости, то их пересечение будет гиперплоскостью в А. Сейчас мы докажем теорему о вложении, обобщающую это свойство.
Теорема 2.3. (О вложении). Пусть А и В — произвольные подпространства некоторого Н-пространства Б. Тогда пересечение А и В будет подпространством в А (разумеется и в В, из-за равноправия переменных). Поясним, в чем проблема: АР|В будет подпространством в Б, но элементы в Б, перпендикулярные А Р| В, могли бы не лежать в А, и тогда АР|В не будет подпространством в А. У теоремы есть и другая формулировка: если одно подпространство включает другое, то включаемое будет подпространством во включающем. Поскольку доказательство и использование теоремы о вложении основано на пересечении подпространств, мы и сформулировали ее через пересечение.
Доказательство. Докажем частный случай: А — гиперплоскость, В — произвольное подпространство. В есть пересечение В,, где В, — гиперплоскости. А Р| В, — гиперплоскости в А по проекционной аксиоме. Обозначим их АВ,. Пересечение всех АВ, — некоторое подпространство в А, оно равно В А, что и требовалось доказать. Теперь докажем индукцией по размерности объемлющего пространства Б общий случай, когда А — произвольное подпространство. В начале мы проведем индукционный переход, а потом проверим базу индукции. Пусть А есть пересечение А,, как и ранее, рассмотрим пересечения А1 со всеми А, и В с А1. Первые — гиперплоскости в А1 по проекционной аксиоме и их пересечение есть некоторое подпространство в А1 , второе есть подпространство в А1 — по доказанному выше. Мы осуществили индукционный переход в А1 , пространство меньшей размерности.
База индукции: при размерности 1 все подпространства имеют размерность ноль (т. е. состоят всего из одного элемента) и утверждение тривиально: подпространства либо совпадают, либо не имеют общих элементов. □
Замечание 2.8. Важное следствие теоремы: пусть А произвольное подпространство и М — лежащее в нем множество взаимных перпендикуляров, полное в А. Тогда А=М**. Доказательство: пусть М** не равно А, тогда М** лежит в А и по теореме является подпространством в А. Следовательно, в А существует элемент, перпендикулярный всем элементам М, тогда М не полно в А, что противоречит условию.
Теперь тривиально доказываются:
Предложение 2.6. Если одно подпространство лежит в другом, то размерность большего подпространства строго больше размерности меньшего (два подпространства одинаковой размерности не могут лежать одно внутри другого).
В самом деле, из теоремы о вложении следует, что в большем подпространстве есть элемент, перпендикулярный всем элементам меньшего, и, следовательно, размерность большего подпространства, по крайней мере, на единицу больше размерности меньшего.
Предложение 2.7. Пусть М — произвольное множество элементов Н-пространства, добавим к нему произвольный элемент А, тогда размерность {МиА}** не может превышать размерность М** на 2 (размерность либо не меняется, либо возрастает на единицу).
Это следует из леммы о перпендикулярах к конечному числу элементов: мы заменяем М на конечное множество взаимоперпендикулярных элементов и доказываем индукцией по их числу, аналогично доказательству самой леммы.
Мы определили подпространства через перпендикулярность каким-то элементам. В геометрии принято иначе: мы определяем подпространства через принадлежащие ему элементы, проводим прямые через пару точек, плоскости через точки или прямые и так далее. Покажем, что наша аксиоматика удовлетворяет этим привычным свойствам.
Лемма 2.3. (О единственности прямой). Через две различные точки проходит одна и только одна прямая.
Доказательство. Докажем, что если точка С лежит на прямой, определенной точками А и В, то прямые, определенные парами точек А, С и В, С совпадают с прямой, определенной точками А и В. По проекционной аксиоме существует единственная точка В, лежащая на А*, такая, что АВ=АБ. Также существует точка Д на А*, такая, что АД1 = АС. Поскольку АС по предложению лежит на АВ, то Д лежит и на АВ, и из-за единственности В, Д = Д1. Следовательно, АС=АВ=АБ, что и утверждалось. Аналогично доказывается, что АВ=ВС. Теперь докажем предложение о единственности прямой. Пусть точки С и В лежат на прямой АБ, докажем, что СВ=АБ. Рассмотрим прямую ВС. По доказанному АВ=ВС, тогда В лежит на ВС, и по доказанному ВС=ВС. Следовательно, АБ=ВС. □
Со всяким множеством точек М связаны два двойственных подпространства: М* и М**. Второе подпространство «перпендикуляров к перпендикулярам», как и в случае с прямой, и будет привычным геометрическим пространством, «проведенным через М», которое мы мыслим обычно вне зависимости от перпендикулярности. Заметим простое и важное свойство подпространства М**, обобщающее сформулированное ранее предложение о принадлежности прямой подпространству.
Предложение 2.8. (О минимальности). М** — наименьшее из всех существующих подпространств, включающих М, говоря иначе — М** есть пересечение всех подпространств, включающих М.
Доказательство. Пусть Р — произвольное подпространство, включающее М, тогда Р* лежит в М* и тогда М** лежит в Р**=Р, следовательно, М** содержится во всех подпространствах, включающих М. □
Замечание 2.9. Отсюда, в частности, следует, что если две точки прямой лежат в некотором подпространстве, то и вся прямая лежит в этом подпространстве. Существенно, что в доказательстве мы использовали только нулевую аксиому.
Предложение о минимальности позволяет определить соединение подпространств и гарантирует, что это соединение обладает привычными геометрическими свойствами.
Определение 2.8. Соединением4 подпространств А и В мы называем подпространство С = {А У В}** и обозначаем С как А \/ В. Из предложения о минимальности сразу следует, что С — наименьшее из всех подпространств, включающих А и В. Понятие соединения обобщает проведение прямой по двум точкам, плоскости по прямой и точке, плоскости или 3-мерного пространства через две прямые.
Замечание 2.10. Цепочка равенств {АуВ}** = {А* Р| В *}* = = (А* Д В*)* = А У В, где последнее есть просто данное выше определение, приводит к форме логического закона де Моргана, связывающего отрицание, конъюнкцию и дизъюнкцию, где операция двойственности играет роль отрицания. В следующем разделе мы рассмотрим важные следствия из этого факта и обобщим этот закон для перпендикулярных подпространств.
Замечание 2.11. Из теоремы о вложении следует, что если А, В, С — подпространства, и В лежит в А, то существует С, поэлементно перпендикулярное В, такое, что С В = А.
Теорема 2.4. (О дополнении). Пусть А подпространство и подпространство В лежит в А. Тогда существует подпространство С, лежащее в А, такое, что все элементы С перпендикулярны всем элементам В и С \/ В = А. Мы называем С дополняющим В в А подпространством.
Доказательство. Мы построим искомое подпространство С. Возьмем в В полное множество взаимных перпендикуляров, обозначим его В1, по теореме о вложении это множество можно дополнить до полного в А множества взаимных перпендикуляров, обозначим дополнение как А1. А1* и будет искомым подпространством, что также следует из теоремы о вложении и замечаний к ней. □
4 Здесь мы установили связь с теорией решеток и орторешеток [2]. В ней одновременно с соединением \/ определяют Д — наибольшее подпространство, содержащееся и в А, и в В. В нашем случае это пересечение подпространств А и В.
Замечание 2.12. Теорема о дополнении уточняет теорему о вложении и обобщает проекционную аксиому5.
В геометрии важную роль играет понятие линейной независимости элементов (обычно говорят о независимости векторов). С помощью перпендикулярности независимость выражается так:
Определение 2.9. независимых элементов и множеств. Элементы какого-либо множества А называются независимыми (а само множество независимым), если не существует его подмножества А1 , такого, что А* = А1 .В противном случае А называется зависимым.
Проверяя независимость, обычно ищется не А1 , а его дополнение, если множество А зависимо, то найдется такой элемент Б, который можно убрать из А, но при этом {А \ В}* = А*. В этом случае элемент Б называется зависимым от {А \ В}. Геометрически это означает, что если произвольный элемент X перпендикулярен всем элементам А, кроме, может быть, Б, то X перпендикулярен и Б. Иначе говоря, в зависимом множестве обязательно найдется элемент, который лежит во всех подпространствах, включающих все элементы множества, кроме него самого. Любое множество взаимоперпендикулярных элементов — независимо. Поэтому в пространстве размерности N существует N+1 независимых элементов.
Замечание 2.13. Из определения сразу следует, что если во множестве А есть зависимое подможество, то и само множество А — зависимо, также А зависимо, если в нем есть равные элементы.
В этом случае устанавливается связь с теорией матроидов6.
Лемма 2.4. (О независимых проекциях). Если множество элементов М, включающее А, независимо, то множество Ма проекций всех его элементов, кроме А элементов на А*, — независимо (в А*).
Доказательство. Предположим Ма — зависимое множество, тогда в нем существует подмножество Ма1, такое, что Ма1 = Ма, добавим к обоим множествам А, {АУМа}* = М* по лемме о проекциях, {А и Ма1 }* = {А* П М* } = {А* П Ма*} по предположению, а последнее равно М*. Теперь рассмотрим множество М1, состоящее из прообразов
5Как и проекционная аксиома, эта теорема может быть сформулирована терминами теории игр о коалициях и антагонистах.
6 Определение независимых элементов тесно связано с понятием матроида. Одно из определений матроида и его роль для геометрии есть в [3], матроидом Н-пространства будет множество всех независимых множеств.
элементов Ма1 и элемента А, оно является подмножеством М и по проекционной лемме М* = {А и Ма1 }*, что, как было доказано, равно М*. Итак М* = М*, и если Ма — зависимое множество, то и М — зависимое множество. □
Лемма 2.5. (О независимости и размерности). В Н-простран-
стве размерности N не существует независимого множества более чем из N+1 элементов.
Доказательство. Докажем, что минимальное подпространство, включающее N+1 независимых элементов имеет размерность не менее N. Перенумеруем произвольно независимые элементы: А1; А2,... , Ага+1. Обозначим М, как объединение первых 1 элементов. Так как элементы независимы, то М,+1 включает М, и не равно ему. По доказанным ранее «тривиальным предложениям» следует, что с возрастанием 1 на единицу размерность М,** также возрастает на единицу, так как размерность подпространства, состоящего из одного элемента, равна нулю, то требуемое доказано. Формулировка леммы тем самым доказана от противного. □
Отсюда следует завершающее раздел:
Предложение 2.9. (О структуре подпространств). Каждое подпространство размерности к порождается к+1 независимыми элементами. Каждое независимое множество из к элементов порождает подпространство размерности к-1. Если все элементы независимого множества М из к элементов лежат в подпространстве А размерности к-1, то М порождает А.
Переходя от элементов к определенным ими гиперплоскостям, мы получим: любые к гиперплоскости в Н-пространстве размерности к имеют непустое пересечение (в противном случае мы бы имели полное множество из к элементов в пространстве размерности к, что невозможно) .
Мы доказали, что рассматриваемые аксиомы определяют подпространства, структура которых аналогична структуре подпространств линейного пространства, роль независимых векторов играют независимые элементы. При каком условии Н-пространство является проективным пространством, мы укажем далее.
Есть интересные утверждения о независимых элементах, например: если во множестве А есть подмножество А1, такое, что А* = А*, то
обязательно найдется какое-то другое подмножество А2, такое, что А* = А2. Мы не будем их доказывать здесь.
3. Перпендикулярность подпространств и законы де Моргана (со штрихом Шеффера)
Вся представленная аксиоматика основана на перпендикулярности элементов. Как определить перпендикулярность подпространств? Ниже мы это сделаем и покажем связь логических законов де Моргана и перпендикулярности подпространств. Напомним, закон де Моргана для конъюнкции и дизъюнкции имеет вид:
-(А V В) = (-А) Д(-В) -(АДВ ) = (-А)У(-В), где А и В — произвольные высказывания. Мы будем использовать его и в таком виде:
(-АУ -В) = -(АДВ).
Ранее мы определили соединение подпространств А и Б: А \/ В = = (А* Р| В*)*, чтобы подчеркнуть структурное совпадение с первым законом де Моргана, запишем это равенство в виде: (А \/ В)* = А* Р| В*. Мы видим полное совпадение с законом де Моргана: операция двойД-ственности * выполняет роль отрицания, соединение подпространств \/ играет роль дизъюнкции, пересечение подпространств играет роль конъюнкции. В теории решеток и часто во многомерной геометрии пересечение подпространств обозначают не , а , и тогда совпадение с законом де Моргана наглядней. В дальнейшем мы будем обозначать так же. Заметим, что двойственное к двойственному подпространство совпадает с исходным, как и двойное отрицание совпадает с утверждением.
3.1. Перпендикулярность непересекающихся подпространств и штрих Шеффера
Мы представляем перпендикулярные подпространства пересекающимися, но удобней в начале определить перпендикулярность непересекающихся подпространств.
Определение 3.1. Непересекающися подпространства А и В называются перпендикулярными, если каждый элемент А перпендикулярен каждому элементу Б.
Замечание 3.1. Из-за симметричности отношения Н следует и симметричность отношения перпендикулярности подпространств: в этом случае и каждый элемент В перпендикулярен каждому элементу А. Част-
ный случай перпендикулярных пространств — двойственные пространства.
Замечание 3.2. Если А перпендикулярно В, то это равносильно тому, что А лежит в В* и В лежит в А*. Это прямо следует из определений.
Замечание 3.3. Если два подпространства перпендикулярны, то все их подпространства также перпендикулярны между собой.
Теперь вместо операции двойственности мы имеем отношение между подпространствами. Чтобы найти этому соответствие в логике, вместо операции отрицания надо рассмотреть отношение между высказываниями, которое называется штрих Шеффера и обозначается |. Для высказываний А и В А|В означает, что А и В несовместимы, т. е. они не могут быть истинны единовременно: из А следует не В или, равносильно — из В следует не А (штрих Шеффера симметричен). Аналог законов де Моргана для штриха Шеффера требует введения новых переменных. Раньше мы писали «не А», теперь мы выражаем более общую ситуацию. Если А|С и В|Б, то (А\/В)|(СДД) — это логическое тождество и есть нужный нам для геометрии аналог закона де Моргана. Поскольку отрицание А = —С и В = есть частный случай отношения несовместности, то закон де Моргана также есть частный случай приведенной формулы. Заметим, что в импликацию А|С и В|Б ^ (А\/В)|(СДД) пары несовместимых переменных (А, С) и (В, Б) входят одинаково и внутри каждой пары переменные можно менять местами. Можно сформулировать потому этот закон, назовем его законом де Моргана и Шеффера, хотя, полагаю, само тождество было известно и до них, так:
Если есть две пары несовместимых высказываний, то конъюнкция любого высказывания первой пары с любым высказыванием второй пары несовместима с дизъюнкцией двух оставшихся элементов пар.
Заметим, что не только переменные в парах можно менять местами в этой формулировке закона де Моргана и Шеффера, но и слова «конъюнкция» и «дизъюнкция». Мы покажем, что аналогичный закон выполняется и для подпространств: вместо несовместимости высказываний надо говорить о перпендикулярности подпространств, а вместо конъюнкции и дизъюнкции — о соединении и пересечении.
Пусть подпространства А и С перпендикулярны, подпространства В и Б перпендикулярны, в смысле данного выше определения, которое мы расширим в следующем разделе. Тогда соединение А и В перпендикулярно пересечению С и Б. Или: Если есть две пары перпендикулярных подпространств, то соединение любого члена первой пары с
любым членом второй пары перпендикулярно пересечению оставшихся членов пар. Закон де Моргана и Шеффера переносится в геометрию дословно.
Доказательство: применим данное выше определение перпендикулярности и данное в предыдущем разделе определение соединения подпространста: Пусть С < А* и IV < В* утверждается, что тогда (А \/ В)* > (СД!). По условию (СД!) < (А* Д В*) = (А \/ В)* , что и требовалось доказать. Фактически здесь мы имеем дело с переформулировкой определения соединения. Заметим, что данное доказательство использует только нулевую аксиому, и потому утверждение верно для любого симметричного и антирефлексивного отношения Н.
Замечание 3.4. Среди подпространств А, В, С, В могут быть совпадающие, например при А=С получим: если А перпендикулярно В и В, то А перпендикулярно и соединению и пересечению Б и В.
Предложение 3.1. (О дистрибутивности)7. Пусть подпространство А, перпендикулярно подпространствам В и С, тогда А\/ (В Л С ) = (АУВ )Л(АУС).
Напомним: здесь, как и всюду ранее, перпендикулярные пространства предполагаются непересекающимися.
Доказательство. Доказательство легко проводится рассмотрением полных множеств взаимных перпендикуляров в А, В и С и их соединениях и пересечениях. В начале мы рассматриваем такое множество в В С, затем добавляем к нему такое множество в А — так мы получаем мvожество взаимных перпендикуляров, полное в подпространстве А V (В Л С), оно лежит и будет полным также в (А \/ В) Д(А V С), следовательно, два этих подпространства совпадают. □
3.2. Перпендикулярность пересекающихся подпространств
Есть два подхода к определению перпендикулярности пересекающихся подпространств. Один подход прямо строит пересекающиеся подпространства из непересекающихся. Пусть есть три взаимно-перпендикулярных (в смысле данного ранее определения) подпространства А, В, С. Тогда любые две пары соединений этих подпространств, например А В и В С — мы также назовем перпендикулярными. Эти пространства пересекаются в Б. Второй подход более нагляден. Можно назвать
7Дистрибутивность для некоторых элементов решетки часто вводится в само определение разных типов решеток, например, так определяются орторешетки в [2, 6, 7]. О роли дистрибутивности для квантовой логики говорится в [9].
подпространство В перпендикулярным подпространству А, если проекция В на А совпадает с пересечением А и В. Но мы не давали точного определения проекции подпространств (хотя это и нетрудно), поэтому сформулируем немного иначе. В перпендикулярно А, если В равно соединению своих пересечений с А и А*. При этом надо доказать симметричность определенной так перпендикулярности. Это и равносильность обоих названных подходов мы докажем, используя лемму.
Лемма 3.1. Если В = (А* Д В)\/(АДВ), то А и В представимы в виде соединений трех взаимоперпендикулярных подпространств, как было описано выше.
Доказательство. Укажем два из этих подпространств: АДВ = Рь А* Д В = Р2. Р1 и Р2 лежат в двух перпендикулярных подпространствах А и А* и потому перпендикулярны друг другу, что и требовалось. Третьим подпространством мы можем взять подпространство Р3, перпендикулярно дополняющее Р1 до А, существование которого доказано в теореме о дополнении. По построению Р3 перпендикулярно Р1 и лежит в А, следовательно Р3 перпендикулярно и Р2 (Р2 лежит в А*). Р3 V Р1 = А по построению, Р2 \/ Р1 = В по предположению, тем самым мы представили А и В в виде соединения взаимоперпендикулярных подпространств. □
Обратное тредложение:
Пусть Р1 \/ Р2 = А, Р2 У Д3 = В и РЬР2,Р3 взаимоперпендикуляр-ны, тогда В = (А* В) (А В).
Доказательство. АД В > Р2 (на самом деке, имеет место равенство)
А* Л В = (Р1 V Р2)^(Р2 V Рз) = (Р*Л Р2*М(Р^ Рз). (Р*Л Р2*) > Рз
(из-за перпендикулярности), следовательно, все выражение также > Р3, следовательно, (А* Д В^(^ДВ) > Р2 У Р3 = В. Неравенство невозможно, так как левое выражение не может быть больше В. □
Определение 3.2. Подпространство А, перпендикулярное подпространству В (где А и В, возможто, пересекаются), называется перпендикулярным, если В = (А* Д В) \/(А Д В).
Замечание 3.5. Из доказанного выше следует симметричность перпендикулярности: если А перпендикулярно В, то и В перпендикулярно А.
Замечание 3.6. Это определение включает в себя случай инцидентности подпространств А и В, потому надо или исключить, специально оговорив, это, либо включить в число перпендикулярных подпространств. Мы считаем это частным, особым случаем перпендикулярности.
Замечание 3.7. Если А перпендикулярно В, то и А* перпендикулярно В.
3.3. Закон де Моргана и Шеффера для двух пар перпендикулярных подпространств
Здесь перпендикулярность подпространств мы рассматриваем в соответствии с последним определением, подходящим и для пересекающихся подпространств. Поэтому легко указывать зримые геометрические примеры. Через школьную теорему о перпендикулярах мы и придем к общей формулировке этого закона в геометрии. Пусть нам требуется опустить перпендикуляр из точки А на плоскость Б в трехмерном пространстве. Для этого мы берем две пересекающиеся прямые Б и С на плоскости, опустим перпендикуляры из А на эти прямые, в их основании будут точки А1 и А2 соответственно. Проведем из них лежащие в плоскости Б перпендикуляры: Б'из А1 к Б и С' из А2 к С. Пересечение этих перпендикуляров, а оно есть, так как Б и С выбраны не параллельными, и будет основанием перпендикуляра из А на Б. Обозначим это пересечение $1. Теорема общеизвестна, и мы ее не доказываем.
Мы ее переформулируем. Проведем через А плоскость Р1, перпендикулярную Б, в ней лежат все перпендикуляры к Б, проходящие через А1 и плоскость Р2, перпендикулярную С, в ней лежат все перпендикуляры к С, проходящие через А2, следовательно, точка $1 лежит на прямой пересечения Р1 и Р2, и, по сформулированной теореме, прямая пересечения Р1 и Р2 перпендикулярна Б. Теперь заметим, что Б мы можем трактовать как соединение прямых Б и С и точку А мы можем мыслить произвольной: прямая пересечения плоскостей, перпендикулярных данным прямым Б и С, перпендикулярна плоскости, в которой лежат Б и С. В такой формулировке точка А отсутствует, и именно эта формулировка связывает геометрию и логику. Для удобства мы переобозначим прямые и плоскости.
Закон де Моргана и Шеффера в трехмерном случае:
Пусть прямая А перпендикулярна плоскости С, прямая В перпендикулярна плоскости Б. Тогда А \/В перпендикулярна (или инцидентна) СД1.
Замечание 3.8. Если А и Б пересекаются, то мы получаем только что разобранный геометрический случай. Если А и Б скрещиваются, то А \/ В — все пространство, С ДI — прямая, лежащая в этом пространстве — имеет место инцидентность. Если А и Б параллельны, то их соединение — плоскость, а С ДI — или пусто, и мы можем формально говорить про инцидентность, или С = I = СД! и перпендикулярна А В, что и утверждается. Таким образом, утверждение верно во
всех случаях. Уже в трехмерном случае буквальный перенос закона де Моргана и Шеффера невозможен: подпространства в двух перпендикулярных парах не могут быть произвольны. Если С и Б не плоскости, а прямые, перпендикулярные пересекающимся прямым А и В соответственно, то утверждение неверно: плоскость, в которой лежат А и В, не будет перпендикулярна или инцидентна точке пересечения (если она есть) прямых С и Б. Нужно потребовать еще одно условие: А \/ С = В \/ Д или двойственно АДС = В Д Д. В разобранном ранее случае выполнялось первое условие, а для случая перпендикулярных непересекающихся подпространств выполнялось второе — пересечением было 0.
Теорема 3.1. Закон де Моргана и Шеффера для произвольного И-пространства.
Пусть даны две пары перпендикулярных подпространств. При этом или соединение элементов одной пары равно соединению элементов другой, или пересечение элементов одной пары равно пересечению элементов другой. Тогда соединение произвольного подпространства одной пары с произвольным подпространством другой пары перпендикулярно (или инцидентно) пересечению оставшихся подпространств пар8. Коротко:
Если А±Д и В±Д и или А\/С = В\/Д, или АДС = ВДД, то (А \/ В )±(СДД)
Доказательство. Мы докажем второй случай. Из принципа двойственности (определения соединения подпространств) тогда будет следовать первый. Случай АДС = В Д Д = 0 был рассмотрен при обсуждении непересекающихся подпространств. Пусть АДС = ВДД = Р> 0. Существуют подпространства А1,(Т1,В1,Д1, перпендикулярные Р и не пересекающиеся с Р, такие, что Р\/А1 = А, Р\/В1 = В, Р\/С = С, Р У Д1 = Д и А1 перпендикулярно С1, В1 перпендикулярно Д1. Это следует из рассмотренного выше определения перпендикулярности через три взаимно-перпендикулярных непересекающихся подпространств, мы представили пару перпендикулярных подпространств А и С через А1 ,С1 и Р = АДС тоже и для второй пары. Так как А1 и С1, В1 и Д1 перпендикулярны по построению и пересечения А1 Р| С1; В1 Р| Д1 пусты, то выполняется закон де Моргана и Шеффера для непересекающихся подпространств и А1 У В1 перпендикулярно С1 Д Д1. При этом
8Эта теорема верна и в евклидовом многомерном пространстве, и в многомерном пространстве Лобачевского, и в эллиптическом многомерном пространстве. Мы полагаем, что она верна в любом пространстве постоянной кривизны.
Р перпендикулярно обоим подпространствам: и соединению, и пересечению. Но тогда соединения Р с этими подпространствами перпендикулярны друг другу: Р\/(А1\/В1) перпендикулярно Р(С^ Д !1). Левая часть очевидно равна Р\/ А1 \/В1 = А \/ В, правая часть равна С ДI по свойству дистрибутивности9. □
4. Проективное пространство и разбиения на пары
То, что Н-пространство похоже на многомерное проективное пространство, видно из исследованной в разделе 2 структуры подпространств. Но уже первый пример Н-пространства (конечное множество, где отношение Н означает различие элементов) показывает, что не всякое Н-пространство является проективным пространством. Сейчас мы выясним, при каком условии Н-пространство необходимо является проективным пространством. Затем мы покажем, какую роль в определении проективной геометрии играют разбиения четырех элементов на пары подобно тому, как это происходит в законе де Моргана и Шеффе-ра.
Напомним аксиому Веблена (см. [1]).
Аксиома Веблена:
Даны четыре различные точки в пространстве. Разобьем их каким-либо способом на пары, если прямые, проведенные через эти пары точек пересекаются, то пересекаются прямые, проведенные через пары точек при любом другом разбиении на пары10.
Теперь докажем теорему.
9В [9] утверждается, что с математической точки зрения квантовая логика является теорией орторешеток. Мы полагаем, что выявленная связь Н-пространств, многомерных пространств и законов де Моргана показывает, что Н-пространства также являются примером квантовой логики, где отношение Н означает несовместимость высказываний. Уточнение этого требует отдельной статьи.
10Приведем примеры из наглядной геометрии аналогичных утверждений о разбиении на пары четырех объектов тремя разными способами. Пусть на плоскости даны 4 попарно пересекающихся окружностей, разобъем их произвольно на пары, тогда если точки пересечения первой пары окружностей лежат на одной окружности с точками пересечения окружностей второй пары, то это будет иметь место и при любом разбиении данных четырех окружностей на пары. Пусть даны четыре попарно пересекающиеся плоскости в пространстве, если при каком-то разбиении их на пары прямые пересечения плоскостей в парах лежат в одной плоскости, то это происходит при любом разбиении на пары. Оба примера легко обобщаются до сфер и гиперплоскостей в многомерном пространстве.
Теорема 4.1. H-пространство удовлетворяет аксиоме Веблена.
Доказательство. Назовем двумерное H-пространство плоскостью. По доказанным свойствам подпространств любые две лежащие в плоскости прямые пересекаются на ней (на плоскости прямые являются гиперплоскостями, так как определяются одним элементом, а в двумерном H-пространстве не может быть полного множества из двух элементов). Две пересекающиеся прямые лежат в плоскости {A,B,C}**, где А -точка пересечения прямых, В и С — произвольные точки на прямых. Прямые, пересекающиеся с данными и не проходящие через A (о каких и идет речь в аксиоме Веблена), также лежат в этой плоскости (поскольку имеют с плоскостью две общие точки), следовательно, пересекаются между собой. □
Теорема 4.2. Если в H-пространстве размерности, большей 1, на каждой прямой существует хотя бы три точки, то H-пространство является либо проективным пространством над телом, либо проективной плоскостью.
Доказательство прямо следует из теоремы Веблена-Юнга (см. [1]).
Замечание 4.1. Свойство прямых содержать, по крайней мере, три точки в [1] называется «насыщенностью» (thick). Поскольку мы определяем инцидентность через перпендикулярность, то свойства прямых, имеющих всего две точки, можно исследовать через отношение H, например, из проекционной аксиомы сразу следует, что если на прямой всего два элемента, то они необходимо перпендикулярны друг другу.
Теперь мы укажем, как основные свойства проективного пространства выражаются через разбиение на пары четырех точек. Мы переосмыслим таким образом две аксиомы проективного пространства (см., как и ранее, [1]).
1. Через две точки проходит одна и только одна прямая (мы доказывали это свойство в теореме о единственности прямой).
2. Аксиома Веблена, утверждающая, что если две прямые пересекаются с двумя другими пересекающимися прямыми и никакие три из этой четверки не проходят через одну точку, то две первые прямые — также пересекаются.
Аксиому Веблена выше мы уже сформулировали таким образом. Сформулируем аналогично утверждение о единственности прямой (в литературе мы чаще встречаем его в виде «прямые не могут пересекаться в двух точках»).
Аксиома о единственности прямой:
Даны четыре различные точки в пространстве. Разобьем их каким-либо образом на пары. Если две точки одной пары лежат на прямой, определенной другой парой, то при любом разбиении данных точек на пары прямая, определенная первой парой, проходит через обе точки второй пары.
Используя введенные в 2.1 обозначения, запишем два утверждения:
Даны четыре различных элемента А, В, С, В
1. Если {А, В}* < {С,Д}*, то {В, С}* = {А,Д}*.
Перестановками переменных отсюда сразу выводится утверждение
о единственности пр1ямой. 1
2. Если {А, В}**П{С,Д}** > 0, то {А, С}** П{В,Д}** > 0.
Выше мы записали «Н-языком» аксиому Веблена. На этих двух
утверждениях также можно базировать аксиоматику «пространства с перпендикулярностью». При этом не было бы нужды ни в проекционной, ни в рекурсивной аксиоме и конечность или бесконечномерность пространства не играли бы роли. Но было бы трудней исследовать структуру подпространств.
5. Примеры отношения Н: прямые, отрезки, окружности, кривые, топология
Здесь мы применим конструкцию из раздела 2.1, где определены двойственность и подпространства на основе отношения Н к различным структурам. Из всех аксиом раздела 2.2 у нас остается только симметричное и антирефлексивное отношение Н. Мы увидим, что Н-методология, основанная на склеенной связи Галуа (см. прим. 1), подходит для выражения многих геометрических и топологических явлений. Во всех примерах отношение Н будет означать тот факт, что рассматриваемые объекты пересекаются. Наш обзор будет очень беглым, а в разделе 5.3 очень и очень беглым.
5.1. Пересечение окружностей
Рассмотрим С, множество всех окружностей конформной плоскости. В этом случае некоторые свойства Н-пространств выполняются. Например, верна теорема единственности: если все окружности, пересекающие окружность А, пересекают и В, то А и В совпадают. Доказательство ясно, но зависит от того, считаем ли мы точки окружностями (нулевого радиуса). Если считаем и считаем, что окружность «пересекает» лежащую на ней точку, то равенство А и В следует из того, что В проходит через три точки, лежащие на А, утверждение следует. Если же не считаем, то мы можем рассмотреть не три точки, а три после-
довательности окружностей, стремящихся к трем точкам, лежащим на А, таким, что А пересекает все эти окружности. По предположению, В также пересекает все эти окружности и потому совпадает с А.
Какое подпространство («прямую») создают А и В? В этом подпространстве лежат все окружности, пересекающие все окружности, пересекающие А и В. Легко видеть, что если А и В пересекаются, то |А,В}** = 0, или Н(А, В) ^ {А, В}** = 0. Проекционная аксиома Н-пространств, напротив, утверждает, что всякая прямая содержит элементы, находящиеся в отношении Н. Если А и В не имеют общих точек (случай касания не будем рассматривать), то любая окружность, разделяющая А и В пересекает всякую окружность, пересекающую А и В. Пусть окружности С и В лежат на прямой {А, В}**. Легко геометрически убедиться, что в этом случае {С, В}** лежит в {А, В}**, как и в Н-пространстве, но равенство этих прямых возникает, если окружности С и В совпадают с окружностями А и В. Итак, если С и В пересекаются, то прямая, заданная ими, — пуста, если нет — это совокупность окружностей, разделяющих их. А что можно сказать про {А, В, С}**? Для любых трех окружностей существует окружность, пересекающая их, поэтому {А, В, С}* никогда не пусто. Если мы считаем точки частным случаем окружности, то возможно, что такая окружность единственна. Если среди окружностей есть пара, не имеющая общих точек, то всякая окружность, разделяющая их, лежит в {А, В, С}**. Это верно и для произвольного числа окружностей. Если же мы рассматриваем 4 или больше окружностей, то определенное ими подпространство может быть пустым, соотвественно, {А, В, С, В}** может совпадать с множеством всех окружностей на конформной плоскости. Рассмотрим пересечение «прямых». {А, В}**р|{С, I}** не пусто, если существует окружность, разделяющая А и В, С и В. Это возможно, множество таких окружностей требует отдельного геометрического изучения. Интересно, что пересечение трех прямых: {А, В}** П{А, С}** П{В, С}**, всегда пусто, так как для любых трех окружностей не существует окружности, разделяющей любые две из них. Но в общем случае пересечение трех прямых может быть не пусто. Понятно, что эти построения можно обобщить на сферы в многомерном пространстве. Интересно их обобщить и на окружности в трехмерном пространстве, а в качестве отношения Н выбрать прохождение одной окружности через другую (зацепление).
5.2. Пересечение отрезков Рассмотрим отрезки на евклидовой плоскости. Как и в предыдущем случае, верна теорема единственности: если все отрезки, пересекающие А, пересекают и В, то отрезки А и В совпадают, доказательство аналогично. Как устроена «прямая», т. е.
множество {А, В}**? Мы разберем только один случай: когда отрезки А и В — противоположные стороны выпуклого четырехугольника. Пусть концы первого отрезка А1 и А2, второго В1 и В2. Пусть четырехугольник А1А2В2В1 выпуклый. Тогда {А1А2,В1В2}** = {А1В1, А2В2}*, доказательство этого равенства — простое упражнение, мы приводим его, чтобы показать — Н-конструкция способна выражать геометрические соотношения и в этом случае.
5.3. Замкнутые фигуры и непрерывные кривые
Интересны различные топологические применения Н-конструкции. Рассмотрим в начале множество непрерывных замкнутых кривых, на плоскости или сфере и образованные отношением пересечения подпространства. Чтобы избежать неожиданностей, потребуем, чтобы эти кривые были дифференцируемы, и не будем рассматривать пары касающихся кривых. Также не будем рассматривать пары кривых с совпадающими кусками. Тогда теорема единственности снова будет верна. Так же как и в случае окружностей — «прямой», определенной двумя такими кривыми А и В, будет множество кривых, разделяющих данные А и В. При этом если мы будем рассматривать и самопересекающиеся кривые, то «прямая», определенная двумя пересекающимися кривыми, может быть не пуста.
Теперь рассмотрим замкнутые односвязные фигуры (тела) в трехмерном пространстве. При этом будем называть тела пересекающимися только в том случае, когда у них есть общие точки и ни одно тело не лежит внутри другого. Тогда теорема единственности, мы полагаем, равносильна утверждению: замкнутые тела с совпадающей границей совпадают. Мы не знаем, верно ли это. Если одно тело разделяет два данных, то оно лежит на «прямой», порожденной данными телами. Разумеется, как и вслучае с окружностями в трехмерном пространстве — интересно трактовать с этой точки зрения заузливание или зацепление кривых и тел.
6. Развитие геометрии перпендикулярного
Здесь мы будем писать в основном про Н-пространства, удовлетворяющие аксиоме насыщенности (о том, что на каждой прямой есть, по крайней мере, три точки). Как доказано в разделе 4, в этом случае Н-пространство размерности, большей 2, является проективным пространством над некоторым телом. Поэтому в таком Н-пространстве можно ввести систему координат. Но если мы будем делать это, следуя, например, [1], мы «потеряем» отношение Н и, полагаем, упустим многие геометрически существенные явления. Например, как известно,
тело, над которым существует проективное пространство, является полем тогда и только тогда, когда в проективном пространстве (на каждой его плоскости) выполняется теорема Паппа. В нашем же случае, мы полагаем, теорема о пересечении высот треугольника, сформулированная в терминах отношения H, окажется необходимым и достаточным условием того, что тело, над которым существует H-пространство, является полем. Отметим, что для того, чтобы формулировка теоремы о высотах была содержательна, необходимо, чтобы на прямых было не менее трех точек. Также мы полагаем, что, используя отношение H, можно различными способами вводить понятие симметрии в насыщенном H-пространстве и в дальнейшем использовать методы Бахмана [4].
Интересно также исследовать вскрытые в разделе 3 связи геометрии перпендикулярного и логики. Мы полагаем, что эти исследования можно проводить методами орторешеток, неатомарных орторешеток. В отличие от общеизвестного подхода мы определяем структуру решетки на основании отношения перпендикулярности,что как, мы полагаем, дает больше возможности для геометрической интуиции и аналогий.
7. Благодарности
Я благодарю В. П. Одинца за неуклонный интерес к темам геометрии перпендикулярного и полезные стилистические советы и В. А. Рыжика, совместная педагогическая работа с которым помогала мне.
Список литературы
1. Cameron P. J. Projective and Polar Spaces, second edition. Sep 2000. http://www.maths.qmul.ac.uk/pjc/pps/ (дата обращения: 17.06.2018).
2. Биркгоф Г. Теория решеток. М.: Наука, 1984. 565 с.
3. Айгнер М. Комбинаторная теория / пер. с англ. В. В. Ермакова и В. Н. Лямина; под ред. Г. П. Гаврилова. М.: Мир, 1982. 556 с.
4. Бахман Ф. Построение геометрии на основе понятия симметрии / пер. с нем. Р. И. Пименова; под ред. И. М. Яглома. М.: Наука, 1969. 380 с.
5. Пименов Р. И. Единая аксиоматика пространств с максимальной группой движений // Литовский матем. сб. 1965. Т. 5. № 3. С. 457-486.
6. Maclaren M. D. Atomic orthocomlemented lattices // Pacific Journal of Mathematics. Vol. 14, June 1964. Pp. 697-612 (site https://msp.org/pjm/1964/14-2/pjm-v14-n2-p18-p.pdf)
7. Norman D. Megill and Mladen Pavici, Hilbert Lattice Equations // Ann. Henri Poincare 99 (9999), 1-24 1424-0637/990000, DOI 10.1007/s00023-003-0000 ©2009 Birkhauser Verlag Basel/Switzerland (site https://bib.irb.hr/datoteka/413891.megill-pavicic-a-henri-p-09r.pdf)
8. Одинец В. П. Об истории некоторых математических методов, используемых при принятии управленческих решений. Сыктывкар: СГУ, 2015. 107 с.
9. Васюков В. Л. Квантовая логика. М.: Пер Се, 2005. 191 c.
10. Tabachnikov S. Skewers // Arnold Mathematical Journal. 2. 2016. Pp. 171-193.
11. Пименов Р. Р. Обобщения теоремы Дезарга: геометрия перпендикулярного // Вестник Сыктывкарского университета. Сер. 1: Математика. Механика. Информатика. 2016. Вып. 1 (21). C. 28-43.
12. Пименов Р. Р. Трактовки теорем Паппа: перпендикулярность и инволютивность // Вестник Сыктывкарского университета. Сер. 1: Математика. Механика. Информатика. 2017. Вып. 2 (23). C. 29-45.
13. Пименов Р. Р. Геометрия перпендикулярного: тупые и острые углы в известных теоремах // Вестник Сыктывкарского университета. Сер. 1: Математика. Механика. Информатика. 2017. Вып. 3 (24). C. 56-73.
Summary
Pimenov R. R. The geometry of perpendicularity: the axiomatic multidimensional space and de Morgan's laws
We propose the short axiomatic for finite dimensional geometrical structure, using only perpendicularity relation. This structure appear projective space in which hold De Morgan's laws. We show the connection work with the Veblen's axiom and with partition four elements to pairs various modes. The research is connected with ortholattice, matroids, Galois connections and quantum logic.
Keywords: the foundation of geometry, perpendicularity, ortholattice, Galois connections, logic, projective space.
References
1. Cameron P. J. Projective and Polar Spaces, second edition, Sep 2000. http://www.maths.qmul.ac.uk/ pjc/pps/
2. Birkhoff G. Teoriya reshetok (Lattice Theory), M.: Nauka, 1984, 565 p.
3. Aigner M. Kombinatornaya teoriya (Combinatorial Theory), M .: Mir, 1982, 556 p.
4. Bachmann F. Postroenie geometrii na osnove ponyatiya simmetrii (Aufbau der Geometrie aus dem Spiegelungsbegriff), M.: Nauka, 1969, 380 p.
5. Pimenov R. I. Yedinaya aksiomatika prostranstv s maksimal'noy gruppoy dvizheniy (Unified axiomatics of spaces with the maximum group of motions), Litovsk. Mat. Sb., vol. 5, No. 3, 1965, pp. 457-486.
6. Maclaren M. D. Atomic orthocomlemented lattices, Pacific Journal of Mathematics, vol. 14, June 1964, pp. 697-612 (site https://msp.org/ pjm/1964/14-2/pjm-v14-n2-p18-p.pdf)
7. Norman D. Megill and Mladen Pavici, Hilbert Lattice Equations, Ann. Henri Poincare 99 (9999), 1-24 1424-0637/99000-0, DOI 10.1007/ s00023-003-0000 ©2009 Birkhauser Verlag Basel/Switzerland (site https: //bib.irb.hr/datoteka/413891.megill-pavicic-a-henri-p-09r.pdf)
8. Odyniec W. P. Ob istorii nekotorykh matematicheskikh metodov, ispol'zuyemykh pri prinyatii upravlencheskikh resheniy (Upon the history of some mathematical methods, which use for the taking a steering decision), Syktywkar: SGU, 2015, 107 p.
9. Vasukov V. L. Kvantovaya logika (Quantum logic), M.: Per Se, 2005, 191 p.
10. Tabachnikov S. Skewers, Arnold Mathematical Journal, 2, 2016, pp. 171-193.
11. Pimenov R. R. Obobshcheniya teoremy Dezarga: geometriya per-pendikulyarnogo (The generalization the Desargues's theorem and geometry of perpendicularity), Bulletin of Syktyvkar University. Series 1: Mathematics. Mechanics. Informatics, 2016, 1 (21), pp. 28-43.
12. Pimenov R. R. Traktovki teorem Pappa: perpendikulyarnost' i involyutivnost' (The interpretation and generalizations the Pappus's theorems: involutions and perpendicularity), Bulletin of Syktyvkar University. Series 1: Mathematics. Mechanics. Informatics, 2017,
2 (23), pp. 29-45.
13. Pimenov R. R. Geometriya perpendikulyarnogo: tupyye i ostryye ugly v izvestnykh teoremakh (The geometry of perpendicularity: obtuse and acutes angles in known theorems), Bulletin of Syktyvkar University. Series 1: Mathematics. Mechanics. Informatics, 2017,
3 (24), pp. 56-73.
Для цитирования: Пименов Р. Р. Геометрия перпендикулярного: аксиоматика многомерного пространства и законы де Моргана // Вестник Сыктывкарского университета. Сер. 1: Математика. Механика. Информатика. 2018. Вып. 2 (27). C. 40-70.
For citation: Pimenov R. R. The geometry of perpendicularity: the axiomatic multidimensional space and de Morgan's laws, Bulletin of Syktyvkar University. Series 1: Mathematics. Mechanics. Informatics, 2018, 2 (27), pp. 40-70.
Санкт-Петербургский национальный
исследовательский йкадемический университет Поступила 17.06.2018
