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

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

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

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

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


Прямые произведения алгебраических систем

Прямые произведения алгебраических систем


Часто возникает необходимость, имея некоторые исходные однотипные алгебраические системы, определенным образом "распространить" их операции и отношения на декартово произведение их носителей: например, определить структуру группы (кольца, поля) на декартовом произведении носителей некоторых групп (колец, полей) или перенести структуру индуктивного упорядоченного множества на декартово произведение носителей заданных индуктивных упорядоченных множеств и т.п. Выясним, как осуществляется такой перенос операций и отношений, а также сформулируем некоторые условия, при которых все свойства исходных алгебраических систем сохраняются в их декартовом произведении.


Пусть [math]\mathcal{A}_1=(A_1,\Omega,\Pi),\ldots, \mathcal{A}_n=(A_n,\Omega,\Pi)[/math] — однотипные алгебраические системы (их сигнатуры, как и элементы этих сигнатур, обозначаются одинаково). Рассмотрим декартово произведение [math]B=A_1\times \ldots\times A_n[/math] их носителей и перенесем на [math]B[/math] операции и отношения исходной сигнатуры следующим образом.


1. Для любой m-арной [math](m\geqslant1)[/math] операции [math]\omega\in\Omega[/math] и произвольных кортежей [math]\boldsymbol{x}_i=(x_{i1},\ldots,x_{in})[/math] [math]i=\overline{1,m}[/math], положим


[math]\boldsymbol{x}_1\ldots \boldsymbol{x}_{m}\omega= (x_{11}\ldots x_{m1}\omega, \ldots, x_{1n}\ldots x_{mn}\omega).[/math]

Для любых нульарных операций [math]a_1,\ldots,a_n[/math] алгебраических систем [math]\mathcal{A}_1,\ldots,\mathcal{A}_n[/math] определим кортеж [math]\boldsymbol{a}= (a_1,\ldots,a_n)[/math] как нульарную операцию на множестве [math]B[/math].


2. Для любого s-арного отношения [math]\pi\in\Pi~(s\geqslant1)[/math] и произвольных кортежей [math]\boldsymbol{x}_i=(x_{i1},\ldots,x_{in})\in B,[/math] [math]i=\overline{1,s}[/math], положим [math](\boldsymbol{x}_1,\ldots,\boldsymbol{x}_s)\in\pi[/math] тогда и только тогда, когда [math](x_{1j},\ldots,x_{sj})\in\pi[/math] для каждого [math]j=\overline{1,n}[/math].


Полученную таким образом алгебраическую систему [math]\mathcal{B}[/math] на множестве [math]B=A_1\times\ldots\times A_n[/math] называют прямым (декартовым) произведением алгебраических систем [math]\mathcal{A}_1,\ldots,\mathcal{A}_n[/math] и обозначают [math]\mathcal{A}_1\times\ldots\times\mathcal{A}_n[/math].


В том случае, когда [math]\mathcal{A}_1=\ldots=\mathcal{A}_n=\mathcal{A}[/math], получаем n-ю декартову степень алгебраической системы [math]\mathcal{A}[/math], обозначаемую [math]\mathcal{A}^m[/math].


Замечание 4.4. Несколько особняком стоит случай [math]n=0[/math]. Как известно, нулевая декартова степень произвольного множества [math]A[/math] есть, по определению, одноэлементное множество [math]\{\lambda\}[/math] и его элемент [math]\lambda[/math] называется пустым кортежем. Тогда нулевая декартова степень [math]\mathcal{A}^0[/math] алгебраической системы [math]\mathcal{A}[/math] есть алгебраическая система [math](\{\lambda\}, \Omega, \Pi)[/math], где [math]\lambda\ldots\lambda\omega[/math] для всех [math]\omega\in\Omega[/math] и [math](\lambda,\ldots,\lambda)\in\pi[/math] для всех [math]\pi\in\Pi[/math].


Итак, операции и отношения исходных однотипных алгебраических систем переносятся на декартово произведение их носителей покомпонентно.




