Статья · Нептун

Нептун: почему симметрии зеркальные

Математика, которая нашлась в двенадцати знаках: объяснение на уровне школьника, направление для объяснения на уровне студента — и что из этого следует, а что пока нет

Павел Медведев · Опубликовано: 27 сентября 2026 · Обновлено: 2026-09-27

Это замечательная история — когда математика находит применение в психологии. Не как метафора и не как статистика, а как точная форма. Двенадцать пар формул Нептуна были найдены в жизненных ситуациях: в школе Марины, во дворе, где договаривались о скамейке, в семье, где никто не отвечал за бабушку. И только потом обнаружилось, что эти пары устроены так же, как объекты, о которых написаны школьные брошюры по математике. Здесь я объясню, что именно совпало, — сначала так, как это можно объяснить школьнику, потом так, как студенту, — и скажу, что из этого следует, а что пока нет.

Всё, на что я опираюсь, лежит в открытом доступе; источники в конце. Статью можно читать, не читая остального сайта: один пример проходит через неё целиком.

Одно событие

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

Музыка здесь — то большее, частью которого являются преподаватель, ученики и их ансамбль: общее дело, через которое человек действует и которое действует через него. Нептун обозначает контакт с ним: живём ли мы тем, что считаем ценным, действует ли оно через нас. Ансамбль — это музыка в действии преподавателя. Так «большее в шаге» получает содержание раньше, чем мы дойдём до формул: большее — музыка, шаг — ансамбль.

Зачем две стороны — на том же событии

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

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

Это два разных вопроса к одному и тому же действию. Первый: что мы этим действием воплощаем — музыку или отчёт? Второй: предусмотрено ли существенное для его осуществления — помещение, оплата, расписание? Удачный ответ на один не заменяет удачного ответа на другой. Двенадцать статей на этом сайте написаны о первом вопросе — у каждого знака своя ситуация: шаг, разговор, «мы», роль, правило. Двенадцать других — о втором. Эта статья о том, как эти вопросы связаны, и почему связь называется зеркальной.

Зеркал два, и это надо сказать сразу

Дальше речь пойдёт о двух разных переходах, и их легко спутать.

Первый — внутри одной ситуации: меняется вопрос, ситуация остаётся. Что выражает мой шаг — и насколько полно он учитывает обстоятельства. Это переход между двумя сторонами одного знака, и о нём почти вся эта статья.

Второй — между двумя ситуациями: меняется ситуация, вопрос остаётся. Мой шаг — и ответ на него; моё «мы» — и его устройство. Это переход по оси, между противоположными знаками, и о нём была предыдущая книга.

И сразу одно предупреждение. Ни один из этих переходов не поворачивает события вспять. Когда мы переходим от «передать умение» к «удержать умение в школе», передача не отменяется — мы меняем направление рассмотрения, а не жизнь. Слово «обратимость» ниже будет значить только это: перешли туда — можем перейти обратно, ничего не потеряв в описании.

Часть первая. На уровне школьника

Сделай перестановку сам

Возьмём пару слов и запишем её в скобках: (музыка, урок). Читается: музыка — в уроке; музыка выражается через этот урок. Теперь поменяем слова местами: (урок, музыка). Читается: урок — в музыке; урок занимает своё место в музыкальном образовании. Поменяем ещё раз — вернулись к (музыка, урок).

Теперь возьмём пару (урок, урок) и поменяем местами. Ничего не изменилось.

Это всё, что нужно увидеть руками. Осталось назвать увиденное. Перестановка, применённая дважды, возвращает исходное — это называется инволюцией. Пары, которые перестановка оставляет на месте, — те, где оба слова одинаковые, — называются диагональю. Почему диагональ: если выписать все пары в таблицу — слова по строкам и те же слова по столбцам, — одинаковые пары встанут по её главной диагонали, из левого верхнего угла в правый нижний. Перестановка — это транспонирование таблицы: клетка (строка i, столбец j) меняется с клеткой (строка j, столбец i), а клетки на диагонали остаются где были.

