О пределах монотонных последовательностей в AST

Аннотация

В аксиоматике альтернативной теории множеств (AST), в рамках которой выполнена работа, рассматривается построение гипердействительных структур на основе горизонтов, представляющих собой начальные отрезки, сегменты класса натуральных чисел, более широкие, чем класс конечных натуральных чисел. Монотонные последовательности элементов такой гипердействительной структуры, даже являющиеся ограниченными, в отличие от классической ситуации, могут не иметь пределов. Ранее в исследованиях автора уже были получены необходимые и достаточные условия на основной сегмент структуры, при которых такая парадоксальная ситуация невозможна. В данной работе получены условия на скорость роста или убывания монотонной последовательности, при которых в заданной гипердействительной структуре она все же имеет предел. Исследована связь понятия предела с точными верхними и нижними гранями, изучены причины и механизмы отсутствия пределов. В качестве применения показано, что гармонический ряд в гипердействительной структуре сходится тогда и только тогда, когда основной сегмент является теоретико-множественно определимым, т.е. обладает четкой верхней границей.

DOI 10.14258/izvasu(2016)1-19