PPt4Web Хостинг презентаций

Главная / Математика / Доказательство независимости систем аксиом в различных аксиоматических системах
X Код для использования на сайте:

Скопируйте этот код и вставьте его на свой сайт

X

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

После чего скачивание начнётся автоматически!

Кнопки:

Презентация на тему: Доказательство независимости систем аксиом в различных аксиоматических системах


Скачать эту презентацию

Презентация на тему: Доказательство независимости систем аксиом в различных аксиоматических системах


Скачать эту презентацию



№ слайда 1 Муниципальное образовательное учреждение «Гимназия №20»секция теоретической мате
Описание слайда:

Муниципальное образовательное учреждение «Гимназия №20»секция теоретической математики Доказательство независимости систем аксиом в различных аксиоматических системах Автор: Буравлев Степан, 10 физико-математический класс.Научный руководитель: Косурина Светлана Валентиновна, учитель математики.Г. Междуреченск.2007 год.

№ слайда 2 Аксиоматика планиметрии Вейля.Аксиоматика планиметрии Гильберта.Аксиоматика лине
Описание слайда:

Аксиоматика планиметрии Вейля.Аксиоматика планиметрии Гильберта.Аксиоматика линейного пространства.Аксиоматика метрического пространства.Аксиоматика топологического пространстваАксиоматика натуральных чисел Пеано. Контрпример к аксиоматике Вейля.Контрпример к аксиоматике Гильберта.Контрпример к аксиоматике линейного пространства.Контрпример к аксиоматике метрического пространства.Контрпример к аксиоматике топологического пространства.Контрпример к аксиоматике Пеано.

№ слайда 3 Аксиоматика планиметрии Вейля. Основные объекты:точка вектор сумма векторова ва+
Описание слайда:

Аксиоматика планиметрии Вейля. Основные объекты:точка вектор сумма векторова ва+в4. произведение вектора на число5. Скалярное произведение векторов а и в – ав.

№ слайда 4 Все аксиомы делятся на 5 группы:Аксиомы откладыванияАксиомы сложенияАксиомы умно
Описание слайда:

Все аксиомы делятся на 5 группы:Аксиомы откладыванияАксиомы сложенияАксиомы умножения вектора на числоАксиомы размерностиАксиомы скалярного произведения.

№ слайда 5 Контрпример к аксиоматике Вейля. Евклидовы пространства разделяются на 2 большие
Описание слайда:

Контрпример к аксиоматике Вейля. Евклидовы пространства разделяются на 2 большие группы: собственно евклидовы и псевдоевклидовы. В первых скалярный квадрат всегда больше нуля, во вторых – может быть и отрицательный.Мы будем рассматривать псевдоевклидово пространство, т.к. в отличие от аксиоматики Вейля там не выполняется аксиома о скалярном квадрате.

№ слайда 6 Псевдоевклидовы пространства. Двумерный случай. Изображение псевдоевклидовой пло
Описание слайда:

Псевдоевклидовы пространства. Двумерный случай. Изображение псевдоевклидовой плоскости в евклидовой плоскости.

№ слайда 7 Изотропный конус во всей своей красе. Трехмерный случай. Изображение трехмерного
Описание слайда:

Изотропный конус во всей своей красе. Трехмерный случай. Изображение трехмерного псевдоевклидова пространства в евклидовой плоскости. Прямая действительной длины. Изотропныйконус.

№ слайда 8 Аксиоматика евклидовой планиметрии Гильберта. Давид Гильберт усовершенствовал ак
Описание слайда:

Аксиоматика евклидовой планиметрии Гильберта. Давид Гильберт усовершенствовал аксиоматику самого Евклида и предоставил окончательный и совершенный ее вариант.Основные неопределяемые понятия: точки, прямые и плоскости. Эти объекты находятся между собой в отношениях, выражаемых словами «лежат», «между», «равны». Множество всех прямых, точек и плоскостей называется пространством.

№ слайда 9 Аксиоматика евклидовой планиметрии Гильберта. Все аксиомы делятся на 5 групп:Акс
Описание слайда:

Аксиоматика евклидовой планиметрии Гильберта. Все аксиомы делятся на 5 групп:Аксиомы связи (8 аксиом)Аксиомы порядка (4 аксиомы)Аксиомы конгруэнтности (5 аксиом)Аксиомы непрерывности (3 аксиомы)Аксиома параллельности (1 аксиома).

№ слайда 10 Контрпример к аксиоматике Гильберта. Для построения контрпримера мы выберем акси
Описание слайда:

Контрпример к аксиоматике Гильберта. Для построения контрпримера мы выберем аксиому параллельности. Рассмотрим такую геометрию, в которой выполнены все аксиомы связи, порядка, конгруэнтности и непрерывности. Получим тогда известную геометрию Лобачевского. Рассмотрим модели этой геометрии на евклидовой плоскости.Модель Кэли-Клейна. Точки – обычные точки внутри окружности Г, прямые – хорды этой окружности.Окружность Г – это абсолют. Ее точки не являются точками плоскости Лобачевского.

№ слайда 11 Удивительная геометрия. Рассмотрим теперь модель Бельтрами-Пуанкаре. Точки – обы
Описание слайда:

Удивительная геометрия. Рассмотрим теперь модель Бельтрами-Пуанкаре. Точки – обычные точки, лежащие внутри окружности Г (абсолюта), прямые – дуги окружностей, перпендикулярные абсолюту, а также диаметры окружности Г («окружности бесконечно большого радиуса»).

№ слайда 12 Еще одна модель.Модель Пуанкаре. Здесь точки – обычные точки, лежащие в верхней
Описание слайда:

Еще одна модель.Модель Пуанкаре. Здесь точки – обычные точки, лежащие в верхней полуплоскости по отношению к горизонтальной прямой Г (абсолюту) и полуокружности с центром на абсолюте.

№ слайда 13 Многомерное евклидово пространство. В многомерном евклидовом пространстве выполн
Описание слайда:

Многомерное евклидово пространство. В многомерном евклидовом пространстве выполняются все аксиомы трехмерной геометрии, за исключением одной: аксиомы о пересекающихся плоскостях. Если в евклидовом пространстве выполняется такая аксиома: две пересекающиеся плоскости имеют единственную общую точку, - то пространство как минимум 4-мерно.

№ слайда 14 Аксиоматика линейного пространства. Непустое множество L называется линейным, ил
Описание слайда:

Аксиоматика линейного пространства. Непустое множество L называется линейным, или векторным, или аффинным пространством, если:Для любых x, yL существует элемент x+yL, называемый их суммой.Для любых а и xL существует элемент аxL, называемый произведением х на число a. Элементы L называются векторами.

№ слайда 15 Аксиоматика линейного пространства. Аксиомы сложения:x+y=y+xx+(y+z)=(x+y)+zx+0=x
Описание слайда:

Аксиоматика линейного пространства. Аксиомы сложения:x+y=y+xx+(y+z)=(x+y)+zx+0=xx+(-x)=0 Аксиомы умножения вектора на число:a(bx)=(ab)x1*x=x(a+b)x=ax+bxa(x+y)=ax+ay Аксиома размерности:Существует n линейно независимых векторов, но всякие n+1 вектор линейно зависимы.

№ слайда 16 Контрпример к аксиоматике линейного пространства. Бесконечномерное линейное прос
Описание слайда:

Контрпример к аксиоматике линейного пространства. Бесконечномерное линейное пространство.Таковым является, например, пространство числовых последовательностей вида а=(α1, α2, …, αn,…). Все операции над ними будем выполнять покомпонентно: если а=(α1, α2, …, αn,…) и в=(β1, β2, …, βn,…), то а+в=( α1+ β1, α2+ β2, …, αn+ βn,…); с другой стороны для любого действительного p pа=(pα1, pα2, …, pαn,…). Но в таком пространстве уже не будет максимального числа линейно независимых векторов. Примером такой системы является единичный базис е1=(1, 0, 0, …), е2=(0, 1, 0, 0, …), е3=(0, 0, 1, 0, 0, …) и т.д.

№ слайда 17 Гильбертово пространство. Его абстрактное определение: это произвольное бесконеч
Описание слайда:

