Главная » Все файлы » Просмотр файлов из архивов » PDF-файлы » Ещё одни лекции В.А. Захарова

Ещё одни лекции В.А. Захарова, страница 39

Описание файла

PDF-файл из архива "Ещё одни лекции В.А. Захарова", который расположен в категории "лекции и семинары". Всё это находится в предмете "математическая логика и логическое программирование" из седьмого семестра, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .

Просмотр PDF-файла онлайн

Текст 39 страницы из PDF

∀x, y , z (D(x, y , z, z) → x = y )(аксиома нулевого отрезка)5). ∀x1 , y1 , x2 , y2 , x3 , y3(D(x1 , y1 , x2 , y2 )&D(x2 , y2 , x3 , y3 ) → D(x1 , y1 , x3 , y3 ))(аксиома транзитивности равенства длин отрезков)Аксиоматическое устройство геометрииАксиома T66). ∀x1 , y1 , z1 , u1 , x2 , y2 , z2 , u2(x1 = y1 &y1 = z1 &B(x1 , y1 , z1 )&B(x2 , y2 , z2 )&D(x1 , y1 , x2 , y2 )&D(y1 , z1 , y2 , z2 )&D(y1 , u1 , y2 , u2 )&D(x1 , u1 , x2 , u2 ) →→ D(z1 , u1 , z2 , u2 ))(аксиома пяти отрезков)tx1AtZu1AZA ZA ZZAZZAtZty1z1tx2AtZu2AZA ZA ZZAZZZtAty2z2Аксиоматическое устройство геометрииАксиомы Аксиомы T7–T107).

∀x, y , z, u ∃v (B(x, y , z) & D(y , z, u, v ))(аксиома откладывания отрезка)8). ∀x, y , ∃z (B(x, z, y )&D(x, z, z, y ))(аксиома деления отрезка пополам)9). ∃x, y , z (¬B(x, y , z) & ¬B(x, z, y ) & ¬B(z, x, y ))(аксиома существования неколлинеарных точек)10). ∀x, y , z (¬B(x, y , z) & ¬B(x, z, y ) & ¬B(z, x, y ) →→ ∃v (D(v , x, v , y )&D(v , x, v , z)))(аксиома центра описанной окружности)Аксиоматическое устройство геометрииАксиома T1111).

∀x, y , z, u, v(D(x, u, x, v )&D(y , u, y , v )&D(z, u, z, v ) →→ (B(x, y , z) ∨ B(y , z, x) ∨ B(z, y , x)))(аксиома перпендикуляра к середине отрезка)t x@@@t yQQ @Q @QQ@Q@QQt@tHHu HvHHHHtHzАксиоматическое устройство геометрииАксиома T1212). ∀x, y , z, u, v(B(x, u, z)&B(y , z, v ) →→ ∃w (B(y , u, w )&B(x, w , v )))(аксиома Паша)t v@t w@@t t@txu@z@ @t y@Аксиоматическое устройство геометрииАксиома T1313).

∀x ∃y , z (ϕ(y )&ψ(z) → B(x, y , z)) →→ ∀x ∃y , z (ϕ(y )&ψ(z ) → B(y , x , z ))(схема аксиом непрерывности)Аксиоматическое устройство геометрииОсновные свойства формальной геометрии ТарскогоТеоремаАксиоматическая теория T1–T13 (формальная геометрияТарского)непротиворечива,полна,категорична,алгоритмически разрешима.К сожалению для школьников, разрешающая процедура,способная доказывать любую геометрическую теорему, имеетневероятно большую вычислительную сложность.Теория множествМНОЖЕСТВО — это основополагающее понятие современнойматематики. Понятие множества предложил во второйполовине 19 в.

немецкий математик Георг Кантор.А что же такое множество?Поскольку это основополагающее понятие, строгогоопределения дать нельзя. Это коллекция (семейство,совокупность, собрание) различных предметов (объектов,элементов ).Может ли математика спокойно развиваться, опираясь на стользыбкое основание?Теория множествПарадокс РасселаЭлементами множеств могут быть множества. Рассмотримколлекцию всех множеств, каждое из которых не являетсясвоим собственным элементом: A = {x : x ∈/ x} .У нас нет достаточных оснований не признавать этусовокупность множеств A множеством.Но тогда мы должны уметь давать ответ на вопрос:содержит ли множество A в качестве элемента само множествоA (т.

е. верно ли что A ∈ A ?)Ответ обескураживающий:если A ∈ A , то по определению A верно A ∈/ A,а если A ∈/ A , то определению A верно A ∈ A .Теория множествЗначит, в наивной теории множеств существуютматематические утверждения, которые нельзя признать ниистинными, ни ложными. На основе такой расплывчатойтеории хорошей математики не построить.Может быть стоило бы исключить эту странную коллекцию Aиз числа множеств?Можно. Но тогда придется создать «кодекс теории множеств»,в котором должно быть указано, какие именно конструкциипризнаются множествами, и какими свойствами они должныобладать.Попытку создания такого «кодекса теории множеств» —аксиоматической теории множеств — предприняли в ЭрнестЦермело в 1908 г..

