Аксиоматические системы и их свойства. Отношения между объектами

Нажмите для полного просмотра!

Аксиоматические системы и их свойства. Отношения между объектами, слайд №2

Аксиоматические системы и их свойства. Отношения между объектами, слайд №3

Аксиоматические системы и их свойства. Отношения между объектами, слайд №4

Аксиоматические системы и их свойства. Отношения между объектами, слайд №5

Аксиоматические системы и их свойства. Отношения между объектами, слайд №6

Аксиоматические системы и их свойства. Отношения между объектами, слайд №7

Аксиоматические системы и их свойства. Отношения между объектами, слайд №8

Аксиоматические системы и их свойства. Отношения между объектами, слайд №9

Аксиоматические системы и их свойства. Отношения между объектами, слайд №10

Аксиоматические системы и их свойства. Отношения между объектами, слайд №11

Аксиоматические системы и их свойства. Отношения между объектами, слайд №12

Аксиоматические системы и их свойства. Отношения между объектами, слайд №13

Аксиоматические системы и их свойства. Отношения между объектами, слайд №14

Аксиоматические системы и их свойства. Отношения между объектами, слайд №15

Аксиоматические системы и их свойства. Отношения между объектами, слайд №16

Аксиоматические системы и их свойства. Отношения между объектами, слайд №17

Аксиоматические системы и их свойства. Отношения между объектами, слайд №18

Аксиоматические системы и их свойства. Отношения между объектами, слайд №19

Аксиоматические системы и их свойства. Отношения между объектами, слайд №20

Аксиоматические системы и их свойства. Отношения между объектами, слайд №21

Аксиоматические системы и их свойства. Отношения между объектами, слайд №22

Аксиоматические системы и их свойства. Отношения между объектами, слайд №23

Аксиоматические системы и их свойства. Отношения между объектами, слайд №24

Аксиоматические системы и их свойства. Отношения между объектами, слайд №25

Аксиоматические системы и их свойства. Отношения между объектами, слайд №26

Аксиоматические системы и их свойства. Отношения между объектами, слайд №27

Аксиоматические системы и их свойства. Отношения между объектами, слайд №28

Аксиоматические системы и их свойства. Отношения между объектами, слайд №29

Аксиоматические системы и их свойства. Отношения между объектами, слайд №30

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Аксиоматические системы и их свойства. Отношения между объектами. Доклад-сообщение содержит 30 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

9. Аксиоматические системы и их свойства 9.1. Отношения между объектами Определение. В математике отношение выражает связь между элементами x, y, …, некоторых множеств A, B, …. Пример. Отношения: равенства, больше/меньше, конгруэнтности. Определение. Отношения между двумя элементами xA и yB называют двухместными или бинарными отношениями. Все такие отношения будем обозначать Ð(x,y), при xA, yB. Пример. Отношение равенства 1+2=2+1 бинарное. Отношение «больше» тоже бинарное.

Слайд 2

Описание слайда:

Аналогично двухместному, определяются n–местные отношения – отношения между элементами x1A1 ,…, xnAn некоторых множеств A1, …, An . Пример. Отношение «точка А на прямой лежит между точками В и С» - трехместное P(A,B,C). Определение. Отношение Ð(x,y) между элементами множества M называется отношением эквивалентности, обозначим его (x~y), если выполняются три условия: Рефлексивности: x ~ x; Симметричности: если x ~ y, то y ~ x; Транзитивности: если x ~ y, y ~ z, тогда x ~ z.

Слайд 3

Описание слайда:

Пример. Отношения эквивалентности: числовые равенства Рефлексивность x = x Симметричность x=y => y=x Транзитивность x=y и y=z => x=z ДА числовые неравенства Рефлексивность x ≠ x Симметричность x ≠ y => y ≠ x Транзитивность x ≠ y и y ≠ z => x ≠ z НЕТ

Слайд 4

Описание слайда:

Пример. Отношения эквивалентности: 3) отношение «>» Рефлексивность x > x Симметричность x > y => y > x Транзитивность x > y и y > z => x > z НЕТ 4) конгруэнтность фигур. Пусть заданы фигуры А,В,С. Рефлексивность А ~ А Симметричность А ~ B => B ~ А Транзитивность А ~ B и B ~ C => A ~ C ДА

Слайд 5

Описание слайда:

Пример. Отношения эквивалентности: 5) подобие фигур. Пусть заданы фигуры А,В,С. Рефлексивность А ~ А Симметричность А ~ B => B ~ А Транзитивность А ~ B и B ~ C => A ~ C ДА 6) параллельность прямых. Пусть заданы прямые a,b,c Рефлексивность a || a Симметричность a || b => b || a Транзитивность a || b и b || c => a || c ДА

Слайд 6

Описание слайда:

Утверждение. Любое отношение эквивалентности Ð(x,y), заданное на множестве M, определяет множество классов эквивалентности: два элемента x,yM попадают в один класс тогда и только тогда, когда x ~ y (эти классы непересекающиеся). Пример 1. Рассмотрим множество выражений: {1+5, 2+1, 2+3, 2+4, 1+2, 1+4, 3+3, 1+1+1, 4+2, 1+3}. Сколько всего классов эквивалентности по отношению «числовое равенство» ? такие классы эквивалентности: [ {1+5, 2+4, 3+3, 4+2}, {2+1, 1+2, 1+1+1}, {2+3, 1+4}, {1+3} ].

Слайд 7

Описание слайда:

Таким образом, задание отношения эквивалентности на некотором множестве равносильно разбиению этого множества на непересекающиеся подмножества. Пример 2. После выставления оценок за КН студенты разбиваются на 3 класса экв-ти: получившие 0,1,2 баллов.

Слайд 8

Описание слайда:

9.2. Аксиоматические теории и математические структуры Все примеры математических «языков» - числовые системы, евклидова геометрия, векторы, геометрия Лобачевского - построены по общему правилу. Рассмотрим это общее правило – формирование математической структуры на основе аксиоматического подхода Определение. Любая система аксиом - это система утверждений T={T1,T2 …}, задающих систему отношений Ð={ Ð1 , Ð2 …} между элементами некоторых базовых множеств M1, …, Mm.

Слайд 9

Описание слайда:

Пример. 20 аксиом Гильберта описывают отношения между точками, прямыми, плоскостями, отрезками, углами и числами. Здесь: Утверждения: (это сами аксиомы) T={T1, T2 …,T20}. Отношения: Ð1 инцидентности, Ð2 порядка, Ð3 конгруэнтности, Ð4 отношения, определяющие свойства непрерывности, Ð5 отношение параллельности. Множества: M1 - множество точек, M2 - множество прямых, M3 - множество плоскостей, M4 - множество отрезков, M5 - множество углов, M6 - множество натуральных чисел.

Слайд 10

Описание слайда:

Определение. Математической структурой называется система отношений Ð, заданная на базовых множествах M1,…, Mm посредством системы аксиом T. Система аксиом – это набор утверждений. Когда мы выделяем базовые множества и отношения – получаем структуру. Математическую структуру будем обозначать ΣТ = {T, Ð, M}. Для краткости иногда обозначается ΣТ.

Слайд 11

Описание слайда:

Пример. Таким образом, все рассмотренные нами аксиоматики задают структуры (мы пока называли их системами): Структура натуральных чисел – (аксиоматика Пеано для натуральных чисел), Структура действительных чисел – (аксиоматика действительных чисел), Структура векторных пространств – (аксиоматика векторных пространств), Структура геометрического евклидова пространства – (аксиоматика Гильберта), Структура арифметического евклидова пространства – (аксиоматика Вейля).

Слайд 12

Описание слайда:

Определение. Система всех утверждений, доказываемых логическим путем в структуре ΣТ, называется аксиоматической теорией этой структуры, она обозначается TΣ. То есть, теория состоит из всех возможных утверждений, которые логически выводятся из заданных аксиом.

Слайд 13

Описание слайда:

Примеры. 1) теорема о конгруэнтности треугольников по 3 углам является элементом теории структуры планиметрии Лобачевского. 2) теорема о подобии треугольников по 3 углам является элементом теории структуры евклидовой планиметрии 3) Утверждение о том, что 2 прямые могут иметь не более 1 общей точки является элементом и евклидовой планиметрии, и планиметрии Лобачевского.

Слайд 14

Описание слайда:

9.3. Модель (реализация) системы аксиом. В системе аксиом не всегда указываются конкретные объекты, к которым эти аксиомы применяются. Например, в аксиоматике Пеано для натуральных чисел не указано, что такое числа, как они выглядят. При этом, мы имеем как минимум две конкретные модели натурального ряда: десятичная модель: «1,2,3,4,…» и римская: «I,II,III,IV,V,…».

Слайд 15

Описание слайда:

Определение. Модель системы аксиом T (реализация системы аксиом) представляет собой такую совокупность некоторых объектов и отношений между ними, для которой выполняются все требования системы аксиом T. То есть, реализация – это некоторый конкретный пример. Пример. Для моделей «1,2,3,4,…» и «I,II,III,IV,V,…» выполняются все аксиомы Пеано, а вот ряд «1,2,3,3,3,4…» уже не является моделью натурального ряда.

Слайд 16

Описание слайда:

Слайд 17

Описание слайда:

Примеры реализаций. 1) Пусть 1 – геометрическое евклидово пространство (прямая), и R1 - арифметическая модель евклидовой прямой. То есть, R(1)=R1. Тогда, например для утверждения «точка А лежит левее точки В», его реализация есть «числовое неравенство a

Слайд 18

Описание слайда:

Пример. 2) Пусть 2 – геометрическое евклидово пространство (плоскость), и R2 - арифметическая модель евклидовой плоскости. Т.е., R(2)=R2. Тогда, например: базовое множество М1 - это все точки R2, а его реализация R(М1) - упорядоченные числовые пары (x,y). Базовое множество M2 – множество всех прямых R2, а его реализация есть множество уравнений вида ax+by+c = 0.

Слайд 19

Описание слайда:

Пример. 2) Пусть 2 – геометрическое евклидово пространство (плоскость), и R2 - арифметическая модель евклидовой плоскости. Т.е., R(2)=R2. Для отношения «точка A принадлежит прямой l», его реализация есть свойство: «пара (x,y) удовлетворяет уравнению ax+by+c = 0». Для утверждения «для любых двух прямых существует не более одной общей точки», его реализация есть «система уравнений… имеет не более одного решения».

Слайд 20

Описание слайда:

Слайд 21

Описание слайда:

Слайд 22

Описание слайда:

9.4. Формальная и содержательная аксиоматики, теории и структуры. Определение. Система аксиом Т, ее аксиоматичес-кая теория TΣ и аксиоматическая структура ΣТ, определенные вне какой-либо реализации называются абстрактными. Если существует реализация R(T) этой системы, то система Т, теория TΣ и структура ΣТ называются содержательными. Примеры. 1) Содержательная теория: теория аксиоматики Гильберта (реализация 3).

Слайд 23

Описание слайда:

Примеры. 2) Классическим примером абстрактной теории является геометрия Лобачевского. Когда были найдены ее реализации, например, реализация Пуанкаре, геометрия Лобачевского стала содержательной теорией. Как правило, сначала изучается некоторая модель, при этом выделяются аксиомы и формируется математическая структура. Обратный случай, когда строится абстрактная аксиоматика, и затем для нее ищется модель, встречается реже.

Слайд 24

Описание слайда:

9.5. Изоморфизм реализаций. Пусть система аксиом Т имеет две реализации: R(T) и R'(T) . будет ли взаимно-однозначным соответствие между реализациями отношений в R и реализациями отношений в R’ ?

Слайд 25

Описание слайда:

Определение. Две реализации R(T) и R'(T) системы аксиом Т будем называть изоморфными, если выполняется два условия: 1) Существует взаимно-однозначное соответствие между реализациями Ri(Mi) и R'i(Mi) всех базовых множеств Mi. Это соответствие устанавливает взаимно-однозначное соответствие и между всеми отношениями P‘i и Pi. Само отображение, при этом называется как изоморфизмом моделей или реализаций R(T).

Слайд 26

Описание слайда:

Пример 1. Рассмотрим абсолютную геометрию плоскости (14 аксиом аксиоматики Гильберта - геометрия без аксиомы параллельности). Мы имеем две реализации этой планиметрии: 1) арифметическая модель R2 евклидовой плоскости; 2) модель Пуанкаре L2 (плоскости Лобачевского). С одной стороны, можно установить взаимно-однозначное соответствие между точками М из R2 и точками N из L2, а также между прямыми из R2 и прямыми из L2.

Слайд 27

Описание слайда:

В то же время не всем отношениям между точками и прямыми в L2 можно найти соответствующие отношения в R2. Например, отношение {прямые a1 и a2 не параллельны и не пересекаются} может выполняться в L2 и не имеет аналога в R2. Аналогично, не всем утверждениям в теории T(L2) можно найти соответствующие утверждения в T(R2). Например, утверждение {если три угла треугольни-ка конгруэнтны, то треугольники конгруэнтны} выполняется в T(L2) и не имеет аналога в T(R2).

Слайд 28

Описание слайда:

Пример 2. Пусть 2 - геометрическая модель векторного пространства (объекты: направленные отрезки). Пусть Е2- арифметическая модель векторного пространства (объекты: пары чисел(x,y)). Между этими моделями существует взаимно-однозначное отображение. При этом это отображение сохраняет все определенные в векторной структуре отношения между соответствующими векторами. Следовательно, это отображение – изоморфизм.

Слайд 29

Описание слайда:

Другими словами, изоморфизм моделей - это такое взаимно-однозначное соответствие между элементами моделей, которое сохраняет отношения этих элементов, задаваемые системой аксиом. В примере 1, арифметическая модель R2 евклидовой плоскости, модель Пуанкаре L2 (плоскости Лобачевского), модели R2 и L2 не изоморфны. В примере 2, 2 - геометрическая модель векторного пространства, Е2- арифметическая модель векторного пространства. модели 2 и E2 изоморфны.

Слайд 30

Описание слайда:

Почему возникают две такие неравнозначные ситуации? Чем принципиально могут различаться системы аксиом? Какой должна быть СА, чтобы все реализующие ее модели были изоморфны? Какой должна быть СА, чтобы среди ее моделей можно было найти неизоморфные?