MATH 4010 Tutorial 4
MATH 4010 Tutorial 4
x
%
↑
+
X ,
y (D =
the segment connecting non-convex
x ,
y c D
Definition (Minkowski functional)
Let X be a normed space and DCX a convex subset.
[0 0)
,
by
M(x) =
inf 9t >0 : xetD) .
.,
for
any x+X ,
Eto such
that xetD .
This is due to otD" .
If : Since OED" I So such that Byl) CD.
,
Thus
Bygrol = Bglo) CtD
.
Hence ,
x & B+glo) CtD
.
(ii) If ofDo ,
Sto XetD) :
may
be empty.
X
tD is
always on the upper half
plane
D the tower half plane
=> A
point on
Proof : (i) M is
positive homogeneous .
=
it \t0 : xt *P)
=
Gm[0 xEED) :
=
[M(X)
(ii)
M is sub-additive.
Pick X,
yeX. Fix 30 .
any
By definition ,
there exists s< Mexits and sys +
that and
such XtSD yes D .
,
i .
e
., ED and EED.
We want to find telo , 1) such that
+ + (1 - t) =
G(x + y) ,
i . e
., -=
Take t= Since
. D is convex
and ED ,
then t + 11-ttD ,
i . e
., ED .
This is
equivalent to X+
ye(sitS2)D.
By definition,
m (x
+
y) =
mf( + > 0 : x+
y + +D)
- S, +Sz
<
M(x) + 3 +M(y) + E
=
M(x) +M(y) + 23 .
Letting +o
gives M(x + y) [ M(X) + M(y) .