Научная статья на тему 'К альтернативной теории множеств'

К альтернативной теории множеств Текст научной статьи по специальности «Математика»

CC BY
474
162
i Надоели баннеры? Вы всегда можете отключить рекламу.

Аннотация научной статьи по математике, автор научной работы — Забарина Анна Ивановна, Пестов Герман Гаврилович

Авторы предлагают модель вопенковской теории множеств. Модель строится в рамках нестандартного анализа.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «К альтернативной теории множеств»

А.И. Забарина, Г.Г. Пестов К АЛЬТЕРНАТИВНОЙ ТЕОРИИ МНОЖЕСТВ

Авторы предлагают модель вопенковской теории множеств. Модель строится в рамках нестандартного анализа.

Со времен Кантора фундаментом математики стала теория множеств. Основная идея канторовой теории множеств - это идея актуальной бесконечности: бесконечное множество рассматривается как завершенное, существующее со всеми своими элементами. Идее актуальной бесконечности противостоит идея потенциальной бесконечности: бесконечное множество мыслится как строящееся, порождающееся некоторым процессом.

Борьбу этих концепций бесконечного можно проследить на протяжении всей истории математики. Так, Гаусс был решительным противником использования актуальной бесконечности в математике.

Во второй половине ХХ века математики предпринимают попытки изменить фундамент математики - теорию множеств. Так возникла теория внутренних множеств, нестандартный анализ во многих вариантах. Сюда же относится и альтернативная теория множеств Вопенки.

Основная установка Вопенки - критика идеи актуальной бесконечности.

Теория множеств Вопенки [1] была задумана как альтернатива канторовой теории множеств с ее актуальной бесконечностью, чем и объясняется ее название. Поэтому построение модели альтернативной теории множеств в рамках теоретико-множественной модели нестандартного анализа Закона - Робинсона [2], то есть, в конечном счете, средствами классической теории множеств, выглядит несколько парадоксально.

Тем не менее такого рода модели могут быть полезны хотя бы тем, что позволяют использовать интуицию, накопленную в процессе работы с нестандартной моделью теории множеств, для лучшего осмысления альтернативных теорий.

Отметим некоторые отличия альтернативной теории множеств Вопенки от канторовой теории множеств.

В альтернативной теории различаются совокупности трех видов: множества, классы и полумножества. Все бесконечные множества равномощны. Каждое множество конечно по Кантору (то есть каждое множество равномощно некоторому начальному отрезку множества натуральных чисел).

В качестве интуитивного оправдания этих понятий своей теории множеств Вопенка приводит такой, возможно шутливый, пример. Совокупность человекообразных предков человека (не являющихся, следовательно, людьми) есть полумножество, не являющееся множеством. Они образуют подкласс множества приматов. В альтернативной теории множеств каждое множество, линейно упорядоченное некоторым отношением р (где р, в свою очередь, есть множество), обладает тем свойством, что каждое его непустое подмножество имеет наибольший и наименьший элементы. Если бы совокупность наших человекообразных предков была множеством, то существовала бы последняя обезьяна, то есть обезьяна, ребенок которой был бы человеком, что противоречит здравому смыслу. Аналогичные рассуждения применимы и к совокупности всех живущих в данный момент людей.

Существуют аксиоматизации альтернативной теории множеств [2]. Мы, однако, будем исходить из неформального подхода, изложенного в [1]. Нашей целью является построение модели теории множеств, близкой к альтернативной теории множеств Вопенки, средствами нестандартного анализа. В рамках этой модели основные понятия и факты альтернативной теории множеств Вопенки, на наш взгляд, становятся более естественными.

1. КОНСТРУКЦИИ УНИВЕРСУМОВ

Обозначим через N множество всех конечных ординалов (по фон Нойману). По построению, каждый элемент этого множества сам является конечным множеством.

Построим суперструктуру конечных множеств над N. Обозначим через РЖ(А) множество всех конечных подмножеств множества А. Положим:

N) = N,..., Wn+l (N) = Жп и РЕ(ЦТ„), ...

ОТ

Множество Ж (N) = и Жп (N)

п=1

назовем суперструктурой конечных множеств. Множество Жп (N) назовем п-м этажем суперструктуры Ж(Щ.

Построим обычную суперструктуру над N со своими этажами:

Уо( N) = N ,...^( N) = V, и Р(Уп),...

ОТ

V (N) = и V, (N),

п=1

где Р(А) есть булеан множества А. Очевидно, что Жп (N) с Уп (N) (п е N), Ж(N) с V(N).

Пусть Е есть свободный ультрафильтр над N. Если А е V(N), то через *А обозначим ультрастепень А по ультрафильтру Е.

Обозначим

ОТ ОТ

*Ж (N) = и *Жп (N), V (N) = и V (N).

п=1 п=1

Построим далее суперструктуру над *N - внешний универсум V(*N). Индукцией по номеру этажа строим, как обычно [4], вложение / универсума

V (N) во внешний универсум V (*N). Тем самым мы получим и вложение универсума *]¥(Ы) во внешний универсум.

Как обычно, образ множества V(N) при отображении / назовем внутренним универсумом. Каждый элемент из V(N) мы отождествляем с его /-образом. Это можно сделать, поскольку отображение / переводит отношения равенства и принадлежности по ультрафильтру Е в отношения равенства и принадлежности в теоретико-множественном смысле.

По построению, имеют место включения:

V (N) э *Жп (N),^(N) э *Ж(N).

2. МНОЖЕСТВА, ПОЛУМНОЖЕСТВА, КЛАССЫ

Рассмотрим теперь множество и(Ы) всех подмножеств универсума (N).

Элементы множества * Ж(Ы) назовем множествами, элементы и(Ы) - классами. Классы, не являющиеся множествами, назовем собственными классами.

