-направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле термин "А. т. м." может служить для обозначения к.-л. формальной аксиоматич. теории, направленной на построение нек-рого фрагмента содержательной ("наивной") теории множеств. Теория множеств, возникшая на рубеже 19-20 вв., уже в самом начале своего развития натолкнулась на парадоксы. Открытие таких фундаментальных парадоксов, как Рассела и Кантора (см. Антиномия), вызвало широкую дискуссию и способствовало коренному пересмотру логико-математич. принципов. Аксиоматич. направление в теории множеств можно рассматривать как инструмент более детального изучения положения дел в создавшейся ситуации. Построение формальной А. т. м. начинается с точного описания языка, на к-ром формулируются утверждения. Затем принципы "наивной" теории множеств выражаются на описанном языке в виде аксиом, схем аксиом. Ниже дано краткое описание нек-рых наиболее распространенных систем А. т. м. Важную роль при этом играет язык, содержащий следующие исходные символы: 1) переменные к-рые в языке играют роль общих имен множеств; 2) предикатные символы е (знак принадлежности) и = (знак равенства); 3) оператор дескрипции (означающий "такой объект, что..."); 4) логические связки и кванторы: (эквивалентно), (влечет), (или), (и), (не), (для всех), (существует); 5) скобки ( , ). Выражения языка делятся на термы и формулы. Термы являются именами множеств, а формулы выражают суждения. Термы и формулы образуются согласно следующим правилам. П1. Если - переменные или термы, то и суть формулы. П2. Если Аи В - формулы и х - переменная, то суть формулы и - терм; переменная хесть терм. Напр., формула выражает суждение "уесть подмножество z", ее естественно обозначить терм является именем множества всех подмножеств z, в привычной математич. символике его обозначают через Pz. Пусть знак означает "стоящее слева есть обозначение для стоящего справа". Приведем нек-рые дальнейшие обозначения для формул и термов. Пустое множество: Множество таких х, что (х). где z не входит свободно в (х).(т. е. не является параметром формулы (х)). Неупорядоченная пара хи у. Одноэлементное множество из х: Упорядоченная пара хи у: Объединение хи у: Пересечение хи у: Объединение всех элементов х: Декартово произведение х и у: wесть функция: Значение функции на элементе х: zесть стандартное бесконечное множество: Следующая аксиоматич. теория А наиболее полно отражает принципы "наивной" теории множеств. Аксиомы А: А1. аксиома объемности: ("если множества уи z содержат одни и те же элементы, то они равны"); А2. аксиомы свертывания: где А - произвольная формула, не содержащая в качестве параметра у("существует множество у, содержащее те и только те элементы х, для к-рых А"). Описанная система противоречива. Если в А2 в качестве Авзять формулу то из формулы легко выводится , что противоречиво. Аксиоматич. системы теории множеств можно разделить на следующие четыре группы. а) Построение аксиоматич. систем первой группы направлено на такое ограничение аксиом свертывания, к-рое обеспечивает наиболее естественный способ формализации обычных математич. доказательств и в то же время позволяет избежать известных парадоксов. Первой аксиоматикой такого рода была система Z Цермело (Е. Zermelo, 1908). Однако в системе Z невозможно естественным образом формализовать нек-рые разделы математики, и А. Френкель (A. Fraenkel, 1922) предложил пополнить Z новым принципом, названным им аксиомой подстановки. Полученная система наз. системой Цермело- Френкеля и обозначается ZF. б) Вторую группу составляют системы, аксиомы к-рых выбраны в связи с к.-л. объяснением парадоксов, напр, как следствий непредикативных определений. Сюда относятся: разветвленная теория типов Рассела, простая теория типов Т, теории типов с трансфинитными индексами (см. Типов теория). в) Третья группа характеризуется использованием нестандартных средств логич. вывода, многозначных логик, дополнительных условий на доказательства, бесконечных правил вывода. Системы, относящиеся к этому направлению, наименее развиты. г) Четвертая группа включает модификации систем первых трех групп, преследующие определенные логич. или математич. цели. Укажем только на системы NBG Неймана - Гёделя - Бернайса (J. Neumann - К. Godel-Р. Bernays, 1925) и NF Куайна (W. Quine, 1937). Построение системы NBG вызвано желанием иметь конечное число аксиом для теории множеств, основанной на системе ZF. В NF реализуется стремление преодолеть расслоение понятий, имеющее место в теории типов. Системы Z, ZF, NF можно формулировать в описанном выше языке. Правила вывода, а также так наз. логические аксиомы у этих систем совпадают и образуют прикладное исчисление предикатов 1-й ступени с равенством и оператором дескрипции. Укажем только аксиомы для равенства и оператора дескрипции: где (х) - формула, не содержащая связанной переменной у(т. е. не имеющая вхождений вида iy), и (у).получается из формулы (х).заменой нек-рых свободных вхождений переменной хна у; где квантор х означает "существует одно и только одно х", а формула получается из формулы (х).заменой всех свободных вхождений переменной хна терм Квантор выразим через кванторы и равенство. Нелогические аксиомы системы Z: Z1. аксиома объемности А1; Z2. аксиома пары: ("существует множество ");Z3. аксиома суммы: ("существует множество z"); Z4. аксиома степени: ("существует множество Pz");Z5. аксиома выделения: ("существует подмножество z, состоящее из тех элементов х, для к-рых имеет место (х)");аксиомы Z2 -Z5 являются примерами аксиом свертывания; Z6. аксиома бесконечности: Z7. аксиома выбора: ("для всякого множества существует функция выбирающая из каждого непустого элемента хмножества z единственный элемент "). К этим аксиомам добавляют еще аксиому фундирования: Z8. цель к-рой - постулировать, что не существует убывающих цепей Аксиома Z8 позволяет упростить построения в Z. Добавление этой аксиомы не вносит противоречия. В системе Z можно развивать арифметику, анализ, функциональный анализ, рассматривать кардинальные числа, меньшие Однако если определить алефы стандартным образом, то доказать в Z существование и более высоких кардиналов уже невозможно. Система ZF получается из Z добавлением аксиом подстановки Френкеля, к-рым можно придать вид аксиом свертывания: ZF9. ("существует множество у, состоящее из когда vпробегает все элементы множества z"). Иначе говоря, уполучается из z, если каждый элемент у из z заменить на Система ZF является очень сильной теорией. Все обычные математич. теоремы формализуются в ZF. Система NBG получается из системы ZF добавлением нового типа переменных - классовых переменных X, Y, Z, ... и конечного числа аксиом образования классов, позволяющих доказать формулы вида где (х) - формула системы NBG, не содержащая связанных классовых переменных и символа i. Поскольку по каждой формуле (х).можно образовать класс, то бесконечное число аксиом ZF удается заменить конечным числом аксиом, содержащих классовую переменную. Аксиома выбора имеет вид: и утверждает существование единой для всех множеств функции выбора, являющейся классом. Система NF имеет наиболее простую аксиоматику, а именно: 1) аксиому объемности и 2) те аксиомы свертывания, в к-рых формулу Аможно стратифицировать, т. е. приписать всем переменным формулы Аверхние индексы таким образом, чтобы получилась формула теории типов Т, т. е. в подформулах вида хeуиндекс у хна единицу меньше, чем индекс у y. Система NF обладает следующими особенностями: а) выбора аксиома и обобщенная континуум-гипотеза опровержимы; б) бесконечности аксиома доказуема; в) аксиома объемности играет весьма существенную роль. Так, если аксиому объемности заменить несколько более слабой аксиомой: допускающей много пустых множеств, а аксиомы свертывания NF оставить без изменения, то получится довольно слабая теория, именно: уже в формальной арифметике можно доказать непротиворечивость полученной системы. Ниже приведены результаты о соотношениях между описанными системами. (a) Всякая формула ZF доказуема в NBG тогда и только тогда, когда она доказуема в ZF.
(b) В ZF можно установить непротиворечивость Z, пополненной любым конечным числом примеров схемы аксиом подстановки ZF9. Таким образом, ZF значительно сильнее Z. (g) В Z доказуема непротиворечивость Т, так что Z сильнее Т. (d) NF не слабее Т в том смысле, что в NF можно развить всю теорию типов. Аксиоматич. подход к теории множеств позволил придать точный смысл утверждению о принципиальной неразрешимости нек-рых математич. проблем и строго доказать его. Общая схема применения аксиоматич. метода здесь такова. Рассматривается формальная аксиоматич. система S теории множеств (как правило, это ZF или нек-рые ее модификации), настолько универсальная, чтобы она содержала все обычные способы рассуждения классич. математики и все обычные математич. факты могли бы в ней быть выведены. Данная проблема Аможет быть записана в виде формулы в языке S. Затем математич. методами устанавливается, что в Sневозможно вывести ни А , ни отрицание А . Отсюда следует, что проблема Ане может быть разрешена (в ту или иную сторону) средствами теории S, но так как теория Sопределялась в расчете охватить все обычные методы рассуждения, то полученный результат свидетельствует о том, что Ане может быть разрешена обычными методами рассуждения, т. е. свидетельствует о "трансцендентности" А. Результаты о невыводимости в теории Sдоказываются, как правило, в предположении о непротиворечивости S или нек-рого естественного расширения S. Это связано с тем, что, с одной стороны, проблема может быть невыводима в Sтолько при непротиворечивости S, последнее же не может быть установлено средствами S (согласно Гёделя теореме о неполноте), т. е. не может быть доказано обычными методами. С другой стороны, непротиворечивость Sявляется обычно весьма правдоподобной гипотезой. Сама теория Sопределяется в расчете на выполнение этой гипотезы. Далее, аксиоматич. подход к теории множеств позволил точно поставить и решить проблемы, связанные с эффективностью в теории множеств, интенсивно обсуждавшиеся особенно в первый период развития теории множеств в работах Р. Бэра (R. Baire), Э. Бореля (Е. Borel), А. Лебега (Н. Lebesgue), С. Н. Бернштейна, Н. Н. Лузина, В. Серпинского А именно, говорят, что теоретико-множественный объект, удовлетворяющий свойству задается эффективно в аксиоматич. теории S, если может быть построена формула (х).теории S, про к-рую в Sможно доказать, что ей удовлетворяет единственный объект, и этот объект удовлетворяет свойству Это определение дает возможность точно доказать, что для нек-рых свойств в теории Sневозможно эффективно указать объект, удовлетворяющий свойству в то время как существование этих объектов в S может быть установлено. Но поскольку теория Sвыбирается достаточно универсальной, то неэффективность существования нек-рых объектов в Sсвидетельствует и о невозможности эффективно установить их существование обычными математич. средствами. Наконец, методы А. т. м. позволили решить ряд трудных проблем и в классич. ветвях математики: теории кардинальных и ординальных чисел, дескриптивной теории множеств, топологии. Ниже приведены нек-рые из результатов в А. т. м. Большинство теорем относится к А. т. м. Цермело - Френкеля, наиболее употребительной в настоящее время. Пусть ZF - есть система ZF без аксиомы выбора Z7. В силу результаты легко адаптируются и к системе NBG. 1) К. Гёдель (1939) показал, что если непротиворечива, то она остается непротиворечивой и после добавления аксиомы выбора и континуум-гипотезы. Отсюда следует, что в ZF невозможно опровергнуть аксиому выбора или континуум-гипотезу. Для доказательства этого результата Гёдель построил модель теории ZF, состоящую из так наз. конструктивных по Гёделю множеств и играющую важную роль в современной А. т. м. 2) Вопрос о том, можно ли вывести в ZF аксиому выбора или континуум-гипотезу, оставался открытым вплоть до 1963, когда П. Коэн (P. Cohen) с помощью разработанного им вынуждения метода показал, что если ZF- непротиворечива, то она остается таковой и после присоединения любой комбинации из аксиомы выбора, континуум-гипотезы или их отрицаний. Таким образом, эти две проблемы независимы в ZF. Основным методом установления невыводимости формулы Ав ZF является построение модели ZF, в к-рой имеет место отрицание А. Метод вынуждения Коэна, усовершенствованный затем другими авторами, сильно расширил возможности построения моделей теории множеств и в настоящее время лежит в основе почти всех дальнейших результатов о невыводимости. Напр.: 3) Показано, что к ZF без противоречия можно присоединить гипотезу о том, что мощность множества подмножеств множества хможет быть почти произвольной наперед заданной функцией мощности хна регулярных кардиналах (единственные существенные ограничения связаны с теоремой Кёнига). 4) В 1920 М. Я. Суслин сформулировал гипотезу: всякое линейно полно упорядоченное множество такое, что всякое попарно непересекающееся семейство непустых открытых интервалов в нем не более чем счетно, необходимо содержит счетное всюду плотное подмножество. Методом Коэна была установлена неразрешимость в ZF гипотезы Суслина. 5) Показана неразрешимость в (без аксиомы выбора) утверждения: всякое подмножество множества действительных чисел измеримо по Лебегу. 6) Выяснено взаимоотношение с ZF многих важных проблем дескриптивной теории множеств. Первые результаты в этом направлении были объявлены Гёделем в 30-х гг. и доказаны П. С. Новиковым [5]. Методы А. т. м. позволили обнаружить неизвестные ранее связи между проблемами "наивной" теории множеств. Доказано, напр., что из существования неизмеримого по Лебегу множества действительных чисел типа вытекает существование несчетного (т. е. СА).множества без совершенного подмножества. 7) Доказано отсутствие в ZF эффективного вполне упорядочения континуума. Получены многочисленные результаты об отсутствии эффективно определенных объектов в дескриптивной теории множеств и теории ординалов. Лит.:[1] Френкель А.
Теория — ж. греч. умозренье, умозаключенье; заключенье, вывод из чего-либо, не по явленью на деле, а по выводам своим; противоположное дело, на деле, опыт, практика. не всегда верна;........
Толковый словарь Даля
Теория — теории, ж. (греч. theoria - исследование). 1. учение, являющееся ражением действительности, обобщением практики, человеческого опыта. ..., если она является действительной теорией,........
Толковый словарь Ушакова
Теория Ж. — 1. Обобщение фактов, опыта, знаний, основывающееся на глубоком проникновении в сущность изучаемого явления, вскрывающее его закономерности. 2. Учение о какой-л. области........
Толковый словарь Ефремовой
Исторического Пессимизма Теория — - направление в футурологии международных отношений, которое, в противовес теории технократического оптимизма, исходит из перспективы долгого существования классического........
Политический словарь
Конвергенции Теория — (от лат. convergere - сближаться, сходиться) основана на идее преобладания тенденций объединения элементов в систему над процессами дифференциации, различения и индивидуализации.........
Политический словарь
Мобильности Теория — (от фр. mobile, лат. mobilis - подвижный, способный к быстрому действию) - система идей в социологии и политологии, в которой осмысливаются процессы изменения положения людей........
Политический словарь
Олигархизации Политических Партий Теория — - (от греч. oliarchia - власть немногих) - обоснование характерной тенденции в развитии партии: переход от организации демократического типа к жесткому бюрократическому аппарату........
Политический словарь
Политическая Система Индустриально Развитых Стран (теория) — Политическая система представляет собой совокупность лиц, институтов, участвующих в политическом процессе, неформальных и неправительственных факторов, влияющих........
Политический словарь
Политическая Теория — (POLITICAL THEORY) - массив научной мысли, нацеленной на оценку, объяснение и прогнозирование политических феноменов. Одновременно политическая теория представляет собой раздел........
Политический словарь
Постиндустриального Общества Теория — - широко применяется в западной политологии и социологии для обозначения современного общества. Концепция индустриального общества разрабатывалась в трудах Р.Дарендорфа........
Политический словарь
Теория — - интегрированная совокупность принципов, которые объясняют и предсказывают наблюдаемые явления. (Д. Майерс, с.50)
Политический словарь
Теория Конвергенции — (лат. convergere приближаться, сходиться) - одна из концепций политологии, социологии и политэкономии, усматривающая в общественном развитии современной эпохи преобладающую........
Политический словарь
Теория Нового Институционализма — - направление в американской политологии, возникшее в 1970-е гг. Классики неоинституционализма американские политологи Д.Марч и Д.Олсен в работе "Вновь открывая институты:........
Политический словарь
Теория Партисипаторной Демократии — - теоретики партисипаторной демократии (Дж.Вольф, Ф.Грин, Б.Барбер)остаются верными центральной идее классической теории демократии о способности простых людей управлять........
Политический словарь
Теория Плебисцитарной Демократии — - ее основателем считается М.Вебер. По его мнению, с развитием партий меняется характер политического представительства и политическая организация власти. Политическое........
Политический словарь
Теория Плюралистической Демократии — - концепция, согласно которой политический процесс предоставляет собой борьбу множества социальных, профессиональных, религиозных, местных, национальных или др. группировок,........
Политический словарь
Теория Рационального Выбора — - согласно ее основному положению, главным субъектом политического участия является свободный индивид, стремящийся к максимальной реализации своих интересов и эффективно........
Политический словарь
Теория Социально-когнитивного Научения — (SOCIAL COGNITIVE LEARNING THEORY). Направление персонологии, представленное Бандурой и Роттером, в котором подчеркивается, что поведение является результатом сложного взаимодействия........
Политический словарь
Теория Статусной Перестановки — - концепция, объясняющая политизацию социальных групп в условиях, когда их объективные социально- 285 экономические характеристики не снижаются, но происходит рост статуса........
Политический словарь
Теория Элитарной (элитистской) Демократии — - концепция, согласно которой власть при демократии осуществляется элитами. Отличие демократии от диктатуры состоит в наличии нескольких элит, конкурирующих друг с........
Политический словарь
Амортизационная Теория Страхового Фонда — См. Теория амортизационная страхового фонда
Экономический словарь
Арбитражная Теория Оценки — (arbitrage pricing theory) – теория равновесия на рынке капиталов, основанная на предположении об отсутствии арбитражных возможностей. В соответствии с арбитражной теорией оценки,........
Экономический словарь
Арбитражная Теория Ценообразования — Альтернативная модель определения стоимости основных фондов, разработанная Стивеном Россом и построенная исключительно на арбитражных аргументах.
Экономический словарь
Государственная Теория Денег — См.
Теория денег государственная
Экономический словарь
Густав Кассель: Экономическая Теория Как Чистая Теория Цен — Густаву Касселю (1866-1944) всемирную известность принесли его многочисленные произведения и общественная деятельность. Вначале Кассель изучал технические науки, в 1895........
Экономический словарь
Декларативная Теория Признания — - правовая
концепция, отрицающая, что
субъект международного
права возникает лишь в силу акта его признания другими государствами. Согласно этой концепции........
Экономический словарь
Кардиналистская Теория Полезности — (от англ. cardinal - количественный) - исходит из того, что любой
потребитель способен количественно измерить
уровень полезности всякого данного
товара и уровень........
Экономический словарь
Классическая Теория — - теория, объединяющая представителей экономической науки, развивавших экономические концепции, начало которым положили английские
экономисты А. Смит и Д, Рикардо.........
Экономический словарь
Количественная Теория Денег — теория денежного обращения, основанная на уравнении
обмена (уравнении Фишера), связывающем денежную массу в обращении,
скорость обращения денег, среднюю цену........
Экономический словарь
Мальтузианская Теория Народонаселения — MALTHUSIAN THEORY OF POPULATIONПреподобный Томас Мальтус в своем
труде `Опыт
закона о народонаселении` (1798г.) отстаивал точку зрения, что
численность населения при его........
Экономический словарь
Slovariki 2.0. Знание - сила