Гильбертово пространство. Его абстрактное определение: это произвольное бесконечномерное линейное пространство, в котором для любых x, y из этого пространства задана функция (x, y), называемая скалярным произведением и обладающая следующими свойствами:(x, x)≥0 и (x, x)=0 в том и только в том случае, если x=0;(x+y, z)=(x, z)+(y, z);(λx, y)=λ(x, y) для любого комплексного числа λ;(x, y)=Черта над формулой означает действие комплексного сопряжения.

№ слайда 18 Непустое множество элементов называется кольцом, если в нем определены две опера
Описание слайда:

Непустое множество элементов называется кольцом, если в нем определены две операции – сложение и умножение, обладающие свойствами: a+b=b+a (коммутативность);a+ (b+c)=(a+b) +c (ассоциативность);c(a+b) = ca+cb; (a+b)c=ac+bc (левая и правая дистрибутивность);для любого a a+0=0+a=a ( существование нуля);a+(-a)=0 для любого a (существование противоположного элемента).Если в кольце для любых a и b справедливо ab=ba, то кольцо называют коммутативным. Если в кольце для любых a, b и c справедливо (ab)c= a(bc), то кольцо называется ассоциативным. Простейшими примерами ассоциативных и коммутативных колец являются множество целых чисел и множество четных чисел.

№ слайда 19 Множество элементов называется полем, если это множество состоит на менее, чем и
Описание слайда:

Множество элементов называется полем, если это множество состоит на менее, чем из двух элементов, является коммутативным и ассоциативным кольцом, и если в нем существует единица поля e, обладающая свойствами: 1. ae=a;2. aa-1=e (существование обратного элемента) a≠0.Примерами полей могут служить поля рациональных, действительных и комплексных чисел.Алгеброй ( или линейной алгеброй) над полем P называется пара, состоящая из кольца (A, +, ) и векторного пространства А над Р (базисное множество А у кольца и векторного пространства одно и то же; одинаковы также операция сложения + и нулевой элемент 0). Алгебра называется ассоциативной, если ассоциативно кольцо (A, +, ).

№ слайда 20 Пусть А – любая, т.е. необязательно ассоциативная алгебра произвольной размернос
Описание слайда:

Пусть А – любая, т.е. необязательно ассоциативная алгебра произвольной размерности над полем Р. Каждым трем элементам x,y,z А поставим в соответствие выражение (x,y,z) =(xy) z – x (yz), называемое их ассоциатором. В зависимости от тождественных соотношений, связывающих ассоциаторы или иные выражения, получаются различные типы (как еще говорят, примитивные классы, многообразия) алгебр. Примерами служат:1. ассоциативные алгебры: (x,y,z)=02. эластичные алгебры: (x,y,x)=03. альтернативные алгебры: (x,x,y)=(y,x,x)=04. йордановы алгебры: (x,y, x2)=0; xy-yx=0.По этому аксиоматическому пути можно, очевидно, двигаться неограниченно. Рассмотрим теперь интересный пример неассоциативной алгебры – алгебра Ли.В алгебре Ли L над полем Р произведение элементов x и y L принято обозначать [xy]. Операция (x,y) [xy] удовлетворяет двум требованиям: 1. [xx]=0 ([xy]= -[yx] - антикоммутативность);2. [[xy] z] + [[yz] x] + [[zx] y] = 0 (тождество Якоби).

№ слайда 21 Непустое множество, на котором заданы некоторые алгебраические операции, называе
Описание слайда:

Непустое множество, на котором заданы некоторые алгебраические операции, называется универсальной алгеброй.Универсальная алгебра с двумя бинарными операциями, удовлетворяющими тождествам:a+a=aa+b=b+a(a+b)+c=a+(b+c)a(a+b)=aa*a=aa*b=b*a(a*b)*c=a*(b*c)a+a*b=a,называется решеткой. Пример решетки – это множество натуральных чисел относительно операций взятия наибольшего общего делителя и наименьшего общего кратного.

№ слайда 22 Два основных класса решёток – это дистрибутивные и дедекиндовы решетки. В дистри
Описание слайда:

Два основных класса решёток – это дистрибутивные и дедекиндовы решетки. В дистрибутивных решетках выполняется обычный закон дистрибутивности, в дедекиндовых – заменяется на закон модулярности: если a≤c, то (a+b)c=a+bc. Если ввести на этих типах решеток нуль и единицу с их обычными свойствами, то получим линейное пространство. При этом дедекиндова решетка будет являться контрпримером к классическому случаю линейных пространств. Произвольная решетка может и не являться линейным пространством.

№ слайда 23 Аксиоматика метрического пространства. Метрическим пространством называется пара
Описание слайда:

Аксиоматика метрического пространства. Метрическим пространством называется пара (X,ρ), состоящая из некоторого множества X элементов и расстояния, т.е. функции ρ(x,y), удовлетворяющим следующим 6 аксиомам и определенной для любых x, yX:1. ρ(x,y) однозначна, т. е. каждому x и y сопоставляется единственное значение ρ(x,y).2. ρ(x,y)≥0.3. ρ(x,y)R.4. ρ(x, y)=0 тогда и только тогда, когда x=y.5. ρ(x, y)= ρ(y, x) (аксиома симметрии).6. ρ(x, z)≤ρ(x, y)+ρ(y, z) (аксиома треугольника).Само метрическое пространство можно обозначить R=(X,ρ).

№ слайда 24 Контрпример к аксиоматике метрического пространства. Объект, являющийся контрпри
Описание слайда:

Контрпример к аксиоматике метрического пространства. Объект, являющийся контрпримером к аксиоматике метрического пространства, можно построить, отказавшись от требования однозначности. Воспользовавшись формулой расстояния в евклидовом пространстве ρ(x, y)=потребуем, чтобы корень принимал как положительные, так и отрицательные значения. Получим множество X, на котором возможны как положительные, так и отрицательные расстояния. На рисунке показано, как будут взаимно располагаться отрезки положительной и отрицательной длины.

№ слайда 25 Аксиоматика топологического пространства. Пусть дано множество X. Дадим сначала
Описание слайда:

Аксиоматика топологического пространства. Пусть дано множество X. Дадим сначала несколько определений. Окрестностью точки называется любой интервал, содержащий ее. Точка называется предельной точкой множества, если к ней сходится некоторая последовательность точек xn. Замкнутым называется множество, содержащее все свои предельные точки. Открытым называется множество, не содержащее предельных точек дополнительного к нему множества.

№ слайда 26 Как ввести топологию на множестве. Точка прикосновения – точка множества Х в топ
Описание слайда:

Как ввести топологию на множестве. Точка прикосновения – точка множества Х в топологическом пространстве Т – такая, что всякая ее окрестность имеет непустое пересечение с Х. Совокупность точек прикосновения образует замыкание множества Х, это пересечение всех замкнутых множеств, содержащих Х. Обозначение [X] или Cl Х.[X][Y]=[XY][X]X[]=[[X]]=[X][T]=T; XY [X][Y]Замыкание определяет в Т топологическую структуру, в которой замкнутыми множествами считаются такие, что [X]=X. Внутренняя точка – точка х множества Х, рассматриваемого как топологическое пространство, имеющая открытую окрестность, содержащуюся в Х. Совокупность внутренних точек образует внутренность множества Х; это – объединение всех открытых множеств, содержащихся в Х. Обозначение X или Int X.На множествах пространства Т внутренность удовлетворяет следующим аксиомам:XYXYXXTTXX; XY XYВнутренность определяет в Т топологическую структуру, в которой открытыми множествами считаются такие, что X=X; эта операция двойственна операции замыкания.

№ слайда 27 Аксиомы счетности. 1-ая аксиома счетности: система окрестностей каждой точки топ
Описание слайда:

Аксиомы счетности. 1-ая аксиома счетности: система окрестностей каждой точки топологического пространства Х обладает счетной базой 2-ая аксиома счетности: система открытых множеств в Х обладает счетной базой.

№ слайда 28 Контрпример к аксиоматике топологического пространства. Произвольно взятое сепар
Описание слайда:

Контрпример к аксиоматике топологического пространства. Произвольно взятое сепарабельное пространство может не удовлетворять 2-ой аксиоме счетности. Поэтому контрпримером будет именно сепарабельное пространство, поскольку в нем может не выполняться одна из основных аксиом топологического пространства.

№ слайда 29 Аксиоматика натуральных чисел Пеано. Натуральными числами называются элементы вс
Описание слайда:

Аксиоматика натуральных чисел Пеано. Натуральными числами называются элементы всякого непустого множества N, где существует отношение «следует за» (число, следующее за а обозначим через а*), удовлетворяющее аксиомам:1.Существует число 1, не следующее ни за каким числом.2.Для любого а существует следующее за ним число а*, и притом только одно, т.е. из а=в вытекает а*=в*.3.Любое число следует не более чем за одним число, т.е. равенство а*=в* влечет а=в. 4.(Аксиома индукции). Пусть некоторое множество М натуральных чисел обладает свойствами: а. 1 принадлежит Мб. Если а принадлежит М, то а*=а+1 также принадлежит М.Тогда М содержит все натуральные числа, т.е. множество М совпадает со множеством натуральных чисел.5.(Аксиома Архимеда). Для любых а, в, принадлежащих N, существует c, принадлежащее N, такое, что вс>a.

№ слайда 30 Контрпример к аксиоматике натуральных чисел. Неиндуктивные системы счисления.Гра
Описание слайда:

Контрпример к аксиоматике натуральных чисел. Неиндуктивные системы счисления.Графическая модель такой системы представлена на рисунке ниже. Аксиома индукции выполняется для чисел, находящихся на прямой, но не выполняются для чисел, представленных точками, лежащими на окружности или другой прямой, т.к. нарушено условие следования чисел, содержащееся в аксиоме индукции.

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

№ слайда 32 Таким образом, мы построили контрпример к каждой аксиоматической системе. Мы исс
Описание слайда:

Таким образом, мы построили контрпример к каждой аксиоматической системе. Мы исследовали свойства построенных нами объектов. Значит, можно сделать вывод, что независимость аксиом в данных аксиоматических системах имеет место. Наша гипотеза оправдалась. Значит, эти системы аксиом являются правильно сформулированными.

№ слайда 33 1.Л. А. Басова, М. А. Шубин, Л. А. Эпштейн. Лекции и задачи по математике. М., «
Описание слайда:

1.Л. А. Басова, М. А. Шубин, Л. А. Эпштейн. Лекции и задачи по математике. М., «Просвещение», 1981. 2.В. Г. Болтянский. Элементарная геометрия. М., «Просвещение», 1985. 3.Н. В. Ефимов. Высшая геометрия. М., «Наука», 1978. 4.А. Н. Колмогоров, С. В. Фомин. Элементы теории функций и функционального анализа. М., «Наука», 1979.5. А. И. Кострикин. Введение в алгебру. М., «Наука», 1977. 6. М. Л. Краснов, А. И. Киселев и др. Вся высшая математика, том 7. М., УРСС, 2006. 7.Л. Д. Кудрявцев. Краткий курс математического анализа. М., «Наука», 1989.8.А. Г. Курош. Курс высшей алгебры. Изд. 10-е, М., «Наука», 1971. 9.М. М. Постников. Введение в теорию алгебраических чисел. М., «Наука», 1982. 10.М. М. Постников. Теорема Ферма. Введение в теорию алгебраических чисел. М., «Наука», 1979. 11.Ю. П. Пытьев. Математические методы интерпретации эксперимента. М., «Высшая школа», 1989.12.П. К. Рашевский. Риманова геометрия и тензорный анализ. Изд. 4-е, М., УРСС, 2003.13.Н. М. Рогановский, А. А. Столяр. Векторное построение стереометрии. Минск, «Народная асвета», 1974.14.Общая алгебра, том 1. Под редакцией Л. А. Скорнякова. М., «Наука», 1990.15.В. В. Федорчук, В. В. Филиппов. Общая топология: основные конструкции. Изд. 2-е, М., Физматлит, 2006.

Скачать эту презентацию


Презентации по предмету
Презентации из категории
Лучшее на fresher.ru