Пример 4.9. Рассмотрим алгебраическую систему [math]\mathcal{R}=(\mathbb{R}, +,\cdot,0,1,\leqslant)[/math], сигнатура которой состоит из обычных операций сложения, умножения (бинарные операции), 0 и 1 (нульарные операции) и естественного числового порядка (бинарное отношение). Распространим эти операции и отношения на декартов квадрат [math]\mathbb{R}\times \mathbb{R}=\mathbb{R}^2[/math] множества действительных чисел согласно определению, данному выше.


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


[math](a_1,b_1)+(a_2,b_2)=(a_1+a_2,b_1+b_2),[/math]
а умножение — равенством
[math](a_1,b_1)\cdot(a_2,b_2)=(a_1\cdot a_2,b_1\cdot b_2).[/math]

При этом легко понять, что упорядоченная пара [math](0,0)[/math] будет нейтральным элементом по сложению в [math]\mathbb{R}^2[/math], а упорядоченная пара [math](1,1)[/math] — нейтральным элементом по умножению. Кроме того, для любых действительных чисел [math]a,b[/math] будем иметь [math](a,b)\cdot (0,0)= (0,0)[/math], т.е. пара [math](0,0)[/math] играет роль нуля относительно умножения в [math]\mathbb{R}^2[/math].


Отношение порядка на множестве упорядоченных пар вводится по правилу*


[math](a_1,b_1)\leqslant (a_2,b_2)\quad \Leftrightarrow\quad (a_1 \leqslant a_2, b_1 \leqslant b_2)[/math]

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


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




Для каждого [math]i=\overline{1,n}[/math] определим проекцию [math]\operatorname{pr}_{i}\colon B\to A_i[/math], полагая [math]\operatorname{pr}_{i}(\boldsymbol{x})=x_i[/math]. Можно показать, что [math]\operatorname{pr}_{i}[/math] есть строгий гомоморфизм, называемый проектирующим гомоморфизмом.


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


Пример 4.10. Пусть [math]\mathcal{K}_1[/math] и [math]\mathcal{K}_2[/math] — поля. Их произведение [math]\mathcal{K}_1\times\mathcal{K}_2[/math] не будет полем, так как в этом произведении возникают делители нуля. В самом деле, если [math]a\in \mathcal{K}_1 \setminus\{\bold{0}\},[/math] [math]b\in \mathcal{K}_2 \setminus\{\bold{0}\}[/math], то [math](a,\bold{0})\cdot (\bold{0},b)= (\bold{0},\bold{0})[/math] — элемент, являющийся нулем произведения [math]\mathcal{K}_1\times\mathcal{K}_2[/math]. Таким образом, алгебра [math]\mathcal{K}_1\times\mathcal{K}_2[/math] будет, как нетрудно убедиться, только кольцом.


Этот пример показывает, что в декартовом произведении могут теряться некоторые свойства исходных алгебраических систем. В частности, декартово произведение полей не будет полем. Здесь уместно вспомнить о поле комплексных чисел, носителем которого является декартов квадрат [math]\mathbb{R}^2[/math]. Но если сложение в этом поле определяется покомпонентно, т.е. по правилам декартова произведения алгебр, то умножение введено по более сложному правилу, позволяющему сохранить аксиомы поля.




Теорема 4.11. 1. Прямое произведение полугрупп (моноидов, групп) есть полугруппа (моноид, группа).


2. Прямое произведение полуколец (идемпотентных полуколец, колец) есть полукольцо (идемпотентное полукольцо, кольцо).


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


4. Прямое произведение (индуктивных) упорядоченных множеств есть (индуктивное) упорядоченное множество.


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


1. Если [math]\mathcal{S}_1=(S_1,\cdot)[/math] и [math]\mathcal{S}_2=(S_2,\cdot)[/math] — Две полугруппы, то, вводя на множестве [math]S_1\times S_2[/math] операцию [math]\cdot[/math] так, что для любых [math]a_1,b_1\in S_1,~ a_2,b_2\in S_2[/math] справедливо


[math](a_1,a_2)\cdot (b_1,b_2)= (a_1\cdot b_1, a_2\cdot b_2),[/math]

получим полугруппу, поскольку в силу ассоциативности операции [math]\cdot[/math] на множествах [math]S_1[/math] и [math]S_2[/math] будем иметь


