Отметим без доказательства следующую теорему.
Теорема Бляшке [6]. Если множество D компактно, то пространство
CP (D) в метрике Хаусдорфа также компактно.
Далее снова переходим к правильной модели Неймана-Гейла с нормаль-
ным квазилинейным производственным отображением f : R
n
+
→ P (R
n
+
).
Для нормального множества A определим множество G
t
(A) =
f
−t
(∂
+
f
t
(A)) ∩ A для t = 0, 1, . . . .
Утверждение о множествах G
t
(A). Если A - телесное нормальное
множество в R
n
+
и f - нормальное многозначное отображение, то множе-
ства G
t
(A) компактные и обладают свойством: G
0
(A) = ∂
+
A ⊃ G
1
(A) ⊃
G
2
(A) ⊃ . . . ⊃ G
t
(A) ⊃ . . . .
Доказательство утверждения сводится к доказательству включения
(f
−(t+1)
∂
+
f
t+1
(A)) ∩ A ⊂ (f
−t
∂
+
f
t
(A)) ∩ A. Заменим B = f
t
(A). Тогда
предыдущее включение эквивалентно (f
−1
(∂
+
f(B))) ∩ A ⊂ (∂
+
B) ∩ A.
Последнее включение мы и будем доказывать. Надо доказать, что вы-
полняется включение ∂
+
f(B) ⊂ f(∂
+
B). Пусть y ∈ ∂
+
f(B), это озна-
чает, что inf {λ | y ∈ λf(B)} = 1. Но λf(B) = f(λB). Это означает, что
∃ x ∈ R
n
+
, y ∈ f(x), inf {λ | x ∈ λB} = 1, то есть x ∈ ∂
+
B. Отсюда следу -
ет y ∈ f(∂
+
B). Это доказывает требуемое включение и все утверждение.
Компактность G
t
(A) следует из определений. ♦
Обозначим G(A) =
T
t
G
t
(A), тогда в метрике Хаусдорфа G
t
(A) →
G(A), при этом множество G(A) компактное [8].
Теорема о магистрали в сильной форме. Пусть f : R
n
+
→ P (R
n
+
)
- нормальное квазилинейное отображение, причём:
а) существует телесное нормальное множество A со свойством αA = f(A),
где α - темп роста модели Z (это множество A называется собственным
для отображения f);
б) существует функционал ϕ ∈ r(Π
α
), который принимает на множестве
G(A) постоянное значение.
38