И одна фраза, без которой перестановка выглядит игрой словами. Одинаковый порядок действий не значит одинаковый смысл. «Музыка выражается в уроке» и «урок занимает место в музыкальном образовании» — про разные отношения: первое — присутствие большего в частном, второе — включение частного в большее. Перестановка меняет местами слова; какое отношение при этом получается — это надо читать, а не вычислять.

Что такое симметрия

В серии «Библиотека „Математическое просвещение“», которую издаёт Московский центр непрерывного математического образования, есть брошюра И. М. Парамоновой «Симметрия в математике» — выпуск 7, 2000 год, шестнадцать страниц. В ней объясняется то, мимо чего в школе обычно проходят. Симметрия фигуры — это её неизменность при определённом преобразовании, и сами такие преобразования тоже называют симметриями.

Бабочка симметрична, потому что отражение относительно средней линии переводит её в саму себя: левое крыло на место правого, правое на место левого, а бабочка в целом остаётся той же. Снежинка — потому что поворот на шестьдесят градусов переводит её в саму себя. В каждом случае преобразование что-то меняет местами — и при этом ничего не меняет. Все симметрии одной фигуры вместе образуют то, что называется группой: любые две, применённые одна за другой, дают снова симметрию.

Для нас важно одно следствие. Симметричной может быть не только фигура, но и набор утверждений: если есть преобразование, которое каждое верное утверждение переводит в верное, набор симметричен относительно него. Так говорят, что законы классической механики симметричны относительно зеркала: отражённая траектория брошенного камня подчиняется тем же уравнениям. В этом смысле мы и будем говорить о симметрии формул.

Что такое зеркало

В той же серии — брошюра И. Д. Жижилкина «Инверсия», выпуск 35, 2009 год. Инверсия — отражение относительно окружности: каждая точка внутри переходит в точку снаружи, на том же луче из центра, так что произведение расстояний до центра равно квадрату радиуса. Брошюра называет это «выворачиванием плоскости через окружность».

У инверсии два свойства, ради которых она нам нужна. Первое: она обратна самой себе — если B образ A, то A образ B. Инволюция, как наша перестановка. Но одного этого мало: поворот на сто восемьдесят градусов тоже инволюция, а зеркалом его не назовёшь. Второе свойство: у инверсии есть неподвижные точки — точки самой окружности переходят в себя, «симметричны сами себе», как сказано в брошюре. Это и есть зеркало в точном смысле: то, относительно чего отражают, — множество, которое остаётся на месте. У поворота неподвижна одна точка, у отражения — целая линия.

Вот теперь видно, почему наша перестановка — зеркало, а не просто инволюция: у неё есть неподвижная линия, диагональ. На числовой плоскости, где пары — это точки с координатами, перестановка координат (x, y) → (y, x) буквально является отражением относительно прямой y = x. У нас пары — из слов, и «отражение» — картинка из числового случая; факт — неподвижная диагональ.

И третье, ради чего брошюра стоит того, чтобы её прочесть: при инверсии прямые и окружности меняются местами, а утверждения о том, что через что проходит, остаются верными. Два разных вида объектов переходят друг в друга — это называется двойственностью. Самый известный её пример — на проективной плоскости: через любые две точки проходит одна прямая, любые две прямые пересекаются в одной точке, и вообще любая теорема о точках и прямых остаётся теоремой, если поменять эти слова местами. Наши «присутствие» и «включение» — по аналогии — такая же пара разных отношений, которые перестановка меняет местами. Похоже, а не то же: для проективной плоскости система утверждений и преобразование выписаны, для наших формул предъявлены только двенадцать пар.

Теперь — про формулы Нептуна

Соберём. У Нептуна в каждом знаке была формула, и у всех двенадцати одно устройство: большее — в том, что описывает знак.

Применим к каждой паре ту перестановку, которую мы уже делали руками: (большее, шаг) → (шаг, большее). Получим двенадцать новых записей: «шаг в большем», «ответ в большем», «роль в большем».

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

Оказалось — о чём-нибудь все двенадцать. «Шаг в большем» — не отвёл ли я глаза от того, что должно было войти в шаг. «Ответ в большем» — учтено ли всё, чего ответ касается. «Роль в большем» — вся ли роль у меня, или часть отдана не глядя. У каждой нашлось своё наполнение, свои примеры и своё имя в психологии.

Вот симметрия — по Парамоновой: перестановка переводит каждую верную формулу в верную, набор формул сохраняется. Вот зеркало — по Жижилкину: инволюция с неподвижной диагональю. Диагональных пар в нашей таблице нет — слева всегда большее, справа шаг или ответ; они появляются, если рассматривать все пары, и тогда (шаг, шаг) или (большее, большее) читается как случай, когда часть и целое перестали различаться. На этом сайте так описана подмена: человек ставит себя на место большего. Из неподвижности следует только эта картинка — что при подмене различать нечего; большего из неё не следует, и ниже будет сказано, почему подмену не ловит проверка.

Одна оговорка, без которой нельзя

Любой набор пар вида {запись, её перестановка} симметричен по построению. Если бы мы просто выписали двенадцать перевёрнутых формул и объявили их второй стороной, находки не было бы.

Находка в том, что перевёрнутая запись оказалась содержательной: у «шага в большем» нашлось отведённое от неудобного место и премортем Кляйна; у «ответа в большем» — узкое кадрирование Канемана; у «правила в большем» — пробелы Харта. Наполнение находилось независимо от перестановки — в жизни и в чужих книгах, двенадцать раз из двенадцати. Это и есть утверждение о симметрии: перевёрнутое верное оказывается верным. Оно опровержимо: хватило бы одного знака, у которого перевёрнутая формула звучит, но ни о чём.

Главная мысль, в одном абзаце

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

Часть вторая. На уровне студента: как это записывается точно

Школьное объяснение говорит, что две стороны — отражения друг друга. Оно не говорит, что значит «целиком». Здесь можно сделать точный шаг, и его сделал математический рецензент этой статьи, ответив на вопрос, можно ли построить проверку, ловящую и дыру, и избыток сразу. Ниже — пересказ; полная запись с доказательствами — в математическом приложении.

Сначала словами, на ансамбле

Вернёмся к ансамблю. Разбор дела показал: чтобы ансамбль состоялся, необходимы две вещи — ответственный за него и оплаченное время репетиций. Резервный день на случай отмены — полезен, но без него можно обойтись. А тройное согласование на каждую обычную репетицию ничего не обеспечивает и только мешает.

Фактически сделано вот что: ответственный назначен, оплаты нет, согласование введено.

Исправление напрашивается само: ответственного оставить, согласование убрать, оплату добавить. Заметь, что здесь одновременно есть и недостающее (оплата), и лишнее (согласование). Обычная жизнь.

Теперь то же в записи

Договоримся об обозначениях — это сокращения для того, что только что сказано словами.

Ω — всё, что вообще может входить в описание этого дела: решения, обязательства, обстоятельства. Внутри одного разбора элемент значит одно и то же.

X — то, что фактически сделано: у нас {ответственный, согласование}.

L — необходимое, без чего дело не состоится: {ответственный, оплата}.

U — допустимое, что вообще может входить в решение: {ответственный, оплата, резервный день}. Необходимое, конечно, допустимо, поэтому L лежит внутри U; а между ними — допустимое, но не обязательное: резервный день.

Для чтения формулы понадобятся следующие обозначения. X ∩ U — «пересечение»: оставить из сделанного только допустимое; согласование в U не входит и отпадает. ∪ L — «объединение с L»: добавить необходимое; то, что уже есть, второй раз не добавляется. L ⊆ X — «L содержится в X»: всё необходимое присутствует в сделанном. И L \ X — «L без X»: необходимое, которого пока нет.

Исправление одной формулой:

P(X) = (X ∩ U) ∪ L.