[math]\begin{aligned} (a_1,a_2)\cdot \bigl((b_1,b_2)\cdot (c_1,c_2)\bigr)&= (a_1,a_2)\cdot (b_1\cdot c_1, b_2\cdot c_2)= \bigl(a_1\cdot (b_1\cdot c_1), a_2\cdot (b_2\cdot c_2)\bigr)=\\[2pt] &=\bigl((a_1,b_1)\cdot c_1, (a_2,b_2)\cdot c_2\bigr)= \bigl((a_1,a_2)\cdot (b_1, b_2)\bigr)\cdot (c_1,c_2). \end{aligned}[/math]

Если в каждой из указанных выше полугрупп существует нейтральный элемент [math]e_1[/math] и [math]e_2[/math] соответственно, то легко проверить, что упорядоченная пара [math](e_1,e_2)[/math] является нейтральным элементом по операции [math]\cdot[/math] на декартовом произведении [math]S_1\times S_2[/math].


Если же моноиды [math]\mathcal{S}_1[/math] и [math]\mathcal{S}_2[/math] суть группы, то элемент из [math]S_1\times S_2[/math], обратный к [math](a_1,a_2)[/math], равен [math](a_{1}^{-1}, a_{2}^{-1})[/math].


2. Доказательство для полукольца и кольца проводится аналогично предыдущему.


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


4. Пусть теперь [math]\mathcal{M}_1=(M_1,\leqslant)[/math] и [math]\mathcal{M}_2= (M_2, \leqslant)[/math] — индуктивные упорядоченные множества, наименьшие элементы которых суть [math]\bold{0}_1[/math] и [math]\bold{0}_2[/math].


Определяя отношение порядка [math]\leqslant[/math] на декартовом произведении [math]M_1\times M_2[/math] покомпонентно, так же как это сделано в примере 4.9, получаем, что упорядоченная пара [math](\bold{0}_1,\bold{0}_2)[/math] является на указанном произведении наименьшим элементом.


Далее, произвольной неубывающей последовательности упорядоченных пар


[math](a_1,b_1)\leqslant (a_2,b_2)\leqslant\ldots \leqslant (a_n,b_n)\leqslant\ldots[/math]

соответствуют две неубывающие последовательности

[math]a_1 \leqslant a_2 \leqslant ldots \leqslant a_n \leqslant \ldots[/math] и [math]b_1 \leqslant b_2 \leqslant ldots \leqslant b_n \leqslant \ldots[/math]

в множествах [math]M_1[/math] и [math]M_2[/math], каждая из которых имеет точную верхнюю грань — элементы [math]c_1[/math] и [math]c_2[/math]. Нетрудно показать, что упорядоченная пара [math](c_1,c_2)[/math] есть точная верхняя грань записанной выше последовательности упорядоченных пар.




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


Пусть [math]\mathcal{A}=(A,\Omega,\Pi)[/math] — некоторая алгебраическая система, а [math]X[/math] — произвольное множество. Распространим операции и отношения алгебраической системы [math]\mathcal{A}[/math] на множество [math]A^X[/math] всех отображений из [math]X[/math] в [math]A[/math].


Это осуществляется следующим образом:


1) для любого [math]n\geqslant0[/math], любой операции [math]\omega\in\Omega^{(n)}[/math] и любых отображений [math]f_1,\ldots,f_n\in A^X[/math] полагаем


[math](f_1\ldots f_n\omega)(x)= f_1(x)\ldots f_n(x)\omega\,,[/math] где [math]x\in X[/math];

тем самым определено отображение [math]f_1\ldots f_n\omega\in A^X[/math] как результат применения операции [math]\omega[/math] к отображениям [math]f_1,\ldots,f_n[/math] (в частности, для нульарной операции [math]a\in A[/math] соответствующая нульарная операция на [math]A^X[/math] есть отображение [math]f_a[/math], такое, что [math]f_a(x)=a[/math] для любого [math]x\in X[/math]);


2) для любого [math]n\geqslant1[/math], любого отношения [math]\pi\in\Pi^{(n)}[/math] и любых отображений [math]f_1,\ldots,f_n\in A^X[/math] полагаем


