Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]


Замкнутые полукольца

Замкнутые полукольца


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


Определение 3.2. Полукольцо \mathcal{S}=(S,+,\cdot,\bold{0},\bold{1}) называют замкнутым, если:


1) оно идемпотейтно;

2) любая последовательность элементов множества S имеет точную верхнюю грань относительно естественного порядка \leqslant этого идемпотентного полукольца;

3) операция умножения полукольца S сохраняет точные верхние грани последовательностей, т.е. для любого a\in S и любой последовательности X=\{x_n\}_{n\in\mathbb{N}} элементов множества S имеем


a\sup X=\sup aX,\qquad (\sup X)a=\sup(Xa).

Замечание 3.1. Условие 3 определения 3.2 можно сформулировать иначе и говорить о сохранении точной верхней грани любого не более чем счетного подмножества множества S. Однако в дальнейшем такие подмножества часто будут строиться как множества элементов некоторых последовательностей.


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




Теорема 3.2. Любое конечное идемпотентное полукольцо замкнуто.


Поскольку носитель S идемпотентного полукольца \mathcal{S}= (S,+,\cdot, \bold{0}, \bold{1}) есть конечное множество, то множество элементов любой последовательности в этом полукольце конечно. Для нахождения точной верхней грани такой последовательности нужно найти точную верхнюю грань множества P=\{p_1, \ldots, p_n\} ее членов, т.е., согласно теореме 3.1, вычислить некоторую конечную сумму, которая всегда существует. Таким образом, в конечном идемпотентном полукольце любая последовательность имеет точную верхнюю грань.


Условия сохранения точных верхних граней имеют вид


\begin{aligned}a(p_1+\ldots+p_n)&= ap_1+\ldots+ap_n\,,\\[2pt] (p_1+\ldots+p_n)a&= p_1a+\ldots+p_na\,. \end{aligned}

и выполняются в силу аксиом полукольца. Таким образом, полукольцо \mathcal{S} замкнуто.




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


В силу этого в замкнутом полукольце естественно точную верхнюю грань последовательности \{x_n\}_{n\in\mathbb{N}} называть суммой элементов последовательности, полагая, по определению,


\sum\limits_{n=1}^{\infty}= \sup\{x_n\colon\, n\in\mathbb{N}\}.
(3.2)

Согласно условию 2 определения 3.2, всегда \textstyle{\sum\limits_{n=1}^{\infty}x_n} есть элемент множества S. Иногда, если это не приводит к недоразумению, "пределы суммирования" будем опускать и писать просто \textstyle{\sum x_n}. Также будем использовать обозначение \textstyle{\mathop{\sum\limits_{n\in\mathbb{N}}x_n}\limits^{.}}. Подчеркивая, что в (3.2) множество элементов x_n в общем случае бесконечно, будем сумму, стоящую в левой части (3.2), называть бесконечной суммой. Заметим, что в частных случаях бесконечная сумма может свестись к конечной (если множество всех элементов последовательности \{x_n\} конечно).


Итак, согласно определению 3.2, замкнутое полукольцо является индуктивным упорядоченным множеством, в котором наименьшим элементом служит нуль полукольца, точной верхней гранью произвольной (в частности, неубывающей) последовательности \{x_n\}_{n\in \mathbb{N}} является бесконечная сумма \textstyle{\sum x_n}, причем операция умножения на произвольный фиксированный элемент а непрерывна в смысле определения 1.5, поскольку, согласно определению 3.2, сохраняет точные верхние грани. Заметим, что это свойство умножения в замкнутом полукольце можно рассматривать как аналог дистрибутивности (седьмой аксиомы полукольца, см. определение 3.1) для бесконечной суммы:


a\sum x_n=\sum ax_n и \left(\sum x_n\right)a= \sum x_na.

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


Действительно, для последовательности \{x_n\}_{n\in \mathbb{N}} такой, что x_n=a для любого n\in \mathbb{N}, имеем \textstyle{\sum x_n= \sup\{a\}=a}, т.е. бесконечная сумма, все слагаемые которой одинаковы и равны некоторому a, равна a. В этом состоит свойство идемпотентности бесконечной суммы (или, как иногда говорят, свойство бесконечной идемпотентности).


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


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


