Математика и современный мир
СОДЕРЖАНИЕ: Математика как наука о числах, скалярных величинах и простых геометрических фигурах. Математические модели, отражающие объективные свойства и связи. Основные понятия математики, ее язык. Аксиоматический метод, математические структуры, функции и графики.Содержание
1. Общие сведения о математике
2. Основные понятия математики
3. Что такое математический язык?
4. Аксиоматический метод
5. Математические структуры
5. Функции и графики
Список использованной литературы
1. Общие сведения о математике
До начала 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. Численные методы и конечные разности.
2. Основные понятия математики
Число , одно из основных понятий математики. В связи со счетом отдельных предметов возникло понятие о целых положительных (натуральных) числах, а затем идея о безграничности натурального ряда чисел: 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 ).
Кольцо , понятие современной алгебры - совокупность элементов, для которых определены операции сложения, вычитания и умножения, обладающие обычными свойствами операций над числами. Напр., кольцо целых чисел.
3. Что такое математический язык?
Всякое точное объяснение того или иного явления - математично и, наоборот, все, что точно - математика. Любое же точное описание - это описание на соответствующем математическом языке. Классический трактат Ньютона Математические начала натуральной философии, произведший переворот во всей математике, по существу является учебником грамматики разгаданного им языка Природы, дифференциального исчисления, вместе с рассказом о том, что ему удалось у нее в результате услышать. Естественно, что он смог разобрать только смысл ее самых простых фраз. Последующие поколения математиков и физиков, постоянно совершенствуясь в этом языке, постигали все более и более сложные выражения, потом несложные четверостишия, поэмы... Соответственно, печатались расширенные и дополненные версии Ньютоновской грамматики.
История математики знает две великие революции, каждая из которых полностью меняла её облик и внутреннее содержание. Их движущей силой была невозможность жить по старому, т.е. невозможность адекватно интерпретировать актуальные проблемы точного естествознания на языке существующей математики. Первая из них связана с именем Декарта, вторая с именами Ньютона и Лейбница, хотя, конечно же, они отнюдь не сводятся только к этим великим именам. По словам Гиббса, математика - это язык, и сутью этих революций была глобальная перестройка всей математики на новой языковой основе. В итоге первой революции, языком всей математики стал язык коммутативной алгебры, вторая же заставила её говорить языком дифференциального исчисления.
Математики отличаются от нематематиков тем что, обсуждая научные проблемы или решая практические задачи, говорят между собой и пишут работы на особом математическом языке - языке специальных символов, формул и т.п.
Дело в том, что на математическом языке многие утверждения выглядят яснее и прозрачнее, чем на обычном. Например, на обычном языке говорят: От перемены мест слагаемых сумма не меняется - так звучит переместительный закон сложения чисел. Математик пишет (или говорит): 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 или четную цифру.
Говорят, что культурный человек, кроме родного языка должен владеть ещё хотя бы одним иностранным языком. Это верно, но требует дополнения: культурный человек должен ещё уметь говорить, писать и думать и на математическом языке, поскольку это тот язык, на котором, как мы не раз уже убеждались, говорит окружающая действительность. Чтобы овладеть новым языком, необходимо изучить, как говорят, его алфавит, синтаксис и семантику, т.е. правила написания и смысл, заложенный в написанном. И, конечно же, в результате такого изучения представления о математическом языке и предмете будут постоянно расширяться.
4. Аксиоматический метод
В основе построения математической теории лежит аксиоматический метод[1] - один из способов дедуктивного построения научных теорий. В основании аксиоматически построенной теории лежат аксиомы , т.е. предложения, принимаемые без доказательства. Все остальные предложения теории выводятся из аксиом (т.е. доказываются, являются теоремами) на основании логических правил вывода и правил определения предложений, допускаемых в данной теории. Понятие аксиоматической теории было уточнено путем введения определения формальной системы, состоящей из языка системы, аксиом системы, правил вывода системы. Язык системы состоит из алфавита (перечня элементарных символов системы) и синтаксиса (правил, по которым из элементарных символов строятся формулы, предложения системы). Правила вывода позволяют получать из аксиом теоремы.
Основными методами в математических исследованиях являются математические доказательства - строгие логические рассуждения. Математическое мышление не сводится лишь к логическим рассуждениям. Для правильной постановки задачи, для оценки выбора способа ее решения необходима математическая интуиция. В математике используют два вида умозаключений: индукция - метод исследования, в котором общий вывод строится не основе частных посылок и дедукция - способ рассуждения, посредством которого от общих посылок следует заключение частного характера.
Создание дедуктивного или аксиоматического метода построения науки является одним из величайших достижений математической мысли. Оно потребовало работы многих поколений ученых. Замечательной чертой дедуктивной системы изложения является простота этого построения, позволяющая описать его в немногих словах. Дедуктивная система изложения сводится: к перечислению основных понятий, к изложению определений, к изложению аксиом, к изложению теорем, к доказательству этих теорем:
аксиома - утверждение, принимаемое без доказательств, теорема - утверждение, вытекающее из аксиом, доказательство - составная часть дедуктивной системы, это есть рассуждение, которое показывает, что истинность утверждения вытекает логически из истинности предыдущих теорем или аксиом.
История естествознания свидетельствует, что возможность аксиоматического построения той или иной науки появляется лишь на довольно высоком уровне развития этой науки, на базе большого фактического материала, позволяет отчетливо выявить те основные связи и соотношения, которые существуют между объектами, изучаемыми данной наукой.
Образцом аксиоматического построения математической науки является элементарная геометрия. Система аксиом геометрии были изложены Евклидом (около 300 г. до н. э) в непревзойденном по своей значимости труде - Начала. Эта система в основных чертах сохранилась и по сей день.
Элементарная геометрия имеет 13 аксиом, которые разбиты на пять групп. В пятой группе одна аксиома - аксиома о параллельных (V постулат Евклида). Через точку на плоскости можно провести только одну прямую, не пересекающую данную прямую. Это единственная аксиома, вызывавшая потребность доказательства. Попытки доказать пятый постулат занимали математиков более 2-х тысячелетий, вплоть до первой половины 19 века, когда Н.И. Лобачевский доказал в своих трудах полную безнадежность этих попыток.
В настоящее время недоказуемость пятого постулата является строго доказанным математическим фактом. Аксиому о параллельных Лобачевский заменил аксиомой: Пусть в данной плоскости дана прямая и лежащая вне прямой точка. Через эту точку можно провести к данной прямой, по крайней мере, две параллельные прямые. Из новой системы аксиом он с безупречной логической строгостью вывел стройную систему теорем, составляющих содержание неевклидовой геометрии. Обе геометрии Евклида и Лобачевского, как логические системы равноправны.
За геометрией Лобачевского возникли и другие непротиворечивые геометрии: от евклидовой отделилась проективная геометрия, сложилась многомерная евклидова геометрия, возникла риманова геометрия (общая теория пространств с произвольным законом измерения длин) и др. Из науки о фигурах в одном трёхмерном евклидовом пространстве геометрия превратилась в совокупность разнообразных теорий.
5. Математические структуры
Теперь попытаемся объяснить, что надо понимать в общем случае под математической структурой. Общей чертой различных понятий, объединенных этим родовым названием, является то, что они применимы к множеству элементов, природа которых не определена.
Чтобы определить структуру, задают одно или несколько отношений, в которых находятся его элементы (в случае групп - это отношение ху = 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] , в них находят абстрактную математическую формулировку интуитивные понятия окрестности, предела и непрерывности, к которым нас приводит наше представление о пространстве.
В каждой из представленных (порождающих) структур господствует уже достаточное разнообразие, так как там надо различать наиболее общую структуру рассматриваемого типа с наименьшим числом аксиом и структуры, которые получаются из нее в результате ее обогащения дополнительными аксиомами, каждая из которых влечет за собой и новые следствия.
Именно таким образом теория групп, помимо общих положений, которые справедливы для всех групп и зависят только от аксиом, перечисленных выше, содержит, в частности, теорию конечных групп (в которой добавляют аксиому, гласящую, что число элементов группы конечно), теорию абелевых групп (в которых имеем ху = ух , каковы бы ни были х, у ), а также теорию конечных абелевых групп (в которой предполагаются выполненными обе вышеуказанные аксиомы). Точно так же среди упорядоченных множеств различают те, в которых любые два элемента сравнимы и которые называются линейно упорядоченными. Среди этих последних особо изучают множества, называемые вполне упорядоченными (в которых, так же как в множестве натуральных чисел, каждое подмножество имеет наименьший элемент). Подобная же градация существует и для топологических структур.
За пределами этого первоначального ядра появляются структуры, которые можно было бы назвать сложными структурами и в которые входят одновременно одна или несколько порождающих структур, но не просто совмещенные друг с другом, а органически скомбинированные при помощи одной или нескольких связывающих их аксиом. Именно такой характер носит топологическая алгебра, изучающая структуры, определяемые одним или несколькими законами композиций и одной топологией, которые связаны тем условием, что алгебраические операции являются непрерывными функциями (для рассматриваемой топологии) элементов, над которыми они производятся.
Наконец, далее начинаются собственно частные теории, в которых элементы рассматриваемых множеств, которые до сего момента в общих структурах были совершенно неопределенными, получают более определенную индивидуальность. Именно таким образом получают теории классической математики: анализ функций действительной и комплексной переменной, дифференциальную геометрию, алгебраическую геометрию, теорию чисел. Но они теряют свою былую автономность и являются теперь перекрестками, на которых сталкиваются и взаимодействуют многочисленные математические структуры, имеющие более общий характер.
Структуры являются орудиями математика: каждый раз, когда он замечает, что между изучаемыми им элементами имеют место отношения, удовлетворяющие аксиомам структуры определенного типа, он сразу может воспользоваться всем арсеналом общих теорем, относящихся к структурам этого типа, тогда как раньше он должен был бы мучительно трудиться, выковывая сам средства, необходимые для того, чтобы штурмовать рассматриваемую проблему, причем их мощность зависела бы от его личного таланта и они были бы отягчены часто излишне стеснительными предположениями, обусловленными особенностями изучаемой проблемы.
5. Функции и графики
Функция представляет собой одно из основных математических понятий 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] Топология изучает топологические свойства фигур, т.е. свойства, не изменяющиеся при любых деформациях, производимых без разрывов и склеиваний (точнее, при взаимно однозначных и непрерывных отображениях). Примерами топологических свойств фигур являются размерность, число кривых, ограничивающих данную область, и т. д. Так, окружность, эллипс, контур квадрата имеют одни и те же топологические свойства, т. к. эти линии могут быть деформированы одна в другую описанным выше образом; в то же время кольцо и круг обладают различными топологическими свойствами: круг ограничен одним контуром, а кольцо — двумя.