Элементарное определение непрерывной величины сводится в математике к тому, что разница между двумя значениями данной величины может стать меньше любой заданной величины. Если данная величина именно такова, что к любой точке ее становления применимо условие исчезающе малого расстояния ее от соседней точки, то эта величина — непрерывна.
Уже тут выясняется необходимость вводить в понятие непрерывности как тождество постоянного и переменного, так и тождество внутреннего и внешнего. Первое тождество образует собою всю стихию алогического становления, без которого не могло бы происходить движение, но [с] исчезающе малым расстоянием; второе же тождество обусловливает собою антитезу самой величины с теми или другими ее отдельными значениями.
Далее, хотя мы еще не раскрыли понятия функции, все же можно, базируясь не на диалектическом, а пока на чисто математическом ее понимании, привлечь сюда и обычное определение непрерывной функции. Как известно, функция называется непрерывной в данной точке тогда, если ее значение в данной точке может быть с какой угодно точностью выражено через всякое другое ее же значение при условии достаточной близости аргументов к этой точке, другими словами, для непрерывности функции <f(x)> необходимо и достаточно, чтобы если есть какое угодно малое положительное число ε, то всегда существует тоже другое число [δ], в силу которого для всех точек, где </χ — α/<δ> , существует также неравенство
</f(x) — f(a)/<ε> ·
Иначе:
<Iim ƒ(x) = ƒ(a) = b) .
В точке [b ] функция указывается тем пределом, к которому стремятся значения любого ряда чисел, стремящихся к пределу. Если <ƒ (х)> стремится к [b ] как к своему пределу, то этот предел равен как раз значению функции от [х]9 когда [х] станет равным [а]. Это определение непрерывной функции обязательно предполагает, что 1) уже есть становление двух величин, т. е. тождество постоянства и изменчивости, становление функционально связанных между собою величин, что 2) это становление облекается в новую форму, принимая те или иные значения, откуда антитеза внутреннего и внешнего, и, наконец, что 3) эта новая форма развивается так же последовательно, как и само становление, теоретически взятое. Иначе говоря, в непрерывной функции точно так же, как и вообще в непрерывной величине, чистый алогизм и не–расчлененное становление объединяются с антитезой внутреннего (основная структура) и внешнего (отдельные количественные значения) содержания.
Говоря о том, как определяется непрерывность в математике, стоит привлечь рассуждение Дедекинда о сечениях в области вещественных чисел, с которым мы уже столкнулись выше, в [§ 60.7]. Аксиома непрерывности вещественных чисел гласит, как мы помним, следующее. Пусть мы имеем две области вещественных чисел А и 5, о которых известно, что каждое вещественное число принадлежит или к А, или к В и что всякое число а из А меньше всякого числа b из В. Называя эту границу, делящую область всех вещественных чисел, разделом или сечением, получаем следующую аксиому непрерывности вещественных чисел: сечение Дедекинда в области вещественных чисел определяет всегда одно, и только одно, вещественное число [с] так, что всякое [а < с ], всякое [b > с]. Сразу как будто бы не видно тождество этой аксиомы непрерывности с развитым у нас учением о непрерывности. Но отдадим себе отчет в том, что значит эта аксиома. Тут имеется в виду та самая диалектика границы, которая развивается в общей диалектике. В общей диалектике доказывается, что 1) граница есть часть ограниченного и что 2) граница в то же время есть часть ограничивающего, т. е. что граница отличается от ограниченного и ограничивающего и граница тождественна с тем и другим. Это обеспечивает для границы и способность ее отделять одну область от другой, и в то же время незанимаемость ею никакого специального места, которое бы имело хоть какие–нибудь размеры. Такую границу, или сечение, можно провести в любом месте общей сферы вещественных чисел, и во всяком таком месте все числа, примыкающие с одной стороны, подходят к этой границе настолько близко, что вполне сливаются с нею, равно как и все числа, примыкающие с другой стороны, тоже подходят к ней настолько близко, что вполне сливаются с нею. Это строение сферы вещественных чисел и называется непрерывностью. Существует только одна и единственная точка, разделяющая обе сферы чисел. И если бы общая сфера вещественных чисел была бы прерывна, то граница, отделяющая здесь одну область от другой, отнюдь не везде была бы равна точке. В местах разрыва эта граница имела бы то или иное протяжение, которое измерялось бы уже линейными мерами, а не оставалось бы просто точкой, не имеющей ни одного измерения.