Продолжение. Если мы пересмотрим основные определения в математике, относящиеся к учению о пределах, то нетрудно будет убедиться

Если мы пересмотрим основные определения в математике, относящиеся к учению о пределах, то нетрудно будет убедиться, что математика здесь также работает категориями, которые только что были развиты, хотя и формулирует их, конечно, чисто математически, а не диалектически.

1. Прежде всего стоит обратить внимание на интересное определение точки скученности, или точки сгущения. Для этого нужно знать, что такое окрестность. Если мы имеем некую точку А и имеем некую величину ε, могущую стать меньше любой заданной величины, то интервал А— ε…Α + г называется окрестностью точки А. Так вот, точка А называется точкой сгущения множества, если в любой сколько угодно малой окрестности А лежит еще бесконечное количество точек.

Так, для последовательности 1

,

точкой сгущения является 0, а для последовательности, содержащей 0 и 1, а также числа, построенные по закону

и 1+

(при η целом и положительном), существуют две точки сгущения, а именно 0 и 1, в то время как числа

,

,

будут здесь т.н. изолированными точками, т.е. в окрестности которых совсем нет точек данной последовательности. Это скромное на первый взгляд утверждение о точках сгущения по своему логическому составу предполагает решительно все те категориальные моменты предела, которые мы выше установили. Тут и антитеза внутреннего и внешнего, п[е]рекрытие окрестности внешним точечным слоем; тут и непрерывно алогически становящаяся отрицательность — в переходе от одной точки бесконечного множества к другой на исчезающе[185]малом расстоянии; тут и внутренняя дробящая сила — в допущении возможности бесконечного количества точек при прогрессирующем уменьшении окрестности; тут и определенная закономерность строения этого алогического скопления бесконечности — в расположенности точек на исчезающе малых расстояниях. Последнее—смысловая закономерность бесконечного скопления точек — в понятии точки скученности еще не так развито и поставлено, как в [прежних ] математических дефинициях, относящихся к пределу. Однако уже и здесь эта специфическая закономерность, порождаемая пределом, чувствуется вполне ощутительно.

Стоит только обратить внимание на то, что точка скученности в случае, когда она для данного бесконечного множества является единственной и потому и предел этого бесконечного <.··>>—как уже становится ясной вся важность этих рассуждений для понимания категориальной структуры предела вообще.

2. Более резко этот момент смысловой закономерности ряда, стремящегося к пределу, выражен в известной теореме Больцано — Вейерштрасса. Она гласит: «Каждое ограниченное бесконечное множество точек имеет по крайней мере одну точку скученности». Собственно, тут можно говорить и о неограниченном множестве, так как ничто не мешает находить еще новые точки и даже бесконечное их количество — в окрестности той точки, которая именуется бесконечностью. Другими словами, бесконечную точку тоже нужно считать точкой сгущения. Итак, имеется ли ограниченное или неограниченное множество, в нем всегда есть хотя бы одна точка сгущения, или скученности. Но что это значит? Это значит прежде всего, что тут мы представляем себе перекрытие некоей области, или интервала, бесконечным количеством точек; и, таким образом, уже по одному этому здесь у нас двухплановая структура, не считая момента, объединяющего эти два количественные плана, — т. е. опять тут все та же антитеза внутреннего и внешнего. Эта антитеза заполнена здесь непрерывным и алогическим становлением. И вообще тут обнаруживаются все те моменты, которые нами уже получены. Но тут гораздо ярче, чем в предыдущем понятии точки скученности, выражен момент структурного построения бесконечного множества. А именно, оказывается, что только тогда точки могут оказаться входящими в бесконечное множество, когда все они притягиваются к каким–нибудь центрам или хотя бы только к одному такому центру. Этот центр, или эта точка сгущения, определяет собою специальную структуру взаимного расположения точек, т. е. такую структуру, когда расстояния между точками исчезающе малы. Это есть вполне определенная структура множества; и вот она–то и предопределена пределом. Предел как бы издали располагает особым образом точки бесконечного множества; он есть как бы принцип построения того числового поля, которое именуется данным бесконечным множеством.

3. Еще ярче эта принципная природа предела выражена в признаке Кохии для сходимости ряда, т. е. для наличия в данной последовательности предела. Как известно, признак, установленный Коши для сходимости ряда, гласит следующее. Пусть мы имеем последовательность

<u₁, u₂, u_n>

где [N] может стать сколько угодно большой величиной. Если абсолютное значение любой разницы <u_n—u_m> может стать меньше сколь угодно малого количества [&#949;], то упомянутый ряд сходится. Или, точнее, как бы мало ни было [&#949;], должно существовать такое [&#925;], чтобы для всякого <&#951;>&#925;> и для всякого <m>N> было

</u_n—u_m/<&#949;>.

Это условие необходимо и достаточно для сходимости ряда. Предел, стало быть, превращает последовательность чисел в такую упорядоченность, что между двумя его достаточно далекими от начала членами разность может стать менее любой заданной величины. Он создает последовательность как некую текучую иррациональность, распределенную так или иначе в зависимости от числовой величины предела. Упомянутая закономерность и перво–принципность предела на учении Коши о признаке сходимости заметна еще ярче, чем в предыдущих примерах.

4. Особая, специфическая структура сходящегося ряда, выраженная как некий определенный принцип, хорошо, — пожалуй, даже лучше, чем у Коши, — формулирована в признаке сходимости Даламбера. Как известно, по Даламберу, сходимость будет в случае, когда предел отношения между соседними членами ряда <u_n+1> и <u_n> при <n&#8594;&#8734;>, будет выражаться правильной дробью

при <q< 1) — ряд сходится; когда (q>l) — ряд расходится; когда <q= 1) — ряд неопределенный в смысле сходимости. Тут дано представление о подвижном отношении, пробегающем по ряду и рисующем его определенную полную структурность, зависящую от характера предельной устремленности этой структуры.

Поиск по сайту: