Н.А. Тенетко
Правило симметричных потоков первоначально определяется для бинарных последовательностей, а затем переносится на десятичные последовательности.
Цель настоящего расширения — установить его общую математическую форму и определить условия применения к произвольным знаковым системам:
Основной вопрос состоит не в конкретном содержании знаков, а в существовании определённой операторной структуры над ними.
Необходимо различать:
[ \boxed{ \text{универсальность знаковой структуры} } ]
и:
[ \boxed{ \text{универсальность семантики}. } ]
В настоящем доказательстве устанавливается структурная универсальность Правила симметричных потоков.
Она не означает автоматически сохранения значения, грамматики или семантики конкретного языка.
Необходимо строго различать:
[ \boxed{ n=\text{длина последовательности} } ]
и:
[ \boxed{ q=|\Sigma|=\text{мощность алфавита}. } ]
Правило симметричных потоков не требует чётности длины последовательности.
Оно применяется при:
[ \boxed{ n=1,2,3,4,\ldots } ]
то есть одновременно к чётным и нечётным длинам.
Например, для бинарного алфавита:
[ \Sigma_2={0,1} ]
при нечётной длине:
[ n=3 ]
класс содержит:
[ 2^3=8 ]
последовательностей и полностью разбивается на:
[ 4 ]
симметричные пары.
Следовательно:
[ \boxed{ \text{нечётность длины }n \text{ не является ограничением Правила}. } ]
Отдельный вопрос возникает только при рассмотрении мощности самого конечного алфавита:
[ q=|\Sigma|. ]
Пусть:
[ \Omega ]
— произвольное множество объектов.
Пусть на (\Omega) определена инволюция:
[ R:\Omega\rightarrow\Omega, ]
такая что:
[ \boxed{ R^2=\operatorname{id}_{\Omega}. } ]
Определим множество неподвижных состояний этой инволюции:
[ F = \operatorname{Fix}(R) = {X\in\Omega:R(X)=X}. ]
Пусть на множестве (F) существует вторая инволюция:
[ J:F\rightarrow F, ]
такая что:
[ \boxed{ J^2=\operatorname{id}_{F} } ]
и:
[ \boxed{ J(X)\neq X \qquad \forall X\in F. } ]
Определим:
[ \boxed{ P(X) = \begin{cases} R(X), & X\notin F,\[4pt] J(X), & X\in F. \end{cases} } ]
Это является абстрактным операторным ядром Правила симметричных потоков.
При условиях раздела 3 оператор:
[ P:\Omega\rightarrow\Omega ]
является инволюцией без неподвижных точек:
[ \boxed{ P^2=\operatorname{id}_{\Omega} } ]
и:
[ \boxed{ P(X)\neq X \qquad \forall X\in\Omega. } ]
Рассмотрим два случая.
Тогда:
[ R(X)\neq X ]
и:
[ P(X)=R(X). ]
Покажем, что:
[ R(X)\notin F. ]
Если бы:
[ R(X)\in F, ]
то:
[ R(R(X))=R(X). ]
Но:
[ R(R(X))=X. ]
Следовательно:
[ X=R(X), ]
что противоречит:
[ X\notin F. ]
Поэтому повторно используется первая ветвь:
[ P(P(X)) = R(R(X)) = X. ]
Тогда:
[ P(X)=J(X). ]
Поскольку:
[ J:F\rightarrow F, ]
имеем:
[ J(X)\in F. ]
Поэтому:
[ P(P(X)) = J(J(X)) = X. ]
Следовательно:
[ \boxed{ P(P(X))=X } ]
для любого:
[ X\in\Omega. ]
Теперь отсутствие неподвижных точек.
Если:
[ X\notin F, ]
то:
[ P(X)=R(X)\neq X. ]
Если:
[ X\in F, ]
то:
[ P(X)=J(X)\neq X. ]
Следовательно:
[ \boxed{ P^2=\operatorname{id}, \qquad P(X)\neq X. } ]
Теорема доказана.
Поскольку:
[ P^2=\operatorname{id} ]
и:
[ P(X)\neq X, ]
каждая орбита относительно (P) содержит ровно два элемента:
[ [X] = {X,P(X)}. ]
Следовательно:
[ \boxed{ \Omega = \bigsqcup [X]. } ]
Если пространство конечно, то:
[ \boxed{ \text{число пар} = \frac{|\Omega|}{2}. } ]
Таким образом, фундаментальная структура Правила определяется схемой:
[ \boxed{ \text{базовая инволюция}
Пусть:
[ \Sigma ]
— произвольный алфавит.
Его элементы могут быть:
цифрами; буквами; графемами; иероглифами; фонемами; морфемами; словами; токенами; логическими символами; операторами; командами; формальными знаками; любыми другими дискретными знаками.
Для любой фиксированной длины:
[ n\ge1 ]
рассматривается класс:
[ \boxed{ \Omega_n=\Sigma^n. } ]
Последовательность:
[ X = x_1x_2\ldots x_n ]
принадлежит:
[ X\in\Sigma^n. ]
Определим зеркальное отражение:
[ \boxed{ R(X) = xnx{n-1}\ldots x_1. } ]
Для любой длины (n):
[ \boxed{ R^2=\operatorname{id}. } ]
Неподвижными точками отражения являются палиндромные последовательности:
[ \boxed{ R(X)=X. } ]
Назовём алфавит (\Sigma) парным относительно сопряжения (C_{\Sigma}), если существует отображение:
[ C_{\Sigma}:\Sigma\rightarrow\Sigma, ]
такое что:
[ \boxed{ C{\Sigma}^2=\operatorname{id}{\Sigma} } ]
и:
[ \boxed{ C_{\Sigma}(a)\neq a \qquad \forall a\in\Sigma. } ]
То есть каждый знак имеет единственного отличного от него сопряжённого партнёра.
На последовательность операция распространяется покомпонентно:
[ \boxed{ C{\Sigma}(X) = C{\Sigma}(x1) C{\Sigma}(x2) \ldots C{\Sigma}(x_n). } ]
Следовательно:
[ \boxed{ C_{\Sigma}^2(X)=X. } ]
Кроме того:
[ \boxed{ R\circ C{\Sigma} = C{\Sigma}\circ R. } ]
Действительно:
[ R(C{\Sigma}(X)) = C{\Sigma}(xn) \ldots C{\Sigma}(x1) = C{\Sigma}(R(X)). ]
Для:
[ X\in\Sigma^n, \qquad n\ge1, ]
определим:
[ \boxed{ P{\Sigma}(X) = \begin{cases} R(X), & X\neq R(X),\[4pt] C{\Sigma}(X), & X=R(X). \end{cases} } ]
Это является общей формой:
reverse / complement
для произвольного парного знакового алфавита.
Для любого алфавита (\Sigma), снабжённого фиксированно-точечно свободной инволюцией:
[ C_{\Sigma}, ]
и для любой конечной длины:
[ n\ge1, ]
оператор:
[ P_{\Sigma} ]
является инволюцией без неподвижных точек:
[ \boxed{ P{\Sigma}^2 = \operatorname{id}{\Sigma^n} } ]
и:
[ \boxed{ P_{\Sigma}(X)\neq X. } ]
Для непалиндрома:
[ X\neq R(X) ]
используется:
[ P_{\Sigma}(X)=R(X). ]
Поскольку:
[ R^2=\operatorname{id}, ]
повторное применение возвращает (X).
Для палиндрома:
[ X=R(X) ]
используется:
[ P{\Sigma}(X)=C{\Sigma}(X). ]
Из:
[ R(C{\Sigma}(X)) = C{\Sigma}(R(X)) = C_{\Sigma}(X) ]
следует, что:
[ C_{\Sigma}(X) ]
также является палиндромом.
Поэтому:
[ P{\Sigma}(C{\Sigma}(X)) = C{\Sigma}(C{\Sigma}(X)) = X. ]
Неподвижных точек дополнения нет.
Если:
[ C_{\Sigma}(X)=X, ]
то для каждой позиции потребовалось бы:
[ C_{\Sigma}(x_i)=x_i, ]
что противоречит определению (C_{\Sigma}).
Следовательно:
[ \boxed{ P{\Sigma}^2 = \operatorname{id}, \qquad P{\Sigma}(X)\neq X. } ]
Теорема доказана.
Результат предыдущей теоремы справедлив при:
[ \boxed{ n=1,2,3,4,\ldots } ]
без ограничения чётности (n).
То есть:
[ \boxed{ n=2k } ]
и:
[ \boxed{ n=2k+1 } ]
являются равноправными допустимыми случаями.
Различие чётной и нечётной длины влияет на количество отдельных типов симметрии, например R-static, но не на существование самого Правила.
Следовательно:
[ \boxed{ \text{Правило симметричных потоков работает при любой конечной длине последовательности}. } ]
Пусть алфавит конечен:
[ |\Sigma|=q. ]
Если:
[ q=2m, ]
то можно выбрать канонический порядок:
[ \Sigmaq = {a_0,a_1,\ldots,a{q-1}} ]
и определить:
[ \boxed{ C{\Sigma}(a_i) = a{q-1-i}. } ]
Повторное применение:
[ C{\Sigma}(C{\Sigma}(a_i)) = a_i. ]
Неподвижная точка потребовала бы:
[ i=q-1-i, ]
то есть:
[ 2i=q-1. ]
Но при чётном (q):
[ q-1 ]
нечётно.
Следовательно, целого решения нет.
Поэтому:
[ \boxed{ C_{\Sigma}(a_i)\neq a_i } ]
для любого (a_i).
Таким образом, любой конечный чётный упорядоченный алфавит непосредственно допускает Правило симметричных потоков.
Для:
[ \Sigma_2 = {0,1} ]
имеем:
[ C{\Sigma}(0)=1, \qquad C{\Sigma}(1)=0. ]
Следовательно:
[ \boxed{ P_2(X) = \begin{cases} R(X), & X\neq R(X),\[4pt] I(X), & X=R(X). \end{cases} } ]
где (I) — побитовая инверсия.
При этом правило работает как для:
[ n=2k, ]
так и для:
[ n=2k+1. ]
Для:
[ \Sigma_{10} = {0,1,\ldots,9} ]
определяется:
[ C_{10}(d)=9-d. ]
Следовательно:
[ \boxed{ P{10}(X) = \begin{cases} R(X), & X\neq R(X),\[4pt] C{10}(X), & X=R(X). \end{cases} } ]
Таким образом, бинарный и десятичный варианты являются частными случаями:
[ \boxed{ P_{\Sigma}. } ]
Пусть:
[ |\Sigma|=q<\infty ]
и (\Sigma) допускает фиксированно-точечно свободное сопряжение.
Тогда:
[ |\Sigma^n|=q^n. ]
Правило разбивает весь класс на:
[ \boxed{ T_n = \frac{q^n}{2} } ]
непересекающихся первичных пар.
То есть:
[ \boxed{ \Sigma^n = \bigsqcup_{\pi\in\mathcal P_n}\pi, } ]
где:
[ |\mathcal P_n| = \frac{q^n}{2}. ]
Пусть:
[ |\Sigma|=q ]
и (q) чётно.
Обозначим:
[ I_n ]
— число I-static пар;
[ J_n ]
— число R-static пар;
[ S_n=I_n+J_n ]
— полное число статичных пар;
[ Q_n=T_n-S_n ]
— число переходящих первичных пар;
[ M_n=\frac{Q_n}{2} ]
— число мета-пар.
I-static возникают из палиндромов.
Пусть:
[ n=2k. ]
Палиндром полностью определяется первыми (k) символами.
Следовательно, палиндромов:
[ q^k. ]
Они соединяются сопряжением попарно.
Поэтому:
[ \boxed{ I_{2k} = \frac{q^k}{2}. } ]
Пусть:
[ n=2k+1. ]
Палиндром определяется первыми (k) символами и центральным символом.
Следовательно, палиндромов:
[ q^{k+1}. ]
Поэтому:
[ \boxed{ I_{2k+1} = \frac{q^{k+1}}{2}. } ]
Таким образом, нечётная длина последовательности не создаёт проблемы для Правила.
R-static определяется условием:
[ \boxed{ R(X)=C_{\Sigma}(X). } ]
Пусть:
[ n=2k. ]
Первые (k) символов выбираются свободно.
Оставшиеся символы определяются:
[ x{2k+1-i} = C{\Sigma}(x_i). ]
Следовательно, таких последовательностей:
[ q^k. ]
Каждая R-static пара содержит две последовательности.
Поэтому:
[ \boxed{ J_{2k} = \frac{q^k}{2}. } ]
Пусть:
[ n=2k+1. ]
Центральный символ должен был бы удовлетворять:
[ x{k+1} = C{\Sigma}(x_{k+1}), ]
что невозможно для фиксированно-точечно свободного (C_{\Sigma}).
Следовательно:
[ \boxed{ J_{2k+1}=0. } ]
Это означает только отсутствие R-static при нечётной длине.
Это не означает отсутствия самого Правила.
Для чётной длины:
[ S{2k} = I{2k}+J_{2k}. ]
Следовательно:
[ \boxed{ S_{2k}=q^k. } ]
Для нечётной длины:
[ S{2k+1} = I{2k+1}. ]
Следовательно:
[ \boxed{ S_{2k+1} = \frac{q^{k+1}}{2}. } ]
Через два класса:
[ \boxed{ S_{n+2}=qS_n. } ]
Полное число пар:
[ T_n=\frac{q^n}{2}. ]
Поэтому:
[ \boxed{ T_{n+2}=q^2T_n. } ]
Определим плотность:
[ \rho_n = \frac{S_n}{T_n}. ]
Тогда:
[ \boxed{ \rho_{n+2} = \frac{\rho_n}{q}. } ]
Получена универсальная форма Закона разреженной статичной симметрии:
[ \boxed{ \text{пространство}\times q^2, } ]
[ \boxed{ \text{статика}\times q, } ]
[ \boxed{ \text{плотность}\div q. } ]
Для нечётного класса:
[ \rho_{2k+1} = q^{-k}. ]
Для следующего чётного класса:
[ \rho_{2k+2} = 2q^{-(k+1)}. ]
Следовательно:
[ \boxed{ \rho{2k+2} = \frac{2}{q}\rho{2k+1}. } ]
То есть переход:
[ 2k+1 \rightarrow 2k+2 ]
даёт:
[ \boxed{ \div\frac{q}{2}. } ]
Из чётного класса в следующий нечётный:
[ \boxed{ \rho{2k+1} = \frac{\rho{2k}}{2}. } ]
Следовательно, универсальная двухтактная структура:
[ \boxed{ \div\frac{q}{2} \rightarrow \div2 \rightarrow \div\frac{q}{2} \rightarrow \div2 \rightarrow\cdots } ]
Полный двухклассовый цикл:
[ \boxed{ \div q. } ]
Для:
[ q=10 ]
получается:
[ \div5 \rightarrow \div2. ]
Для:
[ q=2 ]
первая операция равна:
[ \div1, ]
то есть соседние бинарные классы соответствующей пары длин имеют одинаковую статичную плотность на этом такте.
Пусть:
[ X\in\Sigma^n. ]
Для:
[ a,b\in\Sigma ]
определим внешнюю оболочку:
[ \boxed{ E_{a,b}(X) = a\Vert X\Vert b. } ]
При:
[ |\Sigma|=q ]
существует:
[ q^2 ]
возможных оболочек.
Для отражения:
[ \boxed{ R(a\Vert X\Vert b) = b\Vert R(X)\Vert a. } ]
Для сопряжения:
[ \boxed{ C{\Sigma}(a\Vert X\Vert b) = C{\Sigma}(a) \Vert C{\Sigma}(X) \Vert C{\Sigma}(b). } ]
Следовательно:
[ \boxed{ R\circ E{a,b} = E{b,a}\circ R } ]
и:
[ \boxed{ C{\Sigma}\circ E{a,b} = E{C{\Sigma}(a),C{\Sigma}(b)} \circ C{\Sigma}. } ]
Таким образом, форма базовых операторов сохраняется при переходе:
[ \boxed{ n\rightarrow n+2. } ]
Определим три состояния.
[ \boxed{ A: \quad X=R(X). } ]
[ \boxed{ B: \quad R(X)=C_{\Sigma}(X). } ]
[ \boxed{ G: \quad X\neq R(X) \quad\text{и}\quad R(X)\neq C_{\Sigma}(X). } ]
Состояния A и B не пересекаются.
Если бы:
[ X=R(X) ]
и:
[ R(X)=C_{\Sigma}(X), ]
то:
[ X=C_{\Sigma}(X), ]
что невозможно.
Следовательно:
[ \boxed{ A\cap B=\varnothing. } ]
Пусть:
[ X=R(X). ]
Оболочка:
[ a\Vert X\Vert b ]
остаётся палиндромной тогда и только тогда, когда:
[ a=b. ]
Таких оболочек:
[ q. ]
Всего оболочек:
[ q^2. ]
Остальных:
[ q^2-q = q(q-1). ]
Следовательно:
[ \boxed{ A \rightarrow qA+q(q-1)G. } ]
Пусть:
[ R(X)=C_{\Sigma}(X). ]
Состояние B сохраняется тогда и только тогда, когда:
[ b=C_{\Sigma}(a). ]
Для каждого:
[ a\in\Sigma ]
существует ровно один такой (b).
Следовательно:
[ \boxed{ B \rightarrow qB+q(q-1)G. } ]
Если:
[ X\in G, ]
оболочка не может перейти в A без выполнения:
[ X=R(X), ]
и не может перейти в B без выполнения:
[ R(X)=C_{\Sigma}(X). ]
Следовательно:
[ \boxed{ G \rightarrow q^2G. } ]
На уровне первичных пар получаем:
[ \boxed{ I \rightarrow qI+q(q-1)Q, } ]
[ \boxed{ J \rightarrow qJ+q(q-1)Q, } ]
[ \boxed{ Q \rightarrow q^2Q. } ]
Каждая родительская первичная пара порождает:
[ \boxed{ q^2 } ]
дочерних первичных пар.
Матричный оператор:
[ \boxed{ \begin{pmatrix} I{n+2}\[2pt] J{n+2}\[2pt] Q_{n+2} \end{pmatrix} = \begin{pmatrix} q&0&0\ 0&q&0\ q(q-1)&q(q-1)&q^2 \end{pmatrix} \begin{pmatrix} I_n\[2pt] J_n\[2pt] Q_n \end{pmatrix}. } ]
Для:
[ q=10 ]
получаем:
[ \begin{pmatrix} 10&0&0\ 0&10&0\ 90&90&100 \end{pmatrix}, ]
то есть десятичный оператор.
Из предыдущей матрицы:
[ Q_{n+2} = q(q-1)I_n
Поскольку:
[ S_n=I_n+J_n, ]
получаем:
[ \boxed{ Q_{n+2} = q^2Q_n
Поскольку:
[ M_n=\frac{Q_n}{2}, ]
получаем:
[ M_{n+2} = \frac{ q^2Q_n
Следовательно:
[ \boxed{ M_{n+2} = q^2M_n
Для:
[ q=10 ]
получается:
[ \boxed{ M_{n+2} = 100M_n+45S_n. } ]
Для:
[ q=2 ]
получается:
[ \boxed{ M_{n+2} = 4M_n+S_n. } ]
Теперь рассмотрим отдельно:
[ |\Sigma|=q, ]
где (q) нечётно.
Это не является запретом на нечётную длину последовательности.
Здесь нечётной является именно мощность алфавита.
Для любой длины:
[ n\ge1 ]
имеем:
[ |\Sigma^n|=q^n. ]
Если (q) нечётно, то:
[ q^n ]
также нечётно.
Конечное множество нечётной мощности невозможно полностью разложить исключительно на двухэлементные подмножества.
Следовательно:
[ \boxed{ |\Sigma|=q\text{ нечётно} } ]
означает, что на полном конечном классе:
[ \Sigma^n ]
невозможно определить инволюцию без неподвижных точек, охватывающую все элементы класса.
Это комбинаторная граница именно прямой реализации полного двухэлементного разбиения.
Она не является запретом на использование нечётного алфавита как знаковой системы.
Следует говорить не:
Правило запрещено для нечётного алфавита
а:
[ \boxed{ \begin{gathered} \text{полное фиксированно-точечно свободное попарное разбиение}\ \text{всего конечного класса }\Sigma^n\ \text{невозможно без дополнительной структуры,}\ \text{если }|\Sigma|\text{ нечётно}. \end{gathered} } ]
При этом возможны:
Следовательно, нечётный алфавит не исключается из универсальной конструкции.
Он требует дополнительного структурного слоя, если необходимо сохранить одновременно:
[ \boxed{ \text{полноту класса} } ]
[ \boxed{
[ \boxed{ \text{только двухэлементные пары} } ]
[ \boxed{
[ \boxed{ \text{отсутствие неподвижных точек}. } ]
Пусть:
[ \Sigma ]
— теперь абсолютно произвольный алфавит.
Никакого условия на его мощность не требуется.
Добавим к каждой последовательности дополнительную бинарную структурную координату:
[ \varepsilon\in{0,1}. ]
Рассмотрим расширенное пространство:
[ \boxed{ \widehat{\Omega}_n = \Sigma^n\times{0,1}. } ]
Элемент имеет вид:
[ (X,\varepsilon). ]
Определим:
[ \boxed{ \widehat P(X,\varepsilon) = \begin{cases} (R(X),\varepsilon), & X\neq R(X), \[4pt] (X,1-\varepsilon), & X=R(X). \end{cases} } ]
Здесь бинарная координата используется только в той ветви, где базовая инволюция (R) имеет неподвижное состояние.
Для любого алфавита (\Sigma), любой конечной длины:
[ n\ge1, ]
и любого:
[ (X,\varepsilon) \in \Sigma^n\times{0,1}, ]
оператор:
[ \widehat P ]
является инволюцией без неподвижных точек.
То есть:
[ \boxed{ \widehat P^2 = \operatorname{id} } ]
и:
[ \boxed{ \widehat P(X,\varepsilon) \neq (X,\varepsilon). } ]
Тогда:
[ \widehat P(X,\varepsilon) = (R(X),\varepsilon). ]
Поскольку отражение является инволюцией:
[ R(R(X))=X, ]
получаем:
[ \widehat P( \widehat P(X,\varepsilon) ) = (X,\varepsilon). ]
Тогда:
[ \widehat P(X,\varepsilon) = (X,1-\varepsilon). ]
Повторное применение:
[ \widehat P(X,1-\varepsilon) = (X,\varepsilon). ]
Следовательно:
[ \boxed{ \widehat P^2=\operatorname{id}. } ]
Неподвижных точек нет.
При:
[ X\neq R(X) ]
изменяется (X).
При:
[ X=R(X) ]
изменяется:
[ \varepsilon. ]
Поскольку:
[ 1-\varepsilon\neq\varepsilon ]
для:
[ \varepsilon\in{0,1}, ]
получаем:
[ \boxed{ \widehat P(X,\varepsilon) \neq (X,\varepsilon). } ]
Теорема доказана.
В расширенной конструкции бинарность не обязана принадлежать исходному алфавиту.
Она выступает как:
[ \boxed{ \text{координата ориентации симметричного отношения}. } ]
То есть фундаментальная пара:
[ 0/1 ]
может находиться не внутри содержания исходных знаков, а на уровне отношения между двумя состояниями.
Следовательно:
[ \boxed{ \text{бинарность содержания} } ]
и:
[ \boxed{ \text{бинарность отношения} } ]
не являются одним и тем же.
Именно бинарность отношения позволяет универсально продолжить Правило на произвольный алфавит.
Для любого конечного алфавита (\Sigma) имеются два варианта.
Если (\Sigma) допускает фиксированно-точечно свободное сопряжение:
[ C_{\Sigma}, ]
используется:
[ \boxed{ P{\Sigma}(X) = \begin{cases} R(X), & X\neq R(X),\[4pt] C{\Sigma}(X), & X=R(X). \end{cases} } ]
Если такое внутреннее сопряжение отсутствует, используется:
[ \boxed{ \widehat{\Omega}_n = \Sigma^n\times{0,1} } ]
и:
[ \boxed{ \widehat P. } ]
Следовательно:
[ \boxed{ \text{любой конечный алфавит допускает структуру Правила} } ]
либо непосредственно, либо после бинарного структурного расширения.
Для бесконечного алфавита само понятие чётности конечной мощности уже не является необходимым критерием.
Если на алфавите существует фиксированно-точечно свободная инволюция:
[ C_{\Sigma}, ]
то прямая форма Правила применяется так же:
[ P{\Sigma}(X) = \begin{cases} R(X), & X\neq R(X),\[4pt] C{\Sigma}(X), & X=R(X). \end{cases} ]
Если такое сопряжение не задано или его использование нежелательно, универсальная конструкция:
[ \Sigma^n\times{0,1} ]
остаётся применимой независимо от мощности (\Sigma).
Таким образом, бинарное структурное расширение не зависит от конечности алфавита.
Пусть имеются два алфавита:
[ \Sigma ]
и:
[ \Gamma, ]
связанные биекцией:
[ \varphi:\Sigma\rightarrow\Gamma. ]
Биекция продолжается на последовательности:
[ \varphi_n: \Sigma^n \rightarrow \Gamma^n ]
покомпонентно.
Если сопряжение на новом алфавите определяется:
[ \boxed{ C{\Gamma} = \varphi \circ C{\Sigma} \circ \varphi^{-1}, } ]
то:
[ \boxed{ P{\Gamma} = \varphi_n \circ P{\Sigma} \circ \varphi_n^{-1}. } ]
Следовательно:
[ P_{\Sigma}^2=\operatorname{id} ]
влечёт:
[ P_{\Gamma}^2=\operatorname{id}. ]
И отсутствие неподвижных точек также сохраняется.
Любая точная биективная перекодировка знаковой системы сохраняет Правило симметричных потоков с точностью до сопряжения:
[ \boxed{ P' = \varphi \circ P \circ \varphi^{-1}. } ]
Следовательно, математические свойства Правила не зависят от того, обозначены элементы как:
0,1
или:
A,B
или:
α,β
или:
TRUE,FALSE
или:
любые другие знаки.
Таким образом, Правило является свойством структуры отношений, а не конкретного графического обозначения.
Пусть:
[ \mathcal Z ]
— произвольное множество объектов.
Пусть существует точное обратимое кодирование:
[ E: \mathcal Z \longrightarrow L \subseteq \Sigma^*. ]
Если образ:
[ L=E(\mathcal Z) ]
замкнут относительно (P):
[ \boxed{ P(L)=L, } ]
то на самих объектах определяется:
[ \boxed{ P_{\mathcal Z} = E^{-1} \circ P \circ E. } ]
Тогда:
[ \boxed{ P{\mathcal Z}^2 = \operatorname{id}{\mathcal Z}. } ]
Если (P) не имеет неподвижных точек на (L), то:
[ \boxed{ P_{\mathcal Z}(Z)\neq Z. } ]
Это является общим механизмом переноса Правила с формального носителя на произвольную точно кодируемую систему.
Правило определяется независимо для каждого класса:
[ \Sigma^1, \Sigma^2, \Sigma^3, \ldots ]
и сохраняет длину последовательности.
Поэтому на множестве всех непустых конечных строк:
[ \boxed{ \Sigma^+ = \bigcup_{n\ge1} \Sigma^n } ]
можно определить глобальный оператор:
[ \boxed{ P{\Sigma}^{+}(X) = P{\Sigma,|X|}(X). } ]
Он действует внутри класса длины:
[ |X|. ]
Следовательно, различие длин не создаёт конфликта.
Каждый класс имеет собственное попарное разбиение.
Пустая последовательность:
[ \varepsilon_{\emptyset} ]
требует отдельного рассмотрения.
Для неё:
[ R(\varepsilon{\emptyset}) = \varepsilon{\emptyset}. ]
Покомпонентное сопряжение также оставляет пустую строку пустой:
[ C{\Sigma}(\varepsilon{\emptyset}) = \varepsilon_{\emptyset}. ]
Следовательно, прямая форма Правила без дополнительной структуры имеет неподвижную пустую последовательность.
Поэтому основной прямой вариант рассматривается при:
[ \boxed{ n\ge1. } ]
Если необходимо включить пустую строку, используется бинарная структурная координата:
[ (\varepsilon{\emptyset},0) \leftrightarrow (\varepsilon{\emptyset},1). ]
Таким образом, расширенная форма охватывает также класс длины:
[ n=0. ]
Пусть:
[ L \subseteq \Sigma^* ]
— произвольный формальный язык.
Для фиксированной длины:
[ L_n = L\cap\Sigma^n. ]
Правило может быть определено на полном знаковом носителе:
[ \Sigma^n. ]
Чтобы оно действовало внутри самого языка (L), требуется замкнутость:
[ \boxed{ P_{\Sigma}(L_n)=L_n. } ]
Эквивалентно:
[ \boxed{ X\in Ln \Longrightarrow P{\Sigma}(X)\in L_n. } ]
Если это выполнено, язык является замкнутым относительно Правила симметричных потоков.
Если существует:
[ X\in L ]
такое что:
[ P(X)\notin L, ]
это не означает невозможности самого Правила.
Это означает только, что конкретный язык (L) не замкнут относительно оператора.
Правило продолжает действовать на полном носителе:
[ \Sigma^*. ]
Таким образом, необходимо различать:
[ \boxed{ \text{существование оператора} } ]
и:
[ \boxed{ \text{замкнутость конкретного языка относительно оператора}. } ]
Для произвольного:
[ L\subseteq\Omega ]
определим:
[ \boxed{ \operatorname{SymCl}_P(L) = L\cup P(L). } ]
Поскольку:
[ P^2=\operatorname{id}, ]
получаем:
[ P(L\cup P(L)) = P(L)\cup P^2(L) = P(L)\cup L. ]
Следовательно:
[ \boxed{ P( \operatorname{SymCl}_P(L) ) = \operatorname{SymCl}_P(L). } ]
То есть:
[ \boxed{ L\cup P(L) } ]
является (P)-замкнутым расширением исходного множества.
Более того, это минимальное (P)-замкнутое множество, содержащее (L).
Пусть (\Sigma) является алфавитом:
лексем языка программирования; логических символов; операторов; команд; термов; формул; типов; формальных конструкций.
Любая конечная последовательность токенов:
[ X\in\Sigma^n ]
является объектом знакового носителя.
Правило может применяться непосредственно к этой последовательности.
Однако если рассматривается только множество синтаксически правильных программ или формул:
[ L\subsetneq\Sigma^*, ]
партнёр:
[ P(X) ]
не обязан принадлежать (L).
Следовательно:
[ \boxed{ \text{Правило универсально на уровне носителя,} } ]
но:
[ \boxed{ \text{сохранение синтаксической допустимости требует замкнутости языка.} } ]
Естественный язык также может быть представлен как конечная последовательность знаков выбранного уровня.
Можно использовать:
буквы; графемы; фонемы; морфемы; слова; токены; знаки пунктуации; составные знаковые единицы.
Пусть выбрана точная токенизация:
[ \tau. ]
Текст (T) представляется:
[ \boxed{ \tau(T) = t1t_2\ldots t_n \in \Sigma{\tau}^n. } ]
После этого Правило математически применимо к последовательности:
[ \tau(T). ]
Если алфавит допускает внутреннее парное сопряжение, применяется:
[ P{\Sigma{\tau}}. ]
Если нет, применяется:
[ \boxed{ \Sigma_{\tau}^n\times{0,1}. } ]
Таким образом, естественный язык не является исключением из общей знаковой конструкции.
Пусть:
[ \mathcal L ]
— множество рассматриваемых естественно-языковых объектов.
Пусть:
[ \tau: \mathcal L \rightarrow L{\tau} \subseteq \Sigma{\tau}^* ]
является точным обратимым кодированием:
[ \boxed{ \tau^{-1}(\tau(T))=T. } ]
Если:
[ \boxed{ P(L{\tau})=L{\tau}, } ]
то можно определить оператор непосредственно на естественно-языковых объектах:
[ \boxed{ P_{\mathcal L} = \tau^{-1} \circ P \circ \tau. } ]
Тогда:
[ \boxed{ P{\mathcal L}^2 = \operatorname{id}{\mathcal L}. } ]
Если образ языка не замкнут, Правило остаётся корректным на знаковом носителе, но его партнёр не обязан быть объектом исходного языкового подмножества.
Применение Правила к естественному или формальному языку гарантирует структурное отношение на выбранном знаковом уровне.
Из этого автоматически не следуют:
одинаковое значение; грамматическая правильность; семантическая эквивалентность; сохранение истинности; сохранение поведения программы; сохранение прагматики; лингвистическая естественность партнёра.
Следовательно:
[ \boxed{ \text{структурная симметрия} \neq \text{семантическая эквивалентность}. } ]
Семантика является дополнительным уровнем и требует отдельного определения отношения.
Один и тот же текст может рассматриваться на различных знаковых уровнях:
[ T \rightarrow \text{буквы}, ]
[ T \rightarrow \text{морфемы}, ]
[ T \rightarrow \text{слова}, ]
[ T \rightarrow \text{токены}. ]
Каждая токенизация определяет собственный алфавит:
[ \Sigma_1, \Sigma_2, \ldots ]
и собственную последовательность.
Правило применяется не к абстрактному «смыслу текста», а к точно выбранному знаковому представлению.
Поэтому полная координата применения должна включать:
[ \boxed{ \text{тип токенизации}
Пусть:
[ \mathcal M_k ]
— множество мер или операторов уровня (k).
Пусть существует точное обратимое кодирование:
[ \boxed{ \operatorname{Encode}_k: \mathcal M_k \longleftrightarrow B_k, } ]
где:
[ B_k ]
— допустимое знаковое или бинарное пространство носителей.
Пусть на (B_k) действует:
[ P_{B_k}. ]
Для переноса Правила на сами меры требуется замкнутость:
[ \boxed{ P_{B_k}(B_k)=B_k. } ]
Тогда определим:
[ \boxed{ Pk = \operatorname{Decode}_k \circ P{B_k} \circ \operatorname{Encode}_k. } ]
Если:
[ \operatorname{Encode}_k ]
является биекцией и:
[ P{B_k}^2 = \operatorname{id}{B_k}, ]
то:
[ Pk = \operatorname{Decode}_k \circ P{B_k} \circ \operatorname{Encode}_k ]
является инволюцией на:
[ \mathcal M_k. ]
Имеем:
[ \begin{aligned} Pk^2 = & \operatorname{Decode}_k \circ P{Bk} \circ \operatorname{Encode}_k \circ \operatorname{Decode}_k \circ P{B_k} \circ \operatorname{Encode}_k. \end{aligned} ]
Поскольку:
[ \operatorname{Encode}k \circ \operatorname{Decode}_k = \operatorname{id}{B_k}, ]
получаем:
[ Pk^2 = \operatorname{Decode}_k \circ P{B_k}^2 \circ \operatorname{Encode}_k. ]
Но:
[ P{B_k}^2 = \operatorname{id}{B_k}. ]
Следовательно:
[ Pk^2 = \operatorname{Decode}_k \circ \operatorname{Encode}_k = \operatorname{id}{\mathcal M_k}. ]
То есть:
[ \boxed{ P_k^2 = \operatorname{id}. } ]
Теорема доказана.
Если каждый уровень имеет:
то Правило переносится:
[ \mathcal M_0 \rightarrow \mathcal M_1 \rightarrow \mathcal M_2 \rightarrow \cdots ]
без изменения фундаментальной формы.
На каждом уровне:
[ \boxed{ Pk = \operatorname{Decode}_k \circ P{\text{carrier}} \circ \operatorname{Encode}_k. } ]
Меняется объект применения.
Сохраняется операторный принцип:
[ \boxed{ \text{инволюция}
Полученные результаты позволяют выделить три уровня универсальности Правила.
Для любого алфавита, снабжённого фиксированно-точечно свободным сопряжением:
[ C_{\Sigma}, ]
действует:
[ \boxed{ P{\Sigma}(X) = \begin{cases} R(X), & X\neq R(X),\[4pt] C{\Sigma}(X), & X=R(X). \end{cases} } ]
Форма Правила не зависит от природы знаков.
При любой точной биективной смене представления:
[ \varphi, ]
оператор переносится:
[ \boxed{ P' = \varphi \circ P \circ \varphi^{-1}. } ]
Следовательно, конкретные обозначения не являются фундаментальными.
Для произвольного алфавита, на котором прямое парное сопряжение отсутствует, добавляется структурная координата:
[ \varepsilon\in{0,1}. ]
Тогда:
[ \boxed{ \Sigma^n\times{0,1} } ]
всегда допускает фиксированно-точечно свободную инволюцию:
[ \widehat P. ]
Таким образом, дополнительная бинарная координата обеспечивает универсальную форму Правила для произвольного знакового носителя.
Пусть:
[ \Sigma ]
— произвольный знаковый алфавит, а:
[ n\ge1 ]
— произвольная конечная длина последовательности.
Тогда справедливы следующие утверждения.
Правило не требует чётности (n).
Оно может действовать при:
[ \boxed{ n=1,2,3,\ldots } ]
включая чётные и нечётные длины.
Если на (\Sigma) существует фиксированно-точечно свободная инволюция:
[ C_{\Sigma}, ]
то:
[ \boxed{ P{\Sigma}(X) = \begin{cases} R(X), & X\neq R(X),\[4pt] C{\Sigma}(X), & X=R(X) \end{cases} } ]
является инволюцией без неподвижных точек на:
[ \Sigma^n. ]
Любой конечный чётный упорядоченный алфавит допускает каноническое сопряжение:
[ \boxed{ C{\Sigma}(a_i) = a{q-1-i}. } ]
Нечётный конечный алфавит не запрещён.
Однако полный класс:
[ \Sigma^n ]
имеет нечётную мощность:
[ q^n, ]
поэтому без дополнительной структуры невозможно полностью разбить весь класс исключительно на двухэлементные орбиты без неподвижных точек.
Для любого алфавита независимо от его мощности пространство:
[ \boxed{ \Sigma^n\times{0,1} } ]
допускает фиксированно-точечно свободную инволюцию:
[ \boxed{ \widehat P. } ]
Следовательно, Правило может быть реализовано для любого знакового алфавита либо непосредственно, либо на расширенном структурном пространстве.
Теорема доказана.
Пусть объект языка имеет точное обратимое представление:
[ E(X) ]
в знаковом пространстве.
Если образ допустимых объектов замкнут относительно партнёрского оператора, Правило переносится непосредственно:
[ \boxed{ P_{\mathcal L} = E^{-1} \circ P \circ E. } ]
Если замкнутость отсутствует, Правило всё равно действует на знаковом носителе.
Следовательно, оно структурно применимо к:
естественному языку; формальному языку; языку программирования; логическому языку; математической записи; операторным системам; произвольным токенизированным структурам.
При этом сохранение семантической или синтаксической допустимости является отдельным условием.
Настоящим расширением устанавливаются следующие результаты.
[ \boxed{ \text{инволюция}
[ \boxed{ n\text{ может быть чётным или нечётным}. } ]
[ \boxed{ P{\Sigma}^2=\operatorname{id}, \qquad P{\Sigma}(X)\neq X. } ]
Каноническое сопряжение существует по рангу.
Ограничена не длина последовательности, а возможность полного двухэлементного разбиения нечётного конечного множества без дополнительной структуры.
[ \boxed{ \Sigma^n\times{0,1} } ]
работает для произвольного алфавита.
[ \boxed{ P' = \varphi P\varphi^{-1}. } ]
Внутренняя применимость определяется замкнутостью:
[ \boxed{ P(L)=L. } ]
Правило применимо к его точному знаковому представлению.
[ \boxed{ Pk = \operatorname{Decode}_k \circ P{\text{carrier}} \circ \operatorname{Encode}_k. } ]
Универсальность Правила не означает автоматически:
семантическую эквивалентность партнёров; грамматическую правильность партнёра; сохранение значения текста; сохранение истинности формулы; сохранение поведения программы; сохранение синтаксической допустимости; автоматическую замкнутость любого языка; автоматическую замкнутость любого высокоуровневого носителя; универсальное сжатие произвольной информации.
Эти свойства требуют дополнительных условий.
Следовательно:
[ \boxed{ \text{универсальность операторной структуры} } ]
не следует смешивать с:
[ \boxed{ \text{универсальностью интерпретации}. } ]
Теорема универсальности Правила симметричных потоков Н.А. Тенетко.
Пусть имеется произвольная знаковая система и произвольный класс конечной длины:
[ n\ge1. ]
Чётность длины последовательности не ограничивает применение Правила:
[ \boxed{ n=1,2,3,\ldots } ]
являются допустимыми классами.
Если на знаковом носителе существует фиксированно-точечно свободная инволюция сопряжения:
[ C_{\Sigma}, ]
то:
[ \boxed{ P{\Sigma}(X) = \begin{cases} R(X), & X\neq R(X),\[4pt] C{\Sigma}(X), & X=R(X) \end{cases} } ]
является фиксированно-точечно свободной инволюцией:
[ \boxed{ P_{\Sigma}^2 = \operatorname{id}, } ]
[ \boxed{ P_{\Sigma}(X)\neq X. } ]
Следовательно, пространство разбивается на двухэлементные симметричные орбиты:
[ \boxed{ {X,P_{\Sigma}(X)}. } ]
Для любого конечного чётного упорядоченного алфавита такое сопряжение существует канонически.
Для конечного нечётного алфавита невозможность прямого полного двухэлементного разбиения всего класса является следствием нечётной мощности:
[ q^n, ]
а не нечётности длины последовательности.
Нечётный алфавит при этом не исключается из системы.
Для него, как и для любого другого алфавита, достаточно использовать расширенное пространство:
[ \boxed{ \Sigma^n\times{0,1}, } ]
на котором определяется:
[ \boxed{ \widehat P(X,\varepsilon) = \begin{cases} (R(X),\varepsilon), & X\neq R(X),\[4pt] (X,1-\varepsilon), & X=R(X). \end{cases} } ]
Тогда:
[ \boxed{ \widehat P^2=\operatorname{id}, } ]
[ \boxed{ \widehat P(X,\varepsilon) \neq (X,\varepsilon). } ]
При точной биективной перекодировке Правило сохраняется посредством сопряжения:
[ \boxed{ P' = \varphi \circ P \circ \varphi^{-1}. } ]
Следовательно, фундаментальная форма Правила не зависит от:
конкретного алфавита; конкретных символов; системы счисления; названия знаков; способа их графического представления; уровня операторной системы.
Она применима к:
бинарным последовательностям; десятичным последовательностям; системам счисления произвольного чётного основания; произвольным конечным чётным алфавитам; произвольным парным алфавитам; нечётным алфавитам через структурное расширение; формальным языкам; логическим языкам; языкам программирования; токенизированным естественным языкам; операторным алфавитам следующих уровней; произвольным точно кодируемым знаковым системам.
Для естественного и формального языка Правило гарантирует структурного партнёра на уровне знакового носителя.
Сохранение:
грамматики; синтаксиса; семантики; истинности; вычислительного поведения
является отдельным условием и не входит автоматически в доказанную структурную универсальность.
Таким образом, фундаментальная область действия Правила определяется не конкретным алфавитом:
[ {0,1}, ]
не десятичными знаками:
[ {0,\ldots,9}, ]
и не конкретным естественным или формальным языком.
Она определяется общей операторной структурой:
[ \boxed{ \text{знаковое пространство}
В этом точном смысле Правило симметричных потоков является универсальной операторной конструкцией для знаковых систем.
[ \boxed{ \begin{gathered} \text{знаковый алфавит}\ \downarrow\ \text{классы любой конечной длины}\ \downarrow\ \text{знаковые последовательности}\ \downarrow\ \text{базовая инволюция}\ \downarrow\ \text{неподвижные состояния базовой инволюции}\ \downarrow\ \text{парное разрешение неподвижных состояний}\ \downarrow\ \text{Правило симметричных потоков}\ \downarrow\ \text{двухэлементные орбиты}\ \downarrow\ \text{отношения между орбитами}\ \downarrow\ \text{мета-уровень}\ \downarrow\ \text{точное обратимое кодирование}\ \downarrow\ \text{операторы следующего уровня}\ \downarrow\ \text{то же Правило на новом носителе}. \end{gathered} } ]
Главный инвариант универсальности:
[ \boxed{ \text{меняется алфавит, длина, кодирование и уровень,} } ]
но:
[ \boxed{ \text{сохраняется форма операторного отношения}. } ]
И окончательно:
[ \boxed{ \text{знаковая система} \rightarrow \text{симметричное отношение} \rightarrow \text{новая знаковая структура} \rightarrow \text{тот же операторный принцип}. } ]