НептунВсе статьи

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

Нептун: два зеркала и двустороннее исправление

Математическое приложение: сопряжения Галуа, неподвижные точки и группа Клейна на адресах вопросов

Павел Медведев · Опубликовано: · Обновлено:

Математическое предложение для обсуждения статьи. Исходные тексты не изменены.

1. Ответ на вопрос о Галуа

Да, отображение P, которое одновременно добавляет недостающее и убирает лишнее, можно построить с помощью сопряжений Галуа. Есть два точных способа:

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

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

2. Что именно является множеством

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

Обозначим через Ω множество таких возможных элементов описания. Ω — область описания ситуации; оно не тождественно самому целому, с которым человек находится в отношениях.

Пусть:

Элементы U \ L допустимы, но необязательны. Тем самым мы заранее оставляем место разным хорошим решениям.

Определим:

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

Сначала сохраняем допустимую часть сделанного, затем добавляем необходимое. При L ⊆ U порядок этих двух операций можно поменять:

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

P(X) — исправленный вариант X при заданных требованиях. Называть его просто «тем, что дело требует», неточно: в нём сохраняются и необязательные допустимые элементы исходного решения.

3. Упущение и избыток действительно возникают одновременно

Для этой конструкции:

P(X) \ X = L \ X,

X \ P(X) = X \ U.

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

Возьмём упрощённый организационный пример со школой. Элементами считаем конкретные решения:

Допустим, разбор ситуации дал L = {a, b}, U = {a, b, c}. Фактически принято X = {a, d}.

Тогда P(X) = {a, b}. Недостаёт b; лишнее — d. Исправление одновременно обеспечивает репетиции и убирает ненужную процедуру. Объявить процедуру лишней надо на основании устройства дела; сама формула этого за нас не устанавливает.

4. Неподвижные точки и свобода решения

P(X) = X ⟺ L ⊆ X ⊆ U.

Действительно, равенство требует наличия всего L и отсутствия элементов вне U. Обратно, при этих двух условиях пересечение с U и добавление L ничего не меняют.

Также:

P(P(X)) = P(X).

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

Если L ≠ U, неподвижных точек несколько. Например, и {a, b}, и {a, b, c} в предыдущем примере допустимы. Полнота не требует единственного заранее предписанного способа жить.

Равенство P² = P относится к проверке по неизменным требованиям. В жизни новые обстоятельства могут изменить L и U. Точнее писать P с индексами ситуации и контекста: P₍z,c₎.

5. Два сопряжения при обычном включении

Здесь используется монотонное сопряжение Галуа: f(a) ≤ b тогда и только тогда, когда a ≤ g(b). Это та же теория порядков, но запись отличается от антимонотонного соответствия «объекты — общие признаки».

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

𝓑 = 𝓟(Ω), 𝓑ᵤ = 𝓟(U), 𝓕 = {Z : L ⊆ Z ⊆ U}.

Первое сопряжение ограничивает допустимым. Пусть i: 𝓑ᵤ → 𝓑 — включение, а r: 𝓑 → 𝓑ᵤ задано формулой r(X) = X ∩ U. Для Y ⊆ U:

i(Y) ⊆ X ⟺ Y ⊆ r(X).

Следовательно, i ⊣ r.

Второе сопряжение добавляет необходимое. Пусть c: 𝓑ᵤ → 𝓕 задано формулой c(Y) = Y ∪ L, а j: 𝓕 → 𝓑ᵤ — включение. Для Z ∈ 𝓕:

c(Y) ⊆ Z ⟺ Y ⊆ j(Z).

Следовательно, c ⊣ j. Условие L ⊆ U обеспечивает корректность областей значений.

Нужное отображение:

P = i ∘ j ∘ c ∘ r.

После отождествления вложенных подмножеств получаем именно P(X) = (X ∩ U) ∪ L. Отдельно X ↦ X ∩ U — оператор внутренности, X ↦ X ∪ L — оператор замыкания. Их композиция в общем случае не является ни тем, ни другим относительно обычного включения: она может и добавлять, и удалять.

