2 Элементы выпуклого анализа в простран-
стве E
n
.Тритеоремыобинтегралах
2.4 Основные обозначения и определения. Наимень-
шая выпуклая оболочка множества и её постро-
ение. Лемма об отделимости
2.4.1 Основные обозначения и определения
E
n
– n-мерное евклидово пространство,
x =
⎛
⎜
⎝
x
1
.
.
.
x
n
⎞
⎟
⎠
,y=
⎛
⎜
⎝
y
1
.
.
.
y
n
⎞
⎟
⎠
, . . . – элементы пространства E
n
,
(x, y)=x
1
y
1
+ ...+ x
n
y
n
– скалярное произведение элементов x и y,
x =(x, x)
1/2
–нормаэлементаx,
x − y =
n
i=1
(x
i
− y
i
)
2
1/2
– расстояние между элементами x и y,
F – множество, лежащее в пространстве E
n
,
S
r
(a)=
%
x ∈ E
n
: x − a r
&
–шаррадиусаr сцентромвточкеa
(r 0, a ∈ E
n
),
S =
%
x ∈ E
n
: x =1
&
– единичная сфера с центром в точке 0
(0 ∈ E
n
),
2 – начало доказательства,
– конец доказательства.
Определение 4.1. Множество F называется открытым,еслидля
любой точки x ∈ F существует число ε>0 такое, что S
ε
(x) ⊂ F
∀x ∈ F ∃ε>0: S
ε
(x) ⊂ F
(см. рисунок 4.1).
Множества
F
1
= {x =(x
1
,x
2
) ∈ E
2
: |x
1
| < 1, |x
2
| < 1},
F
2
= {x =(x
1
,x
2
) ∈ E
2
: x
2
1
+ x
2
2
< 1}
являются открытыми в E
2
; множества S
r
(a), S не являются открыты-
ми.
Определение 4.2. Точка a ∈ E
n
называется предельной точкой
множества F ,если∀ε>0 выполняется условие S
ε
(a)
"
F = ∅.
39