CC BY
39
3. Коптев А. В. Интегралы уравнений Навье — Стокса. Саранск: Труды Средне-волжского математического общества. 2004. № 1. Т. 6. С. 215-225.
4. Коптев А. В. Общий интеграл уравнений Навье — Стокса // Математическая физика и ее приложения: Материалы второй международной конференции. Самара: МИАН им. В. А. Стеклова, СамГУ, 2010. С.179-180.
5. Лаврентьев М. А., Шабат Б. В. Методы теории функции комплексного переменного. М.: Наука, 1987. 688 с.
6. Ладыженская О. А. Математические вопросы динамики вязкой несжимаемой жидкости. М.: Наука, 1970. 288 с.
7. Темам Р. Уравнения Навье — Стокса. Теория и численный анализ. М.: Мир, 1981. 408 с.
8. Carles L. Fefferman. Existence and Smoothness of the Navier — Stokes equation. Preprint, Princeton Univ., Math. Dept. Princeton, NJ, 2000. Р. 1-5.
REFERENCES
1. Egorov A. I. Obyknovennye differencial'nye uravnenija. M.: Izd-vo fiz.-mat. lit-ry, 2007. 448 s.
2. Zajcev V. F., Poljanin A. D. Obyknovennye differencial'nye uravnenija. Spravochnik. M.: Fizmatlit, 2001. 576 s.
3. Koptev A. V. Integraly uravnenij Nav'e — Stoksa. Saransk: Trudy Sredne-volzhskogo matemati-cheskogo obwestva. 2004. № 1. T. 6. S. 215-225.
4. Koptev A. V. Obwij integral uravnenij Nav'e — Stoksa // Matematicheskaja fizika i ee prilozhenija: Materialy vtoroj mezhdunarodnoj konferencii. Samara: MIAN im. V. A. Steklova, SamGU, 2010. S. 179-180.
5. Lavrent'evM. A., Shabat B. V. Metody teorii funkcii kompleksnogo peremennogo. M.: Nauka, 1987.
688 s.
6. Ladyzhenskaja O. A. Matematicheskie voprosy dinamiki vjazkoj neszhimaemoj zhidkosti. - M.: Nauka, 1970. 288 s.
7. Temam R. Uravnenija Nav'e — Stoksa. Teorija i chislennyj analiz. M.: Mir, 1981. 408 s.
8. Carles L. Fefferman. Existence and Smoothness of the Navier — Stokes equation. Preprint, Princeton Univ., Math. Dept. Princeton, NJ, 2000. Р. 1-5.
Ю. Н. Ловягин
О ПРОБЛЕМЕ НОРМИРУЕМОСТИ БУЛЕВЫХ АЛГЕБР
Рассматриваются вопросы, связанные с существованием меры на полной булевой алгебре. Доказано, что на регулярные булевы алгебры допускают полумеру. Приведен пример, показывающий, что не всякая регулярная булева алгебра является нормируемой.
Ключевые слова: булева алгебра, регулярная булева алгебра, мера, нормируемость, полунормируемость.
Yu. Lovyagin
ON THE PROBLEM OF MEASURABLIZABILITY OF BOOLEAN ALGEBRAS
This paper discusses the issues related to the existence of measures on a complete Boolean algebra. It is argued that for regular Boolean algebras half-measures are possible. An example is given showing that not every regular Boolean algebra is measurable.
Keywords: Boolean algebra, regular Boolean algebra, the measure, measurable Boolean algebra, seminormativity.
1. Основные понятия.
1.1. ОПРЕДЕЛЕНИЕ. Под булевой алгеброй будем понимать алгебраическую структуру, которая в рамках теории множеств Цермело — Френкеля является моделью некоторой системы аксиом. Точнее, пусть L — язык исчисления предикатов первого порядка с равенством, сигнатура которого содержит символы для двухместного предиката равенства =, двухместного предиката «меньше» <, констант 0,1, бинарных функциональных символов V, л, унарного функционального символа '. Аксиомы теории булевых алгебр включают аксиомы равенства, согласования с равенством, аксиомы порядка и специальные аксиомы:
УхУу ^ V у = у V x); VxVy ^ л у = у л x) ;
Vx ( x V 0 = x); Vx ( x л 0 = 0) ;
Vx ( x V1 = 1); Vx ( x л 1 = x);
VxVyVz ((x V у) V г = x V (у V у)); VxVyVz ((x л у) л г = x л (у л у)) ;
VxVy ( x < у = x V у = у); VxVy ( x < у = x л y = x) ;
VxVy ((x л у )v x = x); VxVy (( x V у) л x = x) ;
VxVyVz ( x л( у V г ) = ( x л у) v( x л г )); VxVyVz ( x v( у л г ) = ( x V у) л( x л г )) ;
Vx (x'' = x); 0' = 1; 1' = 0; 0 < 1 & — (0 = 1);
VxVy (( x V у)' = x' л у'); VxVy (( x л у)' = x’ V у').
Мы не заботимся о независимости приведенного списка аксиом. Вся терминология, касающаяся булевых алгебр и функций на них, восходит к [3].
1.2. ОПРЕДЕЛЕНИЕ. Булева алгебра А называется полной, если для каждого подмножества Е ^ А существует наименьший элемент е є А такой, что для всех x є А x < е. Элемент е называется супремумом множества Е и обозначается supremumE.
Двойственным образом (с заменой неравенств на противоположные) определяется инфимум — т/ітитЕ.
Не умаляя общности, в дальнейшем рассматриваем только полные булевы алгебры. Для краткости вместо «полная булева алгебра» будем писать пба.
Будем рассматривать различные функции, определенные на пба А .
1.3. ОПРЕДЕЛЕНИЕ. Функция р, : А называется
аддитивной, если VxVy (x л y = 0 з u (x v y) = u (x) + u (y));
положительной, если Vx (u(x) > 0);
существенно положительной (мы будем использовать сокращение сп), если она положительна и Vx (u(x) = 0 з x = 0);
квазимерой (сокращенно км), если она положительная и аддитивная.
1.4. ОПРЕДЕЛЕНИЕ. ПбаA называется алгеброй счетного типа — баст, если любое подмножество E с A, обладающее свойством x л y = 0 для всех x,y е E, является не более чем счетным.
1.5. ТЕОРЕМА. Если на пба A существует спкм функция, то A — баст.
Доказательство этого и других утверждений этого раздела можно найти в работах [3, 9].
1.6. ОПРЕДЕЛЕНИЕ. Рассмотрим обобщенную последовательность (xa) элементов пба A . Если существуют обобщенные последовательности (ya), (za)c A такие, что при всех а ya < xa < za , при этом а < ß з ya < yß & za > zß и supremum {ya} = = infimum{za} = x е A, то последовательность (xa ) называется (о)-сходящейся к элементу
x. Факт (о) -сходимости обозначается xa x. Элемент x называется (о) -пределом и обозначается x = (о) -lim xa .
Отметим, что (о) -сходимость в баст может быть определена в терминах «обычных» последовательностей.
1.7. ОПРЕДЕЛЕНИЕ. Баст называется регулярной, если она полна и в ней выполнен
принцип диагонали: для любой последовательности xnm такой, что при любом
m xnm ^(о) xm и xm ^(о^ x существует «диагональная последовательность» xnm ^(о^ x .
n
1.8. ОПРЕДЕЛЕНИЕ. Функция л, заданная на пба А, называется (о)-непрерывной,
если из xa x следует u(xa) ^u(x) .
1.9. ОПРЕДЕЛЕНИЕ. Мерой на пба называется (о) -непрерывная спкм. Пба А, на которой существует мера, называется нормированной. Если на некоторой пба можно задать меру, то эта алгебра называется нормируемой.
Отметим, что нормированная алгебра — это алгебра с некоторой фиксированной мерой, в то время как нормируемость означает лишь возможность указать на алгебре некоторую меру.
1.10. ТЕОРЕМА. Всякая нормируемая пба регулярна.
Близким к понятию меры является понятие внешней меры.
1.11. ОПРЕДЕЛЕНИЕ. Функция /и на пба A называется полуаддитивной, если для любых x,y е A и(x v y)<u(x) + u(y) .
1.12. ОПРЕДЕЛЕНИЕ. Положительная полуаддитивная функция называется внешней квазимерой (вкм).
1.13. ОПРЕДЕЛЕНИЕ. Сп (о) -непрерывная вкм называется внешней мерой (вм) или полумерой. Пба с фиксированной вм называется полунормированной. Пба, на которой можно задать некоторую полумеру, называется полунормируемой.
Отметим, что всякая мера является и вм. Следовательно, класс нормируемых пба является подклассом всех полунормируемых пба, который, в свою очередь, является подклассом класса регулярных булевых алгебр. Относительно соотношения между принципом диагонали и счетностью типа пба известно [4], что из гипотезы континуума следует, что принцип диагонали обеспечивает счетность типа. Взаимоотношению между этими тремя классами и посвящена настоящая работа.
Известно, что наперед заданная булева алгебра не обязана быть нормируемой. Возникает естественный вопрос об условиях, гарантирующих возможность задать на булевой алгебре нетривиальную меру. В работе [14] были приведены необходимые и достаточные условия нормируемости булевой алгебры. Там же поставлен вопрос, известный ныне как проблема Д. Магарам, о существовании меры на полунормированной булевой алгебре. В этом направлении отметим работы [1, 2, 7, 8, 10, 12]. Необходимые и достаточные условия нормируемости приведены в работе [11]. Для регулярных булевых алгебр вопрос существования меры решается проще. В частности, А. Г. Пинскером [4] доказано, что для нормируемости регулярной булевой алгебры достаточно существования на ней существенно положительной квазимеры. Последняя проблема оказалась, однако, не менее сложной, ибо Х. Гайфман [13] построил пример булевой алгебры счетного типа, на которой нет ни одной существенно положительной квазимеры. Таким образом, класс пба, допускающих спкм, является нетривиальным. С другой стороны, гипотеза о нормируемости всякой регулярной булевой алгебры сильнее в рамках ZFC гипотезы М. Я. Суслина [14].
Имеет место важный результат, показывающий, что на всякой пба имеется достаточное множество км.
1.14. ТЕОРЕМА. Пусть А — пба, а> 0 — вещественное число, х е А . Тогда существует км л такая, что /и (х) = а .
1.15. ОПРЕДЕЛЕНИЕ. Множество Фквазимер на пба А назовем достаточным, если для любого х е А существует км и е Ф такая, что и(х) 0 > 0 .
Не умаляя общности, можно считать, что на каждой пба А задано достаточное множество Ф км наименьшей возможной мощности и такое, что множество Ф\ {и} не является достаточным для любой км и е Ф .
1.16. ОПРЕДЕЛЕНИЕ. Выделенное выше «минимальное» достаточное множество км будем называть порождающим.
1.17. ОПРЕДЕЛЕНИЕ. Пусть (Аг. }/е/ — некоторое множество пба. Декартово произведение этого множества с покоординатными алгебраическими операциями, равенством и порядком называется (полным) соединением семейства пба (Аг. }/е/ и обозначается IА
/е/
Счетным соединением семейства пба (Аг. }/е/ называется подалгебра Аа полного соединения такая, что х е Аа тогда и только тогда, когда лишь не более чем счетное количество координат х отлично от нуля.
2. Булевы алгебры с достаточным числом непрерывных квазимер.
2.1. ТЕОРЕМА. Пусть А — пба. Тогда существует множество пба с спкм (Аг. }/е/ такое, что А изоморфно вкладывается в IА/ .
/е/
Доказательство. Пусть Ф — порождающее множество км на А . Рассмотрим фактор-алгебру Аф = А/ф_1 (0) и положим Цф = ф /ф— (0) . Ясно, что щ является спкм на ба Аф .
Положим АФ = ^ Аф . Рассмотрим теперь функцию / : А ^ Аф , определенную правилом
фєФ
(I (х))ф =РГф (х), где рГф — естественная проекция на фактор-алгебру. В силу покоординатного определения функции и операций / является гомоморфизмом. Если же I (х) = 0, то ф( х) = 0 для всех ф є Ф. Отсюда в силу достаточности Ф следует, что х = 0. Таким образом, функция I является мономорфизмом, что и завершает доказательство теоремы.
Заметим, что некоторые из алгебр Аф могут быть тривиальными. Однако, как показывает следующий результат, если км ф (о)-непрерывна, то все фактор-алгебры нетривиальны.
Пусть л — (о)-непрерывная км на пба А. Положим Ац=\^0,ац'^, где ал = = supremum ц-1(0). В силу (о) -непрерывности км ал < 1. Таким образом, Ащ является компонентой существенной положительности км л. Следовательно, сужение /и на Ащ является мерой.
Пусть теперь у пба А все км из порождающего множества Ф (о) -непрерывны. Тогда для каждого г є А существует (о)-непрерывная км щєФтакая, что и(z) > 0. Положим Ь = аи л г . Тогда [0, Ь]^ [0, г] и сужение и на сегмент [0, Ь] является (о) -непрерывной км.
Теперь, согласно принципу исчерпывания [3, с. 112], компоненты Ащ(и є Ф) образуют разложение пба А .
Суммируя сказанное, получаем, что доказана
2.2. ТЕОРЕМА. Всякая пба, в которой все км из некоторого порождающего множества (о) -непрерывны, изоморфна соединению нормированных булевых алгебр.
2.3. ОПРЕДЕЛЕНИЕ. Пба, обладающую порождающим множеством (о) -непрерывных км, назовем булевой алгеброй с достаточным числом (о) -непрерывных км.
2.4. ТЕОРЕМА. Класс пба с достаточным числом (о) -непрерывных км совпадает с классом соединений нормированных пба.
Доказательство. То, что всякая пба с достаточным числом (о) -непрерывных км раскладывается в соединение нормированных, показывает включение в одну сторону. Докажем противоположное. Пусть А = ^ Аі и на каждой пба (Аг. }.є/ имеется мера щ . Ясно, что
ієі
продолжение (хотя бы и нулем) иі на всю алгебру А является (о) -непрерывной км. С другой стороны, если а> 0, то а л иі > 0 для каждой единицы иі є Аі. Так как а = хиргетита л иі, существует такой элемент иі, что ¿ии (а) > 0, ибо в противном случае
для всех і є і и (а л иі) = 0 и, следовательно, а = 0. Теорема доказана.
Обзор некоторых свойств булевых алгебр с достаточным числом (о) -непрерывных км имеется в [5]. Там же отмечена связь таких алгебр с нормируемыми. Точнее, такая алгебра в подходящей булевозначной модели теории множеств представляется нормируемой булевой алгеброй.
3. Погружение регулярной булевой алгебры в соединение нормируемых.
Следующее утверждение доказано в работе [3, с. 237].
3.1. ТЕОРЕМА. Пусть А — пба с спкм л. Тогда существует пба с мерой V такая, что
1) А — подалгебра А ; для любого Ь е В существует последовательность (хп) элементов А такая, что хп ^-(о) Ь;
2) диаграмма
где ¡п — естественное вложение подалгебры, коммутативна, то есть V о ¡п = л .
Пусть теперь А — пба, Ф — порождающее множество км. Пусть Ф = {лг }ге/ • Обозначим Аг соответствующую алгебру с спкм из теоремы 2.1. Построим булеву алгебру В{ с мерой л . Положим В = ^ В{ . Легко понять, что ^ Аг является подалгеброй В. Следо-
¡е1 ¡е1
вательно, пба с точностью до изоморфизма является подалгеброй соединения нормированных алгебр.
Таким образом, справедлива
3.2. ТЕОРЕМА. Всякая пба А является подалгеброй полного соединения нормированных алгебр. При этом если А — баст, то она является подалгеброй счетного соединения нормированных.
Доказательство. Осталось доказать только вторую часть утверждения. Пусть А — баст. Тогда для каждого а е А существует не более чем счетное количество компонент В{, для которых проекция а на В{ нетривиальна.
3.3. ОПРЕДЕЛЕНИЕ. Пусть А — подалгебра пба В. Говорят, что А — правильная
подалгебра, если для любого множества Е с А из существования
а = supremumE, Ь = ¡п/гтитЕ, вычисленных в А, следует, что существуют
~ = supremumE, Ь = ¡п/гтитЕ, вычисленные в В и ~ = а&Ь = Ь .
3.4. ТЕОРЕМА. Правильная подалгебра регулярной булевой алгебры является регулярной.
Доказательство. Счетность типа подалгебры очевидна. Факт совпадения точных граней, вычисленных в подалгебре, и объемлющей алгебры для подмножеств гарантирует, что для любой последовательности хп е А существование (о) -предела влечет существование (о) -предела в объемлющей алгебре и совпадения обоих значений. Отсюда следует выполнение принципа диагонали.
3.5. ТЕОРЕМА. Счетное соединение регулярных алгебр является регулярной булевой алгеброй.
Доказательство. Очевидно, что счетное соединение баст является баст.
Рассмотрим счетное соединение счетного множества регулярных булевых алгебр —
ад
А = ^ А. . Обозначим через р естественную проекцию А на г -й сомножитель. Так как
г=1
очевидно, что (о) -сходимость в А является покоординатной, то есть хп ^(о) х равносильно условию Р. (хп )^(о) Р(х) для всех г, выполнение принципа диагонали получается из следующего рассуждения.
Пусть хпт ^( о) хп, хп ^( о) х в А . Это равносильно тому, что при всех г = 1, 2,
Р (хпт )^(°) Р (хп ) Р (хп )^(о) Р (х). Поскольку всякая алгебраЛі регулярна, существует
диагональная последовательность хпт є Лі такая, что хпт ^(°) х1 для каждого
п п
і = 1, 2, ... . Ясно, что х1пт = Р1 (хпт ). С другой стороны, положив х = supremumX , полу-
п ' п '
чим, что Рп [ х1пт ] ^-(о) Рп (х), что дает принцип диагонали в Л .
Если теперь А — счетное соединение произвольного множества регулярных алгебр, то для любого счетного множества Е с А существует не более чем счетное множество I такое, что при е е Е Р(е)*{0,} тогда и только тогда, когда г е I. Тогда ясно, что полное
соединение счетного множества регулярных алгебр ^ Аг , с одной стороны, изоморфно А,
ге1
а с другой — является правильной подалгеброй исходного счетного соединения. Таким образом, А является регулярной.
Подробное обсуждение этого утверждения имеется в работе [6]. Отметим, что понятие регулярности введено А. Г. Пинскером для векторных решеток. Им же рассматривались К-пространства с достаточным числом (о) -непрерывных функционалов [4, с. 416]. Аналог теоремы 3.5 для регулярных К-пространств имеется в [4, с. 179].
3.6. ТЕОРЕМА. Всякая регулярная булева алгебра с точностью до изоморфизма является правильной подалгеброй счетного соединения нормированных алгебр.
Доказательство. Пусть А — регулярная булева алгебра. Согласно теореме 3.2 она является подалгеброй счетного соединения нормированных булевых алгебр. Так как всякая нормируемая алгебра регулярна, по теореме 3.5 отсюда следует, что А является подалгеброй регулярной алгебры.
Таким образом, для завершения доказательства теоремы нужно следующее утверждение:
Пусть А, В — регулярные булевы алгебры. Пусть, далее, А является подалгеброй пба А . Тогда А — правильная подалгебра В .
Для доказательства рассмотрим произвольное подмножество Е с А и пусть а = supremumE, вычисленный в А , Ь = supremumE, вычисленный в В . Отметим, что существование точных граней обеспечено полнотой регулярных алгебр. В общем случае а > Ь.
Предположим, что а> Ь. Легко понять, что существуют такие последовательности ап е Е, bm е Е, что ап ^(о) а, Ьт ^(о) Ь. Положим = ап V bm . Тогда при каждом п
имеет место соотношение хпт ^(о) а . Выделяя теперь диагональную последовательность,
получаем, что хп т ^(о) а . Но так как хп т є Е, хп т < Ь и, следовательно, а < Ь. Полу-
т т т
ченное противоречие и доказывает теорему.
Приведенные результаты показывают, что класс регулярных булевых алгебр совпадает с классом счетных соединений нормированных булевых алгебр.
4. Гайфмановы алгебры.
4.1. ОПРЕДЕЛЕНИЕ. Полную булеву алгебру Н назовем гайфмановой алгеброй, если на ней не существует ни одной спкм.
Очевидно следующее утверждение:
4.2. ТЕОРЕМА. Если пба Л содержит гайфманову подалгебру Н, то она сама является гайфмановой.
Доказательство сразу получается из того факта, что сужение спкм на любую подалгебру является спкм.
Рассмотрим теперь в гайфмановой алгебре Н порождающее семейство км {л : і є І} и Л = I Лп — соединение соответствующих алгебр с мерой, полученных из алгебр с спкм
ієІ
путем пополнения их до нормированных алгебр (теорема 3.2). Так как каждая нормированная булева алгебра регулярна, алгебра Л является регулярной гайфмановой алгеброй (теоремы 3.5, 3.6, 4.2).
Пусть теперь имеется несчетное семейство {Н :Е, є е} гайфмановых алгебр. Пусть Н = I Лп , где Лп — нормируемая булева алгебра. Рассмотрим О — счетное соеди-
ієІ^ ^ ^
нение алгебр Лі^ . Так как для каждого % є Е алгебра Н^ является подалгеброй О, имеет место
4.3. ТЕОРЕМА. Существует регулярная ненормируемая булева алгебра.
5. Существование полумеры.
5.1. ОПРЕДЕЛЕНИЕ. Функция ф на булевой алгебре В называется изотонной, если УхУу(х < у зф(х)<ф(у)).
Пусть Л — счетное соединение нормированных булевых алгебр {Лп : і є І} с мерой ¡іі соответственно. В общем случае предполагается, что множество I несчетно и все пба Лі попарно неизоморфны.
Для каждого х є Л положим v( х) = ^ъиргетит^ (х{): і є І}.
5.2. ТЕОРЕМА. Функция ^является существенно положительной, изотонной и полу-аддитивной.
Доказательство. Существенная положительность и изотонность очевидны. Проверим полуаддитивность. Действительно, V (х V у) = $иргетит {Лі ( ^ )}< $иргетит { л ( хі)} +
+ supremum {л (Уі )} = v (х) + V (у).
5.3. ТЕОРЕМА. Пусть ф — полумера на пба В . Пусть, далее, ряд I ф(хп) < да для не-
к=0
которой последовательности хп є В . Тогда хп ^(о) 0.
Доказательство. Обозначим хп= іп^ітитт=12 8иргетит==тт+1 хі .
т+к от
Имеем ф(8иргетиті=тт+1 т+кхі) < I ф(хі) < Iхі . В силу (о)-непрерывности фот-
і=т
от
сюда следует, что ф( supremumi>mxi )< Еф(хг) . В силу сходимости ряда правая часть по-
„хі) < Іфіх.
і=т
следнего неравенства стремится к нулю.
__ от
Следовательно, 0 <ф(іп/титт=і2...хі)<ІФ(хі) = 0. В силу существенной положи-
і=т
тельности полумеры отсюда получается, что х. = 0 . Теперь легко понять, что х. ^(о) 0 .
Следствие. Пусть р — полумера на пба В . Пусть, далее, р(хп) ^ 0 для некоторой последовательности хп е В . Тогда существует подпоследовательность хп ^(о) 0. Определим, далее, в (а) = infimum {у (х) : а < х}, а е А.
5.4. ТЕОРЕМА. Функция в является полумерой на пба А .
Доказательство.
1. Ясно, что функция и изотонна.
2. Очевидно, что У а (в( а )<^( а )) .
3. Пусть с = а V Ь и 8> 0, х, у е А таковы, что
а < х, Ь < у; у(х) <в(а) + 8, ^(у) <в(Ъ) + 8.
Тогда у(хVу)<^(х) + у (У) < в(а) + в(Ъ) + 28 . Переходя в этом неравенстве к точной нижней грани, получаем, что в (а V Ъ ) < в (а ) + в(Ъ) + 28, что в силу произвольности 8 дает полуаддитивность функции в.
4. Пусть теперь хп ^(о) х в А . Тогда для каждого г е 1у , где I — некоторое не более
чем счетное подмножество I имеет место л (х1п ) о) лг (х) в силу непрерывности меры /и..
Для г £ I все координаты как членов последовательности хп, так и ее предела равны нулю.
Поэтому в ( хп Ьв( х )|<И хп )-к( х )|< \supremum{л (х1п)} -supremum{лг (хг)}| ^ 0 , что
означает (о) -непрерывность функции в.
Докажем теперь существенную положительность в.
Пусть в(а) = 0. Предположим, что а ^ 0. Тогда существует такая последовательность хп е А, что хп > а и ухп ^ 0.
от
і=т
Имеем v(xn) = supremum (xin) : i e ICT}. Не умаляя общности, можно считать, что
рассматривается не более чем счетное множество индексов /а , для которых все координаты отличны от нуля. Тогда получается, что некоторая двойная последовательность xin > at
обладает свойством v ( xin ) ^ 0 (n ^ œ) .
Согласно следствию к теореме 5.3 существует подпоследовательность xin^ ^(o) pi ,
при этом, так как xt n¡ > at , pt > at > 0.
Так какv( xin^ ) ^ o, ( xin^ ) ^ 0. С другой стороны, в силу (o) -непрерывности меры
( xin^ ) ^ ( pt ) и, следовательно, pi = 0для всех i e /а . Отсюда получается, что при всех
i e / pt= 0 . Теперь ясно, что a = 0 . Полученное противоречие и доказывает теорему. Суммируя приведенные выше результаты, получаем, что справедлива
5.5. ТЕОРЕМА. Каждая регулярная булева алгебра полунормируема.
СПИСОК ЛИТЕРАТУРЫ
1. Алексюк В. Н. Заметка о нормируемости. Деп. В ВИНИТИ, № 4021-77. 1977. 8 с.
2. Алексюк В. Н. Теорема о миноранте. Счетность проблемы Магарам // Матем. заметки. 1977. Т. 21. № 5. С. 597-604.
3. Владимиров Д. А. Булевы алгебры. М.: Наука, 1966. 318 с.
4. Канторович Л. В., Вулих Б. З., Пинскер А. Г. Функциональный анализ в полуупорядоченных пространствах. М.; Л.: Гостехиздат, 1950. 548 с.
5. Ловягин Ю. Н. Булевы алгебры с достаточным числом непрерывных квазимер. Деп. В ВИНИТИ. № 3111-В97. 1997. 25 с.
6. Ловягин Ю. Н. О некоторых вопросах теории булевых алгебр. Деп. В ВИНИТИ. № 3559-В87. 1987. 14 с.
7. Попов В. А. Аддитивные и полуаддитивные функции на булевых алгебрах // Сиб. матем. журнал. 1976. Т. 17. № 2. С. 331-339.
8. Попов В. А. О некоторых свойствах полумер // XVI Герценовские чтения. Математика: Научные доклады. Л.: ЛГПИ им. А. И. Герцена, 1973. С. 98-102.
9. Порошкин А. Г. Упорядоченные множества. Булевы алгебры: Учеб. пособие по спецкурсу. Сыктывкар: Сыктывкарский ун-т, 1987. 85 с.
10. Порошкин А. Г. К вопросу о нормируемости булевых алгебр с непрерывной внешней мерой // Сиб. матем. журнал. 1980. Т. 21. № 4. С. 216-220.
11. Потепун А. В. Некоторые условия существования меры на булевой алгебре. Деп. В ВИНИТИ. № 6265-В86. 1986. 22 с.
12. Band Ch. Note on pathological submeasure // Proc. Conf.: Topol. and Mess. II. Creifswald, 1980. Part 2. P. 1-5.
13. GeifmanH. Concerning measures on Boolean algebras // Pacif. J. Math. 1964. V. 14. N 1. P. 95-114.
14. Maharam D. Fn algebraic characterization of measure algebras // Ann. of Math. 1947. V. 48. N 1. P.154-167.
REFERENCES
1. Aleksjuk V. N. Zametka o normiruemosti. Dep. V VINITI. N 4021-77. 1977. 8 s.
2. Aleksjuk V. N. Teorema o minorante. Schiotnost' problemy Magaram // Matem. Zametki. 1977. T. 21. N 5. S. 597-604.
3. Vladimirov D. A. Bulevy algebry. M.: Nauka, 1966. 318 s.
4. Kantorovich L. V., Vulih B. Z., Pinsker A. G. Funkcional'nyj analiz v poluuporjadochennyh pro-stranstvah. M.; L.: Gostehizdat, 1950. 548 s.
5. Lovjagin Ju. N. Bulevy algebry s dostatochnym chislom nepreryvnyh kvazimer. Dep. V VINITI. N 3111-V97. 1997. 25 s.
6. Lovjagin Ju. N. O nekotoryh voprosah teorii bulevyh algebr. Dep. V VINITI. N 3559-V87. 1987. 14 s.
7. Popov V. A. Additivnye i poluadditivnye funkcii na bulevyh algebrah // Sib. matem. zhurnal. 1976. T. 17. N 2. S. 331-339.
8. Popov V. A. O nekotoryh svojstvah polumer // XVI Gercenovskie chtenija. Matmatika: Nauchnye doklady. L.: LGPI im. A. I. Gercena, 1973. S. 98-102.
9. Poroshkin A. G. Uporjadochennye mnozhestva. Bulevy algebry: Ucheb. posobie po speckursu. Syktyvkar: Syktyvkarskij un-t, 1987. 85 s.
10. Poroshkin A. G. K voprosu o normiruemosti bulevyh algebr s nepreryvnoj vneshnej meroj // Sib. matem. zhurnal. 1980. T. 21. N 4. S. 216-220.
11. Potepun A. V. Nekotorye uslovija suwestvovanija mery na bulevoj algebre. Dep. V VINITI. N 6265-V86. 1986. 22 s.
12. Band Ch. Note on pathological submeasure // Proc. Conf.: Topol. and Mess. II. Creifswald, 1980. Part 2. P. 1-5.
13. GeifmanH. Concerning measures on Boolean algebras // Pacif. J. Math. 1964. V. 14. N 1. P. 95-114.
14. Maharam D. Fn algebraic characterization of measure algebras // Ann. of Math. 1947. V. 48. N 1. P.154-167.
В. Ф. Зайцев, Хоанг Нгы Хуан
АНАЛОГИ ВАРИАЦИОННЫХ СИММЕТРИЙ ОДУ ТРЕТЬЕГО ПОРЯДКА
Обсуждается задача поиска симметрий уравнений третьего порядка, аналогичных вариационным симметриям. Решены четыре обратные задачи.
Ключевые слова: обратная задача, дифференциальное уравнение третьего порядка, автономный первый интеграл, вариационная симметрия.
V. Zaitsev, Hoang Ngu Huan ANALOGUES OF VARIATIONAL SYMMETRY OF THIRD ORDER ODE
The issue searching for “variation ” symmetries of 3d-order ODEs is discussed. Four inverse problems have been solved.
Keywords: Inverse problem, 3d-order differential equation, autonomous first integral, variational symmetry.
Известно, что среди симметрий обыкновенных дифференциальных уравнений (ОДУ) особое место занимают вариационные, или нетеровы, в случае когда лагранжиан инвариантен относительно группы симметрии соответствующего уравнения Эйлера. Термины, которыми мы определили этот тип симметрии, более присущи механике и вариационному исчислению, но не теории ОДУ. И если нас интересует способ интегрирования уравнения, а не поиск экстремалей, то и нет необходимости использовать гамильтонов формализм. Более того, надо абстрагироваться от привычных представлений о том, что свойства ва-