Для некоторой последовательности \{x_n\}_{n\in \mathbb{N}} элементов замкнутого полукольца и произвольной последовательности \{n_k\}_{k\in \mathbb{N}} натуральных чисел образуем последовательность \{s_k\}_{k\in \mathbb{N}}, где


\begin{aligned}&s_1= x_1+\ldots+x_{n_1},\\ &s_2= x_{n_1+1}+\ldots+x_{n_1+n_2},\\ &\cdots \cdots \cdots \cdots \cdots \cdots \cdots\\ &s_k= x_{n_{k-1}+1}+\ldots+x_{n_{k-1}+n_k},\\ &\cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{aligned}

Тогда бесконечная ассоциативность состоит в выполнении для любой последовательности \{x_n\}_{n\in \mathbb{N}} равенства


\sum\limits_{n\in \mathbb{N}}x_n= \sum\limits_{k\in \mathbb{N}}s_k\,.
(3.3)

Свойство бесконечной ассоциативности (3.3) удобнее не доказывать непосредственно, а вывести из более общих результатов. Один из них касается характеристики замкнутых полуколец в терминах точных верхних граней счетных подмножеств.




Теорема 3.3. Идемпотентное полукольцо \mathcal{S}= (S,+,\cdot, \bold{0}, \bold{1}) замкнуто тогда и только тогда, когда любое счетное подмножество X\subseteq S имеет точную верхнюю грань и для любого a\in S верны равенства


a\cdot\sup X=\sup(a\cdot X),\qquad (\sup X)\cdot a=\sup(X\cdot a).

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


Теорема 3.4. Пусть \mathcal{S}= (S,+,\cdot, \bold{0}, \bold{1}) — замкнутое полукольцо, X — не более чем счетное подмножество множества S, a (B_i)_{i\in I} — не более чем счетное семейство подмножеств множества X, такое, что объединение семейства совпадает с X, то есть \textstyle{\mathop{\bigcup\limits_{i\in I}B_i=X}\limits^{\phantom{A}^{.}}}. Тогда


\sup X=\sup\{\sup B_i,~ i\in I\}.
(3.4)

Поскольку множества X и I не более чем счетны, то, согласно определению 3.2, все точные верхние грани из (3.4) существуют и принадлежат S. Обозначим левую часть равенства (3.4) через a, а правую — через b.


Так как a есть точная верхняя грань множества X, то для любого x\in X справедливо неравенство x\leqslant a (где \leqslant — естественный порядок идемпотентного полукольца S). В частности, для любого подмножества B_i и любого его элемента y получаем y\leqslant a, откуда следует, что элемент a есть верхняя грань каждого подмножества B_i. Значит, этот элемент не меньше чем точная верхняя грань каждого из этих подмножеств, т.е. для любого i\in I имеем a\geqslant\sup B_i. Последнее означает, что a есть верхняя грань множества всех точных верхних граней \sup B_i,~i\in I, то есть a\geqslant b.


В то же время, поскольку объединение всех подмножеств B_i равно X, для любого x\in X найдется такое i\in I, что x\in B_i. Поэтому x \leqslant\sup B_i\leqslant b, это означает, что элемент b является верхней гранью множества X, и тогда b\geqslant a, так как а есть точная верхняя грань X.


Итак, a\geqslant b и b\geqslant a, откуда a=b, и равенство (3.4) доказано.




Следствие 3.1. Если семейство подмножеств из теоремы 3.4 (B_i)_{i\in I} конечно, т.е. I=\{1,2,\ldots,n\}, то


\sup X=\sum\limits_{i=1}^{n}B_i\,.

Следствие 3.2. Пусть \{x_n\}_{n\in\mathbb{N}} — произвольная последовательность элементов замкнутого полукольца и (N_i)_{i\in I} — не более чем счетное семейство подмножеств \mathbb{N}, такое, что \textstyle{\mathop{\bigcup\limits_{i\in I}N_i= \mathbb{N}}\limits^{\phantom{A}^{.}}}. Тогда