Аксиоматику Цермело пополнили АбрахамФренкель, Торальф Сколем, Джон фон Нейман.Теория множеств Цермело–ФренкеляПонятие множества и свойства множеств можно описать сиспользованием единственного предикатного символа ∈ ,обозначающего отношение принадлежности одного множествав качестве элемента другого множества.Представим себе математический мир, состоящий только измножеств. Этот мир может быть описан следующимиаксиомами.Теория множеств Цермело–Френкеля1) ∀x, y , u, v (x = y & u = v ) → (x ∈ u ≡ y ∈ v )(Аксиома равенства множеств)2) ∀x, y (∀z (z ∈ x ≡ z ∈ y ) ≡ x = y )(Аксиома объемности)3) ∀x∀u1 , .

. . , un ∃y ∀z (z ∈ y ≡ (z ∈ x & ϕ(z, u1 , . . . , un )))(Схема аксиом выделения)здесь ϕ(x, u1 , . . . , un ) — произвольная формулалогики предикатов сигнатуры σ = ∈ .Теория множеств Цермело–ФренкеляПримеры применения аксиомы выделения1. Существует единственное пересечение двух множествоСуществование пересечения двух множеств следует из аксиомывыделения∀x1 , x2 ∃y ∀z (z ∈ y ≡ (z ∈ x1 & z ∈ x2 )),а единственность пересечения следует из аксиомы объемности∀x, y (∀z (z ∈ x ≡ z ∈ y ) ≡ x = y ).Теория множеств Цермело–ФренкеляПримеры применения аксиомы выделения2.

Существует единственное пустое множествоСуществование пустого множества следует из аксимывыделения∀x ∃y ∀z(z ∈ y ≡ (z ∈ x & z = z)),а единственность пустого множества следует из аксиомыобъемности∀x, y (∀z (z ∈ x ≡ z ∈ y ) ≡ x = y ).Но здесь есть один нюанс. А откуда берется множество X наосновании которого определяется пустое множество?Теория множеств Цермело–ФренкеляПримеры применения аксиомы выделения2. Существует единственное пустое множествоСуществование пустого множества следует из аксимывыделения∀X ∃y ∀z(z ∈ y ≡ (z ∈ X & z = z)),а единственность пустого множества следует из аксиомыобъемности∀x, y (∀z (z ∈ x ≡ z ∈ y ) ≡ x = y ).Но здесь есть один нюанс.

А откуда берется множество X наосновании которого определяется пустое множество?Теория множеств Цермело–ФренкеляПримеры применения аксиомы выделенияПоэтому приходится вводить специальную аксиому.4). ∃y ∀z ¬(z ∈ y )(Аксиома пустого множества)Введем специальный символ ∅ для обозначения пустогомножества, а запись y = ∅ будем рассматривать каксокращенное обозначение формулы∀z ¬(z ∈ y ) .Теория множеств Цермело–ФренкеляПримеры применения аксиомы выделения3. Существует единственное объединение двух множествКазалось бы, объединение множеств легко ввести так же, какэто было сделано для пересечения:∀x1 , x2 ∃y ∀z (z ∈ y ≡ (z ∈ x1 ∨ z ∈ x2 )) .Но эта формула не подпадает под схему аксиом выделения∀x∀u1 , . .

. , un ∃y ∀z (z ∈ y ≡ (z ∈ x & ϕ(z, u1 , . . . , un ))) .Можно было бы записать определение объединения так:∀X, x1 , x2 ∃y ∀z (z ∈ y ≡ (z ∈ X & (z = x1 ∨ z ∈ x2 ))) .Но совершенно непонятно, откуда взять подходящее множествоX . Может быть, в качестве X взять x1 ∪ x2 ? Но мы ведь еще неТеория множеств Цермело–ФренкеляПримеры применения аксиомы выделения3. Существует единственное объединение двух множеств.Поэтому приходится вводить две специальные аксиомы.5). ∀y , z ∃x ∀u (u ∈ x ≡ (u = y ∨ u = z))(Аксиома пары)Множество x, существование которого утверждает аксиомапары, традиционно обозначается {y , z}.6). ∀y ∃x ∀u (u ∈ x ≡ ∃z (z ∈ y & u ∈ z))(Аксиома объединения)Множество x, существование которого утверждаетаксиомаz или болееобъединения, традиционно обозначаетсяz∈yкоротко ∪y . Таким образом x1 ∪ x2 — это ∪{x1 , x2 }.Теория множеств Цермело–ФренкеляПримеры применения аксиомы выделения4.

А что делать, если нам нужно множество, состоящее изодного-единственного элемента?Для этого достаточно выделения и аксиомы пары:множество, состоящее из одного элемента u — это множество{u,u}.5. А что делать, если нам нужны упорядоченные наборыэлементов?Для этого достаточно аксиомы выделения и аксиомы пары:упорядоченная пара y , z — это множество {y , {y , z}}.Далее аналогично можно определять упорядоченные наборы(кортежи), функции, инъективные отображения, биективныеотображения, отношения включения, равномощности и т. д.Теория множеств Цермело–ФренкеляНо таким образом из пустого множества ∅, — единственногомножества, существование которого гарантируют аксиомы, —можно получить только конечные множества. А откудавозьмутся бесконечные множества?7).

∃x (∅ ∈ x & ∀y (y ∈ x → y ∪ {y } ∈ x))(Аксиома бесконечности)Фактически, аксиома бесконечности определяет множествонатуральных чисел:∅,{∅},{∅,{∅}},∅,{∅},{∅,{∅}},... 0123Теория множеств Цермело–ФренкеляА откуда возьмутся несчетные множества?8). ∀y ∃x ∀z (z ∈ x ≡ ∀u (u ∈ z → u ∈ y ))(Аксиома степени)Аксиома степени определяет множество всех подмножествзаданного множества (множество-степень, powerset). Значит,множества могут нарастать неограниченно «высоко».Теория множеств Цермело–ФренкеляА являются ли множествами образы множеств относительнозаданных функций, определяемых при помощи формул логикипредикатов?9). ∀x ∀y , z, u (y ∈ x & ϕ(y , z) & ϕ(y , u) → z = u) →→ ∃v ∀w (w ∈ v ≡ ∃t (t ∈ x & ϕ(t, w )))(Схема аксиом замены)Теория множеств Цермело–ФренкеляА насколько «глубоко» могут опускаться множества? Не могутли у нас образовываться такие множества, которые входят всостав самих себя в качестве элементов?10).

∀x (x = ∅ → ∃y (y ∈ x & x ∩ y = ∅))(Аксиома фундирования (регулярности))Эта аксиома играет роль предохранителя, оберегающеготеорию множеств от парадоксов. Аксиома фундированияобъявляет, что семейства множеств видаX1 , X2 , X3 , . . . ,у которых X2 ∈ X1 , X3 ∈ X2 , . . . , Xn+1 ∈ Xn , · · · и т. д.множествами не являются .Теория множеств Цермело–ФренкеляПримеры применения аксиомы фундированияZF ! ∀u(u ∈/ u)Из аксиомы фундирования∀x (x = ∅ → ∃y (y ∈ x & x ∩ y = ∅))следует (если в качестве x выбрать {u})ZF ! ∃y (y ∈ {u} & u ∩ y = ∅) .Поскольку единственным элементом y в множестве {u}является u, получаемZF ! {u} ∩ u = ∅ .Следовательно, ZF ! u ∈/ u.Теория множеств Цермело–ФренкеляПримеры применения аксиомы фундированияПопробуйте самостоятельно убедиться, что из аксиом теориимножеств Цермело–Френкеля следует невозможностьсуществования «парадоксальных множеств»:ZF ! ∀u, v (u ∈/ v ∨v ∈/ u)ZF ! ¬∃x ∀y (y ∈ x ≡ y ∈/ y)Нужны ли еще какие-нибудь другие аксиомы?Теория множеств Цермело–ФренкеляК сожалению, для решения некоторых задач приходитсявводить дополнительные аксиомы.Например, интуиция подсказывает, что любые два множествадолжны быть сравнимы по мощности.

Два множества A и Bназываются равномощными (A ∼ B), если существуетбиективная функция, отображающая одно множество надругое. Справедливо ли следующее утверждение?Теорема трихотомии. Для любых двух множеств A и B верноодно из трех:либо A ∼ B,либо A ∼ B, но существует такое A , A ⊂ A, что A ∼ B,либо A ∼ B, но существует такое B , B ⊂ B, что A ∼ B .Эту теорему можно доказать, но лишь при том условии, если унас есть хоть какой-нибудь способ, позволяющий выбрать изпроизвольного непустого множества хоть какой-нибудь элемент.Чтобы этот способ выбора стал легальным средствомдоказательства, нужно ввести специальную аксиому выбора .Теория множеств Цермело–ФренкеляАксиома выбора (CA)Каково бы ни было множество попарно непересекающихсямножеств U = {X1 , X2 , .

Свежие статьи
Популярно сейчас