class="bi x0 y0 w1 h1"
class="bi x1 y1 w2 h2"
R
n
R
n
+
R
n
R (R = R
1
)
R (R = R ∪ {−∞, +∞})
N
2
R
n
R
n
x, y ∈ R
n
x
i
x
T
x, y = x
T
y = xy :=
n
j=1
f(x) f
f(x) f
(x) f
f
(x, d) d f
class="bi x1 y37 w4 hc"
R R
n
R
n
{x ∈ R
n
| x = αa + βb , α 0 , β 0 , α + β = 1}.
C ⊆ R
n
C
C ∀x, y ∈ C, λ ∈ [0, 1] =⇒ λx + (1 −λ)y ∈ C.
C = R
2
+
C = [−2; 3)
C ≡ oxy R
3
C = (−2; 0) ∪ (0; 3)
C = {(x, y) ∈ R
2
| xy = 0}
x
{x | a
T
x α},
a = 0 α ∈ R
C ⊆ R
n
x ∈ C
N
C
(x) := {ω | ω, y − x 0 , ∀y ∈ C},
C
N
C
(x)
R
2
C = R
2
+
N
C
(0) = {ω | ω, y − 0 0 , ∀y ∈ C}
= {ω |
2
i=1
ω
i
y
i
E E
E coE
E E
E aff E
E ⊆ R
n
E U(a)
U(a) ⊂ E
E intE B
intE = {x | ∃r > 0 : x + rB ⊂ E}.
E
E E
E E E
E E
E E
R
n
E E
F ⊂ C C
F ∀x, y ∈ C , tx + (1 − t)y ∈ F , 0 < t < 1 =⇒ [x, y] ⊂ F.
C := {(x, y, z) ∈ R
3
| x, y, z ∈ [0, 1]}
F
1
:= {(x, y, z) ∈ R
3
| x, y ∈ [0, 1], z = 0} C
F
2
x = α C D
a
T
x α a
T
y , ∀x ∈ C , ∀y ∈ D.
a
T
x = α C D
a
T
x < α < a
T
y , ∀x ∈ C , ∀y ∈ D.
a
T
x = α C D
Sup
x∈C
a
T
x < α < inf
y∈D
a
T
y.
C = {(x, y) ∈ R
2
| x
2
(a
1
, a
2
)(x, y) < α < (a
1
, a
2
)(x
, y
) ∀(x, y) ∈ C, ∀(x
, y
) ∈ D.
C = {(x, y) ∈ R
2
| x 0, y = 0},
D = {(x, y) ∈ R
2
| y
1
x
, y > 0, x > 0}.
C D
C, D (0, 1)(x, y) = 0
(0, 1)(x, y) = 0 (0, 1)(x
n
C ∩ D = ∅
C D
C ⊂ R
n
x
0
∈ C
t ∈ R
n
, t = 0
t, x t, x
0
∀x ∈ C.
C D C ∩ D = ∅
C ⊂ R
n
0 ∈ C
t ∈ R
n
, t = 0 α > 0
t, x α > 0 , ∀x ∈ C.
C ⊆ R
n
f : C −→ R ∪ {−∞, +∞}
dom f := {x ∈ C | f (x) < +∞} dom f
f
epi f := {(x, µ) ∈ C × R | f(x) µ} epi f
f
f(x) = +∞ x ∈ C f
,
∀x, y ∈ C , ∀λ ∈ (0, 1).
f C −f C
f(x) = a
T
x + α, a ∈ R
n
, α ∈ R
∀x, y ∈ R
n
, ∀λ ∈ (0, 1)
f[λx + (1 −λ)y] = a
T
[λx + (1 − λ)y] + α
= λa
T
x + (1 − λ)a
T
y + α
= λa
T
x + λα + (1 − λ)a
T
y + (1 − λ)α
= λ(a
T
x + α) + (1 − λ)(a
T
y + α)
= λf(x) + (1 − λ)f(y).
C
(x) :=
0 x ∈ C,
+∞ x ∈ C.
δ
C
C
∀x, y ∈ C, ∀λ ∈ (0, 1) δ
C
(x) = 0 , δ
C
(y) = 0
C λx + (1 − λ)y ∈ C
δ
C
[λx + (1 −λ)y] = 0 = λδ
C
(x) + (1 − λ)δ
C
(y)
∀x ∈ C, ∀y ∈ C, ∀λ ∈ (0, 1)
δ
C
(x) = 0 , δ
C
(y) = +∞ , δ
C
[λx + (1 − λ)y] +∞
δ
C
C
∀x, y ∈ C, ∀λ ∈ (0, 1)
S
C
[λx + (1 − λ)y] = Sup
z∈C
λx + (1 − λ)y, z
= Sup
z∈C
{λx, z + (1 − λ)y, z}
Sup
z∈C
λx, z + Sup
z∈C
(1 −λ)y, z
= λ Sup
z∈C
x, z + (1 − λ) Sup
z∈C
y, z
= λS
C
(x) + (1 − λ)S
C
(y).
S
C
C
f : R
f(x) x ∈ C,
+∞ x ∈ C.
f
e
(x) = f(x) x ∈ C f
e
R
n
f
e
f f
e
f
f R
n
dom f dom f
R
n
epi f
dom f = {x|∃µ ∈ R : (x, µ) ∈ epi f}.
f : R
n
−→ R ∪ {+∞}
f R
n
f(λx) = λf(x) ∀x ∈ R
n
, ∀λ > 0.
f f(x + y) f(x) + f(y) ∀x, y
f f
k
) f(x).
f x ∈ E
x ∈ E
f E
E
f E
E
f E
E
f g R
n
g f epi g = epi f f
f epi f = epi f
f epi f = epi f
{f
α
}
α∈I
R
n
E ⊆ R
n
coE V
α∈I
f
α
(V
α∈I
f
1
, , f
m
D = ∅
k ×n b ∈ ri A(D)
x ∈ D, Ax = b, f
i
(x) < 0 i = 1, , m
t ∈ R
k
λ
i
0, i = 1, , m
m
i=1
λ
i
= 1
t, Ax − b+
m
i=1
λ
i
f
i
(x) 0 ∀x ∈ D.
f : R
n
∗
) := Sup
x∈R
n
{x
∗
, x − δ
C
(x)}
= Sup
x∈C
{x
∗
, x − δ
C
(x)}
= Sup
x∈C
{x
∗
, x − 0}
= Sup
x∈C
x
∗
, x
= S
C
(x
∗
l f R
n
l R
n
l(x) f(x) ∀x ∈ R
n
.
f : R
n
−→ R ∪{+∞}
y = 0
x
0
x
x
0
y x = x
0
+ λy λ ∈ R
ξ(λ) = f (x
0
+ λy) ξ R f R
n
f : R
n
−→ R ∪ {+∞} x
0
∈ R
n
f(x
f(x) > −∞, ∀x f
f
(0, −1) = lim
λ→0
f(0+λ(−1))−f(0)
λ
= lim
λ→0
0−1
λ
= −∞
f
(0, 0) = lim
λ→0
f(0+λ0)−f(0)
λ
= lim
λ→0
1−1
λ
= 0
f
(0, 1) = lim
λ→0
f(0+λ1)−f(0)
λ
= lim
(x, .)
f
(x, .) > −∞ f
(x, .) R
n
R
n
−f
(x, −y) f
(x, y) ∀y ∈ R
n
f
(x, .) F x ∈ ri(dom f)
F dom f
ϕ
(0; +∞)
h : R −→ R ∪ {+∞}
h(λ) = f (x + λ.y) −f (x).
h(0) = 0
0 < λ
λ f h
−∞
h(λ
) ϕ(λ)
ϕ (0; +∞)
f
(x, y) = lim
λ→0
ϕ(λ)
lim
λ→0
ϕ(λ) = inf
λ>0
ϕ(λ) = inf
λ>0
f(x + λ.y) − f(x)
λ
.
f
(x, 0) = lim
λ→0
f(x + λ0) −f (x)
λ
= 0.
t > 0
f
(x, ty) = lim
λ→0
f(x + λty) − f(x)
(u + v)] − f(x)
λ
2
= inf
λ>0
f[(
x
2
+
λ
2
u) + (
x
2
+
λ
2
v)] −
1
2
f(x) −
1
2
f(x)
λ
2
.
f −∞
f[(
x
+ inf
λ>0
f(x + λv)
λ
= f
(x, u) + f
(x, v).
f
(x, u) + f
(x, v) f
(x, .) > −∞
f
(x, .) f
(x, .)
R
n
f
(x, .) > −∞, f
(x, 0) = 0 f
(x, .) R
x ∈ ri(dom f) ∀y ∈ F , x + λ.y ∈ dom f ∀λ > 0
f
(x, y) = inf
λ>0
f(x+λ.y)−f(x)
λ
< +∞
f
(x, y) y ∈ F
x ∈ ri(dom f)
y ∈ F {λ
k
}
x + λ
k
.y ∈ dom f
f(x + λ
k
.y) − f(x) = +∞ .
f
(x, y) = +∞ x ∈ ri(dom f)
f : R
n
−→ R ∪ {+∞} x
∗
∈ R
n
= lim
x→0
x −x
∗
, x
x
= 1 = 0.
f(x) x = 0
f(x) = δ
C
(x) :=
0 x ∈ C,
+∞ x ∈ C.
C ∅
x
0
∈ C
∂f(x
0
) = ∂δ
C
(x
0
) = {x
∗
|x
∗
, x − x
0
∈ ∂f(x) f
(x, y) x
∗
, y , ∀y
f R
n
x ∈ dom(∂f)
f(x) = f(x) ∂f(x) = ∂f (x)
x
∗
∈ ∂f(x) ⇔ x
∗
, z − x + f(x) f(z) ∀z.
y z = x + λ.y, λ > 0
x
∗
, λ.y + f(x) f(x + λ.y).
x
∗
, y
f(x + λ.y) − f(x)
λ
∀λ > 0.
f
(x, y) x
∗
, y f
) = f (x).
f(x) = f(x)
y
∗
∈ ∂f(x) ∀z
y
∗
, z − x + f(x) f(z).
f(z) f(z) y
∗
, z − x + f(x) = y
∗
, z − x + f(x).
y
∗
∈ ∂f(x)
∂f(x) ⊂ ∂f(x).
z
0
∈ ri(dom f) z
f(z) = f(z) = lim
t→0
f[(1 −t).z + t.z
0
].
x
∗
∈ ∂f(x) ⇔ x
∗
, (1 − t).z + t.z
f epi f
(x, f (x))
p ∈ R
n
, t ∈ R 0
p, x + t.f(x) p, y + t.µ , ∀(y, µ) ∈ epi f.
t = 0 t = 0 p, x p, y , ∀y ∈ dom f
p, x − y 0 , ∀y ∈ dom f
x ∈ ri(dom f) p = 0
p, t t = 0
t > 0 t < 0 µ → ∞
t > 0
p
t
, x + f(x)
p
t
, y + µ ∀y ∈ dom f.