\sum\limits_{n\in\mathbb{N}}x_n= \sum\limits_{i\in I}s_i\,., где s_i=\sum\limits_{m\in N_i}x_m.

В частности, из следствия 3.2 при условии, что множества N_i,~i\in I, попарно не пересекаются, получаем свойство ассоциативности бесконечной суммы (3.3). Отсюда же при N_1=\{1\}, N_2=\{1;2\} и т.д., т.е. при определении для любого натурального k множества N_k в виде N_k= N_{k-1}\cup \{k\}, получаем равенство


\sum\limits_{n\in\mathbb{N}}x_n= \sum\limits_{n\in\mathbb{N}}(x_1+x_2+\ldots+x_k).
(3.6)

т.е. точная верхняя грань последовательности \{x_n\}_{n\in\mathbb{N}} равна точной верхней грани последовательности частичных сумм \{s_k\}_{k\in\mathbb{N}}, где s_k=x_1+\ldots+x_k.


Пусть \{x_n\}_{n\in\mathbb{N}} и \{y_m\}_{m\in\mathbb{N}} — произвольные последовательности в замкнутом полукольце \mathcal{S}. Образуем последовательность, членами которой являются все произведения x_ny_n при независимом пробегании индексами n и m множества натуральных чисел. Эту последовательность будем записывать как \{x_ny_m\}_{n,m\in\mathbb{N}}, а ее точную верхнюю грань обозначим как \textstyle{\mathop{\sum\limits_{n,m\in \mathbb{N}} x_n y_m}\limits^{\phantom{A}^{.}}}.




Теорема 3.5. В любом замкнутом полукольце верно тождество


\sum\limits_{n,m\in \mathbb{N}} x_n y_m= \Bigl(\sum\limits_{n\in \mathbb{N}}x_n \Bigr)\cdot \Bigl(\sum\limits_{m\in \mathbb{N}}y_m\Bigr).

Ввиду непрерывности умножения в замкнутом полукольце правую часть тождества (3.7) можно переписать в виде


\Bigl(\sum\limits_{n\in \mathbb{N}}x_n \Bigr)\cdot \Bigl(\sum\limits_{m\in \mathbb{N}}y_m\Bigr)= \sum\limits_{m\in \mathbb{N}} \Bigl(\sum\limits_{n\in \mathbb{N}}x_n\Bigr)y_m\,.

Еще раз используя непрерывность умножения и внося сомножитель y_m под знак внутренней суммы, получаем


\sum\limits_{m\in \mathbb{N}} \Bigl(\sum\limits_{n\in \mathbb{N}}x_n\Bigr)y_m= \sum\limits_{m\in \mathbb{N}} \Bigl(\sum\limits_{n\in \mathbb{N}}x_n y_m \Bigr).

В правой части последнего равенства каждое слагаемое внешней суммы (по m) есть точная верхняя грань подпоследовательности \{x_ny_m\}_{n\in\mathbb{N}} и фиксированном m. Поскольку все эти подпоследовательности в совокупности дают всю последовательность \{x_ny_m\}_{n,m\in\mathbb{N}}, то, согласно следствию 3.2, получаем


\sum\limits_{m\in \mathbb{N}} \Bigl(\sum\limits_{n\in \mathbb{N}}x_n y_m \Bigr)= \sum\limits_{n,m\in \mathbb{N}}x_n y_m\,,

что и доказывает тождество (3.7).




Связь между конечной и бесконечной суммами


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


Пусть \{x_n\}_{n\in\mathbb{N}} и \{y_n\}_{n\in\mathbb{N}} — произвольные последовательности в замкнутом полукольце \mathcal{S}. Образуем последовательность \{x_n+y_n\}_{n\in\mathbb{N}}, называемую суммой исходных последовательностей.


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


\sum(x_n+y_n)= \sum x_n+\sum y_n\,.

Обозначим через X множество всех членов последовательности \{x_n\}_{n\in \mathbb{N}}, а через Y — множество всех членов последовательности \{y_n\}_{n\in \mathbb{N}}. В силу следствия 3.2


\sup(X\cup Y)= \sup X+\sup Y= \sum x_n+\sum y_n\,.
Осталось тогда доказать, что
\sum(x_n+y_n)= \sup(X\cup Y).
(3.9)

Обозначим через a левую, а через b правую часть доказываемого равенства (3.9). Для любого натурального n имеем a \geqslant x_n+y_n. Согласно теореме 3.1, x_n+y_n\geqslant x_n и x_n+y_n\geqslant y_n. Следовательно, для любого n выполняются неравенства a\geqslant x_n и a\geqslant y_n, то есть a\geqslant u для любого u\in X\cup Y. Таким образом, элемент a является верхней гранью множества X\cup Y, откуда a \geqslant b.


В то же время элемент b не меньше любого из элементов множества X\cup Y, и, стало быть, для любого натурального n имеет место b\geqslant x_n и b\geqslant y_n, то есть b \geqslant \sup\{x_n,y_n\}= x_n+y_n. Это значит, что b есть верхняя грань последовательности \{x_n+y_n\}_{n\in \mathbb{N}}, а потому b\geqslant a.


Итак, a=b, и равенство (3.9) доказано.




Если в (3.8) y_n=a для всех n, то получаем следствие.


Следствие 3.3. Для любой последовательности \{x_n\}_{n\in \mathbb{N}} элементов замкнутого полукольца и любого элемента a этого полукольца выполняется равенство


a+\sum x_n= \sum(a+x_n).
(3.10)

Тождество (3.10) можно рассматривать как свойство непрерывности операции сложения в замкнутом полукольце. Это свойство совершенно аналогично свойству непрерывности операции умножения, которое имеет место по определению.


Одним из важнейших понятий в замкнутых полукольцах является понятие итерации (или замыкания) элемента замкнутого полукольца. Итерация x^{\ast} элемента x определяется как точная верхняя грань последовательности всех степеней элемента x, то есть


x^{\ast}= \sum\limits_{n=0}^{\infty}x^n, где, по определению, x^0=1, а x^n=x^{n-1}x,~ n=1,2,\ldots.



Пример 3.5. а. Из теоремы 3.2 сразу получаем, что идемпотентное полукольцо \mathcal{B} (см. пример 3.2) замкнуто, причем точная верхняя грань любой последовательности элементов этого полукольца равна 1, если хотя бы один ее член равен 1, и равна 0 в противном случае. В частности, итерация любого элемента полукольца \mathcal{B} равна 1. Для 1^{\ast} это очевидно, а для 0^{\ast} имеем


0^{\ast}= 0^0+0^1+\ldots+0^k+\ldots= 1+0+\ldots+0+\ldots=1.

б. В идемпотентном полукольце \mathcal{R}^{+} (см. пример 3.1) любая последовательность есть последовательность неотрицательных действительных чисел. Такая последовательность ограничена снизу и, как известно из курса математического анализа, имеет точную нижнюю грань относительно естественного числового порядка, которая, согласно примеру 3.4, представляет собой точную верхнюю грань относительно естественного порядка идемпотентного полукольца \mathcal{R}^{+}. Напомним, что этот порядок является двойственным к естественному числовому порядку.


Итак, для любой последовательности x_n элементов полукольца \mathcal{R}^{+} точная верхняя грань существует. Непрерывность операции умножения в этом полукольце также можно доказать, опираясь на естественный числовой порядок, для которого она эквивалентна выполнению равенства


a+\inf X=\inf X_{a}\,,
(3.11)

где a — неотрицательное действительное число, а X (соответственно X_a) — множество элементов последовательности x_n (соответственно x_n+a). Равенство (3.11) следует из известных результатов математического анализа.


Таким образом, рассматриваемое идемпотентное полукольцо \mathcal{R}^{+} является замкнутым.


