Число - одно из основных понятий математики, позволяющее выразить результаты счета или измерения.
Когда-то численность множества не отделялась от других его качеств, и для того, чтобы сравнить два множества, их элементы располагали друг против друга. Но потом оказалось, что удобнее сравнивать все множества с одним и тем же множеством-посредником. Так как пальцы были всегда при себе, то и стали считать по пальцам. А потом появились особые названия для чисел - сначала для небольших, а потом для все больших и больших.
Со временем люди научились не только называть числа, но и обозначать их (см. Цифры). При этом вавилоняне уже пользовались, по сути дела, позиционным принципом в обозначении чисел - один и тот же знак обозначал у них и 1, и 60, и 3600 (их система счисления была шестидесятеричной). Не знали они только знака для нуля - это замечательное изобретение сделали индийские математики в VI в.
Для практических нужд требовалось не только уметь обозначать числа, но и выполнять с ними арифметические действия. Вавилоняне, чтобы справиться с трудностями своей шестидесятеричной системы счисления, применяли таблицы произведений, квадратов, кубов и т.д. А древние греки и римляне считали с помощью абака - прибора, похожего на русские счеты, но с камешками вместо косточек (см. Вычислительная техника).
Постепенно складывалось представление о бесконечности множества натуральных чисел. В III в. до н.э. Архимед разработал систему обозначения чисел вплоть до такого громадного числа, как .
Наряду с натуральными числами применяли дроби - числа, составленные из целого числа долей единицы. Множества натуральных чисел и дробей было достаточно, чтобы выразить результат любого измерения. Долгое время полагали, что результат измерения всегда выражается или в виде натурального числа, или в виде отношения двух таких чисел, т.е. дроби. Древнегреческий философ и математик Пифагор учил, что «...элементы чисел являются элементами всех вещей и весь мир в целом является гармонией и числом». Сильнейший удар по этому взгляду был нанесен открытием, сделанным одним из пифагорейцев. Он доказал, что диагональ квадрата не соизмерима с его стороной. Отсюда следовало, что натуральных чисел и дробей недостаточно для того, чтобы выразить длину диагонали квадрата со стороной 1. Есть основания утверждать, что именно с этого открытия начинается эра теоретической математики: открыть существование несоизмеримых величин с помощью опыта, не прибегая к абстрактному рассуждению, было невозможно.
Открытие несоизмеримых величин наложило глубокий отпечаток на развитие древнегреческой математики. Так как в то время не знали чисел, отличных от натуральных и дробей, возникли две науки, которые развивались параллельно, но имели различные объекты изучения: арифметика - наука о числах и геометрия, в которой, в частности, рассматривалось учение о величинах - длинах, площадях, объемах.
Древнегреческие ученые умели складывать и вычитать величины, находить их кратные и доли, а над их отношениями умели выполнять операции умножения, деления, возведения в степень. Однако, поскольку не существовало общей идеи числа, все эти операции невозможно было объединить в единую систему, в арифметику действительных чисел. Это тормозило развитие древнегреческой науки, сковывало, как панцирь, живое тело античной математики. Гораздо свободнее, но менее строго обращались с числами ученые, занимавшиеся практическими задачами: астрономы, землеустроители, географы и т.д. В их работах, относящихся ко II в. до н.э. - III в., постепенно стирается грань между числами и величинами. Этот процесс завершили математики средневекового Востока (Омар Хайям, XI-XII вв.).
С развитием алгебры, уже при решении линейных уравнений с одним неизвестным, возникает необходимость в отрицательных числах. Еще до нашей эры их стали употреблять китайские математики. Широко использовали отрицательные числа и индийские математики (Брахмагупта, VII в.). Замечательным достижением индийских математиков было введение понятия нуля и знака для него, что позволило им создать десятичную систему записи натуральных чисел и разработать правила операций над записанными так числами. Эту запись чисел стали применять математики многих восточных стран, откуда она попала в Европу.
В XV в. самаркандский ученый ал-Каши ввел десятичные дроби. Это нововведение оставалось неизвестным европейским математикам, и лишь в 1584 г. нидерландский математик и инженер С. Стевин вновь пришел к этому открытию. Числа целые, дробные (положительные и отрицательные) и нуль получили общее название рациональных чисел.
Следующими важными этапами в развитии понятия числа были открытие комплексных чисел и формальное построение теории действительных чисел на основе понятия натурального числа.
Изучение понятия числа шло не только путем обобщения, но и путем выделения из общего понятия числа важных частных случаев. Например, в множестве R действительных чисел были выделены рациональные и иррациональные числа, т.е. числа, которые соответственно можно записать в виде дроби p/q и которые нельзя записать в таком виде. По своей десятичной записи эти виды чисел различаются тем, что в записи рационального числа, начиная с некоторого места, неизменно повторяется одна и та же цифра или группа цифр, тогда как в записи иррационального числа такого повторения наступить не может. Так, 0,333...(=1/34), 5,0323232...(=2491/495) - рациональные числа; 1,4142...(=√2), 3,14159...(=π) - иррациональные числа.
Далее были выделены алгебраические числа, т.е. числа, являющиеся корнями уравнений вида
a0xn+a1xn-1+...+an,
где a0,a1,an - целые числа (если, кроме того, a0 = 1, то корень уравнения называют целым алгебраическим числом). Примерами алгебраических чисел могут служить 1 + √2 (корень уравнения x2-2x-1=0), (корень уравнения x3-11=0). Каждое рациональное число p/q является алгебраическим, поскольку оно является корнем уравнения qx - p = 0.
Все числа, не являющиеся алгебраическими, называют трансцендентными. Очевидно, что все трансцендентные числа иррациональны. Трансцендентно число π=3,1415926..., играющее важнейшую роль в математике. Отсюда вытекает, в частности, невозможность «квадратуры круга» (см. Классические задачи древности). Трансцендентно и число , которое очень часто встречается в математическом анализе. Советский математик А. О. Гельфонд доказал, что любое число вида αβ, где α - алгебраическое число, отличное от 0 и 1, а β - иррациональное алгебраическое число, является трансцендентным. Хотя абстрактное доказательство существования трансцендентных чисел довольно просто (оно проводится с помощью общих теорем о множествах), проверить, что некоторое конкретное число трансцендентно, весьма сложно. Существуют числа, для которых вопрос об их трансцендентности не выяснен до сих пор.
ЭКСТРЕМУМ ФУНКЦИИ
Рассмотрим два зубца хорошо всем известного профиля пилы. Направим ось Ox вдоль ровной стороны пилы, а ось Oy - перпендикулярно к ней. Получим график некоторой функции, изображенный на рис. 1.
Рис. 1
Совершенно очевидно, что и в точке a1, и в точке a2 значения функции оказываются наибольшими в сравнении со значениями в соседних точках справа и слева, а в точке b2 - наименьшим в сравнении с соседними точками. Точки a1,a2,b2 называются точками экстремума функции (от латинского extremum - «крайний»), точки a1 и a2 - точками максимума, а точка b2 - точкой минимума (от латинских maximum и minimum - «наибольший» и «наименьший»).
Уточним определение экстремума.
Говорят, что функция f(x) в точке x0 имеет максимум, если найдется интервал, содержащий точку x0 и принадлежащий области определения функции, такой, что для всех точек x этого интервала оказывается f(x) < f(x0). Соответственно функция f(x) в точке x0 имеет минимум, если для всех точек некоторого интервала выполняется условие f(x) > f(x0).
На рис. 2 и 3 приведены графики функций, имеющие в точке x=0 экстремум.
Рис. 2
Рис. 3
Обратим внимание на то, что по определению точка экстремума должна лежать внутри промежутка задания функции, а не на его конце. Поэтому для функции, изображенной на рис. 1, нельзя считать, что в точке b1 она имеет минимум.
Если в данном определении максимума (минимума) функции заменить строгое неравенство на нестрогое f(x) ≤ f(x0)(f(x) ≥ f(x0)), то получим определение нестрогого максимума (нестрогого минимума). Рассмотрим для примера профиль вершины горы (рис. 4). Каждая точка x плоской площадки - отрезка [x1,x2] является точкой нестрогого максимума.
Рис. 4
В дифференциальном исчислении исследование функции на экстремумы очень эффективно и достаточно просто осуществляется с помощью производной. Одна из основных теорем дифференциального исчисления, устанавливающая необходимое условие экстремума дифференцируемой функции, - теорема Ферма (см. Ферма теорема). Пусть функция f(x) в точке x0 имеет экстремум. Если в этой точке существует производная f'(x0), то она равна нулю.
На геометрическом языке теорема Ферма означает, что в точке экстремума касательная к графику функции горизонтальна (рис. 5). Обратное утверждение, разумеется, неверно, что показывает, например, график на рис. 6.
Рис. 5
Рис. 6
Теорема названа в честь французского математика П. Ферма, который одним из первых решил ряд задач на экстремум. Он еще не располагал понятием производной, но применял при исследовании метод, сущность которого выражена в утверждении теоремы.
Достаточным условием экстремума дифференцируемой функции является смена знака производной. Если в точке x