х и значениями у, то при использовании результатов математических исследований в прикладных целях этот способ, напротив, играет определяющую роль.
Лемма № 1. Множество значений аргумента из области определения функции, соответствующее множеству значений функции, описывающей закономерность, есть упорядоченное множество.
Доказательство: Предположим, что множество значений аргумента из области определения функции не есть упорядоченное множество. Тогда соответствующее ему множество значений функции также не будет упорядоченным, что невозможно, так как значения функции, описывающей закономерность, упорядочены характером этой закономерности. Значит, множество значений такого аргумента есть упорядоченное множество.
Лемма № 2. Способ упорядочения множества значений аргумента из области определения функции зависит от характера закономерности, описываемой функцией данного аргумента.
Доказательство: Предположим, что способ упорядочения множества значений аргумента из области определения функции не зависит от характера закономерности. Тогда выберем такой способ упорядочения аргумента, при котором представление функции не позволяло бы исследовать описываемую ей закономерность. Поскольку подобное представление не имеет смысла с точки зрения анализа закономерности, то способ упорядочения значений аргумента с необходимостью зависит от характера закономерности.
В результате получаем, что способ упорядочения аргумента (независимой переменной) есть в некотором ограниченном смысле функция своей функции (зависимой переменной), так как способ упорядочения аргумента задается характером функции. Или, иными словами, способ упорядочения аргумента выбирается в зависимости от той задачи, которую решают, исследуя функцию.
Так, например, если отношение максимального и минимального значений функции значительно меньше отношения максимального и минимального значений аргумента, то для аргумента выбирают, как правило, логарифмическую шкалу. Точно так же, если функция периодическая, область значений аргумента представляет собой интервал, умножаемый на значения шкалы натуральных целых чисел.
В нашем случае, поскольку множества значений функций, употребляющихся в классической механике, упорядочены, как правило, в виде множеств действительных чисел, то сопоставленные им множества значений аргументов упорядочиваются в каждом отдельном случае, соответственно, как числовые оси или их отрезки, то есть принимают вид линейных точечных множеств. А, как известно, линейное точечное множество не только непрерывно, но и равномерно непрерывно.
По той же причине аргумент, упорядоченный в виде числовой оси, будет на всем ее протяжении однородным, так как заданная в любом месте длина ее отрезка не меняется от перемещения его вдоль оси.
Кроме того, одной из важнейших процедур в задачах динамики является операция дифференцирования по времени, а ее производные – скорость и ускорение – чаще других употребляются в этих задачах. Но для выполнения дифференцирования аргумент, по которому оно выполняется, должен быть непрерывным на всем отрезке дифференцирования, так как исключение даже бесконечно малой окрестности любой точки на этом отрезке, не говоря уже о самой точке, может привести к потере неизвестных заранее особенностей (разрывов, особых точек, максимумов и т. д.) в изменении дифференцируемой функции. И поскольку значения времени в этом случае, как правило, также упорядочены в виде числовой оси, то, кроме непрерывности, они должны быть еще и равномерными и однородными.
