БУЛЕВА АЛГЕБРА

БУЛЕВА АЛГЕБРА

булева решетк а,- частично упорядоченное множество специального вида. Б. а. наз. дистрибутивная решетка (дистрибутивная структура), имеющая наибольший элемент 1 - единицу Б. а., наименьший элемент 0 - нуль Б. а. и содержащая вместе с каждым своим элементом хего дополнение - элемент , удовлетворяющий соотношениям


Операции обозначаются обычно знаками и , а иногда , чем подчеркивается их сходство с теоретико-множественными операциями объединения и пересечения. Вместо иногда пишут Дополнение всякого элемента в Б. а. единственно. Б. а. может определяться и иначе, а именно, как непустое множество с операциями удовлетворяющими аксиомам:


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

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

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


(пишут также ).

Всякая Б. а. есть булево кольцо с единицей относительно операций ("сложение") и ("умножение"); любое булево кольцо с единицей можно рассматривать как Б. а.

Б. а. возникли в трудах Дж. Буля [1], [2] как аппарат символич. логики. В последующем они нашли широкое применение в различных разделах математики - в теории вероятностей, топологии, функциональном анализе и др. В основе приложений Б. а. к логике лежит интерпретация элементов Б. а. как высказываний (см. Алгебра логики); при этом дополнение истолковывается как отрицание высказывания х, а операции и - как конъюнкция и дизъюнкция. К логике близка и другая область применения Б. а.- теория контактных схем. Б. а. используются при обосновании теории вероятностей. Поле событий, изучаемое в теории вероятностей, есть Б. а.; при этом неравенство означает, что событие хвлечет событие у;соответственно с этим истолковываются нуль Б. а., единица Б. а. ибулевы операции

Пример Б. а.- упорядоченная по включению система всех подмножеств к.-л. фиксированного множества Q. Такая Б. а. обозначается ; ее нулем служит пустое множество, единицей - само множество Q. Дополнение элемента есть множество ; булевы операции и совпадают соответственно с объединением и пересечением.

Вместо подмножеств множества удобно рассматривать их характеристич. функции. Система всех таких функций при естественном упорядочении оказывается Б. а., изоморфной Б. а.. Операции , истолковываются в такой Б. а. следующим образом:


Особенно важны случаи:

1)

Аарактеристич. функции подмножеств в данном случае суть "двоичные символы" вида


Их число равно . При получается двухэлементная Б. а., состоящая только из нуля и единицы.

2)

В этом случае элементами будут всевозможные функции, заданные на системе всех двоичных символов длины пи принимающие только значения 0 и 1. Их наз. булевыми функциями от пцеременных. Всякая правильно построенная формула логики высказываний определяет нек-рую булеву функцию, причем совпадение функций означает эквивалентность формул.

При нек-рых условиях множество Еэлементов Б. а. Xсамо оказывается Б. а. относительно индуцированного из X порядка. Так будет, в частности, в следующих случаях:.

а) Е - главный идеал, т. е. множество вида ; роль единицы здесь играет элемент и;

б) Е - подалгебра Б. а. X. Это означает, что из

следует . Нулем и единицей новой Б. а. служат нуль и единица исходной Б. а. Особенно важны подалгебры Б. а. ; их наз. алгебрами множеств. Всякое множество порождает нек-рую подалгебру - наименьшую подалгебру, содержащую Е.

Среди отображений Б. а. особую роль играют гомоморфизмы Б. а., то есть отображения, перестановочные с булевыми операциями. Биективный гомоморфизм Б. а. является изоморфизмом Б. а. Если Б. а. А' порождена множеством Е, то для того чтобы всякое отображение множества Ев произвольную Б. <а. допускало продолжение до гомоморфизма, необходимо и достаточно, чтобы Ебыло независимым множеством, т. е. чтобы все элементы вида


были отличны от нуля. Б. а., порожденная независимой системой, наз. свободной Б. а.

Пример свободной Б. а - рассмотренная выше алгебра булевых функций от nпеременных. Ее независимыми образующими являются функции


Теорема Стоуна: всякая Б. а. Xизоморфна нек-рой алгебре множеств, а именно, алгебре всех открыто-замкнутых множеств вполне несвязного бикомпакта , определяемого с точностью до гомеоморфизма. Этот бикомпакт наз. стоуновским бикомпактом. Гомоморфизму Б. а. X в Б. a. Yсоответствует топологич. вложение в ; подалгебре Б. а. Xсоответствует непрерывный образ бикомпакта . Стоуновский бикомпакт свободной Б. а. есть двоичный дисконтинуум.

В. а. X наз. полной, если всякое множество имеет верхнюю грань sup Eи нижнюю грань Это '-равносильно экстремальности бикомпакта (см. Экстремально несвязные пространства). Подалгебры полной Б. а., содержащие вычисленные в X грани всех своих подмножеств, наз. правильными подалгебрами. Вес Б. а. X есть наименьшая мощность вполне порождающего множества, т. е. множества, не содержащегося ни в какой правильной подалгебре, отличной от X. Если веса всех ненулевых главных идеалов совпадают, то Б. а. наз. о-днородной; такая Б. а. всегда содержит вполне порождающее независимое .множество. Другими словами, полная однородная Б. а. "натянута" на свободную Б. а. Изучение произвольной Б. а. легко сводится к изучению однородных Б. а. Неполная Б. а. может быть многими способами пополнена, т. е. вложена в качестве подалгебры в нек-рую полную Б. а.

Полная Б. а. наз. нормированной , если на ней определена действительная функция (мера), обладающая свойствами: 1) при ; 2) если при то


В теории вероятностей, где нормированные Б. а. особенно важны, обычно предполагают, что . При этом значение интерпретируется как вероятность события х. На нормированные Б. а. в основном переносится классическая теория меры и интеграла. Для нормированных Б. а. имеется полная классификация (см. [4], [5], [7]). В частности, для однородных нормированных Б. а. единственным инвариантом является вес. Не всякая Б. а. может быть нормирована. Известны различные условия существования меры, однако они далеко не исчерпывают проблемы нормируемости.

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


а для Б. а. вида совпадает с тихоновской топологией. В самом общем случае может не существовать никакой топологии, хорошо согласованной с порядком в Б. а.



Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем написать реферат

Полезное


Смотреть что такое "БУЛЕВА АЛГЕБРА" в других словарях:

  • БУЛЕВА АЛГЕБРА —     БУЛЕВА АЛГЕБРА см. Алгебра логики. Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001 …   Философская энциклопедия

  • Булева алгебра — раздел математической логики, изучающий высказывания и операции над ними. Наиболее известными операциями булевой алгебры являются: конъюнкция, дизъюнкция, импликация, эквивалентность, отрицание. По английски: Boolean algebra См. также: Логические …   Финансовый словарь

  • БУЛЕВА АЛГЕБРА — Boolean algebra От Дж.Буль английский математик 1815 1864 Раздел математической логики, изучающий высказывания и операции над ними. Наиболее известными операциями булевой алгебры являются: конъюнкция, дизъюнкция, импликация, эквивалентность,… …   Словарь бизнес-терминов

  • БУЛЕВА АЛГЕБРА — БУЛЕВА АЛГЕБРА, область математики, содержащая правила обращения с множествами, а также с логическими утверждениями типа «и», «или». Например, в Булевой алгебре выражение ху означает «х и у», а х+у это «х или у». Данный принцип широко применяется …   Научно-технический энциклопедический словарь

  • Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… …   Википедия

  • булева алгебра — Boolean algebra statusas T sritis automatika atitikmenys: angl. Boolean algebra vok. Boolesche Algebra, f rus. булева алгебра, f pranc. algèbre de Boole, f ryšiai: sinonimas – Bulio algebra …   Automatikos terminų žodynas

  • булева алгебра элементарных логических операции — — [http://slovarionline.ru/anglo russkiy slovar neftegazovoy promyishlennosti/] Тематики нефтегазовая промышленность EN Boolean algebra …   Справочник технического переводчика

  • Булева алгебра — алгебра, в которой каждая переменная может принимать одно из двух значений: «истина» или «ложь». Операции над переменными в булевой алгебре называются логическими операциями. Правила выполнения логических операций удобны для преобразования… …   Начала современного естествознания

  • БУЛЕВА АЛГЕБРА — Названная по имени ее создателя, английского математика Джорджа Буля, система операций с символами, которая использует алгебраические процедуры, но независимо от определенных математических интерпретаций. Булева логика, или калькуляция (как она… …   Толковый словарь по психологии

  • СВОБОДНАЯ БУЛЕВА АЛГЕБРА — булева алгебра, обладающая такой системой образующих, что всякое отображение, этой системы в какую либо булеву алгебру допускает продолжение до гомоморфизма. Любая булева алгебра изоморфна факторалгебре некрой С. б. а. Для любого кардинального… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»