Поэтому обычный двойной проход через одно соответствие «объекты — признаки» не получает задним числом способности удалять элементы. Мы явно построили другую композицию.

6. Одно сопряжение при другом порядке

Можно сохранить тот же P и получить одно сопряжение. Для этого сравним состояния так:

X ≼ Y ⟺ X ∩ U ⊆ Y ∩ U и X \ U ⊇ Y \ U.

То есть в Y не потеряно допустимое, которое было в X, и не добавлено недопустимое. Формально это произведение порядков 𝓟(U) и 𝓟(Ω \ U) с обращённым порядком во втором множителе.

Теперь всегда X ≼ P(X). P монотонно относительно ≼ и идемпотентно. Следовательно, оно является оператором замыкания относительно этого порядка.

Пусть Q = (𝓟(Ω), ≼), а 𝓕 = [L, U] с обычным включением. На 𝓕 оба порядка совпадают, поскольку недопустимых элементов там нет. Обозначим через p: Q → 𝓕 то же исправление, а через k: 𝓕 → Q — включение. Тогда для Z ∈ 𝓕:

p(X) ⊆ Z ⟺ X ≼ k(Z).

Это сопряжение p ⊣ k; его замыкание на Q равно k ∘ p = P.

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

7. Что эта конструкция пока не охватывает

Интервал [L, U] предполагает, что допустимые необязательные элементы можно выбирать независимо. Если разрешено ровно одно из двух решений, есть ограниченный бюджет или требуется ровно один ответственный, одних границ L и U недостаточно. Тогда задают семейство допустимых решений 𝓕 с дополнительными условиями. Единственное исправление X уже может не существовать без правила выбора.

Если L ⊄ U, требования противоречат друг другу: неподвижной точки с этими границами нет. Нужно разбирать противоречие требований.

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

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

8. Как это связано с двумя зеркалами

Зеркальность и исправление выполняют разные задачи. Для зеркальности рассмотрим адрес вопроса:

q = (a, e, v), a ∈ {1, …, 6}, e, v ∈ {0, 1}.

a выбирает ось, e — её конец, v — одну из двух рассматриваемых сторон знака. Тогда:

S(a, e, v) = (a, 1−e, v), T(a, e, v) = (a, e, 1−v).

S переводит к противоположному знаку, T — ко второй стороне того же знака. По определению:

S² = T² = I, ST = TS.

Получается действие группы Клейна C₂ × C₂: на каждой оси четыре адреса вопроса и два независимых переворота. На прямоугольнике эти перестановки можно представить двумя обычными отражениями.

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

P отвечает уже на другой вопрос: соответствует ли конкретное действие требованиям ситуации. Поэтому:

Совместимость можно сформулировать ещё точнее. Если содержательное зеркало M задаёт биекцию элементов описания h: Ωq → ΩMq и переносит необходимые и допустимые элементы в соответствующие необходимые и допустимые элементы, то:

h(P₍q₎(X)) = P₍Mq₎(h(X)).

Для данной формулы P это следует из сохранения объединения и пересечения биекцией h. Но существование такой содержательной биекции между инициативой и ответом, например, ещё нужно установить. Одной перестановки подписей недостаточно.

9. Где находится подмена

Равенство «P(X) равно всему большему» не определяет подмену: P(X) — множество элементов решения, а большее — то, с чем человек соотносит свою жизнь и действие. Даже если оба представлены множествами, совпадение само по себе не означает присвоения или злоупотребления.

В наших примерах подмена часто происходит раньше проверки: человек назначает свою выгоду, положение или привычку мерой того, чего требует дело. Он может получить безупречное равенство P(X) = X относительно требований, которые сам подогнал под себя.

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

10. Формулировка для статьи

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

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

Математические источники для проверки

Эти источники подтверждают используемый математический аппарат. Его применение к материалу о Нептуне предложено в этой записке; психологическая интерпретация не приписывается авторам источников.

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