Ещё раз о бесконечности

Thursday, March 03, 2011

Ещё раз о бесконечности

...Когда говорят, что некоторая величина потенциально бесконечна, то имеется в виду, что она может быть неограниченно увеличена. Альтернативой является понятие актуальной бесконечности, которая означает, что рассматривается (как реально существующая) величина, не имеющая конечной меры. Пример: второй постулат Евклида утверждает не бесконечность длины прямой линии, а всего лишь то, что «прямую можно непрерывно продолжать». Это потенциальная бесконечность. Если же рассмотреть всю бесконечную прямую, то она даёт пример актуальной бесконечности.

Ниже есть продолжение.

Античные философы и математики признавали, как правило, только потенциальную бесконечность, решительно отвергая возможность оперировать с актуально бесконечными атрибутами Соответственно этой доктрине формулировались научные утверждения. Например, теорема о бесконечности множества простых чисел у античных математиков формулировалась так: «Каково бы ни было простое число P, существует простое число, большее, чем P».

Аристотель писал:

...Всегда возможно придумать большее число, потому что количество частей, на которые можно разделить отрезок, не имеет предела. Поэтому бесконечность потенциальна, никогда не действительна; какое бы число делений ни задали, всегда потенциально можно поделить на большее число

Именно Аристотель сделал большой вклад в осознание бесконечности, разделив её на потенциальную и актуальную и вплотную подойдя с этой стороны к основам математического анализа, а также указав на пять источников представления о ней:

* время;
* разделение величин;
* неиссякаемость творящей природы;
* само понятие границы, толкающее за её пределы;
* мышление, которое неостановимо.

...в теологии бесконечность Бога не столько даёт количественное определение, сколько означает неограниченность и непостижимость. В философии бесконечность долгое время рассматривалась также как атрибут пространства и времени; в наши дни это дискуссионный вопрос космологии...

В математике не существует одного понятия бесконечности, она наделяется особыми свойствами в каждом разделе. Более того, эти различные «бесконечности» не взаимозаменяемы. К примеру, теория множеств подразумевает разные бесконечности, причём одна может быть больше другой. Скажем, количество целых чисел бесконечно большое (оно называется счётным). Чтобы обобщить понятие количества элементов для бесконечных множеств, в математике вводится понятие мощности множества. При этом не существует одной «бесконечной» мощности. Например, мощность множества действительных чисел больше мощности целых чисел, потому что между этими множествами нельзя построить взаимно-однозначное соответствие (биекцию), а целые числа включены в действительные. Таким образом, в этом случае «число элементов» (мощность) одного множества «бесконечней» «числа элементов» (мощности) другого. Основоположником этих понятий был немецкий математик Георг Кантор.

В математическом анализе ко множеству действительных чисел добавляются два символа $+\infty$ и $-\infty$, применяющиеся для определения граничных значений и сходимости. Сто́ит отметить, что в этом случае речь об «осязаемой» бесконечности не идёт, так как любое утверждение, содержащее этот символ, можно записать, используя только конечные числа и кванторы. Эти символы, как и многие другие, были введены для сокращения записи более длинных выражений.