"
0
C
F
G
H
K
L
N
P
S
T
W
Z
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Э
Ю
Я
БРАУЭРА РЕШЕТКАЗначение БРАУЭРА РЕШЕТКА в математической энциклопедии: Брауэра структура, Брауэра алгебра, - дистрибутивная решетка, в к-рой для каждой пары элементов а, b существует элемент, наз. псевдоразностью (часто обозначаемый через ), являющийся наименьшим среди элементов ссо свойством . Возможно эквивалентное описание Б. р. как многообразия универсальных алгебр с тремя бинарными операциями удовлетворяющими нек-рым аксиомам. Термин "Брауэра алгебра" был введен ввиду наличия связи Б. р. с интуиционистской логикой Брауэра (L. Е. J. Brouwer). Чаще-.вместо Б. р. используются так наз. псевдобулевы алгебры, теория к-рых двойственна тебрии Б. р. Любая Б. р. превращается в псевдобулеву алгебру при введении нового порядка , новых объединений и пересечений по формулам и операции относительного псевдодополнения , совпадающей с псевдоразностью . Обратно, любая псевдобулева алгебра может быть-рассматриваема как Б. р. Иногда термин "Б. р." используется для псевдобулевых алгебр (см., напр., [2]). Лит.:[1] Мас Кinsеу J. С. С., Таrski A., "Ann. Math.", 1944, v. 45, p. 141-91; [2] Биркгоф Г., Теория структур, пер. с англ., М., 1952. В. А. Янков. |
|
|