Статьи Соросовского Образовательного журнала в текстовом формате
Обсуждается классическая алгебраическая структура - булева алгебра и ее значение для современной математической науки. Показано, что булевы алгебры можно рассматривать как мост между различными математическими дисциплинами. Булевозначные модели оказались удачным инструментом для доказательства независимости в теории множеств и одновременно основой для развития новой математической теории - булевозначного анализа.
БУЛЕВЫ АЛГЕБРЫИ БУЛЕВОЗНАЧНЫЕ МОДЕЛИ
А. Г. КУСРАЕВ
Северо-Осетинский государственный университет
им. К.Л. Хетагурова, Владикавказ
ВВЕДЕНИЕ
Теория булевых алгебр берет свое начало от классического сочинения Джорджа Буля "Исследование законов мысли, на которых основаны математические теории логики и теории вероятностей", изданного в 1854 году. Цель и задачи этой книги автор сформулировал так: "В предлагаемом вниманию читателей трактате мы намереваемся исследовать фундаментальные законы тех операций, которые совершает разум в процессе рассуждений, дабы выразить их в символическом языке исчисления и на этой основе построить науку логики и ее метод". Следуя такой установке, Дж. Буль провел по существу алгебраизацию той логической системы, которая лежит в основе классических математических рассуждений. Таким образом возникла алгебраическая структура, именуемая ныне алгеброй Буля или булевой алгеброй.
Булевы алгебры имеют многочисленные связи с многими важнейшими направлениями математической науки. Общетеоретическое и прикладное значение булевых алгебр определяется той существенной ролью, которую они играют в математической логике, теории вероятностей и кибернетике. Живо и увлекательно о булевых алгебрах рассказано в книге [1] (см. также цитированную там литературу). Для первоначального знакомства с теорией множеств, булевыми алгебрами и математической логикой может послужить книга [2]. Основательное изложение теории булевых алгебр имеется в монографиях [3, 4]. Здесь мы коротко остановимся на внутриматематических применениях булевых алгебр, затронув также новый способ булевозначного моделирования, который привел к значительному прогрессу в исследованиях по логическим основаниям самой математики.
БУЛЕВЫ АЛГЕБРЫ
Множество X называют (частично) упорядоченным, если для некоторых пар его элементов x и y определено отношение порядка # так, что выполнены условия: 1) x # x (рефлексивность); 2) если x # y и y # z, то x # z (транзитивность); 3) если x # y и y # x, то x = y (антисимметричность), каковы бы ни были элементы x, y, z из X. Запись y $ x означает, что x # y.
Пусть A является частью X. Элемент x называют нижней (верхней) границей множества A, если x # y (соответственно x $ y) для всех y из A. В случае, когда элемент a входит в A и x # a для всех x из A (соответственно x $ a для всех x из A ), то говорят, что a - наибольший (соответственно наименьший) элемент множества A. Если в множестве всех нижних границ имеется наибольший элемент, то его именуют инфимумом и обозначают inf(A ). Аналогично наименьший элемент множества всех верхних границ называют супремумом и обозначают символом sup(A ). Множество A называют порядково ограниченным, если оно имеет хотя бы одну нижнюю и хотя бы одну верхнюю границы.
Упорядоченное множество X называют решеткой, если любая пара элементов x и y из X имеет как супремум, так и инфимум. При этом приняты обозначения: x ╥ y := sup {x, y } и x ╒ y := inf {x, y } (символ := означает "равняется по определению"). Решетку X называют дистрибутивной, если
(x ╥ y) ╒ z = (x ╒ z) ╥ (y ╒ z)
для любых ее трех элементов x, y и z. Допустим, что в решетке имеются наибольший элемент I и наименьший элемент O. Если для каждого элемента x существует такой элемент x*, что x ╥ x* = I и x ╒ x* = = O, то говорят, что X есть решетка с дополнениями. Элемент x* называют дополнением x, причем каждый элемент имеет единственное дополнение.
Булевой алгеброй называют дистрибутивную решетку B с дополнениями. Таким образом, в булевой алгебре имеются три операции: две двухместные операции ╥, ╒ и одна одноместная операция ( " )*. Булеву алгебру называют полной, если в ней любое множество имеет супремум и инфимум. Простейший пример булевой алгебры - двухэлементное множество 2 := {0, 1}, где 0 ? 1 и 0 # 1.
Рассмотрим теперь (ассоциативное) кольцо K с единицей, в котором каждый элемент идемпотентен: b2 := b " b = b. Тогда K называют булевым кольцом. Булево кольцо коммутативно и удовлетворяет тождеству b = - b для всех b из K. В булевом кольце K можно ввести отношение порядка: a # b в том и только том случае, когда a " b = a. Непосредственно выясняется, что упорядоченное множество (K, #) представляет собой булеву алгебру. При этом решеточные операции ╒ и ╥ связаны с кольцевыми сложением ( + ) и умножением ( " ) формулами: x ╥ y := := x + y + x " y и x ╒ y := x " y. Очевидно, что b* = 1 + b. Наоборот, если B - булева алгебра, то B можно превратить в булево кольцо, полагая x " y := x ╒ y и x + y := := ( x ╒ y*) ╥ (y ╒ x*). Приведем еще несколько примеров булевых алгебр, которые указывают одновременно на важнейшие сферы приложений теории.
Алгебра множеств
Примером булевой алгебры служит совокупность всех подмножеств некоторого фиксированного непустого множества X, которую принято обозначать символом 3(X ). При этом под булевыми операциями понимаются теоретико-множественные операции объединения A > C, пересечения A < C и дополнения X-A (рис. 1). Нулем в 3(X ) служит пустое множество ?, а единицей - само X. Булева алгебра 3(X ) полна.
Часть ! булевой алгебры 3(X ) называют полем множеств, если она содержит пустое множество ?, все множество X и замкнута относительно теоретико-множественных операций пересечения, объединения и дополнения. Поле множеств является булевой алгеброй с теми же булевыми операциями, что и в 3(X ). Одна из важнейших теорем теории булевых алгебр утверждает, что всякая булева алгебра может быть реализована в виде поля множеств. Этот факт установил М. Стоун в 1936 году.
Теория вероятностей
Фундаментальными понятиями теории вероятностей являются событие и вероятность. Приводимая ниже аксиоматика этих понятий предложена в 1933 году А.Н. Колмогоровым, она общепринята в современной теории вероятностей. Фиксированное множество X трактуется как множество всех возможных исходов некоторого наблюдаемого эксперимента. Под событием понимается часть A множества X. Совокупность всех событий ! есть поле множеств, то есть часть булевой алгебры 3(X ), причем эта часть сама является булевой алгеброй. Последнее влечет, что если A и C - события, то A > C, A < C и X-A также являются событиями. Каждому событию A приписывается некоторое число P(A ), называемое вероятностью события A. При этом выполняются следующие условия:
1) 0 # P(A ) # 1, P(?) = 0, P(X ) = 1;
2) если A < C = ?, то P(A > C ) = P(A ) + P(C ).
Алгебра высказываний
Под высказыванием понимается повествовательное предложение, для которого в данный момент однозначно решается вопрос о том, истинно оно или ложно. Примерами высказывания служат: сегодня воскресенье, Маша - школьница, слон умеет летать. Предложения задача трудная, Борис - предприимчивый человек высказываниями не являются, так как в силу своего субъективного характера не могут быть оценены однозначно как истинные или ложные.
Из данных высказываний можно строить составные высказывания с помощью знаков ╥, ╒, , , называемых пропозициональными связками. Для высказываний P и Q под дизъюнкцией P ╥ Q (читается: P или Q ) понимается такое высказывание, которое истинно тогда и только тогда, когда истинно или P, или Q, или одновременно P и Q. Конъюнкция P ╒ Q (читается: P и Q ) тех же высказываний определяется как высказывание, истинное лишь в том случае, когда истинны оба высказывания P и Q одновременно. Отрицание P есть высказывание P (читается: не P ), истинное лишь тогда, когда P ложно. Импликацией P Q (читается: если P, то Q ) высказываний P и Q называют высказывание, ложное лишь в том случае, когда P истинно, а Q ложно. Под исчислением высказываний понимают раздел математической логики, посвященный анализу сложных предложений, возникающих при построении новых предложений из составляющих с помощью пропозициональных связок.
Переменная, содержательной областью изменения которой является множество высказываний, называется пропозициональной переменной. Формула исчисления высказываний определяется следующим образом: а) пропозициональная переменная, обозначаемая q1 , q2 , _, qn , _, где n - натуральное число, есть формула; б) если P и Q - формулы, то (P ╒ Q ), (P ╥ Q ), (P Q ), P также формулы. Запись P (q1 , q2 , _, qn) означает, что в построении формулы участвуют переменные q1 , q2 , _, qn , и только они. Эту формулу называют тождественно истинной, или общезначимой, или тавтологией, если она превращается в истинное высказывание при замене входящих в нее переменных q1 , q2 , _, qn любыми высказываниями (истинными или ложными). Примером тавтологии может служить, например, формула
(q1 ╒ q1) ((q2 ╥ q3) (q3 q1)).
Последнее высказывание истинно всегда независимо от истинности или ложности высказываний q1 , q2 , q3 . Формулы P и Q называют эквивалентными, если обе импликации P Q и Q P тождественно истинны. Можно показать, что множество всех формул исчисления высказываний есть булева алгебра, если отождествить эквивалентные формулы. Булево дополнение при этом определяется отрицанием . Эту алгебру часто называют алгеброй Линденбаума-Тарского. Роль единицы отводится классу тождественно-истинных высказываний. Приведенная конструкция лежит в основе булева метода, под которым понимается систематический перевод логических задач на язык булевых алгебр.
Булеву алгебру можно назвать математической моделью классической логической системы, разработанной Аристотелем и его последователями. Способы умозаключения, зафиксированные в этой системе, суть абстракции, возникшие в результате идеализации тех реальных операций, которые совершает разум в процессе рассуждений. Неизбежное огрубление, происшедшее при идеализации, пробуждает интерес к неклассическим логическим системам и их математическим моделям.
Алгебра электрических цепей
Будем рассматривать электрические цепи, разорванные рядом контактных выключателей. Контакт может находиться в двух состояниях: замкнутом и разомкнутом. Для цепи также возможны два состояния: пропускает ток или не пропускает ток. Две цепи отождествляются, если входящие в них контакты можно поставить во взаимно однозначное соответствие так, что при одном и том же состоянии соответствующих контактов сами цепи пребывают в одинаковом состоянии.
Обозначим через I цепь, которая всегда пропускает ток (цепь с запаянными контактами), а через O - цепь, которая ток не пропускает (разрыв цепи). Введем операции над цепями. Под суммой C ╥ D двух цепей C и D понимается цепь, полученная в результате параллельного соединения C и D; это означает такое соединение, при котором C ╥ D пропускает ток в том и только том случае, когда пропускает ток хотя бы одна из цепей C и D. Произведением C ╒ D цепей C и D называют цепь, полученную в результате их последовательного соединения. Это означает, что C ╒ D пропускает ток лишь тогда, когда пропускают ток обе цепи C и D. Наконец, для цепи C символ C * обозначает такую цепь, которая пропускает ток лишь в том случае, когда C не пропускает ток (технологически это делается просто с помощью переключателя).
Электрические цепи при введенных операциях и отождествлении образуют булеву алгебру. Этот факт имеет важное прикладное значение: при проектировании и расчете сложных электрических сетей и электронных устройств можно использовать алгебраический аппарат булевых алгебр (см. [5]).
ПРОСТРАНСТВА КАНТОРОВИЧА
Пространство Канторовича возникает как синтез двух фундаментальных понятий: булевой алгебры и действительного числа. В самом деле, элемент пространства Канторовича можно трактовать как действительное число, "размазанное" над булевой алгеброй. Способ такой трактовки - глубокая математическая теория с богатым спектром приложений, выходящие далеко за пределы наших рассмотрений. Кроме того, с понятием пространства Канторовича связаны примеры булевых алгебр, возникающих в современном функциональном анализе. В этой связи стоит познакомиться с пространствами Канторовича.
Действительное векторное пространство есть некоторое множество Е, для элементов которого x и y определены сумма x + y и произведение lx, где l - произвольное действительное число, причем сложение и умножение подчиняются известным еще из школы правилам: переместительный и сочетательный законы сложения и умножения, распределительный закон умножения относительно сложения, существование нуля и противоположных элементов, нейтральность умножения на единицу.
Действительное векторное пространство E, являющееся одновременно решеткой, называют векторной решеткой, если в нем неравенства можно складывать и умножать на положительные числа. Последнее означает, что если x # y, то x + z # y + z и lx # ly для всех x, y, z из E и l > 0. Наиболее важным классом векторных решеток являются пространства Канторовича, в которых дополнительно выполняется аксиома полноты: всякое порядково ограниченное множество имеет супремум и инфимум.
В векторной решетке определяют модуль элемента x k E формулой | x | := x ╥ (- x). Элементы x, y k E называют дизъюнктными, если | x | ╒ | y | = 0. Множество вида A ^, состоящее из всех элементов x k E, дизъюнктных с каждым элементом непустого множества A ? E, называют полосой. Совокупность всех полос @(E ) векторной решетки E, упорядоченная по включению (L # K L ? K), является полной булевой алгеброй, в которой булевы операции имеют вид
L ╒ K := L < K, L ╥ K := (L > K )^ ^, L* := L^.
Булеву алгебру @(E ) называют базой E.
Возьмем элемент u k E, u $ 0. Осколком элемента u называют такой элемент e k E, что e ╒ (u - e) = 0. Множество всех осколков %(u) элемента u представляет собой полную булеву алгебру. При этом решеточные операции наследуются из E, а булево дополнение имеет вид e* := u - e. Если для некоторого элемента u k E, u $ 0, в E нет ненулевых дизъюнктных с ним элементов ({u}^ = {0}), то u называют порядковой единицей. Для любой порядковой единицы u k E булевы алгебры @(E ) и %(E ) изоморфны.
Примером пространства Канторовича служит множество F всех действительных функций f, определенных на отрезке [0, 1] := {t k R: 0 # t # 1}. Сумма, произведение и неравенство в F понимаются поточечно, то есть (f + g)(t) := f (t) + g(t), (l f )(t) := := l f (t), f # g f (t) # g(t), где 0 # t # 1. Пусть 1 - функция, тождественно равная единице. Осколок e k F элемента 1 удовлетворяет уравнению (относительно e): [ e ╒ (1 - e)](t) = min {e (t), (1 - e(t))} = 0. Таким образом, для каждого 0 # t # 1 либо e (t) = 0, либо 1 - e (t) = 0, значит, функция e принимает только два значения: 0 и 1. Такую функцию называют характеристической функцией множества тех чисел t, для которых e принимает значение 1. Итак, осколки 1 суть характеристические функции всевозможных множеств, содержащихся в [0, 1]. Значит, алгебра %(F ), а с ней и база @(F ) изоморфны алгебре множеств 3(X ), где X := [0, 1].
Допустим, что в E фиксирована порядковая единица u. Если e1 , _, en - осколки u, а l1 , _, ln - действительные числа, то элемент вида l1e1 + _ + lnen называют ступенчатым. Фундаментальный факт теории векторных решеток - теорема Фрейденталя утверждает, что любой элемент пространства Канторовича приближается ступенчатыми элементами.
Пространство Канторовича именуют расширенным, если его нельзя расширить, не изменив при этом его базы. Пусть B - произвольная полная булева алгебра. Допустим, что каждому действительному числу t k R поставлен в соответствие единственный элемент e (t) k B, причем выполнены требования:
1) если s # t, то e (s) # e (t);
2) sup {e (t): t k R} = 1, inf {e (t): t k R} = 0;
3) sup {e (s): s < t, s k R} = e (t) для всех t k R.
Тогда говорят, что задано разложение единицы e ( " ) в булевой алгебре B.
Теорема. Множество всех разложений единицы 5(B ) в полной булевой алгебре B можно снабдить алгебраическими операциями и порядком так, что 5(B ) превращается в расширенное пространство Канторовича, база которого равна B.
Как видно из изложенного, расширенное пространство Канторовича и его база однозначно определяют друг друга. Таким образом, теории полных булевых алгебр и расширенных пространств Канторовича фактически равнообъемны.
Пространства Канторовича были введены в 1935 году как некоторое обобщение понятия числа [6, 7]. Спустя 40 с лишним лет оказалось, что и в самом деле элементы пространства Канторовича суть действительные числа в подходящей булевозначной модели. Но прежде чем говорить о булевозначных моделях, необходимы некоторые сведения из аксиоматической теории множеств.
ТЕОРИЯ МНОЖЕСТВ ЦЕРМЕЛО-ФРЕНКЕЛЯ
Теория множеств Цермело-Френкеля - формальная система. Под формальной системой понимается конечный набор символов и точно определенных правил манипулирования над этими символами для образования некоторых комбинаций, именуемых теоремами. Тем самым вопросы, относящиеся к бесконечным множествам, заменяются вопросами, связанными с комбинаторными возможностями формальной игры. В теории ZF допущены следующие символы: 1) буквы латинского алфавита, возможно с индексами, называемые символами переменных; 2) символы предикатов k (быть элементом) и = (равняется); 3) кванторы " (для всех) и $ (существует); 4) пропозициональные связки ╥ (или), ╒ (и), (не), (влечет), (тогда и только тогда); 5) скобки ) и (. Правильно составленные комбинации из этих символов называют формулами. Формулы теории ZF строятся из элементарных формул вида x k y и x = y применениями связок, кванторов, а также разумной расстановкой скобок. Переменную x в формуле j называют свободной, если в j нет подформул вида ("x)y и ($x)y.
Для полного описания игры с символами необходимы правила математической логики, то есть логические аксиомы и правила вывода, фиксирующие стандартные способы классических умозаключений. Аксиомы ZF - первоначальный набор комбинаций символов, из которых с помощью правил вывода производятся новые комбинации символов - теоремы ZF. Помимо логических аксиом, общих для всех формальных систем, допущены следующие специальные или собственные аксиомы теории Цермело-Френкеля.
Аксиома объемности или экстенсиональности (введена Г. Фреге в 1893 году). Множества совпадают в том и только том случае, если они состоят из одних и тех же элементов:
("x)("y)((x ? y ╒ y _ x) x = y).
Аксиома суммы или объединения (введена Г. Кантором в 1899 году и Э. Цермело в 1908 году). Объединение множества множеств также множество:
("x)($y)("z)(z k y ($u)(z k u ╒ u k x)).
Аксиома множества подмножеств или степени (сформулирована Цермело в 1908 году). Все подмножества данного множества составляют некоторое множество:
("x)($y)("z)(z k y z ? x).
Аксиома подстановки (сформулирована А. Френкелем в 1922 году и Т. Скулемом в 1923 году). Произвольный взаимно однозначный образ множества есть множество:
("x)("y)("z)(j(x, y) ╒ j(x, z) y = z)
("u)($u)(("t)(t k u ($s k u)t = j(u, u))),
где j - формула, не содержащая свободных вхождений a. Из этой аксиомы следует, в частности, существование пустого множества ?, а также неупорядоченной пары {x, y}, то есть множества, состоящего в точности из двух элементов x и y.
Аксиома бесконечности (введена Цермело в 1908 году). Имеется бесконечное множество
($x)(? k x ╒ ("y)(y k x y > {y} k z)).
Аксиома фундирования (указана П. Бернайсом и К. Г╦делем в 1941 году и заменила аксиому регулярности, предложенную Дж. фон Нейманом в 1925 году):
"x (x ? ? ($y k x)(y < x = ?)).
Именно с аксиомой фундирования связано важнейшее представление о классе всех множеств как об универсуме фон Неймана V. Исходным объектом построения является пустое множество ? (то есть множество, не имеющее элементов). Элементарный шаг построения новых множеств из уже построенных состоит в формировании множества подмножеств 3(Va) из имеющегося множества Va. Далее эти множества объединяются , а затем повторяется упомянутый элементарный шаг. По определению полагают . Запись a k On означает, что a есть ординальное число, стало быть, определение универсума V требует понятия ординального числа.
Нижние "этажи" универсума V устроены довольно просто: V0 := ? по определению; V1 := 3(?) = = ?} - множество, содержащее единственный элемент ?; V2 := 3(V1) = {?, {?}} - множество, состоящее из двух элементов ? и {?}; V3 := 3(V2) = {?, {?}, {?, {?}}}, и т.д. Далее полагают , где w - ординальное число, совпадающее по определению с упорядоченным множеством натуральных чисел {1, 2, _}. Однако процесс на этом не заканчивается, далее идут трансфинитные ординальные числа, например: w + 1 := {1, 2, _, 1}, w + 2 := {1, 2, _, 1, 2,}, w + n := {1, 2, _, 1, 2, 3, _, n}, w + w := {1, 2, _, 1, 2, 3, _}. Эта иерархия простирается до w " w, wn, ww и далее. Первые трансфинитные этажи универсума V после Vw строятся так:
Vw + 1 := 3(Vw), Vw + 2 := 3(Vw + 1), _
_, и т.д.
Ограничимся этими пояснениями, так как точное определение ординального числа достаточно тонко.
Формальные комбинации символов можно осмысливать как некоторые утверждения о множествах. Возьмем формулу j(x1 , x2 , _, xn). Если вместо переменных x1 , x2 , _, xn подставить некоторые множества A1 , A2 , _, An , то получится какое-то утверждение j(A1 , A2 , _, An) об этих множествах. Таким образом, формальная теория ZF толкует о множествах. При этом содержательной областью изменения переменных является универсум V, знак k представляет свойство быть элементом, а знак = символизирует равенство множеств.
Все понятия и конструкции общепринятой математики можно записать как формальные тексты в теории ZF, а все теоремы можно получить с помощью правил вывода из аксиом ZF. Систематическое построение теории множеств ZF см. в [8].
БУЛЕВОЗНАЧНЫЕ МОДЕЛИ
Пусть 2 := {0, 1} - двухэлементная булева алгебра. Возьмем произвольное множество X k V. С подмножеством A ? X свяжем характеристическую функцию cA , которая принимает значение 1 на множестве A и значение 0 на всех элементах из X, не входящих в A. Отождествим множество A и двузначную функцию cA . Тогда множество всех подмножеств 3(X ) непустого множества X отождествляется с множеством всех двузначных функций, определенных на X. Последнее множество обозначим символом (X 2). Теперь вспомним конструкцию универсума фон Неймана V. При формировании новых множеств вместо 3(Va) возьмем множество двузначных функций (X 2). Вновь, начиная с пустого множества, шаг за шагом возникают множества . При этом окажется, что множества 3(Va) и (Va 2) эквивалентны, то есть находятся во взаимно однозначном соответствии друг с другом. Но тогда будут эквивалентными и совокупности и . Таким образом, вместо универсума фон Неймана V с таким же успехом можно использовать и "двузначный универсум" V (2). Теперь для построения булевозначного универсума следует заменить в описанной конструкции двузначную булеву алгебру 2 на произвольную полную булеву алгебру B, то есть вместо двузначных функций нужно использовать булевозначные функции (X B ). Итак, в качестве булевозначного универсума V (B ) рассматривают класс , где . Подчеркнем еще раз, что V (B ) состоит только из функций. В частности, ? - это функция с областью определения ? и областью значений ?. Значит, "нижние" этажи V (B ) устроены так:
Теперь выясним, как же следует понимать высказывания о множествах применительно к элементам булевозначного универсума. Если x, y k V (B ), то x и y являются функциями, поэтому формулы x k y и x = y не следует понимать буквально, то есть так же, как и в универсуме V. Вместо этого каждому теоретико-множественному высказыванию j приписывают оценку истинности [[j]], которая является элементом булевой алгебры B. Возьмем формулу j(x1 , x2 , _, xn). Если вместо переменных x1 , x2 , _, xn подставить элементы A1 , A2 , _, An булевозначного универсума, то получится какое-то утверждение j(A1 , A2 , _, An) относительно этих элементов. Элемент b := [[j(A1 , A2 , _, An)]] k B характеризует степень истинности полученного утверждения. Если утверждение j относительно элементов A1 , A2 , _, An получает максимальное значение истинности b = 1, то говорят, что это утверждение верно, или истинно, в модели V (B ).
Приписывание оценок следует, очевидно, проводить двойной индукцией, как учитывая характер построения формул из атомарных, так и задавая оценки упомянутых формул [[x k y]]и [[x = y]], где x, y k V (B ), на основе способа построения V (B ).
Ясно, что если j и y - уже оцененные формулы ZF, [[j]] k B и [[y]] k B - их оценки, то следует положить:
[[j ╥ y]] = [[j]] ╥ [[y]],
[[j ╒ y]] = [[j]] ╒ [[y]],
[[ j]] = [[j]] = [[j]]*,
[["(x)j(x)]] := ╒ {[[j(x)]]: x k V (B )},
[[$(x)j(x)]] := ╥ {[[j(x)]]: x k V (B )}.
(Знаки ╒, ╥ и в левых частях равенств - пропозициональные связки, а в правых частях - булевы операции; знаки ╒ и ╥ обозначают инфимум и супремум бесконечного множества.) Только такие определения позволяют обеспечить оценку "единица" для классических тавтологий. Остается указать выражения для оценки элементарных формул x k y и x = y. С первого взгляда эти выражения ничего не дают, но все же приведем их для полноты изложения:
[[x k y]] := ╥ {y(z) ╒ [[x = z]]: z k dom(y)},
[[x = z]] := ╒ {x(z) ╦ [[z k y]]: z k dom(y)} ╒
╒╒ {y(z) ╦ [[z k x]]: z k dom(x)},
где dom(x) - область определения функции. Ценность изложенных конструкций объясняется следующими фундаментальными фактами.
Принцип переноса. Аксиомы и теоремы теории множеств Цермело-Френкеля истинны в булевозначной модели.
Принцип максимума. Если в булевозначной модели верно какое-то утверждение о существовании объекта с некоторыми свойствами, то существует такой элемент булевозначного универсума, для которого эти свойства выполняются в указанной модели.
Принцип переноса доказывается вычислением оценок истинности для всех аксиом ZF, которые оказываются равными единице. Кроме того, устанавливается, что правила вывода не уменьшают оценку истинности [8-11].
Своим возникновением булевозначные модели обязаны выдающемуся достижению П.Дж. Коэна, установившему в начале 60-х годов непротиворечивость отрицания знаменитой континуум-гипотезы и аксиом ZF (см. [8]). Много замечательных результатов о независимости и непротиворечивости было установлено с помощью булевозначных конструкций (аксиома конструктивности, аксиома выбора, гипотеза Суслина и т.д.). Позже было обнаружено, что пространства Канторовича - это то же самое, что и вещественные числа в булевозначной модели. Фактически оказывается, что любая теорема о вещественных числах имеет аналог для пространств Канторовича, причем перевод одних теорем в другие осуществляется с помощью точно определенных процедур. Это направление в анализе называют булевозначным анализом. Оно охватывает много интересных вопросов теории функциональных пространств, теории операторов и операторных алгебр. Подробности см. в [11] и указанной там литературе.
ЛИТЕРАТУРА
1. Яглом И.М. Булева структура и ее модели. М.: Сов. радио, 1980.
2. Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968.
3. Сикорский Р. Булевы алгебры. М.: Мир, 1969.
4. Владимиров Д.А. Булевы алгебры. М.: Наука, 1969.
5. Колдуэлл С. Логический синтез релейных устройств. М.: Изд-во иностр. лит., 1962.
6. Канторович Л.В., Вулих Б.З., Пинскер А.Г. Функциональный анализ в полуупорядоченных пространствах. М.; Л.: Гостехиздат, 1950.
7. Канторович Л.В., Акилов Г.П. Функциональный анализ. М.: Наука, 1984.
8. Коэн П. Дж. Теория множеств и континуум-гипотеза. М.: Мир, 1973.
9. Йех Т. Теория множеств и метод форсинга. М.: Мир, 1973.
10. Манин Ю.И. Доказуемое и недоказуемое. М.: Сов. радио, 1979.
11. Кусраев А.Г., Кутателадзе С.С. Нестандартные методы анализа. Новосибирск: Наука, 1990.
* * *
Анатолий Георгиевич Кусраев, доктор физико-математических наук, профессор, зав. кафедрой математического анализа Северо-Осетинского государственного университета им. К.Л. Хетагурова, директор Института прикладной математики и информатики при СОГУ, ведущий научный сотрудник Института математики Сибирского отделения РАН, действительный член Российской академии естественных наук, член-корреспондент Международной академии наук высшей школы, член Американского математического общества. Область научных интересов: векторные решетки, теория операторов, выпуклый анализ, нестандартные модели анализа. Автор более 100 научных работ, в том числе 14 монографий и учебных пособий, часть из которых переведена на английский язык.