КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Аксиоматическое построение математической теорииПри аксиоматическом способе построения какой-либо математической теории соблюдаются следующие правила:
Из правил аксиоматического построения теории выделяют четыре шага: Первый шаг: Задаётся некоторое множество первичных понятий (терминов). Второй шаг: Выделяется некоторое подмножество высказываний (аксиом) о первичных понятиях. Третий шаг: При помощи первичных понятий даются определения всех остальных понятий. Четвёртый шаг: Вывод утверждений (теорем) о первичных и определяемых понятиях. Таким образом, выстраивается алгоритм аксиоматического построения теории:
Соответственно можно на примерах рассмотреть какое утверждение в математике относится к одной составляющей из выше приведенного списка. Примеры первичных понятий. К первичным понятиям аксиоматического построения геометрии на плоскости относятся: точка, прямая, плоскость. Примеры аксиом. Аксиома 1. Через любые две точки можно провести прямую, и притом только одну. Аксиома 2. Через любые три точки, не лежащие на одной прямой, проходит плоскость и притом только одна. Примеры определений. Определение 1: Высказывания, данные через первичные неопределяемые понятия или через некоторые другие ранее известные утверждения, называются определениями. Определение 2: Утверждения, принимаемые без доказательства как верные, называются аксиомами. Определение 3: Новые утверждения о первичных и определяемых понятиях, выведенные чисто логическим путем на основе аксиом, ранее выведенных утверждений и определений, называются теоремами. Определение 4: Простым числом называется такое натуральное число, больше единицы, которое имеет только два делителя – единицу и само это число. Примеры теорем. Теорема 1. Если частное натуральных чисел существует, то оно единственно. Теорема 2. Диагонали у прямоугольника равны. Если построение теории осуществляется аксиоматическим методом, по названым выше правилам, то говорят, что теория построена дедуктивно. При аксиоматическом построении теории, по существу все утверждения выводятся путем доказательства из аксиом. Главным требованием к системе аксиом является ее непротиворечивость, чтобы, сделав вывод теорем на основе этих аксиом, доказанные теоремы не противоречили друг другу. Система аксиом должна быть полной и независимой, При аксиоматическом построении одной и той же теории можно использовать разные системы аксиом. Но они должны быть равносильными. Кроме того, при выборе той или иной системы аксиом математики учитывают, насколько просто и наглядно могут быть получены доказательства теорем в дальнейшем. Большинство интерпретаций для математических теорий (в частности, для арифметических) строятся на базе теории множеств. Поэтому очень важно, чтобы теория множеств была непротиворечивой. Аксиоматическая теория основных структур математики является инструментом, с помощью которого раскрывается теоретико-множественный смысл каждого понятия. 1.3. Вопросы для самоконтроля по теме «Аксиоматический метод»
Глава 2. Основные понятия теории множеств. Основные структуры В конце XIX века в математической науке возникла необходимость уточнить смысл таких понятий, как число, функция, непрерывность и т. д. Для этого нужно было определить, что такое натуральное число. Поиски ответа на эти сложные вопросы способствовали развитию новых математических идей. Поэтому в конце XIX и начале ХХ века происходил пересмотр старых представлений буквально во всех областях математических знаний. В результате в конце XIX века возникла новая область математики – теория множеств, одним из создателей которой был немецкий математик Георг Кантор [1845-1918]. За небольшой срок теория множеств стала фундаментом всей математики. В теории множеств в полной мере используется аксиоматический подход, то есть используются постулаты, утверждения без доказательств. В частности, аксиомы, определяющие множество N – натуральных чисел, множество Z – целых чисел, аксиомы умножения, полной упорядоченности. Ввиду очевидности каждого из постулатов, данные аксиомы в дальнейшем изложении опускаются. Современная математика занимается не столько объектами исследования, сколько структурой отношений между этими объектами. Математика в первую очередь уделяет внимание основным структурам, в частности, таким понятиям: число, точка, векторные пространства, числовые функции, пределы и так далее, которые составляют в целом элементарную математику. Основные структуры являются началом для построения всех разделов математики. Теория множеств занимается структурой отношений между этими объектами. В ней уточняется смысл основных терминов обиходного языка, вводятся символы, устанавливающие условия существования отношений, позволяющие выразить сжато, с помощью формул высказывания, которые лучше выявят их логическое и математическое содержание. На основе теории множеств появился теоретико-множественный язык, который позволяет описывать и объяснять математические высказывания в краткой и понятной форме, используя специальные символы и термины. Этот язык применяется во всех разделах математики. Каждый обучающийся математике независимо от специализации должен знать и понимать этот язык, как фундамент, на котором строятся основные понятия, методы в последующих разделах и курсах, которые требуется изучить.
Дата добавления: 2014-12-27; Просмотров: 4190; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |