105
Пётр Сергеевич Новиков
соз дал принцип сравнения индексов, который в дальнейшем оказал
очень большое влияние на развитие дескриптивной теории функ-
ций. Сущность этого метода состоит в следующем:
Каждому
A
-множеству естественным образом сопоставляется
не которая трансфинитная функция
β
(
х
),
которая в точках этого
мно жества принимает значение
Ω
, а в точках дополнения её значе-
ния суть трансфинитные второго класса. Множество точек, в кото-
рых эта функция имеет данное значение <
Ω
, всегда есть
B
-множест-
во. Пётр Сергеевич установил, что если
β
1
(
х
)
и
β
2
(
х
)
–
две функции
описанной природы, то множество точек, где
β
1
(
х
)
≥ β
2
(
х
)
,
есть всег-
да
A
-множество. В этом и состоит принцип сравнения индексов.
Отсюда сразу вытекают следующие теоремы отделимости:
1. Существуют два непересекающихся
CA
-множества, неотде-
лимые
B
-множествами.
2. Если у двух
А
-множеств (или
СА
-множеств) удалить их об-
щую часть, то оставшиеся части всегда отделимы непересекающи-
мися
СА
-множествами.
Из принципа сравнения индексов получается также новое до-
казательство теоремы Н.Н. Лузина о том, что любые два непересе-
кающихся
А-
множества отделимы
B
-множествами.
Опираясь на эти результаты, Пётр Сергеевич доказал, что су-
ществуют такие неявные
B
-функции, которые не могут быть уни-
формизированы посредством
B
-функции. (Говорят, что функция
у = f
(
x
)
униформизирует неявную функцию
F
(
x, у
)
=
0, если для
всякого
х
0
из разрешимости уравнения
F
(
x
0
,
у
)
=
0 следует, что
F
(
x
0
,
f
(
x
0
))
=
0). Позднее оказалось, что принцип сравнения ин-
дексов родственной природы имеет место не только для
А
-опера-
ций, но и для
R
-операций. Это явилось одним из основных средств
изучения
R
-множеств, которое предпринял ученик Петра Сергее-
вича А.А. Ляпунов.
В работах 1934 г. Пётр Сергеевич ввёл понятие кратной отде-
лимости и установил теоремы о кратной отделимости для
А
-мно-
жеств и о кратной отделимости
А
-множеств по отношению к опе-
рации «счётное пересечение».
Распространив принцип сравнения индексов на некоторые
другие трансфинитные индексы, которые естественным образом
сопутствуют построению проективных множеств, Пётр Сергеевич
в работе 1937 г. исследовал проблему отделимости для проектив-
ных множеств второго класса. Он получил следующие результаты:
1) два
СА
2
-множества без общих точек отделимы посредством
B
2
-множеств;
2) если у двух
СА
2
(или же
A
2
-)-множеств удалить их общую
Do'stlaringiz bilan baham: