Реферат Великие математики древности: Пифагор, Евдокс, Архимед



Скачать 352.71 Kb.
страница2/10
Дата02.01.2018
Размер352.71 Kb.
ТипРеферат
1   2   3   4   5   6   7   8   9   10
Общая теория отношений
Числовые системы древних греков ограничивались натуральными числами и их отношениями (дробями, рациональными числами). Однако ещё пифагорейцы обнаружили, что диагональ квадрата несоизмерима с его стороной, то есть отношение их длин не может быть представлено рациональным числом. Стало понятно, что пифагорейская арифметика должна быть каким-то образом расширена с тем, чтобы включать все результаты измерений. Это и сделал Евдокс. Его теория дошла до нас в изложении Евклида (Начала, книга V).

В дополнение к числам Евдокс ввёл более широкое понятие геометрической величины, то есть длины отрезка, площади или объёма. С современной точки зрения, число при таком подходе есть отношение двух однородных величин — например, исследуемой и единичного эталона.[1] Этот подход снимает проблему несоизмеримости. По существу, теория отношений Евдокса — это геометрическая модель вещественных чисел. Следует, однако, подчеркнуть, что Евдокс остался верен прежней традиции — он не рассматривал такое отношение как число; из-за этого в «Началах» многие теоремы о свойствах чисел затем заново доказываются для величин. Признание иррациональностей как особого вида чисел произошло много позднее, под влиянием индийских и исламских математических школ.

В начале своего построения Евдокс дал аксиоматику для сравнения величин. Все однородные величины сравнимы между собой, и для них определены две операции: отделение части и соединение (взятие кратного). Однородность величин сформулирована в виде аксиомы, известной также как аксиома Архимеда: «Говорят, что величины имеют отношение между собой, если они, взятые кратно, могут превзойти друг друга».

Далее Евдокс рассматривает отношения между величинами и определяет для них равенство: отношения a:b и c:d равны, если для любых натуральных m, n выполняется одно из трёх соотношений:


либо ma < nb и mc < nd;

либо ma = nb и mc = nd;

либо ma > nb и mc > nd.
В современной формулировке, это означает, что между a:b и c:d нельзя вставить рациональное число.

Далее Евдокс аккуратно выводит свойства отношений: транзитивность, упорядоченность и т. д.

Классическая теория Дедекинда для построения вещественных чисел поразительно похожа на изложение Евдокса. Соответствие между ними устанавливается так: пусть заданы две величины Евдокса a, b; дробь m/n отнесём к классу A, если ma > nb, иначе — к классу B. Тогда классы A и B определяют дедекиндово сечение поля рациональных чисел Q. Осталось отождествить отношение по Евдоксу b:a с этим дедекиндовым числом.

Отметим, однако, что у Евдокса отсутствует аналог аксиомы непрерывности, и ниоткуда не следует, что всякое сечение Q определяет вещественное число.




Каталог: sites -> default -> files -> files -> referats -> mathematics
files -> Пояснительная записка Экзамен по дисциплине «Онтология и теория познания»
files -> Философско-антропологические парадигмы и их роль в развитии образования
files -> Практические задания по философии для студентов всех специальностей
files -> Рабочая программа практики к ооп от №
files -> Рабочая программа практики к ооп от №
files -> Программа итоговой государственной аттестации выпускников к ооп от № по направлению 040100. 62 Социология
files -> Специализированного модуля по выбору студента, слушателя
files -> Учебное пособие для студентов высших учебных заведений и преподавателей средней школы
mathematics -> Выдающиеся математики Блез Паскаль Паскаль


Поделитесь с Вашими друзьями:
1   2   3   4   5   6   7   8   9   10


База данных защищена авторским правом ©znate.ru 2019
обратиться к администрации

    Главная страница