Аксиоматическая теория множеств



Скачать 48.93 Kb.
Дата07.11.2012
Размер48.93 Kb.
ТипДокументы
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ

проф. Н.К. Верещагин

1 год

1. Основы теории множеств.

1. Аксиомы теории множеств Цермело-Френкеля.

2. Наследственно конечные множества – интерпретация, в которой истинны все аксиомы, кроме аксиомы бесконечности.

3. Упорядоченные пары, функции.

4. Ординалы, их свойства.

5. Теорема о существовании минимального ординала, обладающего данным свойством.

6. Теорема о том, что для любого множества ординалов существует ординал, больший всех элементов множества.

7. Теорема о сравнимости любых двух ординалов.

8. Предельные ординалы, теорема о существовании предельного ординала.

9. Натуральные числа. Определение арифметических операций. Доказательство аксиом Пеано.

10. Трансфинитная индукция.

11. Теорема о возможности определений с помощью трансфинитной рекурсии.

12. Определение суммы и произведения ординалов.

13. Определение конечных и счётных множеств. Теорема о счётности подмножества счётного множества.

14.Теорема о представлении ординала в виде суммы предельного и конечного ординалов.

15. Аксиома выбора. Вывод теоремы Цермело из аксиомы выбора.

16. Вывод леммы Цорна из аксиомы выбора.

17. Теорема Кантора-Бернштейна.

18. Кардиналы. Определение суммы и произведения кардиналов (в ZFC).

19. Теорема о том, что сумма двух бесконечных кардиналов равна наибольшему из них.

20. Теорема о том, что произведение двух бесконечных кардиналов равно наибольшему из них (в ZFC).

21. Формула, устанавливающая внешнюю биекцию между парами ординалов и ординалами.

22. Теорема о том, что произведение двух бесконечных кардиналов равно наибольшему из них (в ZF).

23. Теорема об отсутствии наибольшего кардинала.

2. Конструктивные множества.

24. Определение и свойства конструктивных множеств.

25. Лемма о том, что если все элементы множества конструктивны, то множество может быть расширено до конструктивного.

26. Лемма о коструктивности множества кортежей, элементы которых принадлежат данному конструктивному множеству и обладают данным свойством.

27. Теорема о том, что в классе конструктивных множеств истинны аксиомы объемности, подмножества, замены, объединения и степени.

28. Конструктивность всех ординалов. Теорема о том, что в классе конструктивных множеств истинна аксиома бесконечности.

29. Истинность аксиомы конструктивности в классе конструктивных множеств.

30. Истинность аксиомы выбора в классе конструктивных множеств.

31. Лемма о том, что теория ZFL+(gif" name="object1" align=absmiddle width=45 height=20>)+”A транзитивно”+”B счетно”+{B замкнуто относительно применения i-ой формульной функции” i=0, 1, 2,…} есть консервативное расширение теории ZFL+”A транзитивно и счётно''.

32. Лемма о том, что замкнутое подмножество модели ZFL само есть модель ZFL.

33. Лемма о том, что теория ZFL+A D+”D транзитивно и счётно'' + ZFLD есть консервативное расширение теории ZFL + ''A транзитивно и счётно'' (ZFLD – множество аксиом ZFL, релятивизованное к D).

34. Теорема о том, что порядок любого элемента счётного транзитивного множества модели ZFL счётен.

35. Истинность континуум-гипотезы в классе конструктивных множеств.

3. Вынуждение.

36. Нигде не плотные, малые, большие и очень большие множества.

37. Теорема Бэра о непустоте больших множеств.

38. Измеримость по Бэру. Теорема о замкнутости семейства измеримых множеств относительно не более, чем счётных, объединений и дополнения.

39. Вынуждающие условия. Вынуждение по Феферману и его свойства.

40. Генерические функции (относительно данного семейства множеств функций) и их свойства.

41. Арифметически генерические функции (т.е. генерические относительно семейства арифметически выразимых множеств функций) и их свойства.

3.1. Теорема Сопрунова.

42. Монадически выразимые (МВ) свойства одноместных предикатов на множестве натуральных чисел.

43. Монадическая выразимость предиката вынуждения по Феферману МВ свойств.

44. Вынуждение по Коэну. Монадическая выразимость предиката вынуждения по Коэну.

45. Основная теорема о вынуждении по Коэну.

46. Эквивалентность пяти определений генеричности.

47. Теорема о существовании вычислимой генерической функции.

48. Теорема о разрешимости монадической теории структуры, получающийся добавлением к структуре с разрешимой монадической теорией генерического предиката.

3.2. Совместимость отрицания континуум-гипотезы с ZFC.

49. Свойства транзитивных моделей теории множеств.

50. Теорема о существовании ранга множеств.

51. Расширение M[f] транзитивной модели теории множеств M путём добавления функции f.

52. Измеримость по Бэру множества .

53. Выразимость в M вынуждения по Феферману свойств вида .

54. Теорема о том, что для генерической функции G (относительно семейства свойств вида ) множество является транзитивной моделью ZFC.

55. Теорема о том, что любой ординал в M является ординалом в и кардиналы различны.

56. Генерическая функция G для которой в ложна континуум-гипотеза.

4. Задачи.

1. Доказать, что для любых ординалов равномощно .

2. Доказать, что для любых ординалов равномощно .

3. Доказать, что для любых двух вполне упорядоченных множеств существует единственная монотонная функция из одного из них на начальный отрезок другого.

4. Доказать, что из любого вполне упорядоченного множества существует единственная монотонная биекция на некоторый ординал.

5. Доказать, что семейство борелевских подмножеств (наименьшая алгебра, содержащая все интервалы) имеет континуальную мощность (в ZFC).

6. Подмножество называется нормальным, если . Доказать, что множество есть наибольшее нормальное открытое приближение к измеримому множеству V.

7.*** Верно ли, что если для любого арифметически выразимого свойства S найдётся вынуждающее условие такое, что или , то f арифметически генерическая функция?

8. Доказать, что любой ординал в принадлежит M.

9. Доказать, что в ложна аксиома конструктивности.

10. Доказать, что тогда и только тогда, когда для всех r, x таких, что и , выполнено (означает, что для некоторого выполнено ).

11. Доказать, что тогда и только тогда, когда для всех r, y таких, что и , выполнено .
Литература

1. Шенфилд Дж. Математическая логика. М., Наука, 1975.

2. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. М., Наука, 1984.

Похожие:

Аксиоматическая теория множеств iconПрограмма дисциплины Спецкурс «Аксиоматическая теория множеств»
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления 010100. 62 «Математика»...
Аксиоматическая теория множеств iconЗадачи 1 Теория множеств [36]. №№3, 12, 19, 10. 10
Доказать равенство множеств, преобразуя множества к одинаковому виду помощью основных законов алгебры множеств
Аксиоматическая теория множеств iconЗакон для нечетких множеств Некоторые свойства операций над множествами не выполнены для нечетких множеств. Так, за исключением случая, когда
Цель настоящего приложения глубже изучить свойства нечетких множеств и показать, что теория нечетких множеств в определенном смысле...
Аксиоматическая теория множеств iconПроблемы аксиоматического исчисления высказываний
Всякая аксиоматическая теория для ее обоснования требует рассмотрения четырех проблем
Аксиоматическая теория множеств iconВыполнили: Ольшевская Мария, Ульященко Ольга
Теория множеств – это раздел математики, изучающий общие свойства множеств (преимущественно бесконечных)
Аксиоматическая теория множеств iconСписок вопросов по курсу «Дискретная математика» для направления 230102
Диаграммы Венна. Классификация множеств. Пересечение множеств. Объединение множеств. Свойства пересечения и объединения множеств....
Аксиоматическая теория множеств iconН. Э. Баумана теория нечетких множеств: новый виток развития
Л. Заде. Дан краткий обзор нетрадиционных и гибридных нечетких множеств. Рассмотрены варианты описания нечеткости на основе произведений...
Аксиоматическая теория множеств iconТеория множеств Пояснения используемых символов
Над множествами, как и над многими другими математическими объектами, можно совершать различные операции, которые иногда называют...
Аксиоматическая теория множеств iconВведение в теорию множеств
Алгебра множеств. Операции на множествах: объединение, пересечение, дополнение. Декартово произведение двух множеств. Бинарные отношения...
Аксиоматическая теория множеств iconРабочая программа по дисциплине «Дискретная математика»
Охватывает лишь минимальное число необходимых понятий из таких разделов дискретной математики, как теория множеств, теория графов,...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org