Итерация x^{\ast} элемента x в полукольце \mathcal{R}^{+} есть точная верхняя грань последовательности степеней элемента x. Поскольку в этом полукольце операция умножения определена как операция сложения действительных чисел, то x^0=0, так как число 0 есть единица полукольца \mathcal{R}^{+}. Далее, x^2=x+x=2x,\ldots x^n=nx. Очевидно, что для каждого n\geqslant 0 выполняется неравенство x^n\geqslant 0 в смысле естественного числового порядка. Таким образом, число 0 есть наименьший в смысле естественного числового порядка член последовательности \{x_n\}_{n\in \mathbb{N}} и, следовательно, \inf\{x_n\}_{n\in \mathbb{N}}=0. Переходя к двойственному порядку — естественному порядку полукольца \mathcal{R}^{+}, получим, что число 0 является точной верхней гранью последовательности \{x_n\}_{n\in \mathbb{N}}, то есть x^n=0. Таким образом, в полукольце \mathcal{R}^{+} итерация произвольного элемента также равна единице полукольца, т.е. числу 0.


в. Замкнутость идемпотентного полукольца \mathcal{S}_A (cm. пример З.З.б) можно обосновать следующим образом. Отношение естественного порядка этого полукольца — это отношение включения (см. пример 3.4). Рассмотрим произвольную последовательность подмножеств B_1,\ldots,B_n,\ldots множества A. В данном полукольце бесконечная сумма есть объединение последовательности подмножеств множества A.


Докажем, что объединение \textstyle{\mathop{B=\bigcup\limits_{n\in \mathbb{N}}B_n}\limits^{\phantom{A}^{.}}} и есть \sup B_n. Очевидно, что для каждого i справедливо включение B_i\subseteq B, т.е. объединение есть верхняя грань последовательности \{B_n\}_{n\in\mathbb{N}}. Покажем, что B будет точной верхней гранью. Рассмотрим произвольную верхнюю грань C последовательности B_n. Тогда B_n\subseteq C для каждого n\in\mathbb{N} (см. 1.5) и поэтому


C\cup B= C\cup \Bigl(\bigcup_{n\in \mathbb{N}}B_n\Bigr)= \bigcup_{n\in \mathbb{N}}(C\cup B_n)= C,

то есть B\subseteq C. Следовательно, \textstyle{\mathop{B=\bigcup\limits_{n\in \mathbb{N}}B_n= \sup B_n}\limits^{\phantom{A}^{.}}}.


Непрерывность умножения полукольца \mathcal{S}_A, в качестве которого взято пересечение множеств, эквивалентна тождеству


C\cap \Bigl(\bigcup_{n\in \mathbb{N}}B_n\Bigr)= \bigcup_{n\in \mathbb{N}}(C\cup B_n)

(дистрибутивности пересечения относительно произвольного объединения, см. 1.5). В этом полукольце умножение — это пересечение множеств. Поэтому любая положительная степень множества X есть само X. Нулевая же степень X^0 равна единице полукольца, т.е. множеству A. Поэтому итерация X^{\ast} равна


X^{\ast}= X^0\cup X\cup \ldots\cup X^n\cup \ldots= X^0\cup X= A\cup X=A,

то есть также равна единице полукольца.


г. Рассмотрим идемпотентное полукольцо \mathcal{R}_A (см. пример З.З.в) бинарных отношений на множестве A. Можно доказать, что точной верхней гранью любой последовательности отношений, как и в полукольце \mathcal{S}_A, служит объединение элементов этой последовательности (см. пример 3.4).


Аналогично доказательству дистрибутивности композиции бинарных отношений на множестве относительно конечного объединения можно доказать, что для любых бинарных отношений \rho и \sigma_n на множестве A справедливы тождества


\rho\circ \bigcup_{n\geqslant1}\sigma_{n}= \bigcup_{n\geqslant1} (\rho\circ \sigma_n),\qquad \Bigl(\bigcup_{n\geqslant1}\sigma_{n}\Bigr)\circ\rho= \bigcup_{n\geqslant1} (\sigma\circ\rho).

Таким образом, идемпотентное полукольцо \mathcal{R}_A замкнутое. Итерация бинарного отношения \rho есть


\rho^{\ast}= \bigcup_{n\geqslant1}\rho^n= \operatorname{id}A\cup \bigcup_{n\geqslant1} \rho^n,