Приведем пример множества. Пусть vе N. Обозначим

[0, V] = {п е N | 0 < п ¿V}.

По построению Ж(Ы) имеем Уу е N ([0^] е Ж N)). По принципу переноса: Уу е *N([0, V] е *Ж(Щ, где [0, V] = {п е *N | 0 < п ¿V}. Следовательно, [0, V] есть множество.

Классы А и В назовем равномощными, если существует биекция /: А ^ В, где / е V(*N). Если биекция - внутренняя, то есть, / е V(N), то эти классы назовем внутренне равномощными. Классы равномощные, но не внутренне, назовем внешне равномощными.

Класс, равномощный классу N, назовем, как обычно, счетным.

Для каждого множества А существует такое

V е *N , что А равномощно множеству [0, V].

Каждое множество можно линейно упорядочить с помощью некоторого внутреннего бинарного отношения.

В самом деле, пусть А е Ж(N). Тогда для некоторого натурального к имеем А е Ж(N). Обозначим количество элементов множества А через уе N. Из построения Ж (N) легко следует, что найдется такое 5 е N, что для каждого А еЖк (N) существует биекция /: А ^ [0, V],/ е (Ы).

Итак,

УА е Жк (N)3v е N3/ е ^

(/ есть биекция А на [0, V]).

Последнее утверждение легко записывается на языке первого порядка. По принципу переноса получаем

У А е *Жк (N )3v е *N3/ е *Ж5 (Щ / есть биекция А на [0, V]).

Отсюда следует, что естественный линейный порядок с [0, V] переносится на А с помощью внутренней биекции /, следовательно, на А задается внутренний линейный порядок.

Если множество линейно упорядочено внутренним отношением г, то каждое непустое его подмножество имеет первый и последний элементы относительно этого порядка.

Доказательство получаем, аналогично предыдущему, по принципу переноса.

Каждый бесконечный начальный отрезок [0, V], vе *N \ N, множества *N имеет мощность континуума [6].

В самом деле, пусть V из *N бесконечно. Рассмотрим отображение (0,1) в [0, V]: /(г) = [™], г е (0,1),

где [х] есть целая часть числа х

Если г1 < г2, то

/(г) - /(г) = [^] - [г! V] > г2 V -1 - ^ V = (г - г ^ — 1.

Итак, число / (г2) - / (г1) бесконечно велико. Значит, /(г2) Ф /(г1). Следовательно, / есть инъекция (0, 1) в [0, V]. Поэтому мощность множества [0, V] не меньше мощности континуума.

С другой стороны, мощность *N не превосходит мощности континуума [5], [0, V] с *N . Итак, мощность [0, V] равна мощности континуума.

Никакой счетный класс не является множеством.

Пусть А - счетный класс. Поскольку множество [0, V], V е *N, или конечно, или несчетно [6], то А не равномощно отрезку [0, V] ни при каких V е *N. Следовательно, А не есть множество.

Приведем пример класса, не являющегося множеством. Имеем N е и(^ , N есть счетный класс.

Итак, N не есть множество.

Подкласс множества называется полумножест-вом. Полумножество называется собственным, если оно не является множеством.

Пусть vе *N \ N. Так как N с [0, V] и [0, V] есть

множество, то N есть собственное полсобственное полумножество. Так как А - множество, то для некоторого V е *N имеем: сущеумножество.

Класс, включающий собственное полумножество, называется бесконечным.

Каждое бесконечное множество включает счетное полумножество.

В самом деле, пусть А есть бесконечное множество. Тогда А включает некоторое / е *Ж(N) множества [0, V] на А. Ясно, что vе *N \ N, иначе А не включало бы собственного полумножества. Но тогда N с [0, V], и образ В класса N при отображении/есть

счетный подкласс множества А . Значит, В есть счетное полумножество, входящее в А .

Все бесконечные множества внешне равномощны.

В самом деле, пусть А, В - бесконечные множества. По предыдущему, А равномощно [0, V], В равномощно [0, v1], где V, v1 е *N \ N . Но все множества [0, V], где vе *N \ N, внешне равномощны [6]. Следовательно, равномощны и множества А и В.

Каждый счетный класс есть собственное полу-множество.

Пусть А есть счетный (и, следовательно, собственный) класс. Тогда существует биекция

/: N ^ А, / е V^). Итак, А = /(N) е V^).

Поэтому существует такое п натуральное, что А с Vn (*N). Так как А - класс, то А с *Ж(N). Значит, А с *Жп (N).

Итак, А есть полумножество.

Собственный класс, равномощный некоторому множеству, есть полумножество.

Доказательство аналогично предыдущему, только в роли N выступает теперь некоторое множество из универсума * Ж(Ы).

1. ВопенкаП. Математика в альтернативной теории множеств. М.: Мир,1983.

2. Proceedings of the 1st symposium “Mathematics in the internal Set Theory”. Bratislava, USFR, 1989.

3. Mattes J. Axiomatic approaches to nonstandard analysis. Jahrbuch der Kurt G»del Geselschaft, 1992. Р. 61 - 79.

4. Robinson A. and Zakon E. A set-theoretical characterization of enlargements, in Applications of Model Theory to Algebra, Analysis and probability / W. A. J. Luxemburg (ed.). New York: Holt, Rinehart and Winston, 1969. Р. 109 - 122.

5. Chang S.S. andKeislerH.G. Model theory. North-Holland, Amsterdam, 1990.

6. Галанова Н.Ю. О конфинальности *N // Региональная науч.-практич. конф. Естественные науки. Томск, 1994. С. 74.

Статья представлена кафедрой математического анализа механико-математического факультета Томского государственного университета, поступила в научную редакцию «Математика» 18 мая 2005 г.

i Надоели баннеры? Вы всегда можете отключить рекламу.