Презентация Муниципальное образовательное учреждение «Гимназия 20» секция теоретической математики Автор: Буравлев Степан, 10 физико-матем онлайн

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

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

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

Содержание слайда:

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

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

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

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

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

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

Содержание слайда: Удивительная геометрия. Рассмотрим теперь модель Бельтрами-Пуанкаре.

Содержание слайда: Еще одна модель. Модель Пуанкаре.

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

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

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

Содержание слайда: Контрпример к аксиоматике линейного пространства. Бесконечномерное линейное пространство. Таковым является, например, пространство числовых последовательностей вида а=(α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, …) и т.д.

Содержание слайда: Гильбертово пространство. Его абстрактное определение: это произвольное бесконечномерное линейное пространство, в котором для любых 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)= Черта над формулой означает действие комплексного сопряжения.

Содержание слайда: Линейные алгебры. Непустое множество элементов называется кольцом, если в нем определены две операции – сложение и умножение, обладающие свойствами: 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), то кольцо называется ассоциативным. Простейшими примерами ассоциативных и коммутативных колец являются множество целых чисел и множество четных чисел.

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

Содержание слайда: Неассоциативные алгебры. Пусть А – любая, т.е. необязательно ассоциативная алгебра произвольной размерности над полем Р. Каждым трем элементам x,y,z А поставим в соответствие выражение (x,y,z) =(xy) z – x (yz), называемое их ассоциатором. В зависимости от тождественных соотношений, связывающих ассоциаторы или иные выражения, получаются различные типы (как еще говорят, примитивные классы, многообразия) алгебр. Примерами служат: 1. ассоциативные алгебры: (x,y,z)=0 2. эластичные алгебры: (x,y,x)=0 3. альтернативные алгебры: (x,x,y)=(y,x,x)=0 4. йордановы алгебры: (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 (тождество Якоби).

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

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

Содержание слайда: Аксиоматика метрического пространства. Метрическим пространством называется пара (X,ρ), состоящая из некоторого множества X элементов и расстояния, т.е. функции ρ(x,y), удовлетворяющим следующим 6 аксиомам и определенной для любых x, yX: 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,ρ).

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

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

Содержание слайда: Как ввести топологию на множестве. Точка прикосновения – точка множества Х в топологическом пространстве Т – такая, что всякая ее окрестность имеет непустое пересечение с Х. Совокупность точек прикосновения образует замыкание множества Х, это пересечение всех замкнутых множеств, содержащих Х. Обозначение [X] или Cl Х. [X][Y]=[XY] [X]X []= [[X]]=[X] [T]=T; XY [X][Y] Замыкание определяет в Т топологическую структуру, в которой замкнутыми множествами считаются такие, что [X]=X.

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

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

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

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

Содержание слайда:

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

Содержание слайда: Список литературы. 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.