где \rho^n,~ n\geqslant1, — n-кратная композиция \rho с самим собой: \mathop{\rho^n= \underbrace{\rho\circ\ldots\circ\rho}_{n~\text{times}}}\limits^{\phantom{A}^{{}^{{}^{.}}}}. Как видно, в общем случае \rho^{\ast}\ne \operatorname{id}A, т.е. в n раз этом полукольце итерация элемента, вообще говоря, не равна единице полукольца.




Выше было показано, что всякое замкнутое полукольцо является индуктивным упорядоченным множеством. Следовательно, согласно теореме 1.7, любое непрерывное отображение f замкнутого полукольца в себя имеет наименьшую неподвижную точку, т.е. в любом замкнутом полукольце всякое уравнение вида x=f(x), где f — непрерывное отображение носителя этого полукольца в себя, имеет наименьшее решение.


Особенно важными для приложений являются линейные уравнения в замкнутом полукольце, имеющие вид


x=a\cdot x+b
(3.12)
или
x=x\cdot a+b.
(3.13)

В силу непрерывности операций сложения полукольца (см. тождество (3.10)) и умножения полукольца (см. определение 3.2) правые части уравнений (3.12) и (3.13) есть непрерывные отображения. Поэтому, согласно теореме 1.7 о неподвижной точке, существуют наименьшие решения этих уравнений.




Теорема 3.7. Наименьшими решениями уравнений (3.12) и (3.13) в замкнутых полукольцах являются соответственно


x=a^{\ast}\cdot b
(3.14)
и, где a^{\ast} — итерация элемента a,
x=b\cdot a^{\ast},
(3.15)

Используя формулу (1.8) для вычисления наименьшей неподвижной точки и записывая sup в случае замкнутого полукольца как бесконечную сумму, для уравнения (3.14) получаем


x=\sum\limits_{n=0}^{\infty}f^n(\bold{0}),

где \bold{0} — нуль полукольца, а f(x)=ax+b. Учитывая, что


\begin{aligned}&f^0(\bold{0})=\bold{0},\\ &f^1(\bold{0})=b,\\ &f^2(\bold{0})= ab+ b=(a+\bold{1})b,\\ &\cdots\cdots\cdots\cdots\cdots\\ &f^n(\bold{0})= (a^{n-1}+\ldots+ a^2+ a+ \bold{1})b, \end{aligned}
получаем
\sum\limits_{n=1}^{\infty}f^n(\bold{0})= \sum\limits_{n=1}^{\infty}(\bold{1}+ a+\ldots+a^{n-1})b\,.

Используя непрерывность умножения, вынесем b (вправо) за знак бесконечной суммы и получим


\sum\limits_{n=1}^{\infty}(\bold{1}+ a+\ldots+a^{n-1})b= \Bigl(\sum\limits_{n=1}^{\infty}(\bold{1}+ a+\ldots+a^{n-1})\Bigr)b\,.

Сумма \bold{1}+ a+\ldots+a^{n-1} есть частичная сумма последовательности \{a^n\}_{n\geqslant0}. Используя равенство (3.6), можем написать


\sum\limits_{n=1}^{\infty}(\bold{1}+ a+\ldots+a^{n-1})= \sum\limits_{n=0}^{\infty}a^n= a^{\ast}. Окончательно получаем \sum\limits_{n=1}^{\infty}f^n(\bold{0})=a^{\ast}b.

Аналогично доказывается равенство (3.15).




Формулы (3.14) и (3.15) дают именно наименьшие решения уравнений (3.12) и (3.13), а не все возможные их решения. Приведем в этой связи простой пример. В полукольце \mathcal{B} (см. пример 3.2) можно определить только два уравнения: x=x+1 и x=x+0. Второе уравнение переписывается совсем просто: x=x; его решением является любой элемент полукольца — как 0, так и 1. Но по формуле (3.14) получим x=1^{\ast}0=0, что, как и доказано выше, есть наименьшее решение уравнения.


Заметим еще, что в полукольце, в котором итерация любого элемента равна единице полукольца, формулы (3.14) и (3.15) дают один и тот же результат: x=b, т.е. в данном случае наименьшее решение совпадает со свободным членом уравнения.

Математический форум (помощь с решением задач, обсуждение вопросов по математике).
Кнопка "Поделиться"
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.

Часовой пояс: UTC + 3 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved