Аксиоматический метод
Формирование современного понимания существа аксиоматического метода происходило на протяжении более чем двухтысячелетней истории развития науки. Истинное начало науки о геометрических фигурах и телах, конечно же...
Аксиоматический метод
Формирование современного понимания существа аксиоматического метода происходило на протяжении более чем двухтысячелетней истории развития науки. Истинное начало науки о геометрических фигурах и телах, конечно же...
Знакомство с топологией
Отдельные результаты топологического характера были получены ещё в 18-19 вв. (теорема Эйлера о выпуклых многогранниках, классификация поверхностей и теорема Жордана о том...
Изучение показательной и логарифмической функции в школьном курсе математики
Функцию вида , где и 1, называют показательной функцией. Основные свойства показательной функции : : 1) = 2) 3) возрастает 4) непрерывна; при 0 < < 1: 1) = 2) 3) убывает; 4) непрерывна. График функции , где > 1 изображен на рисунке 1...
История математики 17-19 веков
В конце XVII и в XVIII веке все возрастающие запросы практики и других наук побуждали ученых максимально расширять область и методы исследований математики. Понятия бесконечности, движения и функциональной зависимости выдвигаются на первое место...
Комплексные числа: их прошлое и настоящее
Комплексные числа возникли в математике в начале XVI века в связи с решением алгебраических уравнений 3-ей степени, а позднее, и уравнений 2-ой степени. Некоторые итальянские математики того времени (- Сципион дель Ферро, Николо Тарталья...
Математика в древнем Китае
Периодизация является сложным вопросом, который живо дискутируется учёными в самых разных аспектах: и относительно всемирной математики и науки вообще, и относительно китайской математики...
Математика и современный мир
Число, одно из основных понятий математики. В связи со счетом отдельных предметов возникло понятие о целых положительных (натуральных) числах, а затем идея о безграничности натурального ряда чисел: 1, 2, 3,4... Задачи измерения длин, площадей и т.п....
Методика обучения младших школьников решению комбинаторных задач
Проанализировав четыре программы: «школа России М.И. Моро», «Учусь учиться Л.Г. Петерсон», «Гармония Н.Б. Истомина», «Планета знаний М.И. Башмакова, М.Г. Нефёдова» я сделала вывод, что во всех программах...
Методика формирования умений решать тригонометрические уравнения и неравенства в курсе алгебры и начал анализа
Тригонометрия является одним из наиболее молодых отделов элементарной математики, получивших окончательное оформление лишь в XVIII в., хотя отдельные идеи её относятся к глубокой древности...
Минимальные формы булевых многочленов
В 1847 году Дж. Буль написал маленькую, но эпохальную книгу «математический анализ логики», в которой логика трактовалась как чисто формальная система; интерпретация в обычном языке пришла позже. Буль писал...
Минимальные формы булевых многочленов
В 1847 году Дж. Буль написал маленькую, но эпохальную книгу «математический анализ логики», в которой логика трактовалась как чисто формальная система; интерпретация в обычном языке пришла позже. Буль писал...
Основные этапы становления и структура современной математики
Академик А.Н.Колмогоров выделяет четыре периода развития математики Колмогоров А.Н. - Математика, Математический энциклопедический словарь, Москва, Советская энциклопедия, 1988 год.: зарождения математики, элементарной математики...
Теория вероятностей на уроках математики
Математические школы и классы с углубленным изучением математики были созданы в нашей стране в начале 60-х годов, когда выяснялась необходимость в подготовке специалистов, умеющих использовать прикладные возможности математики: программистов...
Тригонометрические уравнения
...
math.bobrodobro.ru
Содержание
1. Общие сведения о математике
2. Основные понятия математики
3. Что такое математический язык?
4. Аксиоматический метод
5. Математические структуры
5. Функции и графики
Список использованной литературы
До начала 17 в. математика — преимущественно наука о числах, скалярных величинах и сравнительно простых геометрических фигурах; изучаемые ею величины (длины, площади, объемы и пр.) рассматриваются как постоянные. К этому периоду относится возникновение арифметики, геометрии, позднее — алгебры и тригонометрии и некоторых частных приемов математического анализа. Областью применения математики являлись: счет, торговля, землемерные работы, астрономия, отчасти архитектура.
В 17 и 18 вв. потребности бурно развивавшегося естествознания и техники (мореплавания, астрономии, баллистики, гидравлики и т.д.) привели к введению в математику идей движения и изменения, прежде всего в форме переменных величин и функциональной зависимости между ними. Это повлекло за собой создание аналитической геометрии, дифференциального и интегрального исчислений. В 18 в. возникают и развиваются теория дифференциальных уравнений, дифференциальная геометрия и т.д. В 19-20 вв. математика поднимается на новые ступени абстракции. Обычные величины и числа оказываются лишь частными случаями объектов, изучаемых в современной алгебре; геометрия переходит к исследованию «пространств», весьма частным случаем которых является евклидово пространство. Развиваются новые дисциплины: теория функций комплексного переменного, теория групп, проективная геометрия, неевклидова геометрия, теория множеств, математическая логика, функциональный анализ и др. Практическое освоение результатов теоретического математического исследования требует получения ответа на поставленную задачу в числовой форме.
В связи с этим в 19-20 вв. численные методы математики вырастают в самостоятельную ее ветвь — вычислительную математику. Стремление упростить и ускорить решение ряда трудоемких вычислительных задач привело к созданию вычислительных машин. Потребности развития самой математики, «математизация» различных областей науки, проникновение математических методов во многие сферы практической деятельности, быстрый прогресс вычислительной техники привели к появлению целого ряда новых математических дисциплин, как например, теория игр, теория информации, теория графов, дискретная математика, теория оптимального управления.
Математика — область человеческого знания, изучающая математические модели, отражающие объективные свойства и связи. «Замечательно, — пишет В.А. Успенский, — что хотя математическая модель создается человеческим разумом, она, будучи создана, может стать предметом объективного изучения. Познавая ее свойства, мы тем самым познаем и свойства отраженной моделью реальности» Кроме того, математика дает удобные способы описания самых разнообразных явлений реального мира и тем самым выполняет роль языка науки. Наконец, математика дает людям методы изучения и познания окружающего мира, методы исследования как теоретических, так и практических проблем.
Математика (греч. mathematike, от mathema — знание, наука) наука, в которой изучаются пространственные формы и количественные отношения.
Современное понятиематематики — наука о математических структурах (множествах, между элементами которых определены некоторые отношения).
У представителей науки начала 19 века, не являющихся математиками, можно найти такие общедоступные определения математики.
«Чистая математика имеет своим объектом пространственные формы и количественные отношения действительного мира» (Ф. Энгельс).
«Математика — наука о величинах и количествах; все, что можно выразить цифрою, принадлежит математике. Математика может быть чистой и прикладной.
Математика делится на арифметику и геометрию; первая располагает цифрами, вторая — протяжениями и пространствами. Алгебра заменяет цифры более общими знаками, буквами; аналитика добивается выразить все общими формулами, уравнениями, без помощи чертежа» (В. Даль).
Современная математика насчитывает множество математических теорий: математическая статистика и теория вероятности, математическое моделирование, численные методы, теория групп, теория чисел, векторная алгебра, теория множеств, аналитическая и проективная геометрия, математический анализ и т.д.
Несмотря на то, что математических теорий достаточно много и они, на первый взгляд, могут и не иметь ничего общего, внутренняя эволюция математической науки упрочила единство ее различных частей и создала центральное ядро. Существенным в этой эволюции является систематизация отношений, существующих между различными математическими теориями; ее итогом явилось направление, которое обычно называют «аксиоматический метод». В теории, построенной в согласии с аксиоматическим методом, начинают с небольшого количества неопределяемых (первичных) понятий, с помощью которых образуются утверждения, называемые аксиомами.
Прочие понятия, изучаемые в теории, определяются через первичные, и из аксиом и определений выводятся теоремы. Теория становится рекурсивно структурированной, ее можно представить в виде матрешки, в которой понятия и их свойства как бы являются вложенными друг в друга. Каждая математическая теория является цепочкой высказываний, которые выводятся друг из друга согласно правилам логики, т.е. объединяющим началом математики является «дедуктивное рассуждение». Развитие математической теории в таком стиле — это первый шаг по направлению к ее формализации.
Открытие неевклидовых геометрий и создание теории множеств привели к перестройке всего здания математики и созданию совершенно новых ее отраслей. Важное значение приобрела в современной математике математическая логика. Методы математики широко используются в точном естествознании. Применение ее в биологии и общественных науках до последнего времени носило случайный характер. Создание (под непосредственным влиянием практики) таких отраслей, как линейное программирование, теория игр, теория информации, и появление электронных математических машин открывают здесь совершенно новые перспективы. Философские вопросы математики (характер и происхождение математической абстракции, ее особенности) всегда являлись ареной борьбы между материализмом и идеализмом. Особенно важное значение имеют философские вопросы, возникшие в связи с проблемами оснований математики.
Математика играет важную роль в естественнонаучных, инженерно-технических и гуманитарных исследованиях. Причина проникновения математики в различные отрасли знаний заключается в том, что она предлагает весьма четкие модели для изучения окружающей действительности в отличие от менее общих и более расплывчатых моделей, предлагаемых другими науками. Без современной математики с ее развитым логическими и вычислительным аппаратом был бы невозможен прогресс в различных областях человеческой деятельности. Математика является не только мощным средством решения прикладных задач и универсальным языком науки, но также и элементом общей культуры.
Современная математика имеет следующие основные разделы:
1. Элементарная математика: алгебра, геометрия и тригонометрия (на плоскости и сфере).
2. Аналитическая геометрия (на плоскости и в пространстве).
3. Функции и пределы. Дифференциальное и интегральное исчисление.
4. Векторный анализ. Системы криволинейных координат.
5. Функции комплексного переменного.
6. Преобразование Лапласа и другие интегральные преобразования.
7. Дифференциальные уравнения.
8. Максимумы и минимумы.
9. Математические модели. Абстрактная алгебра и абстрактные пространства.
10. Матрицы. Квадратичные и эрмитовы формы.
11. Линейные векторные пространства и линейные операторы. Матричное представление линейных преобразований.
12. Интегральные уравнения, краевые задачи и задачи о собственных значениях.
13. Тензорная алгебра и тензорный анализ.
14. Дифференциальная геометрия.
15. Теория вероятностей.
16. Теория случайных процессов.
17. Математическая статистика.
18. Численные методы и конечные разности.
Число, одно из основных понятий математики. В связи со счетом отдельных предметов возникло понятие о целых положительных (натуральных) числах, а затем идея о безграничности натурального ряда чисел: 1, 2, 3,4… Задачи измерения длин, площадей и т.п., а также выделение долей именованных величин привели к понятию рационального (дробного) числа. Понятие об отрицательных числах возникло у индийцев в 6-11 вв. Потребность в точном выражении отношений величин (напр., отношение диагонали квадрата к его стороне) привела к введению иррациональных чисел, которые выражаются через рациональные числа лишь приближенно; рациональные и иррациональные числа составляют совокупность действительных чисел. Окончательное развитие теория действительных чисел получила в связи с потребностями математического анализа. В связи с решением квадратных и кубических уравнений были введены комплексные числа.
Делимость, свойство целого числа делиться на другое целое число без остатка. Простейшие признаки делимости: число делится на 2, если его последняя цифра делится на 2; на 3 или на 9, если сумма цифр делится соответственно на 3 или на 9; на 5, если оно оканчивается на 0 или 5.
Единица, наименьшее из натуральных чисел n = 1. В современной математике понятие единицы (единичного элемента) рассматривают в алгебраических структурах более общей природы (напр., группах).
Сложение, арифметическое действие. Обозначается знаком + (плюс). В области целых положительных чисел (натуральных чисел) в результате сложения по данным числам (слагаемым) находится новое число (сумма), содержащее столько единиц, сколько их содержится во всех слагаемых. Действие сложения определяется также для случая произвольных действительных или комплексных чисел, векторов и т.д.
Вычитание, арифметическое действие, обратное сложению, т.е. нахождение одного из слагаемых (разности) по данной сумме двух слагаемых (уменьшаемому) и данному другому слагаемому (вычитаемому). Обозначается знаком — (минус).
Умножение, арифметическое действие. Обозначается точкой "." или знаком «х» (в буквенном исчислении знаки умножения опускаются). Умножение целых положительных чисел (натуральных чисел) есть действие, позволяющее по двум числам а (множимому) и b (множителю) найти третье число ab (произведение), равное сумме b слагаемых, каждое из которых равно а; а и b называются также сомножителями. Умножение дробных чисел а /b и с /d определяется равенством
Умножение двух рациональных чисел дает число, абсолютная величина которого равна произведению абсолютных величин сомножителей и которое имеет знак плюс (+), если у обоих сомножителей одинаковые знаки, или минус (-), если у них различные знаки. Умножение иррациональных чисел определяется при помощи их рациональных приближений. Умножение комплексных чисел, данных в форме a =а+bi и b=с+di, определяется равенством ab =ас — bd+ (a+bc) i.
Деление, арифметическое действие, обратное умножению; посредством деления по произведению a (делимому) и одному из множителей b (делителю), отличному от нуля, отыскивается другой множитель (частное). Знаки деления — две точки (a: b ), горизонтальная черта или наклонная черта (a /b ). Деление дробных чисел a /b и c /d определяется равенством (a /b ): (c /d ) =ad /bc.
Сумма, результат сложения.
Процент, сотая доля числа; обозначается знаком %.
Точка, одно из основных понятий геометрии. При систематическом изложении геометрии точка обычно принимается за одно из исходных понятий.
Степень, произведение нескольких равных сомножителей (напр., 24=2·2·2·2=16). Число, повторяющееся сомножителем, называют основанием степени; число, показывающее, сколько раз повторяется сомножитель, называют показателем степени. Действие нахождения степени называют возведением (возвышением) в степень. Понятие степень обобщается также на случай произвольного (рационального или иррационального, а также комплексного) показателя.
Равенство, отношение взаимной заменяемости объектов, которые именно в силу этой заменяемости и считаются равными (а =b ). Отношение равенства обладает свойствами рефлексивности (каждый объект равен самому себе), симметричности (если а =b, то b =a ) и транзитивности (если a =b, а b =c, то a =c ). Буквенное равенство, верное для всех числовых значений входящих в него букв, называется тождеством .
Величина, обобщение конкретных понятий: длины, площади, веса и т.п. Выбрав одну из величин данного рода за единицу измерения, можно выразить числом отношение любой другой величины того же рода к единице измерения.
Сравнение, соотношение между двумя целыми числами a и b, означающее, что разность a-b этих чисел делится на заданное целое число m, называемое модулем сравнения; пишется a є b (mod m ).
Понятие множества, простейшее математическое понятие, оно не определяется, а лишь поясняется при помощи примеров: множество книг на полке, множество точек на прямой (точечное множество) и т.д. То, что данный предмет (элемент, точка) х принадлежит множеству М, записывают х О М.
Уравнение, математическая запись задачи о разыскании значений аргументов, при которых значения двух данных функций равны. Аргументы, от которых зависят эти функции, называются неизвестными, а значения неизвестных, при которых значения функций равны, — решениями (корнями). Бывают алгебраические уравнения, например х2 =2, и неалгебраические уравнения, называемые трансцендентными, например 2х =х.
Неравенство, соотношение между числами, указывающее, какое из них больше или меньше другого.
Корень,
1) корень степени n из числа a — всякое число x. Действие нахождения корня называется извлечением корня.2) Корень уравнения — число, которое после подстановки его в уравнение вместо неизвестного обращает уравнение в тождество.
Логарифм данного числа N при основании а, показатель степени у, в которую нужно возвести число а, чтобы получить N; таким образом, N = a y. Логарифмом обозначается обычно logaN. Логарифм с основанием е = 2,718… называется натуральным и обозначается ln N. Логарифм с основанием 10 называется десятичным и обозначается lg N. Равенство у =logax определяет логарифмическую функцию. Основные свойства логарифма позволяют заменить умножение, деление, возведение в степень и извлечение корня более простыми действиями сложения, вычитания, умножения и деления.
Функция, 1) зависимая переменная величина. Соответствие y=f (x ) между переменными величинами, в силу которого каждому рассматриваемому значению некоторой величины x (аргумента, или независимого переменного) соответствует определенное значение другой величины y (зависимой переменной, или функции). Такое соответствие может быть задано различным образом, например формулой, графически или таблицей.
График функции, y =f (x ) состоит из точек, абсциссы которых равны значениям x, а ординаты — соответствующим значениям y .
Тригонометрические функции, функции угла: синус (sin), косинус (cos), тангенс (tg), котангенс (ctg), секанс (sec), косеканс (cosec). Их можно определить как отношения длины r и проекций а и b на оси координат радиуса-вектора, образующего с положительным направлением оси Ох угол (или отсекающего дугу) a. Именно: sin a=b/r, cos a=a/r, tg a=b/a, сtg a=a/b, sec a=r/а, cosec a=r/b.
Группа, понятие современной математики. Возникло из рассмотрения совокупности операций, производимых над какими-либо объектами и обладающих тем свойством, что результат последовательного применения двух или большего числа операций из этой совокупности равносилен какой-то одной операции из этой совокупности. Пример: умножение на рациональные числа (умножение сначала на m, а потом на n равносильно умножению на mn ).
Кольцо, понятие современной алгебры — совокупность элементов, для которых определены операции сложения, вычитания и умножения, обладающие обычными свойствами операций над числами. Напр., кольцо целых чисел.
Всякое точное объяснение того или иного явления — математично и, наоборот, все, что точно — математика. Любое же точное описание — это описание на соответствующем математическом языке. Классический трактат Ньютона «Математические начала натуральной философии», произведший переворот во всей математике, по существу является учебником грамматики разгаданного им «языка Природы», дифференциального исчисления, вместе с рассказом о том, что ему удалось у нее в результате услышать. Естественно, что он смог разобрать только смысл ее самых простых фраз. Последующие поколения математиков и физиков, постоянно совершенствуясь в этом языке, постигали все более и более сложные выражения, потом несложные четверостишия, поэмы… Соответственно, печатались расширенные и дополненные версии Ньютоновской грамматики.
История математики знает две великие революции, каждая из которых полностью меняла её облик и внутреннее содержание. Их движущей силой была «невозможность жить по старому», т.е. невозможность адекватно интерпретировать актуальные проблемы точного естествознания на языке существующей математики. Первая из них связана с именем Декарта, вторая с именами Ньютона и Лейбница, хотя, конечно же, они отнюдь не сводятся только к этим великим именам. По словам Гиббса, математика — это язык, и сутью этих революций была глобальная перестройка всей математики на новой языковой основе. В итоге первой революции, языком всей математики стал язык коммутативной алгебры, вторая же заставила её говорить языком дифференциального исчисления.
Математики отличаются от «нематематиков» тем что, обсуждая научные проблемы или решая практические задачи, говорят между собой и пишут работы на особом «математическом языке» — языке специальных символов, формул и т.п.
Дело в том, что на математическом языке многие утверждения выглядят яснее и прозрачнее, чем на обычном. Например, на обычном языке говорят: «От перемены мест слагаемых сумма не меняется» — так звучит переместительный закон сложения чисел. Математик пишет (или говорит): a + b = b + a
А выражение: «Путь S, пройденный телом со скоростью V за период времени от начала движения tн до конечного момента tк » запишут так: S = V · (tк — tн )
Или такую фразу из физики: «Сила равна произведению массы на ускорение» запишут: F = m · a
Он переводит высказанное утверждение на математический язык, в котором используются разные числа, буквы (переменные), знаки арифметических действий и иные символы. Все эти записи экономны, наглядны и удобны для применения.
Возьмем другой пример. На обычном языке говорят: «Чтобы сложить две обыкновенные дроби с одинаковыми знаменателями, нужно сложить их числители и записать в числителе дроби, а знаменатель оставить тот же без изменения и записать в знаменатель». Математик осуществляет «синхронный перевод» на свой язык:
А вот пример обратного перевода. На математическом языке записан распределительный закон: a (b + c) = ab + ac
Осуществляя перевод на обычный язык, получим длинное предложение: «Чтобы умножить число a на сумму чисел b и c, надо число a умножить поочередно на каждое слагаемое: b, потом c, и полученные произведения сложить».
Во всяком языке есть своя письменная и устная речь. Выше мы говорили о письменной речи в математике. А устная речь — это употребление специальных терминов или словосочетаний, например: «слагаемое», «произведение», «уравнение», «неравенство», «функция», «график функции», «координата точки», «система координат» и т.п., а также различные математические утверждения, выраженные словами: «Число а делится на 2 тогда и только тогда, когда оканчивается на или четную цифру».
Говорят, что культурный человек, кроме родного языка должен владеть ещё хотя бы одним иностранным языком. Это верно, но требует дополнения: культурный человек должен ещё уметь говорить, писать и думать и на математическом языке, поскольку это тот язык, на котором, как мы не раз уже убеждались, «говорит» окружающая действительность. Чтобы овладеть новым языком, необходимо изучить, как говорят, его алфавит, синтаксис и семантику, т.е. правила написания и смысл, заложенный в написанном. И, конечно же, в результате такого изучения представления о математическом языке и предмете будут постоянно расширяться.
В основе построения математической теории лежит аксиоматический метод[1] — один из способов дедуктивного построения научных теорий. В основании аксиоматически построенной теории лежат аксиомы, т.е. предложения, принимаемые без доказательства. Все остальные предложения теории выводятся из аксиом (т.е. доказываются, являются теоремами) на основании логических правил вывода и правил определения предложений, допускаемых в данной теории. Понятие аксиоматической теории было уточнено путем введения определения формальной системы, состоящей из языка системы, аксиом системы, правил вывода системы. Язык системы состоит из алфавита (перечня элементарных символов системы) и синтаксиса (правил, по которым из элементарных символов строятся формулы, предложения системы). Правила вывода позволяют получать из аксиом теоремы.
Основными методами в математических исследованиях являются математические доказательства — строгие логические рассуждения. Математическое мышление не сводится лишь к логическим рассуждениям. Для правильной постановки задачи, для оценки выбора способа ее решения необходима математическая интуиция. В математике используют два вида умозаключений: индукция — метод исследования, в котором общий вывод строится не основе частных посылок и дедукция — способ рассуждения, посредством которого от общих посылок следует заключение частного характера.
Создание дедуктивного или аксиоматического метода построения науки является одним из величайших достижений математической мысли. Оно потребовало работы многих поколений ученых. Замечательной чертой дедуктивной системы изложения является простота этого построения, позволяющая описать его в немногих словах. Дедуктивная система изложения сводится: к перечислению основных понятий, к изложению определений, к изложению аксиом, к изложению теорем, к доказательству этих теорем:
аксиома — утверждение, принимаемое без доказательств, теорема — утверждение, вытекающее из аксиом, доказательство — составная часть дедуктивной системы, это есть рассуждение, которое показывает, что истинность утверждения вытекает логически из истинности предыдущих теорем или аксиом.
История естествознания свидетельствует, что возможность аксиоматического построения той или иной науки появляется лишь на довольно высоком уровне развития этой науки, на базе большого фактического материала, позволяет отчетливо выявить те основные связи и соотношения, которые существуют между объектами, изучаемыми данной наукой.
Образцом аксиоматического построения математической науки является элементарная геометрия. Система аксиом геометрии были изложены Евклидом (около 300 г. до н. э) в непревзойденном по своей значимости труде — «Начала». Эта система в основных чертах сохранилась и по сей день.
Элементарная геометрия имеет 13 аксиом, которые разбиты на пять групп. В пятой группе одна аксиома — аксиома о параллельных (V постулат Евклида). Через точку на плоскости можно провести только одну прямую, не пересекающую данную прямую. Это единственная аксиома, вызывавшая потребность доказательства. Попытки доказать пятый постулат занимали математиков более 2-х тысячелетий, вплоть до первой половины 19 века, когда Н.И. Лобачевский доказал в своих трудах полную безнадежность этих попыток.
В настоящее время недоказуемость пятого постулата является строго доказанным математическим фактом. Аксиому о параллельных Лобачевский заменил аксиомой: «Пусть в данной плоскости дана прямая и лежащая вне прямой точка. Через эту точку можно провести к данной прямой, по крайней мере, две параллельные прямые». Из новой системы аксиом он с безупречной логической строгостью вывел стройную систему теорем, составляющих содержание неевклидовой геометрии. Обе геометрии Евклида и Лобачевского, как логические системы равноправны.
За геометрией Лобачевского возникли и другие непротиворечивые геометрии: от евклидовой отделилась проективная геометрия, сложилась многомерная евклидова геометрия, возникла риманова геометрия (общая теория пространств с произвольным законом измерения длин) и др. Из науки о фигурах в одном трёхмерном евклидовом пространстве геометрия превратилась в совокупность разнообразных теорий.
Теперь попытаемся объяснить, что надо понимать в общем случае под математической структурой. Общей чертой различных понятий, объединенных этим родовым названием, является то, что они применимы к множеству элементов, природа которых не определена.
Чтобы определить структуру, задают одно или несколько отношений, в которых находятся его элементы (в случае групп — это отношение хτу = z между тремя произвольными элементами), затем постулируют, что данное отношение или данные отношения удовлетворяют некоторым условиям (которые перечисляют и которые являются аксиомами рассматриваемой структуры). Построить аксиоматическую теорию данной структуры — это значит вывести логические следствия из аксиом структуры, отказавшись от каких-либо других предположений относительно рассматриваемых элементов (в частности от всяких гипотез относительно их «природы»).
Основные типы структур .
Отношения, являющиеся исходной точкой в определении структуры, могут быть по своей природе весьма разнообразными. То отношение, которое фигурирует в групповых структурах, называют «законом композиции»: это такое отношение между тремя элементами, которое определяет однозначно третий элемент как функцию двух первых — такая структура называется алгебраической структурой (например, структура поля определяется двумя законами композиции с надлежащим образом выбранными аксиомами: сложение и умножение действительных чисел определяют структуру поля на множестве этих чисел).
Другой важный тип представляют собой структуры, определенные отношением порядка — это отношение между двумя элементами х, у, которое чаще всего мы выражаем словами "х меньше или равно у " и которое мы будем обозначать в общем случае х Rу. Здесь больше не предполагается, что это отношение однозначно определяет один из элементов х, у как функцию другого. Аксиомы, которым оно подчиняется, таковы: а) для всех х хRх; b) из соотношений хRу, уRх следует х = у, с) из соотношений хRу, уRz следует хRz.
Очевидным примером множества, снабженного такой структурой, является множество целых чисел (или множество действительных чисел), причем здесь знак R заменяется на ≤. Но надо заметить, что мы не включили в число аксиом аксиому, отражающую следующее свойство, которое кажется неотделимым от того понятия порядка, каким мы пользуемся в обыденной жизни: «каковы бы ни были х, у, имеет место или хRу или уRх ». Другими словами, не исключается случай, когда два элемента могут оказаться несравнимыми.
На первый взгляд это может показаться странным, но легко привести очень важные примеры структур порядка, для которых имеет место именно это обстоятельство. Именно с таким положением вещей мы сталкиваемся, когда X, Y означают подмножества некоторого множества, а Х RY означает "X содержится в Y ", или когда х, у являются натуральными числами, а хRу означает "х делит y ", или, наконец, когда f (х) и g ( x) являются действительными функциями, определенными на интервале a ≤ x ≤ b, а f (х) Rg (х) означает: «каково бы ни было х, f (х) ≤ g (х)». Эти примеры в то же время показывают, сколь велико разнообразие областей, где появляются структуры порядка.
Третий тип структур — топологических структурах (топологии) [2], в них находят абстрактную математическую формулировку интуитивные понятия окрестности, предела и непрерывности, к которым нас приводит наше представление о пространстве.
В каждой из представленных (порождающих) структур господствует уже достаточное разнообразие, так как там надо различать наиболее общую структуру рассматриваемого типа с наименьшим числом аксиом и структуры, которые получаются из нее в результате ее обогащения дополнительными аксиомами, каждая из которых влечет за собой и новые следствия.
Именно таким образом теория групп, помимо общих положений, которые справедливы для всех групп и зависят только от аксиом, перечисленных выше, содержит, в частности, теорию конечных групп (в которой добавляют аксиому, гласящую, что число элементов группы конечно), теорию абелевых групп (в которых имеем хτу = уτх, каковы бы ни были х, у ), а также теорию конечных абелевых групп (в которой предполагаются выполненными обе вышеуказанные аксиомы). Точно так же среди упорядоченных множеств различают те, в которых любые два элемента сравнимы и которые называются линейно упорядоченными. Среди этих последних особо изучают множества, называемые вполне упорядоченными (в которых, так же как в множестве натуральных чисел, каждое подмножество имеет «наименьший элемент»). Подобная же градация существует и для топологических структур.
За пределами этого первоначального ядра появляются структуры, которые можно было бы назвать сложными структурами и в которые входят одновременно одна или несколько порождающих структур, но не просто совмещенные друг с другом, а органически скомбинированные при помощи одной или нескольких связывающих их аксиом. Именно такой характер носит топологическая алгебра, изучающая структуры, определяемые одним или несколькими законами композиций и одной топологией, которые связаны тем условием, что алгебраические операции являются непрерывными функциями (для рассматриваемой топологии) элементов, над которыми они производятся.
Наконец, далее начинаются собственно частные теории, в которых элементы рассматриваемых множеств, которые до сего момента в общих структурах были совершенно неопределенными, получают более определенную индивидуальность. Именно таким образом получают теории классической математики: анализ функций действительной и комплексной переменной, дифференциальную геометрию, алгебраическую геометрию, теорию чисел. Но они теряют свою былую автономность и являются теперь перекрестками, на которых сталкиваются и взаимодействуют многочисленные математические структуры, имеющие более общий характер.
Структуры являются орудиями математика: каждый раз, когда он замечает, что между изучаемыми им элементами имеют место отношения, удовлетворяющие аксиомам структуры определенного типа, он сразу может воспользоваться всем арсеналом общих теорем, относящихся к структурам этого типа, тогда как раньше он должен был бы мучительно трудиться, выковывая сам средства, необходимые для того, чтобы штурмовать рассматриваемую проблему, причем их мощность зависела бы от его личного таланта и они были бы отягчены часто излишне стеснительными предположениями, обусловленными особенностями изучаемой проблемы.
Функция представляет собой одно из основных математических понятий 20 века, когда функциональному анализу стала принадлежать в математике выдающаяся роль. Но так было не всегда: после введения в математику понятия функции понадобилось более двух столетий, чтобы было осознано его действительное значение для развития математического познания.
Термин «функция» впервые был применен в конце 17 века Лейбницем и его учениками. Вначале этот термин употребляли еще в очень узком смысле слова, связывая лишь с геометрическими образами. Речь шла об отрезках касательных к кривым, их проекция на оси координат и о «другого рода линиях, выполняющих для данной фигуры некоторую функцию» (от латинского «функтус» — выполнять). Таким образом, понятие функции еще не было освобождено от геометрической формы.
Лишь И. Бернулли дал определение функции, свободное от геометрического языка: «Функцией переменной величины называется количество, образованное каким угодно способом из этой переменной величины и постоянных».
Чтобы определение функции, данное И. Бернулли, стало полноценным, надо было условиться, какие способы задания функций следует считать допустимыми. Обычно считали, что допускаются функции, заданные выражениями, в которые входят числа, буквы, знаки арифметических действий, возведение в степень и извлечение корней, а также обозначения тригонометрических, обратных тригонометрических, показательных и логарифмических функций. Такие функции называли элементарными. Вскоре выяснилось, что интегралы от них не всегда выражаются через элементарные функции. В связи с этим пришлось добавить новые функции, получающиеся при вычислении интегралов от элементарных функций, при решении дифференциальных уравнений и т.д. Многие из этих функций нельзя было явно выразить с помощью ранее известных операций. Поэтому один из самых замечательных математиков 18 века Леонард Эйлер пишет: «Когда некоторые количества зависят от других таким образом, что при изменении последних и сами они подвергаются изменению, то первые называют функциями вторых».
В 1834 году Н.И. Лобачевский писал: «Общее понятие функции требует, чтобы функцией от х называть число, которое дается для каждого х и вместе с х постепенно изменяется. Значение функции может быть дано или аналитическим выражением, или условием, которое подает средство испытывать все числа и выбрать одно из них; или, наконец, зависимость может существовать и оставаться неизвестной».
Более общий подход к понятию функции, при котором отождествляются понятия «функция», «отображение», «оператор», возник после того, как во второй половине 19 века было введено общее понятие множества. И именно творцы теории множеств Г. Кантор и Р. Дедекинд дали общее определение отображения:
"Пусть X и Y — два множества; говорят, что задано отображение f множества X в (на) множество Y, если для каждого элемента x из X указан соответствующий ему единственный элемент y из Y. Этот элемент y называют образом элемента х при отображении f и обозначают f ( x)".
Введение в математику общего понятия об отображении множеств позволило прояснить и ряд вопросов, относящихся к функциям, например, уточнить, что такое обратная функция, сложная функция и т.д.
В результате систематического построения математического анализа на основе строгой арифметической теории иррациональных чисел и теории множества возникла новая отрасль математики — теория функций действительного переменного. Она оказала большое влияние на развитие многих других отделов математики. В начале 20 века на базе этой теории функций возникла новая ветвь математики — функциональный анализ. В нем изучают множества, состоящие из функций, последовательностей, линий, в которых определены операции сложения и умножения на числа. Эти операции обладают свойствами, похожими на свойства операций над векторами. Однако в отличие от нашего пространства, имеющего лишь три измерения, изучаемые в функциональном анализе, пространства могут быть бесконечномерными.
В XX веке понятие функции подверглось дальнейшим обобщением. Возникло понятие функции, отражавшее свойства физических величин, сосредоточенных в отдельных точках, на линиях или поверхностях. Потребности физики привели к изучению функций, принимавших случайные значения. Но методы математического анализа позволили справиться и с проблемами теории случайных функций, нашедшей многочисленные приложения в физике и технике.
Современная трактовка понятия функции выглядит следующим образом: "Функцией называется отношение двух (группы) объектов, в котором изменению одного из них сопутствует изменение другого".
Но как бы далеко ни отходило то или иное обобщение понятия функции от определений И. Бернулли и Л. Эйлера, к каким бы сложным объектам оно ни прилагалось, в основе всех построений лежала одна и та же мысль о существовании взаимозависимых величин, знание значения одной из которых позволяет найти значение другой величины.
Таким образом, функция, как и любое другое математическое понятие, непосредственно или опосредованно отражает окружающую нас действительность.
График функции — один из способ ее представления.
График функции — это линия, дающая цельное представление о характере изменения функции по мере изменения, ее аргумента.
График функции — множество точек плоскости с прямоугольными координатами (х, у), где y= f ( x) — функция от х из области определения Е этой функции.
Рис.1. Кривая — график функции
Здесь y = f ( x) — функция одного переменного х .
Для построения графика функции нужно нарисовать «кривую» — множество точек, координаты которых (х у) связаны соотношением y = f ( x), х из множества Е. Строго говоря, точное построение графика функции невозможно, так как любое геометрическое изображение точек, отрезков, кривых и др. объектов можно сделать только приближенно.
Поэтому рисунок на самом деле является только эскизом графикаf (х), от французского слова «esquisse», что означает «предварительный набросок», однако если кривая нарисована с достаточной точностью, то её также называют графиком функции.
Простейшим способом является построение графика функции по точкам. Он состоит в том, что для нескольких значений аргумента находятся значения функции, по которым строятся соответствующие точки графика функции, и затем через эти точки проводится плавная кривая. Так строятся, например, всевозможные экспериментальные кривые после проведения нескольких опытов.
Для построения графика функции y= f ( x), заданной аналитически (формулой), обычно используют следующие её свойства:
1) Находят область определения функции.
2) В области определения находят интервалы, на которых функция непрерывна, имеет первую и вторую производные.
3) Исследуя знаки производных, находят промежутки возрастания и убывания функции, промежутки выпуклости и вогнутости, точки максимума и минимума и перегиба точки.
4) Изучают поведение функции при стремлении аргумента к граничным точкам области определения, в частности находят пределы функции и асимптоты, если они существуют.
5) Находят значения функции в точках максимума и минимума, в точках перегиба и ещё в нескольких точках в зависимости от нужной точности построения графика функции.
Учитывая изученные свойства, строят график функции.
1. Бурбаки Н. Очерки по истории математики / Н. Бурбаки. — М.: Изд-во Ин. лит., 1972.
2. Гнеденко Б.В. Математика в современном мире / Б.В. Гнеденко. — Издательство Просвещение. — М.: Просвещение, 1980.
3. Кудрявцев Л.Д. Мысли о современной математике и ее изучении / Л.Д. Кудрявцев. — М.: Просвещение, 1977.
4. Локоть Н.В. Математика для нематематиков. Учебное пособие для студентов-гуманитариев / Н.В. Локоть. — Мурманск: МГПИ, 1999.
5. Математика: Большой энциклопедический словарь / Под. ред. Ю.В. Прохорова. — 3-е изд. — М.: БРС, 1998.
6. Малаховский В.С. Введение в математику / В.С. Малаховский. — Калининград: Янтарный сказ, 2001.
7. Сухотин А.К. Философия математики. Учебное пособие / А.К. Сухотин. — М., 2000.
[1] Аксиоматический метод, способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путем логической дедукции получать утверждения (теоремы) данной теории.
[2] Топология изучает топологические свойства фигур, т.е. свойства, не изменяющиеся при любых деформациях, производимых без разрывов и склеиваний (точнее, при взаимно однозначных и непрерывных отображениях). Примерами топологических свойств фигур являются размерность, число кривых, ограничивающих данную область, и т. д. Так, окружность, эллипс, контур квадрата имеют одни и те же топологические свойства, т. к. эти линии могут быть деформированы одна в другую описанным выше образом; в то же время кольцо и круг обладают различными топологическими свойствами: круг ограничен одним контуром, а кольцо — двумя.
www.ronl.ru
Оглавление
Введение...................................................................................................................3
1. Роль математики в современном мире. Основные этапы развития математики...............................................................................................................5
2. Аксиоматический метод построения научной теории. Начала Евклида как образец аксиоматического построения научной теории. История создания неевклидовой геометрии.........................................................................................8
3. Особенности математического стиля мышления...........................................11
Заключение.............................................................................................................15
Список литературы................................................................................................17
Введение
Математика является экспериментальной наукой - частью теоретической физики и членом семейства естественных наук. Основные принципы построения и преподавания всех этих наук применимы и к математике. Искусство строгого логического рассуждения и возможность получать этим способом надежные выводы не должно оставаться привилегией Шерлока Холмса - каждый школьник должен овладеть этим умением. Умение составлять адекватные математические модели реальных ситуаций должно составлять неотъемлемую часть математического образования. Успех приносит не столько применение готовых рецептов (жестких моделей), сколько математический подход к явлениям реального мира. При всем огромном социальном значении вычислений (и computer science), сила математики не в них, и преподавание математики не должно сводиться к вычислительным рецептам.
"No star wars - no mathematics", - говорят американцы. Тот прискорбный факт, что с (временным?) прекращением военного противостояния математика, как и все фундаментальные науки, перестала финансироваться, является позором для современной цивилизации, признающей только "прикладные" науки, ведущей себя совершенно подобно свинье под дубом.
На самом деле никаких прикладных наук не существует и никогда не существовало, как это отметил более ста лет назад Луи Пастер (которого трудно заподозрить в занятиях, не нужных человечеству). Согласно Пастеру, существуют лишь приложения науки[1].
Опыты с янтарем и кошачьим мехом казались бесполезными правителям и военачальникам XVIII века. Но именно они изменили наш мир после того, как Фарадей и Максвелл написали уравнения теории электромагнетизма. Эти достижения фундаментальной науки окупили все затраты человечества на нее на сотни лет вперед. Отказ современных правителей платить по этому счету - удивительно недальновидная политика, за которую соответствующие страны, несомненно, будут наказаны технологической и следовательно экономической (а также и военной) отсталостью. Человечество в целом (перед которым ведь стоит тяжелейшая задача выживания в условиях мальтузианского кризиса) должно будет заплатить тяжелую цену за близоруко-эгоистическую политику составляющих его стран.
Математическое сообщество несет свою долю ответственности за повсеместно наблюдаемое давление со стороны правительств и общества в целом, направленное на уничтожение математической культуры как части культурного багажа каждого человека и в особенности на уничтожение математического образования.
Выхолощенное и формализованное преподавание математики на всех уровнях сделалось, к несчастью, системой. Выросли целые поколения профессиональных математиков и преподавателей математики, умеющих только это и не представляющих себе возможности какого-либо другого преподавания математики.
1. Роль математики в современном мире. Основные этапы развития математики
Целью изучения математики является повышение общего кругозора, культуры мышления, формирование научного мировоззрения.
Математика – наука о количественных отношениях и пространственных формах действительного мира. Академик Колмогоров А.Н. выделяет четыре периода развития математики[2]:
· зарождение математики,
· элементарная математика,
· математика переменных величин,
· современная математика.
Начало периода элементарной математики относят к VI-V веку до нашей эры. К этому времени был накоплен достаточно большой фактический материал. Понимание математики, как самостоятельной науки возникло впервые в Древней Греции. В течение этого периода математические исследования имеют дело лишь с достаточно ограниченным запасом основных понятий, возникших для удовлетворения самых простых запросов хозяйственной жизни. Развивается арифметика – наука о числе.
В период развития элементарной математики появляется теория чисел, выросшая постепенно из арифметики. Создается алгебра, как буквенное исчисление. Обобщается труд большого числа математиков, занимающихся решением геометрических задач в стройную и строгую систему элементарной геометрии геометрию Евклида, изложенную в его замечательной книге Начала (300 лет до н. э.).
В XVII веке запросы естествознания и техники привели к созданию методов, позволяющих математически изучать движение, процессы изменения величин, преобразование геометрических фигур. С употребления переменных величин в аналитической геометрии и создание дифференциального и интегрального исчисления начинается период математики переменных величин. Великим открытиям XVII века является введенная Ньютоном и Лейбницем понятие бесконечно малой величины, создание основ анализа бесконечно малых (математического анализа). На первый план выдвигается понятие функции. Функция становится основным предметом изучения. Изучение функции приводит к основным понятиям математического анализа: пределу, производной, дифференциалу, интегралу.
К этому времени относятся и появление гениальной идеи Р. Декарта о методе координат. Создается аналитическая геометрия, которая позволяет изучать геометрические объекты методами алгебры и анализа. С другой стороны метод координат открыл возможность геометрической интерпретации алгебраических и аналитических фактов[3].
Дальнейшее развитие математики привело в начале ХIX века к постановке задачи изучения возможных типов количественных отношений и пространственных форм с достаточно общей точки зрения. Связь математики и естествознания приобретает все более сложные формы. Возникают новые теории. Новые теории возникают не только в результате запросов естествознания и техники, но и в результате внутренней потребности математики. Замечательным примером такой теории является воображаемая геометрия Н. И. Лобачевского. Развитие математики в XIX и XX веках позволяет отнести ее к периоду современной математики. Развитие самой математики, математизация различных областей науки, проникновение математических методов во многие сферы практической деятельности, прогресс вычислительной техники привели к появлению новых математических дисциплин, например, исследование операций, теория игр, математическая экономика и другие.
В основе построения математической теории лежит аксиоматический метод. В основу научной теории кладутся некоторые исходные положения, называемые аксиомами, а все остальные положения теории получаются, как логические следствия аксиом. Основными методами в математических исследованиях являются математические доказательства – строгие логические рассуждения. Математическое мышление не сводится лишь к логическим рассуждениям. Для правильной постановки задачи, для оценки выбора способа ее решения необходима математическая интуиция.
В математике изучаются математические модели объектов. Одна и та же математическая модель может описывать свойства далеких друг от друга реальных явлений. Так, одно и тоже дифференциальное уравнение может описывать процессы роста населения и распад радиоактивного вещества. Для математика важна не природа рассматриваемых объектов, а существующие между ними отношения.
В математике используют два вида умозаключений: дедукция и индукция[4].
Индукция – метод исследования, в котором общий вывод строится не основе частных посылок.
Дедукция – способ рассуждения, посредством которого от общих посылок следует заключение частного характера.
Математика играет важную роль в естественнонаучных, инженерно-технических и гуманитарных исследованиях. Причина проникновения математики в различные отрасли знаний заключается в том, что она предлагает весьма четкие модели для изучения окружающей действительности в отличие от менее общих и более расплывчатых моделей, предлагаемых другими науками. Без современной математики с ее развитым логическими и вычислительным аппаратом был бы невозможен прогресс в различных областях человеческой деятельности.
2. Аксиоматический метод построения научной теории. Начала Евклида как образец аксиоматического построения научной теории. История создания неевклидовой геометрии
Создание дедуктивного или аксиоматического метода построения науки является одним из величайших достижений математической мысли. Оно потребовало работы многих поколений ученых. Замечательной чертой дедуктивной системы изложения является простота этого построения, позволяющая описать его в немногих словах. Дедуктивная система изложения сводится[5]:
1) к перечислению основных понятий,
2) к изложению определений,
3) к изложению аксиом,
4) к изложению теорем,
5) к доказательству этих теорем.
Аксиома – утверждение, принимаемое без доказательств.
Теорема – утверждение, вытекающее из аксиом.
Доказательство – составная часть дедуктивной системы, это есть рассуждение, которое показывает, что истинность утверждения вытекает логически из истинности предыдущих теорем или аксиом.
Внутри дедуктивной системы не могут быть решены два вопроса: 1) о смысле основных понятий, 2) об истинности аксиом. Но это не значит, что эти вопросы вообще неразрешимы.
История естествознания свидетельствует, что возможность аксиоматического построения той или иной науки появляется лишь на довольно высоком уровне развития этой науки, на базе большого фактического материала, позволяет отчетливо выявить те основные связи и соотношения, которые существуют между объектами, изучаемыми данной наукой.
Образцом аксиоматического построения математической науки является элементарная геометрия. Система аксиом геометрии были изложены Евклидом (около 300 г. до н. э.) в непревзойденном по своей значимости труде “Начала”. Эта система в основных чертах сохранилась и по сей день.
Основные понятия: точка, прямая, плоскость основные образы; лежать между, принадлежать, движение[6].
Элементарная геометрия имеет 13 аксиом, которые разбиты на пять групп. В пятой группе одна аксиома о параллельных (V постулат Евклида): через точку на плоскости можно провести только одну прямую, не пересекающую данную прямую. Это единственная аксиома, вызывавшая потребность доказательства. Попытки доказать пятый постулат занимали математиков более 2-х тысячелетий, вплоть до первой половины 19 века, т.е. до того момента, когда Николай Иванович Лобачевский доказал в своих трудах полную безнадежность этих попыток. В настоящее время недоказуемость пятого постулата является строго доказанным математическим фактом.
Аксиому о параллельных Н.И. Лобачевский заменил аксиомой: Пусть в данной плоскости дана прямая и лежащая вне прямой точка. Через эту точку можно провести к данной прямой, по крайней мере, две параллельные прямые. Из новой системы аксиом Н.И. Лобачевский с безупречной логической строгостью вывел стройную систему теорем, составляющих содержание неевклидовой геометрии. Обе геометрии Евклида и Лобачевского, как логические системы равноправны.
Три великих математика в 19 веке почти одновременно, независимо друг от друга пришли к одним результатам недоказуемости пятого постулата и к созданию неевклидовой геометрии.
Николай Иванович Лобачевский (1792-1856)
Карл Фридрих Гаусс (1777-1855)
Янош Бойяи (1802-1860)
Судьба открытия Лобачевского. В 2004 г. Казанский Государственный Университет отметил 200-летие своего существования. Имя Николая Ивановича Лобачевского тесно связано с Казанским Университетом и составляет его гордость[7].
Н. И. Лобачевский родился 1 декабря 1792г. в Нижнем Новгороде, в 1807 году поступил в Императорский Казанский Университет, в 1811 году окончил его. 19 февраля 1826 года представил доклад о своем открытии физико-математическому факультету. В течении всей своей жизни он развивал свои идеи, которые излагал в трудах “Начала геометрии”, “Воображаемая геометрия” и других. За год до смерти он опубликовал свою работу “Пангеометрия” (1855г.).
Николай Иванович помимо научных трудов, вел громадную работу, как профессор, главный библиотекарь, декан, а позднее ректор Университета, при нем развернулось строительство Университетского прекрасного архитектурного ансамбля. Умер он 12 февраля 1856г., так и не дождавшись признания своих идей. Эти идеи были враждебно встречены даже известными математиками того времени. Идеи Н.И. Лобачевского далеко опередили свое время, но все развитие науки подготовило их неизбежное торжество. Через пятнадцать лет после его смерти его открытие стало общеизвестным и определило на столетие вперед развитие геометрической науки, оказало сильнейшее влияние на другие разделы математики, явилось одной из предпосылок глубокого преобразования физических представлений о пространстве и времени.
3. Особенности математического стиля мышления
Представляет интерес характеристика А.Я. Хинчиным математического мышления, а точнее, его конкретно-исторической формы – стиля математического мышления. Раскрывая сущность стиля математического мышления, он выделяет четыре общие для всех эпох черты, заметно отличающие этот стиль от стилей мышления в других науках[8].
Во-первых, для математика характерна доведенное до предела доминирование логической схемы рассуждения. Математик, потерявший, хотя бы временно, из виду эту схему, вообще лишается возможности научно мыслить. Эта своеобразная черта стиля математического мышления имеет в себе много ценного. Очевидно, что она в максимальной степени позволяет следить за правильностью течения мысли и гарантирует от ошибок; с другой стороны, она заставляет мыслящего при анализе иметь перед глазами всю совокупность имеющихся возможностей и обязывает его учесть каждую из них, не пропуская ни одной (такого рода пропуски вполне возможны и фактически часто наблюдаются при других стилях мышления).
Во-вторых, лаконизм, т.е. сознательное стремление всегда находить кратчайший ведущий к данной цели логический путь, беспощадное отбрасывание всего, что не абсолютно необходимо для безупречной полноценности аргументации. Математическое сочинение хорошего стиля не терпит никакой “воды”, никаких украшающих, ослабляющих логическое напряжение разглагольствований, отвлечений в сторону; предельная скупость, суровая строгость мысли и ее изложения составляют неотъемлемую черту математического мышления. Черта эта имеет большую ценность не только для математического, но и для любого другого серьезного рассуждения. Лаконизм, стремление не допускать ничего излишнего, помогает и самому мыслящему, и его читателю или слушателю полностью сосредоточиться на данном ходе мыслей, не отвлекаясь побочными представлениями и не теряя непосредственного контакта с основной линией рассуждения.
Корифеи науки, как правило, мыслят и выражаются лаконично во всех областях знания, даже тогда, когда мысль их создает и излагает принципиально новые идеи. Какое величественное впечатление производит, например, благородная скупость мысли и речи величайших творцов физики: Ньютона, Эйнштейна, Нильса Бора! Может быть, трудно найти более яркий пример того, какое глубокое воздействие может иметь на развитие науки именно стиль мышления ее творцов.
Для математики лаконизм мысли является непререкаемым, канонизированным веками законом. Всякая попытка обременить изложение не обязательно нужными (пусть даже приятными и увлекательными для слушателей) картинами, отвлечениями, разглагольствованиями заранее ставится под законное подозрение и автоматически вызывает критическую настороженность.
В-третьих, четкая расчлененность хода рассуждений. Если, например, при доказательстве какого-либо предложения мы должны рассмотреть четыре возможных случая, из которых каждый может разбиваться на то или другое число подслучаев, то в каждый момент рассуждения математик должен отчетливо помнить, в каком случае и подслучае его мысль сейчас обретается и какие случаи и подслучаи ему еще остается рассмотреть. При всякого рода разветвленных перечислениях математик должен в каждый момент отдавать себе отчет в том, для какого родового понятия он перечисляет составляющие его видовые понятия. В обыденном, не научном мышлении мы весьма часто наблюдаем в таких случаях смешения и перескоки, приводящие к путанице и ошибкам в рассуждении. Часто бывает, что человек начал перечислять виды одного какого-нибудь рода, а потом незаметно для слушателей (а часто и для самого себя), пользуясь недостаточной логической отчетливостью рассуждения, перескочил в другой род и заканчивает заявлением, что теперь оба рода расклассифицированы; а слушатели или читатели не знают, где пролегает граница между видами первого и второго рода[9].
Для того чтобы сделать такие смешения и перескоки невозможными, математики издавна широко пользуются простыми внешними приемами нумерации понятий и суждений, иногда (но гораздо реже) применяемыми и в других науках. Те возможные случаи или те родовые понятия, которые надлежит рассмотреть в данном рассуждении, заранее перенумеровываются; внутри каждого такого случая те подлежащие рассмотрению подслучаи, которые он содержит, также перенумеровываются (иногда, для различения, с помощью какой-либо другой системы нумерации). Перед каждым абзацем, где начинается рассмотрение нового подслучая, ставится принятое для этого подслучая обозначение (например, II 3, -это означает, что здесь начинается рассмотрение третьего подслучая второго случая, или описание третьего вида второго рода, если речь идет о классификации). И читатель знает, что до тех пор, покуда он не натолкнется на новую числовую рубрику, всё излагаемое относится только к этому случаю и подслучаю. Само собою разумеется, что такая нумерация служит лишь внешним приемом, очень полезным, но отнюдь не обязательным, и что суть дела не в ней, а в той отчетливой расчлененности аргументации или классификации, которую она и стимулирует, и знаменует собою.
В-четвертых, скрупулезная точность символики, формул, уравнений. То есть “каждый математический символ имеет строго определенное значение: замена его другим символом или перестановка на другое место, как правило, влечет за собою искажение, а подчас и полное уничтожение смысла данного высказывания”.
Выделив основные черты математического стиля мышления, А.Я. Хинчин замечает, что математика (особенно математика переменных величин) по своей природе имеет диалектический характер, а следовательно, способствует развитию диалектического мышления. Действительно, в процессе математического мышления происходит взаимодействие наглядного (конкретного) и понятийного (абстрактного). “Мы не можем мыслить линии, – писал Кант, – не проведя её мысленно, не можем мыслить себе три измерения, не проведя из одной точки трех перпендикулярных друг к другу линий”[10].
Взаимодействие конкретного и абстрактного “вело” математическое мышление к освоению новых и новых понятий и философских категорий. В античной математике (математике постоянных величин) таковыми были “число” и “пространство”, которые первоначально нашли отражение в арифметике и евклидовой геометрии, а позже в алгебре и различных геометрических системах. Математика переменных величин “базировалась” на понятиях, в которых отражалось движение материи, - “конечное”, “бесконечное”, “непрерывность”, “дискретное”, “бесконечно малая”, “производная” и т.п.
Заключение
Если говорить о современном историческом этапе развития математического познания, то он идет в русле дальнейшего освоения философских категорий: теория вероятностей “осваивает” категории возможного и случайного; топология – категории отношения и непрерывности; теория катастроф – категорию скачка; теория групп – категории симметрии и гармонии и т.д.
В математическом мышлении выражены основные закономерности построения сходных по форме логических связей. С его помощью осуществляется переход от единичного (скажем, от определенных математических методов – аксиоматического, алгоритмического, конструктивного, теоретико-множественного и других) к особенному и общему, к обобщенным дедуктивным построениям. Единство методов и предмета математики определяет специфику математического мышления, позволяет говорить об особом математическом языке, в котором не только отражается действительность, но и синтезируется, обобщается, прогнозируется научное знание. Могущество и красота математической мысли – в предельной четкости её логики, изяществе конструкций, искусном построении абстракций[11].
Принципиально новые возможности мыслительной деятельности открылись с изобретением ЭВМ, с созданием машинной математики. В языке математики произошли существенные изменения. Если язык классической вычислительной математики состоял из формул алгебры, геометрии и анализа, ориентировался на описание непрерывных процессов природы, изучаемых прежде всего в механике, астрономии, физике, то современный её язык – это язык алгоритмов и программ, включающий старый язык формул в качестве частного случая.
Язык современной вычислительной математики становится все более универсальным, способным описывать сложные (многопараметрические) системы. Вместе с тем хочется подчеркнуть, что каким бы совершенным ни был математический язык, усиленный электронно-вычислительной техникой, он не порывает связей с многообразным “живым”, естественным языком. Мало того, разговорный язык является базой языка искусственного. В этом отношении представляет интерес недавнее открытие ученых. Речь идет о том, что древний язык индейцев аймара, на котором говорят примерно 2,5 миллиона человек в Боливии и Перу, оказался в высшей степени удобным для компьютерной техники. Еще в 1610 г. итальянский миссионер-иезуит Людовико Бертони, составивший первый словарь аймара, отмечал гениальность его создателей, добившихся высокой логической чистоты. В аймара, например, не существует неправильных глаголов и никаких исключений из немногих четких грамматических правил. Эти особенности языка аймара позволили боливийскому математику Айвану Гусману де Рохас создать систему синхронного компьютерного перевода с любого из пяти заложенных в программу европейских языков, “мостиком” между которыми служит язык аймара. ЭВМ “Аймара”, созданная боливийским ученым, получила высокую оценку специалистов. Резюмируя эту часть вопроса о сущности математического стиля мышления, следует отметить, что его основным содержанием является понимание природы
Список литературы
1. Гильде В. Зеркальный мир. - М., Мир, 2007. – 255 с.
2. Гнеденко Б.В. Математика и математическое образование в современном мире. - М., Просвещение, 2005. – 177 с.
3. Информационная безопасность. Под ред. М.А.Вуса. – С-Пб.: Изд-во СПбГУ, 2006. – 201 с.
4. История математики. Под ред. А.П.Юшкевича. Т. 1-3. - М., Наука, 2007. – 512 с.
5. Колмогоров А.Н. Математика в ее историческом развитии. - М., Наука, 2005. – 325 с.
6. Курант Р., Роббинс Г. Что такое математика? - М., Просвещение, 2007. – 190 с.
7. Пойа Д. Математика и правдоподобные рассуждения. - М., Наука, 2005. – 178 с.
8. Пойа Д. Математическое открытие. - М., Наука, 2007. – 213 с.
9. Стройк Д.Я. Краткий очерк истории математики. - М., Физматлит, 2007. – 346 с.
10. Фор Р., Кофман А., Дени-Папен М. Современная математика. - М., Мир, 2006. – 311 с.
11. Шикин Е.В., Шикина Г.Е. Гуманитариям о математике. - М., АГАР, 2007. – 170 с.
12. Стили в математике: социокультурная философия математики.//Под ред. А.Г. Барабашева. - СПб., РХГИ. 2008. – 244 с.
www.neuch.ru
Содержание
1. Общие сведения о математике
2. Основные понятия математики
3. Что такое математический язык?
4. Аксиоматический метод
5. Математические структуры
5. Функции и графики
Список использованной литературы
До начала 17 в. математика - преимущественно наука о числах, скалярных величинах и сравнительно простых геометрических фигурах; изучаемые ею величины (длины, площади, объемы и пр.) рассматриваются как постоянные. К этому периоду относится возникновение арифметики, геометрии, позднее - алгебры и тригонометрии и некоторых частных приемов математического анализа. Областью применения математики являлись: счет, торговля, землемерные работы, астрономия, отчасти архитектура.
В 17 и 18 вв. потребности бурно развивавшегося естествознания и техники (мореплавания, астрономии, баллистики, гидравлики и т.д.) привели к введению в математику идей движения и изменения, прежде всего в форме переменных величин и функциональной зависимости между ними. Это повлекло за собой создание аналитической геометрии, дифференциального и интегрального исчислений. В 18 в. возникают и развиваются теория дифференциальных уравнений, дифференциальная геометрия и т.д. В 19-20 вв. математика поднимается на новые ступени абстракции. Обычные величины и числа оказываются лишь частными случаями объектов, изучаемых в современной алгебре; геометрия переходит к исследованию "пространств", весьма частным случаем которых является евклидово пространство. Развиваются новые дисциплины: теория функций комплексного переменного, теория групп, проективная геометрия, неевклидова геометрия, теория множеств, математическая логика, функциональный анализ и др. Практическое освоение результатов теоретического математического исследования требует получения ответа на поставленную задачу в числовой форме.
В связи с этим в 19-20 вв. численные методы математики вырастают в самостоятельную ее ветвь - вычислительную математику. Стремление упростить и ускорить решение ряда трудоемких вычислительных задач привело к созданию вычислительных машин. Потребности развития самой математики, "математизация" различных областей науки, проникновение математических методов во многие сферы практической деятельности, быстрый прогресс вычислительной техники привели к появлению целого ряда новых математических дисциплин, как например, теория игр, теория информации, теория графов, дискретная математика, теория оптимального управления.
Математика - область человеческого знания, изучающая математические модели, отражающие объективные свойства и связи. "Замечательно, - пишет В.А. Успенский, - что хотя математическая модель создается человеческим разумом, она, будучи создана, может стать предметом объективного изучения. Познавая ее свойства, мы тем самым познаем и свойства отраженной моделью реальности" Кроме того, математика дает удобные способы описания самых разнообразных явлений реального мира и тем самым выполняет роль языка науки. Наконец, математика дает людям методы изучения и познания окружающего мира, методы исследования как теоретических, так и практических проблем.
Математика (греч. mathematike, от mathema - знание, наука) наука, в которой изучаются пространственные формы и количественные отношения.
Современное понятие математики - наука о математических структурах (множествах, между элементами которых определены некоторые отношения).
У представителей науки начала 19 века, не являющихся математиками, можно найти такие общедоступные определения математики.
"Чистая математика имеет своим объектом пространственные формы и количественные отношения действительного мира" (Ф. Энгельс).
"Математика - наука о величинах и количествах; все, что можно выразить цифрою, принадлежит математике. Математика может быть чистой и прикладной.
Математика делится на арифметику и геометрию; первая располагает цифрами, вторая - протяжениями и пространствами. Алгебра заменяет цифры более общими знаками, буквами; аналитика добивается выразить все общими формулами, уравнениями, без помощи чертежа" (В. Даль).
Современная математика насчитывает множество математических теорий: математическая статистика и теория вероятности, математическое моделирование, численные методы, теория групп, теория чисел, векторная алгебра, теория множеств, аналитическая и проективная геометрия, математический анализ и т.д.
Несмотря на то, что математических теорий достаточно много и они, на первый взгляд, могут и не иметь ничего общего, внутренняя эволюция математической науки упрочила единство ее различных частей и создала центральное ядро. Существенным в этой эволюции является систематизация отношений, существующих между различными математическими теориями; ее итогом явилось направление, которое обычно называют "аксиоматический метод". В теории, построенной в согласии с аксиоматическим методом, начинают с небольшого количества неопределяемых (первичных) понятий, с помощью которых образуются утверждения, называемые аксиомами.
Прочие понятия, изучаемые в теории, определяются через первичные, и из аксиом и определений выводятся теоремы. Теория становится рекурсивно структурированной, ее можно представить в виде матрешки, в которой понятия и их свойства как бы являются вложенными друг в друга. Каждая математическая теория является цепочкой высказываний, которые выводятся друг из друга согласно правилам логики, т.е. объединяющим началом математики является "дедуктивное рассуждение". Развитие математической теории в таком стиле - это первый шаг по направлению к ее формализации.
Открытие неевклидовых геометрий и создание теории множеств привели к перестройке всего здания математики и созданию совершенно новых ее отраслей. Важное значение приобрела в современной математике математическая логика. Методы математики широко используются в точном естествознании. Применение ее в биологии и общественных науках до последнего времени носило случайный характер. Создание (под непосредственным влиянием практики) таких отраслей, как линейное программирование, теория игр, теория информации, и появление электронных математических машин открывают здесь совершенно новые перспективы. Философские вопросы математики (характер и происхождение математической абстракции, ее особенности) всегда являлись ареной борьбы между материализмом и идеализмом. Особенно важное значение имеют философские вопросы, возникшие в связи с проблемами оснований математики.
Математика играет важную роль в естественнонаучных, инженерно-технических и гуманитарных исследованиях. Причина проникновения математики в различные отрасли знаний заключается в том, что она предлагает весьма четкие модели для изучения окружающей действительности в отличие от менее общих и более расплывчатых моделей, предлагаемых другими науками. Без современной математики с ее развитым логическими и вычислительным аппаратом был бы невозможен прогресс в различных областях человеческой деятельности. Математика является не только мощным средством решения прикладных задач и универсальным языком науки, но также и элементом общей культуры.
Современная математика имеет следующие основные разделы:
1. Элементарная математика: алгебра, геометрия и тригонометрия (на плоскости и сфере).
2. Аналитическая геометрия (на плоскости и в пространстве).
3. Функции и пределы. Дифференциальное и интегральное исчисление.
4. Векторный анализ. Системы криволинейных координат.
5. Функции комплексного переменного.
6. Преобразование Лапласа и другие интегральные преобразования.
7. Дифференциальные уравнения.
8. Максимумы и минимумы.
9. Математические модели. Абстрактная алгебра и абстрактные пространства.
10. Матрицы. Квадратичные и эрмитовы формы.
11. Линейные векторные пространства и линейные операторы. Матричное представление линейных преобразований.
12. Интегральные уравнения, краевые задачи и задачи о собственных значениях.
13. Тензорная алгебра и тензорный анализ.
14. Дифференциальная геометрия.
15. Теория вероятностей.
16. Теория случайных процессов.
17. Математическая статистика.
18. Численные методы и конечные разности.
Число, одно из основных понятий математики. В связи со счетом отдельных предметов возникло понятие о целых положительных (натуральных) числах, а затем идея о безграничности натурального ряда чисел: 1, 2, 3,4... Задачи измерения длин, площадей и т.п., а также выделение долей именованных величин привели к понятию рационального (дробного) числа. Понятие об отрицательных числах возникло у индийцев в 6-11 вв. Потребность в точном выражении отношений величин (напр., отношение диагонали квадрата к его стороне) привела к введению иррациональных чисел, которые выражаются через рациональные числа лишь приближенно; рациональные и иррациональные числа составляют совокупность действительных чисел. Окончательное развитие теория действительных чисел получила в связи с потребностями математического анализа. В связи с решением квадратных и кубических уравнений были введены комплексные числа.
Делимость, свойство целого числа делиться на другое целое число без остатка. Простейшие признаки делимости: число делится на 2, если его последняя цифра делится на 2; на 3 или на 9, если сумма цифр делится соответственно на 3 или на 9; на 5, если оно оканчивается на 0 или 5.
Единица, наименьшее из натуральных чисел n = 1. В современной математике понятие единицы (единичного элемента) рассматривают в алгебраических структурах более общей природы (напр., группах).
Сложение, арифметическое действие. Обозначается знаком + (плюс). В области целых положительных чисел (натуральных чисел) в результате сложения по данным числам (слагаемым) находится новое число (сумма), содержащее столько единиц, сколько их содержится во всех слагаемых. Действие сложения определяется также для случая произвольных действительных или комплексных чисел, векторов и т.д.
Вычитание, арифметическое действие, обратное сложению, т.е. нахождение одного из слагаемых (разности) по данной сумме двух слагаемых (уменьшаемому) и данному другому слагаемому (вычитаемому). Обозначается знаком - (минус).
Умножение, арифметическое действие. Обозначается точкой "." или знаком "х" (в буквенном исчислении знаки умножения опускаются). Умножение целых положительных чисел (натуральных чисел) есть действие, позволяющее по двум числам а (множимому) и b (множителю) найти третье число ab (произведение), равное сумме b слагаемых, каждое из которых равно а; а и b называются также сомножителями. Умножение дробных чисел а/b и с/d определяется равенством
Умножение двух рациональных чисел дает число, абсолютная величина которого равна произведению абсолютных величин сомножителей и которое имеет знак плюс (+), если у обоих сомножителей одинаковые знаки, или минус (-), если у них различные знаки. Умножение иррациональных чисел определяется при помощи их рациональных приближений. Умножение комплексных чисел, данных в форме a=а+bi и b=с+di, определяется равенством ab =ас - bd+ (a+bc) i.
Деление, арифметическое действие, обратное умножению; посредством деления по произведению a (делимому) и одному из множителей b (делителю), отличному от нуля, отыскивается другой множитель (частное). Знаки деления - две точки (a: b), горизонтальная черта или наклонная черта (a/b). Деление дробных чисел a/b и c/d определяется равенством (a/b): (c/d) =ad/bc.
Сумма, результат сложения.
Процент, сотая доля числа; обозначается знаком %.
Точка, одно из основных понятий геометрии. При систематическом изложении геометрии точка обычно принимается за одно из исходных понятий.
Степень, произведение нескольких равных сомножителей (напр., 24=2·2·2·2=16). Число, повторяющееся сомножителем, называют основанием степени; число, показывающее, сколько раз повторяется сомножитель, называют показателем степени. Действие нахождения степени называют возведением (возвышением) в степень. Понятие степень обобщается также на случай произвольного (рационального или иррационального, а также комплексного) показателя.
Равенство, отношение взаимной заменяемости объектов, которые именно в силу этой заменяемости и считаются равными (а=b). Отношение равенства обладает свойствами рефлексивности (каждый объект равен самому себе), симметричности (если а=b, то b=a) и транзитивности (если a=b, а b=c, то a=c). Буквенное равенство, верное для всех числовых значений входящих в него букв, называется тождеством.
Величина, обобщение конкретных понятий: длины, площади, веса и т.п. Выбрав одну из величин данного рода за единицу измерения, можно выразить числом отношение любой другой величины того же рода к единице измерения.
Сравнение, соотношение между двумя целыми числами a и b, означающее, что разность a-b этих чисел делится на заданное целое число m, называемое модулем сравнения; пишется a є b (mod m).
Понятие множества, простейшее математическое понятие, оно не определяется, а лишь поясняется при помощи примеров: множество книг на полке, множество точек на прямой (точечное множество) и т.д. То, что данный предмет (элемент, точка) х принадлежит множеству М, записывают х О М.
Уравнение, математическая запись задачи о разыскании значений аргументов, при которых значения двух данных функций равны. Аргументы, от которых зависят эти функции, называются неизвестными, а значения неизвестных, при которых значения функций равны, - решениями (корнями). Бывают алгебраические уравнения, например х2=2, и неалгебраические уравнения, называемые трансцендентными, например 2х=х.
Неравенство, соотношение между числами, указывающее, какое из них больше или меньше другого.
Корень,
1) корень степени n из числа a - всякое число x. Действие нахождения корня называется извлечением корня.2) Корень уравнения - число, которое после подстановки его в уравнение вместо неизвестного обращает уравнение в тождество.
Логарифм данного числа N при основании а, показатель степени у, в которую нужно возвести число а, чтобы получить N; таким образом, N = a y. Логарифмом обозначается обычно logaN. Логарифм с основанием е = 2,718... называется натуральным и обозначается ln N. Логарифм с основанием 10 называется десятичным и обозначается lg N. Равенство у=logax определяет логарифмическую функцию. Основные свойства логарифма позволяют заменить умножение, деление, возведение в степень и извлечение корня более простыми действиями сложения, вычитания, умножения и деления.
Функция, 1) зависимая переменная величина. Соответствие y=f (x) между переменными величинами, в силу которого каждому рассматриваемому значению некоторой величины x (аргумента, или независимого переменного) соответствует определенное значение другой величины y (зависимой переменной, или функции). Такое соответствие может быть задано различным образом, например формулой, графически или таблицей.
График функции, y=f (x) состоит из точек, абсциссы которых равны значениям x, а ординаты - соответствующим значениям y.
Тригонометрические функции, функции угла: синус (sin), косинус (cos), тангенс (tg), котангенс (ctg), секанс (sec), косеканс (cosec). Их можно определить как отношения длины r и проекций а и b на оси координат радиуса-вектора, образующего с положительным направлением оси Ох угол (или отсекающего дугу) a. Именно: sin a=b/r, cos a=a/r, tg a=b/a, сtg a=a/b, sec a=r/а, cosec a=r/b.
Группа, понятие современной математики. Возникло из рассмотрения совокупности операций, производимых над какими-либо объектами и обладающих тем свойством, что результат последовательного применения двух или большего числа операций из этой совокупности равносилен какой-то одной операции из этой совокупности. Пример: умножение на рациональные числа (умножение сначала на m, а потом на n равносильно умножению на mn).
Кольцо, понятие современной алгебры - совокупность элементов, для которых определены операции сложения, вычитания и умножения, обладающие обычными свойствами операций над числами. Напр., кольцо целых чисел.
Всякое точное объяснение того или иного явления - математично и, наоборот, все, что точно - математика. Любое же точное описание - это описание на соответствующем математическом языке. Классический трактат Ньютона "Математические начала натуральной философии", произведший переворот во всей математике, по существу является учебником грамматики разгаданного им "языка Природы", дифференциального исчисления, вместе с рассказом о том, что ему удалось у нее в результате услышать. Естественно, что он смог разобрать только смысл ее самых простых фраз. Последующие поколения математиков и физиков, постоянно совершенствуясь в этом языке, постигали все более и более сложные выражения, потом несложные четверостишия, поэмы... Соответственно, печатались расширенные и дополненные версии Ньютоновской грамматики.
История математики знает две великие революции, каждая из которых полностью меняла её облик и внутреннее содержание. Их движущей силой была "невозможность жить по старому", т.е. невозможность адекватно интерпретировать актуальные проблемы точного естествознания на языке существующей математики. Первая из них связана с именем Декарта, вторая с именами Ньютона и Лейбница, хотя, конечно же, они отнюдь не сводятся только к этим великим именам. По словам Гиббса, математика - это язык, и сутью этих революций была глобальная перестройка всей математики на новой языковой основе. В итоге первой революции, языком всей математики стал язык коммутативной алгебры, вторая же заставила её говорить языком дифференциального исчисления.
Математики отличаются от "нематематиков" тем что, обсуждая научные проблемы или решая практические задачи, говорят между собой и пишут работы на особом "математическом языке" - языке специальных символов, формул и т.п.
Дело в том, что на математическом языке многие утверждения выглядят яснее и прозрачнее, чем на обычном. Например, на обычном языке говорят: "От перемены мест слагаемых сумма не меняется" - так звучит переместительный закон сложения чисел. Математик пишет (или говорит): a + b = b + a
А выражение: "Путь S, пройденный телом со скоростью V за период времени от начала движения tн до конечного момента tк " запишут так: S = V · (tк - tн)
Или такую фразу из физики: "Сила равна произведению массы на ускорение" запишут: F = m · a
Он переводит высказанное утверждение на математический язык, в котором используются разные числа, буквы (переменные), знаки арифметических действий и иные символы. Все эти записи экономны, наглядны и удобны для применения.
Возьмем другой пример. На обычном языке говорят: "Чтобы сложить две обыкновенные дроби с одинаковыми знаменателями, нужно сложить их числители и записать в числителе дроби, а знаменатель оставить тот же без изменения и записать в знаменатель". Математик осуществляет "синхронный перевод" на свой язык:
А вот пример обратного перевода. На математическом языке записан распределительный закон: a (b + c) = ab + ac
Осуществляя перевод на обычный язык, получим длинное предложение: "Чтобы умножить число a на сумму чисел b и c, надо число a умножить поочередно на каждое слагаемое: b, потом c, и полученные произведения сложить".
Во всяком языке есть своя письменная и устная речь. Выше мы говорили о письменной речи в математике. А устная речь - это употребление специальных терминов или словосочетаний, например: "слагаемое", "произведение", "уравнение", "неравенство", "функция", "график функции", "координата точки", "система координат" и т.п., а также различные математические утверждения, выраженные словами: "Число а делится на 2 тогда и только тогда, когда оканчивается на 0 или четную цифру".
Говорят, что культурный человек, кроме родного языка должен владеть ещё хотя бы одним иностранным языком. Это верно, но требует дополнения: культурный человек должен ещё уметь говорить, писать и думать и на математическом языке, поскольку это тот язык, на котором, как мы не раз уже убеждались, "говорит" окружающая действительность. Чтобы овладеть новым языком, необходимо изучить, как говорят, его алфавит, синтаксис и семантику, т.е. правила написания и смысл, заложенный в написанном. И, конечно же, в результате такого изучения представления о математическом языке и предмете будут постоянно расширяться.
В основе построения математической теории лежит аксиоматический метод1 - один из способов дедуктивного построения научных теорий. В основании аксиоматически построенной теории лежат аксиомы, т.е. предложения, принимаемые без доказательства. Все остальные предложения теории выводятся из аксиом (т.е. доказываются, являются теоремами) на основании логических правил вывода и правил определения предложений, допускаемых в данной теории. Понятие аксиоматической теории было уточнено путем введения определения формальной системы, состоящей из языка системы, аксиом системы, правил вывода системы. Язык системы состоит из алфавита (перечня элементарных символов системы) и синтаксиса (правил, по которым из элементарных символов строятся формулы, предложения системы). Правила вывода позволяют получать из аксиом теоремы.
Основными методами в математических исследованиях являются математические доказательства - строгие логические рассуждения. Математическое мышление не сводится лишь к логическим рассуждениям. Для правильной постановки задачи, для оценки выбора способа ее решения необходима математическая интуиция. В математике используют два вида умозаключений: индукция - метод исследования, в котором общий вывод строится не основе частных посылок и дедукция - способ рассуждения, посредством которого от общих посылок следует заключение частного характера.
Создание дедуктивного или аксиоматического метода построения науки является одним из величайших достижений математической мысли. Оно потребовало работы многих поколений ученых. Замечательной чертой дедуктивной системы изложения является простота этого построения, позволяющая описать его в немногих словах. Дедуктивная система изложения сводится: к перечислению основных понятий, к изложению определений, к изложению аксиом, к изложению теорем, к доказательству этих теорем:
аксиома - утверждение, принимаемое без доказательств, теорема - утверждение, вытекающее из аксиом, доказательство - составная часть дедуктивной системы, это есть рассуждение, которое показывает, что истинность утверждения вытекает логически из истинности предыдущих теорем или аксиом.
История естествознания свидетельствует, что возможность аксиоматического построения той или иной науки появляется лишь на довольно высоком уровне развития этой науки, на базе большого фактического материала, позволяет отчетливо выявить те основные связи и соотношения, которые существуют между объектами, изучаемыми данной наукой.
Образцом аксиоматического построения математической науки является элементарная геометрия. Система аксиом геометрии были изложены Евклидом (около 300 г. до н. э) в непревзойденном по своей значимости труде - "Начала". Эта система в основных чертах сохранилась и по сей день.
Элементарная геометрия имеет 13 аксиом, которые разбиты на пять групп. В пятой группе одна аксиома - аксиома о параллельных (V постулат Евклида). Через точку на плоскости можно провести только одну прямую, не пересекающую данную прямую. Это единственная аксиома, вызывавшая потребность доказательства. Попытки доказать пятый постулат занимали математиков более 2-х тысячелетий, вплоть до первой половины 19 века, когда Н.И. Лобачевский доказал в своих трудах полную безнадежность этих попыток.
В настоящее время недоказуемость пятого постулата является строго доказанным математическим фактом. Аксиому о параллельных Лобачевский заменил аксиомой: "Пусть в данной плоскости дана прямая и лежащая вне прямой точка. Через эту точку можно провести к данной прямой, по крайней мере, две параллельные прямые". Из новой системы аксиом он с безупречной логической строгостью вывел стройную систему теорем, составляющих содержание неевклидовой геометрии. Обе геометрии Евклида и Лобачевского, как логические системы равноправны.
За геометрией Лобачевского возникли и другие непротиворечивые геометрии: от евклидовой отделилась проективная геометрия, сложилась многомерная евклидова геометрия, возникла риманова геометрия (общая теория пространств с произвольным законом измерения длин) и др. Из науки о фигурах в одном трёхмерном евклидовом пространстве геометрия превратилась в совокупность разнообразных теорий.
Теперь попытаемся объяснить, что надо понимать в общем случае под математической структурой. Общей чертой различных понятий, объединенных этим родовым названием, является то, что они применимы к множеству элементов, природа которых не определена.
Чтобы определить структуру, задают одно или несколько отношений, в которых находятся его элементы (в случае групп - это отношение хτу = z между тремя произвольными элементами), затем постулируют, что данное отношение или данные отношения удовлетворяют некоторым условиям (которые перечисляют и которые являются аксиомами рассматриваемой структуры). Построить аксиоматическую теорию данной структуры - это значит вывести логические следствия из аксиом структуры, отказавшись от каких-либо других предположений относительно рассматриваемых элементов (в частности от всяких гипотез относительно их "природы").
Основные типы структур.
Отношения, являющиеся исходной точкой в определении структуры, могут быть по своей природе весьма разнообразными. То отношение, которое фигурирует в групповых структурах, называют "законом композиции": это такое отношение между тремя элементами, которое определяет однозначно третий элемент как функцию двух первых - такая структура называется алгебраической структурой (например, структура поля определяется двумя законами композиции с надлежащим образом выбранными аксиомами: сложение и умножение действительных чисел определяют структуру поля на множестве этих чисел).
Другой важный тип представляют собой структуры, определенные отношением порядка - это отношение между двумя элементами х, у, которое чаще всего мы выражаем словами "х меньше или равно у" и которое мы будем обозначать в общем случае хRу. Здесь больше не предполагается, что это отношение однозначно определяет один из элементов х, у как функцию другого. Аксиомы, которым оно подчиняется, таковы: а) для всех х хRх; b) из соотношений хRу, уRх следует х = у, с) из соотношений хRу, уRz следует хRz.
Очевидным примером множества, снабженного такой структурой, является множество целых чисел (или множество действительных чисел), причем здесь знак R заменяется на ≤. Но надо заметить, что мы не включили в число аксиом аксиому, отражающую следующее свойство, которое кажется неотделимым от того понятия порядка, каким мы пользуемся в обыденной жизни: "каковы бы ни были х, у, имеет место или хRу или уRх". Другими словами, не исключается случай, когда два элемента могут оказаться несравнимыми.
На первый взгляд это может показаться странным, но легко привести очень важные примеры структур порядка, для которых имеет место именно это обстоятельство. Именно с таким положением вещей мы сталкиваемся, когда X, Y означают подмножества некоторого множества, а ХRY означает "X содержится в Y", или когда х, у являются натуральными числами, а хRу означает "х делит y", или, наконец, когда f (х) и g (x) являются действительными функциями, определенными на интервале a ≤ x ≤ b, а f (х) Rg (х) означает: "каково бы ни было х, f (х) ≤ g (х)". Эти примеры в то же время показывают, сколь велико разнообразие областей, где появляются структуры порядка.
Третий тип структур - топологических структурах (топологии) 2, в них находят абстрактную математическую формулировку интуитивные понятия окрестности, предела и непрерывности, к которым нас приводит наше представление о пространстве.
В каждой из представленных (порождающих) структур господствует уже достаточное разнообразие, так как там надо различать наиболее общую структуру рассматриваемого типа с наименьшим числом аксиом и структуры, которые получаются из нее в результате ее обогащения дополнительными аксиомами, каждая из которых влечет за собой и новые следствия.
Именно таким образом теория групп, помимо общих положений, которые справедливы для всех групп и зависят только от аксиом, перечисленных выше, содержит, в частности, теорию конечных групп (в которой добавляют аксиому, гласящую, что число элементов группы конечно), теорию абелевых групп (в которых имеем хτу = уτх, каковы бы ни были х, у), а также теорию конечных абелевых групп (в которой предполагаются выполненными обе вышеуказанные аксиомы). Точно так же среди упорядоченных множеств различают те, в которых любые два элемента сравнимы и которые называются линейно упорядоченными. Среди этих последних особо изучают множества, называемые вполне упорядоченными (в которых, так же как в множестве натуральных чисел, каждое подмножество имеет "наименьший элемент"). Подобная же градация существует и для топологических структур.
За пределами этого первоначального ядра появляются структуры, которые можно было бы назвать сложными структурами и в которые входят одновременно одна или несколько порождающих структур, но не просто совмещенные друг с другом, а органически скомбинированные при помощи одной или нескольких связывающих их аксиом. Именно такой характер носит топологическая алгебра, изучающая структуры, определяемые одним или несколькими законами композиций и одной топологией, которые связаны тем условием, что алгебраические операции являются непрерывными функциями (для рассматриваемой топологии) элементов, над которыми они производятся.
Наконец, далее начинаются собственно частные теории, в которых элементы рассматриваемых множеств, которые до сего момента в общих структурах были совершенно неопределенными, получают более определенную индивидуальность. Именно таким образом получают теории классической математики: анализ функций действительной и комплексной переменной, дифференциальную геометрию, алгебраическую геометрию, теорию чисел. Но они теряют свою былую автономность и являются теперь перекрестками, на которых сталкиваются и взаимодействуют многочисленные математические структуры, имеющие более общий характер.
Структуры являются орудиями математика: каждый раз, когда он замечает, что между изучаемыми им элементами имеют место отношения, удовлетворяющие аксиомам структуры определенного типа, он сразу может воспользоваться всем арсеналом общих теорем, относящихся к структурам этого типа, тогда как раньше он должен был бы мучительно трудиться, выковывая сам средства, необходимые для того, чтобы штурмовать рассматриваемую проблему, причем их мощность зависела бы от его личного таланта и они были бы отягчены часто излишне стеснительными предположениями, обусловленными особенностями изучаемой проблемы.
Функция представляет собой одно из основных математических понятий 20 века, когда функциональному анализу стала принадлежать в математике выдающаяся роль. Но так было не всегда: после введения в математику понятия функции понадобилось более двух столетий, чтобы было осознано его действительное значение для развития математического познания.
Термин "функция" впервые был применен в конце 17 века Лейбницем и его учениками. Вначале этот термин употребляли еще в очень узком смысле слова, связывая лишь с геометрическими образами. Речь шла об отрезках касательных к кривым, их проекция на оси координат и о "другого рода линиях, выполняющих для данной фигуры некоторую функцию" (от латинского "функтус" - выполнять). Таким образом, понятие функции еще не было освобождено от геометрической формы.
Лишь И. Бернулли дал определение функции, свободное от геометрического языка: "Функцией переменной величины называется количество, образованное каким угодно способом из этой переменной величины и постоянных".
Чтобы определение функции, данное И. Бернулли, стало полноценным, надо было условиться, какие способы задания функций следует считать допустимыми. Обычно считали, что допускаются функции, заданные выражениями, в которые входят числа, буквы, знаки арифметических действий, возведение в степень и извлечение корней, а также обозначения тригонометрических, обратных тригонометрических, показательных и логарифмических функций. Такие функции называли элементарными. Вскоре выяснилось, что интегралы от них не всегда выражаются через элементарные функции. В связи с этим пришлось добавить новые функции, получающиеся при вычислении интегралов от элементарных функций, при решении дифференциальных уравнений и т.д. Многие из этих функций нельзя было явно выразить с помощью ранее известных операций. Поэтому один из самых замечательных математиков 18 века Леонард Эйлер пишет: "Когда некоторые количества зависят от других таким образом, что при изменении последних и сами они подвергаются изменению, то первые называют функциями вторых".
В 1834 году Н.И. Лобачевский писал: "Общее понятие функции требует, чтобы функцией от х называть число, которое дается для каждого х и вместе с х постепенно изменяется. Значение функции может быть дано или аналитическим выражением, или условием, которое подает средство испытывать все числа и выбрать одно из них; или, наконец, зависимость может существовать и оставаться неизвестной".
Более общий подход к понятию функции, при котором отождествляются понятия "функция", "отображение", "оператор", возник после того, как во второй половине 19 века было введено общее понятие множества. И именно творцы теории множеств Г. Кантор и Р. Дедекинд дали общее определение отображения:
"Пусть X и Y - два множества; говорят, что задано отображение f множества X в (на) множество Y, если для каждого элемента x из X указан соответствующий ему единственный элемент y из Y. Этот элемент y называют образом элемента х при отображении f и обозначают f (x)".
Введение в математику общего понятия об отображении множеств позволило прояснить и ряд вопросов, относящихся к функциям, например, уточнить, что такое обратная функция, сложная функция и т.д.
В результате систематического построения математического анализа на основе строгой арифметической теории иррациональных чисел и теории множества возникла новая отрасль математики - теория функций действительного переменного. Она оказала большое влияние на развитие многих других отделов математики. В начале 20 века на базе этой теории функций возникла новая ветвь математики - функциональный анализ. В нем изучают множества, состоящие из функций, последовательностей, линий, в которых определены операции сложения и умножения на числа. Эти операции обладают свойствами, похожими на свойства операций над векторами. Однако в отличие от нашего пространства, имеющего лишь три измерения, изучаемые в функциональном анализе, пространства могут быть бесконечномерными.
В XX веке понятие функции подверглось дальнейшим обобщением. Возникло понятие функции, отражавшее свойства физических величин, сосредоточенных в отдельных точках, на линиях или поверхностях. Потребности физики привели к изучению функций, принимавших случайные значения. Но методы математического анализа позволили справиться и с проблемами теории случайных функций, нашедшей многочисленные приложения в физике и технике.
Современная трактовка понятия функции выглядит следующим образом: "Функцией называется отношение двух (группы) объектов, в котором изменению одного из них сопутствует изменение другого".
Но как бы далеко ни отходило то или иное обобщение понятия функции от определений И. Бернулли и Л. Эйлера, к каким бы сложным объектам оно ни прилагалось, в основе всех построений лежала одна и та же мысль о существовании взаимозависимых величин, знание значения одной из которых позволяет найти значение другой величины.
Таким образом, функция, как и любое другое математическое понятие, непосредственно или опосредованно отражает окружающую нас действительность.
График функции - один из способ ее представления.
График функции - это линия, дающая цельное представление о характере изменения функции по мере изменения, ее аргумента.
График функции - множество точек плоскости с прямоугольными координатами (х, у), где y=f (x) - функция от х из области определения Е этой функции.
Рис.1. Кривая - график функции
Здесь y = f (x) - функция одного переменного х.
Для построения графика функции нужно нарисовать "кривую" - множество точек, координаты которых (х у) связаны соотношением y = f (x), х из множества Е. Строго говоря, точное построение графика функции невозможно, так как любое геометрическое изображение точек, отрезков, кривых и др. объектов можно сделать только приближенно.
Поэтому рисунок на самом деле является только эскизом графика f (х), от французского слова "esquisse", что означает "предварительный набросок", однако если кривая нарисована с достаточной точностью, то её также называют графиком функции.
Простейшим способом является построение графика функции по точкам. Он состоит в том, что для нескольких значений аргумента находятся значения функции, по которым строятся соответствующие точки графика функции, и затем через эти точки проводится плавная кривая. Так строятся, например, всевозможные экспериментальные кривые после проведения нескольких опытов.
Для построения графика функции y=f (x), заданной аналитически (формулой), обычно используют следующие её свойства:
1) Находят область определения функции.
2) В области определения находят интервалы, на которых функция непрерывна, имеет первую и вторую производные.
3) Исследуя знаки производных, находят промежутки возрастания и убывания функции, промежутки выпуклости и вогнутости, точки максимума и минимума и перегиба точки.
4) Изучают поведение функции при стремлении аргумента к граничным точкам области определения, в частности находят пределы функции и асимптоты, если они существуют.
5) Находят значения функции в точках максимума и минимума, в точках перегиба и ещё в нескольких точках в зависимости от нужной точности построения графика функции.
Учитывая изученные свойства, строят график функции.
Бурбаки Н. Очерки по истории математики / Н. Бурбаки. - М.: Изд-во Ин. лит., 1972.
Гнеденко Б.В. Математика в современном мире / Б.В. Гнеденко. - Издательство Просвещение. - М.: Просвещение, 1980.
Кудрявцев Л.Д. Мысли о современной математике и ее изучении / Л.Д. Кудрявцев. - М.: Просвещение, 1977.
Локоть Н.В. Математика для нематематиков. Учебное пособие для студентов-гуманитариев / Н.В. Локоть. - Мурманск: МГПИ, 1999.
Математика: Большой энциклопедический словарь / Под. ред. Ю.В. Прохорова. - 3-е изд. - М.: БРС, 1998.
Малаховский В.С. Введение в математику / В.С. Малаховский. - Калининград: Янтарный сказ, 2001.
Сухотин А.К. Философия математики. Учебное пособие / А.К. Сухотин. - М., 2000.
topref.ru