P(X) — это не умножение букв, а результат применения правила P к X: «из сделанного оставить допустимое и добавить необходимое». Проверим на ансамбле: X ∩ U = {ответственный}; добавляем L — получаем {ответственный, оплата}. Ровно то, что мы сказали словами. Порядок двух действий не важен: сначала убрать лишнее, потом добавить нужное, или наоборот, — результат один.

Что даёт запись

Две границы записываются точно, и обе сразу. Недостающее: P(X) \ X = L \ X — необходимое, которого в сделанном нет; у нас — оплата. Лишнее: X \ P(X) = X \ U — то в сделанном, чему нет места; у нас — согласование. Обе разности могут быть непустыми одновременно, и подсчёт числа элементов этого не заметит: до и после исправления по два элемента, но разные. Поэтому «меньше» и «больше» в статьях — не про количество, а про состав.

Полнота решения относительно заданных требований: P(X) = X ровно тогда, когда L ⊆ X ⊆ U — всё необходимое есть, недопустимого нет. Такое X называется неподвижной точкой правила P: правило оставляет его на месте.

Здесь нужно предупредить два естественных прочтения. «Неподвижная точка» не значит неподвижную жизнь: репетиции идут, ученики учатся, всё продолжается; не меняется только результат проверки по прежним требованиям — повторили проверку, ничего не добавили и не убрали. Изменились обстоятельства — стало больше участников, сменилось помещение — пересматриваются требования, и нужно новое исправление. И «целиком» не значит «предусмотреть всё на свете»: речь о существенном для этого дела. Для репетиции надо решить вопрос помещения, а не все проблемы музыкального образования.

Между L и U остаётся свобода: если необходимое не совпадает с допустимым, неподвижных точек несколько. С резервным днём и без него — оба решения полные. Полнота не превращается в единственный предписанный способ жить, и это свойство сохраняется в формуле, а не только в словах.

И ещё: P(P(X)) = P(X) — повторное исправление при тех же требованиях ничего не меняет. Это отличает исправление от зеркала: зеркало, применённое дважды, возвращает назад; исправление — оставляет исправленное. Два вида операций с разной работой: зеркала меняют сторону рассмотрения, исправление говорит, что при этом рассмотрении обнаружилось.

Откуда берутся необходимое и допустимое

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

Из этого видны три вещи. Границы зависят от дела. Их приходится обосновывать — формула этого не делает. И необязательное — ещё не лишнее: резервный день не в необходимом, но он допустим; формула не призывает оставить в жизни один обязательный минимум.

Здесь же становится видна подмена, точнее, чем через диагональ. Если руководитель объявил главной целью безупречный отчёт, проверка поможет подготовить отчёт: L и U будут про отчёт, и P(X) = X относительно них. Она не спросит, научились ли дети играть вместе, пока это не включено в основания. Проверка исправляет действие по заданным требованиям; она не удостоверяет, что требования выражают то, ради чего дело. Упущения у человека, подменившего целое собой, проверка найти может; не найдёт она того, что основания не те. Это — первая сторона каждого знака, и её математика не заменяет.

Где здесь Галуа

Правило исправления мы уже поняли на ансамбле. Этот раздел — о другом: как оно связано с известным математическим аппаратом, чтобы его можно было не только применять, но и опереть на то, что уже доказано. Кому это не нужно — можно перейти к следующему разделу; подробности сопряжений есть в приложении.

Соответствие Галуа обычно объясняют на примере людей и их общих свойств: от набора людей — к свойствам, общим для всех них, и от набора свойств — назад, ко всем, у кого они есть. Проход туда и обратно даёт замыкание, и кажется, что это и есть наша проверка. Но замыкание не умеет обнаруживать лишнее: пройдя туда и обратно, получаешь всех исходных и, может быть, кого-то ещё, — никогда не меньше. Замыкание одностороннее, а нам нужна двусторонняя проверка.

Конструкция обходит это двумя способами, и оба точные. Первый: при обычном включении множеств формула P собирается из двух соответствий. «Оставить допустимое», X → X ∩ U, — оператор внутренности; «добавить необходимое», Y → Y ∪ L, — оператор замыкания; каждое — половина своего сопряжения Галуа, и их композиция может и убирать, и добавлять. Второй: одно сопряжение, но с другим порядком сравнения состояний — считать, что Y «дальше» X, если в Y допустимого не меньше, а недопустимого не больше; по этому порядку исправление всегда движется вперёд и является замыканием, а по обычному включению его действие двустороннее. Противоречия нет: односторонность замыкания относится к тому порядку, в котором оно замыкание. Запись — в приложении.

Чего конструкция не охватывает

Три вещи, и все три — про жизнь, а не про алгебру. Если допустимые элементы нельзя выбирать независимо — ровно один ответственный, ограниченный бюджет, «либо то, либо это», — одних границ L и U мало: нужно семейство допустимых решений и правило выбора. Если необходимое противоречит допустимому — требования несовместимы, неподвижной точки нет, и разбирать надо противоречие, а не считать. И наличие всех элементов ещё не значит, что человек видит их связь: для того, что в статье о Деве названо «видеть случай целиком», нужны отношения между элементами, а не только их перечень. Неподвижная точка задаёт полноту решения относительно выбранных требований; что это и есть целостность, о которой двенадцать статей, — гипотеза, которую они проверяют на примерах.

Часть третья. Что это даёт

Школьное объяснение даёт три вещи. Вопрос: перестановка гарантирует не вторую сторону, а вопрос о ней — запись «шаг в большем» есть для каждого знака, и её можно предъявить ситуациям; когда у Козерога вторая сторона казалась трудной, запись говорила: ищите, о чём это, — и нашлось. Проверку: отражение формулы известно заранее, с точностью до слов, и потому у каждого найденного можно спросить, наполнение это или только форма; это отсекало пустые ответы. Место подмены: картинку того, что при подмене часть и целое не различены.

Точная запись даёт другое. Определение: полнота относительно заданных требований — неподвижная точка исправления; всё необходимое есть, недопустимого нет, между ними свобода. Единство двух границ: «меньше» и «больше» — два направления одного несовпадения; формула объединяет их описание и исправление, а причины у них могут быть разными — это уже вопрос к ситуации. И выход за пределы двенадцати знаков: формула не знает про Нептун, она знает про сделанное, необходимое и допустимое, и потому применима везде, где их можно назвать, — и честно говорит, где кончается: там, где требования надо узнать, а не вычислить.

Часть четвёртая. Два зеркала вместе — и что пока не сделано

Человеческий смысл проверки

Теперь вернёмся ко второму зеркалу — переходу по оси — и спросим, как оно уживается с первым.

Вопрос, который стоит за всей математикой этого раздела, простой: зависит ли результат рассмотрения от того, в каком порядке мы меняли точку зрения? Есть два пути от «большего в шаге» к вопросу о полноте ответа. Первый: перейти от почина к ответу — и потом спросить, всё ли в ответе учтено. Второй: сначала спросить, всё ли учтено в шаге, — и потом перейти к ответу. В обоих случаях мы приходим к вопросу о полноте ответа. Но достаточно ли этого, чтобы совпали конкретные различения и выводы? Именно это и надо проверять.

Если совпадают — два перехода называются согласованными, и вместе с их сочетанием они образуют четыре преобразования: оставить как есть, сменить ситуацию, сменить вопрос, сменить и то и другое. Это четверная группа Клейна, та самая, которую Пиаже нашёл в мышлении подростка; её геометрический образ — симметрии прямоугольника с неравными сторонами: два отражения относительно средних линий и поворот на пол-оборота как их сочетание. Двенадцать знаков по две стороны — двадцать четыре положения, шесть четвёрок, одна группа. На уровне адресов — какая ось, какой конец, какая сторона — это верно автоматически. На уровне содержания это надо показывать.

Что показано на шести осях

Правило перехода по оси для каждой из шести известно из первой книги. Вот что даёт сопоставление вторых сторон.

Овен — Весы. Почин ↔ ответ. Овен: начиная дело, человек учитывает и неудобные обстоятельства, которые хотелось бы проигнорировать. Весы: отвечая на предложение, человек учитывает всех, кого его ответ касается, включая тех, кого не было за столом. Статьи связаны прямо: то, что человек предпочёл не заметить, начиная, — ровно то, с чем ему потом отвечают.

Близнецы — Стрелец. Карта ↔ дорога. Близнецы: участники обсуждают и тот существенный вопрос, которого прежде все избегали. Стрелец: идущий берёт с собой ровно столько сведений о дороге, сколько нужно, чтобы не спотыкаться о известное, — и не столько, чтобы за ними не увидеть саму дорогу.

Рак — Козерог. «Мы» ↔ устройство. Рак: в группе каждый присутствует целиком, а не только той частью, которая удобна остальным. Козерог: за каждую необходимую работу кто-то отвечает; она не остаётся незамеченной или бесхозной. Это одна потеря с двух концов: человек, которого группа держит наполовину, и его работа, которой в устройстве нет.

Лев — Водолей. Моя роль ↔ общее правило. Лев: человек берёт свою роль целиком, включая те её части, которые ему чужды, — или, отдавая часть другому, знает, кому и что отдал. Водолей: правило закрывает то, без чего дело проваливается, и не трогает того, с чем люди справляются сами. Часть роли, отданная неизвестно кому, и пробел в правиле — одно и то же с двух концов; держать всё самому и правило на всё — тоже.

Телец — Скорпион. Живёт в жизни других ↔ живёт в нашем деле. Телец: то, чему научили, ученик применяет везде, где оно нужно, и не применяет там, где оно не подходит. Скорпион: в деле сохраняется то, что ещё нужно для его продолжения, и не сохраняется то, что уже только мешает. Здесь надо уточнить, относительно чего «внутри»: не у меня, а в деле — умение остаётся в школе, когда преподаватель передаёт его другому. По границам: «меньше» — ученик не применяет освоенное там, где оно нужно ↔ из дела удалено то, что ещё нужно; «больше» — приём применяется там, где не подходит ↔ в деле сохраняется то, что мешает. Соответствие типов нарушений ясное, и к обеим ситуациям применима одна проверка. Но соответствие типов нарушений — не обратимый перенос самих ситуаций: у двух дел могут быть и дыры, и лишние процедуры при совершенно разном устройстве, и одинаковая классификация ошибок не делает их зеркальными.

Дева — Рыбы. Большее в моей жизни ↔ я в жизни большего. Дева: то, что человеку дорого, собирает его жизнь в одно — а не остаётся в ней одним из отсеков. Рыбы: в общем деле человек участвует всем собой и только своей долей — не отбывает присутствие и не тянет за остальных. У Рыб две границы: присутствие вместо участия — и участие за целое. У Девы в статье была одна, избыток не был найден. Сопоставление с Рыбами подсказало, где искать: если есть «участие за целое», то у Девы должна быть жизнь, которую большее заняло целиком, — не собранная вокруг музыки, а не оставившая ничего, кроме неё. И она нашлась в жизни; основная статья о Деве это почти говорит: целому не нужно занимать каждую минуту. Точно говоря: группа задаёт четвёртую позицию, но не её содержание; содержание подсказало сопоставление, и оно подтвердилось. Это настоящий результат, и называть его стоит ровно так.

Итого, точно. На всех шести осях показано соответствие границ второй стороны — «меньше» переходит в «меньше», «больше» в «больше» по правилу оси, — и на одной оси сопоставление указало на пропущенную границу, которая затем нашлась. Не показано: что считается элементом описания на каждом конце оси, как элемент переходит в элемент другого конца и обратно, почему при этом необходимое остаётся необходимым, а допустимое допустимым, и почему оба порядка перехода дают одно. Есть и точное условие согласованности зеркала и исправления: если переход по оси переносит элементы описания и сохраняет необходимое и допустимое, то исправление до перехода совпадает с исправлением после; для формулы P это верно автоматически, не автоматически — существование такого переноса между, скажем, почином и ответом. Это отдельная задача, и объявлять её решённой нельзя.

Место в истории и что дальше

Это не первое применение математики в психологии. Курт Левин в 1936 году описывал жизненное пространство человека языком топологии. Жан Пиаже и Бербель Инельдер в 1955 году нашли в мышлении подростка группу из четырёх преобразований — ту самую четверную группу Клейна. Кристофер Зиман в 1976 году применял теорию катастроф к переломам поведения. Наш случай, насколько я могу судить, отличается порядком: форма не была взята заранее — двенадцать формул найдены в жизненных ситуациях, и только потом обнаружилось, что они устроены как отражение. Утверждать, что так не бывало раньше, я не берусь.

Дальше — одно, и оно названо точно. Не расширять проверку на все шесть осей, а взять один случай: преподаватель уходит, школа должна сохранить его умение. Назвать участников, передаваемую способность, условия её применения и условия продолжения дела. Записать это как элементы описания с обоих концов оси Телец — Скорпион. И выяснить, какой переход между двумя рассмотрениями обратим, а при каком теряется информация. Это даст проверку, способную и подтвердить зеркальность, и показать её пределы.

За этим — другие планеты: если Нептун — отношение «часть — целое» и переворот, который его переставляет, можно спросить, есть ли у Сатурна своё отношение — граница — и свой переворот; у Юпитера — мера; у Урана — различие, которое, возможно, симметрично само по себе, и тогда его переворот тождественный. И «меньше» с «больше» как порядок, которого у первой стороны пока нет. И самое практическое: перестановка как генератор вопросов — из любого верного описания того, что большее присутствует в моём деле, она делает вопрос, целиком ли моё дело в большем. Это годится человеку, который разбирает свою ситуацию, и машине, которая ему помогает: структура, по которой можно рассуждать, а не опыт, который можно только вспоминать.

Источники

Брошюры серии «Библиотека „Математическое просвещение“» (МЦНМО), в открытом доступе:

• И. М. Парамонова. Симметрия в математике. Вып. 7, 2000.
• И. Д. Жижилкин. Инверсия. Вып. 35, 2009.
• Вся серия, интернет-библиотека МЦНМО и журнал «Квант» — на сайтах МЦНМО и math.ru.

Двойственность и отношения:

• Проективная двойственность и принцип двойственности — обзорные статьи в «Википедии».
• Обратное отношение и перестановка пар — статья «Бинарное отношение» в «Википедии».

Точная конструкция исправления — записка математического рецензента, приложение к этой статье: P(X) = (X ∩ U) ∪ L, два сопряжения при обычном включении, одно — при изменённом порядке; действие группы Клейна на адресах вопросов.

• M. Wodzicki. Notes on Ordered Sets, 2013, §§ 2.6.1–2.6.8 — сопряжения, операторы замыкания и внутренности.
• J. S. Milne. Group Theory — группа Клейна и действия групп.

Соответствие Галуа:

• O. Ore. Galois connexions. Transactions of the American Mathematical Society, 55 (1944), 493–513.
• G. Birkhoff. Lattice Theory. AMS, 1940 (рус.: Г. Биркгоф. Теория решёток. М.: Наука, 1984).
• B. A. Davey, H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990; 2-е изд. 2002, глава 7.
• Пример с людьми и свойствами — из анализа формальных понятий: B. Ganter, R. Wille. Formal Concept Analysis. Springer, 1999.

Математика в психологии:

• K. Lewin. Principles of Topological Psychology. McGraw-Hill, 1936.
• B. Inhelder, J. Piaget. De la logique de l'enfant à la logique de l'adolescent. PUF, 1955 (англ.: The Growth of Logical Thinking, 1958) — группа INRC.
• E. C. Zeeman. Catastrophe Theory. Scientific American, April 1976.

На этом сайте: Нептун: вторая сторона каждого знака · Как мы подменяем целое собой · Нептун: вечные контексты.