[math](f_1,\ldots,f_n)\in\pi\quad \Leftrightarrow\quad (\forall x\in X)\bigl((f_1(x), \ldots, f_n(x))\in \pi\bigr).[/math]

Построенную таким образом алгебраическую систему с носителем [math]A^X[/math], однотипную [math]\mathcal{A}[/math], обозначим [math]\mathcal{A}^X[/math]. Докажем, что в случае конечного множества [math]X=\{1,\ldots,n\}[/math] алгебраическая система [math]\mathcal{A}^X[/math] изоморфна алгебраической системе [math]\mathcal{A}^n[/math].


Действительно, в этом случае каждому отображению [math]f\in A^X[/math] можно однозначно сопоставить кортеж [math](a_1,\ldots,a_n)\in A^n[/math] таким образом, что [math]a_i=f(i),~ i=\overline{1,n}[/math]. В то же время каждый кортеж [math](a_1,\ldots,a_n)\in A^n[/math] однозначно определяет отображение [math]f\in A^X[/math], для которого [math]f(i)=a_i,~ i=\overline{1,n}[/math]. Тем самым построена биекция [math]\varphi[/math] множества [math]A^X[/math] на множество [math]A^n[/math]. Докажем, что она "сохраняет" операции и отношения (в том смысле, как это определено выше). Для произвольных отображений [math]f_1,\ldots,f_m\in A^X[/math] и произвольной операции [math]\omega\in\Omega^{(m)}[/math] имеем (что и требовалось доказать)


[math]\begin{aligned} \varphi(f_1\ldots f_m\omega)&= \bigl((f_1\ldots f_m\omega)(1),\ldots (f_1\ldots f_m\omega)(n)\bigr)=\\[2pt] &= \bigl(f_1(1)\ldots f_m(1)\omega,\ldots, f_1(n)\ldots f_m(n)\omega \bigr)=\\[2pt] &=\bigl(f_1(1),\ldots, f_1(n)\bigr)\ldots \bigl(f_m(1), \ldots, f_m(n) \bigr)\omega=\\[2pt] &=\varphi(f_1)\ldots\varphi(f_m)\omega\,,\end{aligned}[/math]

"Сохранение" отношений доказывается аналогично. Тем самым изоморфизм [math]\mathcal{A}^X\cong \mathcal{A}^n[/math] доказан полностью.




Пример 4.11. а. Для аддитивной группы действительных чисел на множестве всех функций из [math]\mathbb{R}[/math] в [math]\mathbb{R}[/math] по приведенной выше конструкции строится аддитивнак группа функций из [math]\mathbb{R}[/math] в [math]\mathbb{R}[/math]. В этой группе сумма функций [math]f[/math] и [math]g[/math] есть функция [math]f+g[/math], такая, что для любого [math]x\in\mathbb{R}[/math] выполняется равенство [math](f+g)(x)= f(x)+g(x)[/math]. Функция, противоположная к [math]f[/math], определяется так: [math](-f)(x)= -f(x)[/math]. Нейтральный элемент есть нулевая функция [math]\bold{0}[/math], т.е. для любого [math]x\in\mathbb{R}[/math] имеет место [math]\bold{0}(x)=0[/math].


Аналогично можно построить кольцо функций из [math]\mathbb{R}[/math] в [math]\mathbb{R}[/math] на базе кольца действительных чисел. Несмотря на то что действительные числа образуют поле, кольцо функций, как можно легко показать, полем не будет. Этот "отрицательный" результат вполне соответствует ранее доказанному результату, согласно которому прямое произведение полей не является полем.


б. Если [math]\mathcal{A}=(A,\leqslant)[/math] — упорядоченное множество, то упорядоченное множество всех функций из [math]X[/math] в [math]A[/math] строится так: полагаем [math]f\leqslant g[/math] тогда и только тогда, когда [math]f(x)\leqslant g(x)[/math] для любого [math]x\in X[/math]. Если порядок на [math]A[/math] индуктивен, то и порядок на [math]A^X[/math] индуктивен, что доказывается так же, как в пункте 4 теоремы 4.11.


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


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

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