О месте нестандартных моделей

Автор: Кутателадзе Семен Самсонович

Журнал: Владикавказский математический журнал @vmj-ru

Статья в выпуске: 3 т.5, 2003 года.

Бесплатный доступ

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

Короткий адрес: https://sciup.org/14318090

IDR: 14318090

Текст научной статьи О месте нестандартных моделей

Можно изобразить эту конструкцию иначе и рассмотреть мир:

Vg:={(g,a) : aGV}=yM.

Если р — высказывание о множествах, то в нашей модели очевиден закон «переноса»: р((1,Л)) Е> р(Л) (т. е. (l,a) С(1,Ь)оаСби т. п.).

Несколько обобщим приведенную конструкцию. Пусть

VQ := yQ .= ^.Q^ у, domp = Q; imp С V}.

Пусть Л = Л( •) — некоторый элемент из Vq и р — формула теории множеств. Закон покоординатного моделирования не вызывает затруднений:

С этим правилом Vq очевидно становится моделью теории множеств. Однако из общих соображений кажется, что такая «послойная» модель никаких новых знаний нам не добавляет (хотя она и нестандартна).

Взглянем все же на Vq повнимательнее. Для этого положим

[р(Л)]:={де9:р(Л(д))}.

Возникает «оценка истинности» формул р как функция [ • ] со значениями в P^QY Понятно, что справедлив «принцип переноса»:

(р — теорема) -щ [р] = Q.

Нетрудно видеть, что справедливы соотношения:

k а VI = М n М. k v V] = М и [VL [0/^1 = Д>Ю1, № Л Д = 7,1^1

При этом верен и «принцип максимума»:

(Зж) р(ж) -д (Зж) [р(ж)] = Q.

Взглянем на объект 7^ := R^. Очевидно

^R, — поле вещественных чисел]] = Q,

  • т. е. К моделирует поле вещественных чисел «внутри Vq».

Можно сказатв и иначе

КД := Д G VQ : [г G ^J = Q} = >Q,

  • т. е. «спуск» поля вещественных чисел внутри Vq — пространство вещественных функций на Q.

Приведенную конструкцию можно несколвко обобщить, заменив Q на стоуновский компакт некоторой полной булевой алгебры В, a ^(Q) — на алгебру открыто-замкнутых подмножеств Q. Точнее говоря, определяя новый «нестандартный» универсум множеств V^B\ положим

VW : = {ж : Др е а) х : dom(z) > В A dom(z) С V<B)},

^ := J уД, абОп где а пробегает класс ординалов On.

Булева оценка истинности [<Д] определяется рекурсией по сложности <р при естественной интерпретации логических связок и кванторов. Оценки же атомных формул ж G у и х = у для х,у G У<в) определяют схемой трансфинитной рекурсии:

k G у] := У у(г)А^ = ж]|: zGdom(y)

к = у]:= Д хД) => [г G у] А Д уД) => Д G ж].

2Gdom(a?)                    2Gdom(?/)

(Знак => символизирует импликацию в В.)

Так возникает булевозначный универсум V^B\ моделирующий универсум фон Неймана V. При этом поле вещественных чисел К в новой модели имеет своим спуском расширенное ^-пространство КД база которого изоморфна исходной булевой алгебре В. Тем самым получает обоснование эвристический принцип Канторовича, и теория булевозначных моделей превращается в аппарат одного из классических разделов функционального анализа.

Теория булевозначных моделей, ставшая основой «булевозначного анализа», восходит к Д. Скотту, Р. Соловею, П. Попенке и Г. Такеути. Более известно направление моделирования, получившее название от своего основателя А. Робинсона «нестандартный анализ». В настоящее время все чаще используется более точный термин «инфинитезимальный анализ», подчеркивающий связь новой теории с классическими воззрениями дифференциального и интегрального исчисления, возникшего в форме «анализа бесконечно малых».

С технической точки зрения модели инфинитезимального анализа могут рассматриваться как простейшие разновидности булевозначных моделей. Однако значение инфинитезимальных методов столь велико, что робинсоновский анализ занимает совершенно особое место. Достаточно сказать, что именно в нем нашли объяснение методы, основанные на использовании актуальных бесконечно больших и бесконечно малых чисел (в частности, теория неделимых Кавальери и монадология Лейбница).

Развивая инфинитезимальный анализ, от обычного универсума фон Неймана V переходят к «оснащенному» универсуму V1 так называемых внутренних множеств с отмеченными в нем реперными точками — стандартными множествами, составляющими

класс изображений — копии Vs обычного универсума V. Дальнейший анализ показывает что V1 лежит в новом классе — в универсуме Vе внешних множеств, удовлетворяющих аксиоматике Цермело. В Vе выделен универсум «классических» множеств Vе — еще одна реализация мира стандартных множеств Vs. Точнее говоря, имеется *-изображение, поэлементно отождествляющее Vе и Vs. В силу аналогов принципов переноса Vе, Vs и V1 можно рассматривать как «ипостаси» универсума фон Неймана V. Именно в этом сложном взаимодействии нестандартных моделей проходит весьма бурный современный этап возрождения, переосмысления и обогащения старинных инфинитезимальных методов.

Синтез технических приемов булевозначного и инфинитезимального анализа — это во многом все еще открытая проблема. С ее современным состоянием можно познакомиться по серии «Нестандартные методы анализа».

Список литературы О месте нестандартных моделей

  • Кусраев А. Г., Кутателадзе С. С. Булевозначный анализ.-Новосибирск: ИМ СО РАН, 1999.-384 с. (Перевод: Boolean Valued Analysis, Kluwer Academic Publishers, 1999, 322 p.)
  • Кутателадзе С. С. (ред.) Нестандартный анализ и векторные решетки.-Новосибирск: ИМ СО РАН, 1999.-380 с. (Перевод: Nonstandard Analysis and Vector Lattices, Kluwer Academic Publishers, 2000, 307 p.)
  • Гордон Е. И., Кусраев А. Г., Кутателадзе С. С. Инфинитезимальный анализ. Части 1 и 2.-Новосибирск: ИМ СО РАН, 2001.-247 с.+317 с. (Перевод: Infinitesimal Analysis, Kluwer Academic Publishers, 2002, 422 p.)
Статья научная