On the tangent cone of the convex hull of convex sets Ankur A. Kulkarni∗

Uday V. Shanbhag

May 14, 2010

1

The main result

Let C ⊆

Rn and z ∈ C. The tangent cone [2] of C at z is defined as  T (z; C) =

d∈

R

n

zk − z | ∃ {zk } ⊆ C, zk → z and {τk } ↓ 0, s.t. d = lim k→∞ τk



Clearly, the tangent cone is a cone. Following is an alternative characterization from [1]. T (z; C) = {d ∈

Rn | ∃{dk } → d and {τk } ↓ 0 s.t. z + τk dk ∈ C ∀k}.

We recall the following additional properties that the tangent cone possesses: 1. T (z; C) is closed for any C, z [3, 1]. 2. If C is convex, T (z; C) is convex for any z ∈ C. Indeed for convex sets, we have yet another characterization of the tangent cone, from [3]. If C is convex, T (z; C) = cl {d ∈

Rn | ∃ τ > 0

s.t. z + τ d ∈ C},

where cl A or cl (A) denotes the closure of set A. Following is our main result. Theorem 1 Let C1 , C2 be convex sets and a point z ∗ belong to the intersection of C1 and C2 . Then cl (conv {T (z ∗ ; C1 ) ∪ T (z ∗ ; C2 )}) = T (z ∗ ; conv {C1 ∪ C2 }).

(1)

Proof : “⊆” Since C1 ⊆ conv {C1 ∪ C2 } and C2 ⊆ conv {C1 ∪ C2 }, it follows that T (z ∗ ; C1 ) ∪ T (z ∗ ; C2 ) ⊆ T (z ∗ ; conv {C1 ∪ C2 }). But since T (z ∗ ; conv{C1 ∪C2 }) is closed and convex, it contains in it the closed convex hull of T (z ∗ ; C1 )∪ T (z ∗ ; C2 ). i.e. cl (conv {T (z ∗ ; C1 ) ∪ T (z ∗ ; C2 )}) ⊆ T (z ∗ ; conv {C1 ∪ C2 }). “⊇” Now let d0 belong to the set on the right. For  > 0, let d be such that kd − d0 k <  and z ∗ + τ d ∈ ∗

Department of Industrial and Enterprise Systems Engineering, UIUC

1

conv {C1 ∪ C2 } for some τ > 0. Let α ∈ [0, 1], x ∈ C1 , y ∈ C2 be such that z ∗ + τ d = αx + (1 − α)y. Consequently d = αd1 + (1 − α)d2 , where x − z∗ y − z∗ ∈ T (z ∗ ; C1 ) and d2 = ∈ T (z ∗ ; C2 ), τ τ since C1 , C2 are convex. It follows that d belongs to the set on the left, and by closedness of this set, d0 also belongs to it. d1 =

Since the convex hull of a closed cone is a convex cone, that is not necessarily closed, the cone conv {T (z ∗ ; C1 ) ∪ T (z ∗ ; C2 )} in (1) may not be closed and the “cl ()” in the left hand side of (1) is essential. Some sufficient conditions for its closedness of convex hulls of cones are the following. Lemma 2 Let K ⊆

Rn be a cone. If K is

1. closed and pointed, or 2. K is polyhedral conv K is closed. Proof : (1.) is proved in [3], page 86. For (2.), recall from [3], page 85, that conv K = K + · · · + K (n terms). If K is polyhedral, it is finitely representable. It follows that convK is also finitely representable and hence is polyhedral and thus closed. See [3], Definition 3.13, for pointed cones. As a consequence of Lemma 2, if the cone T (z ∗ ; C1 ) ∪ T (z ∗ ; C2 ) in Theorem 1 is either pointed or polyhedral, the result may be refined as conv {T (z ∗ ; C1 ) ∪ T (z ∗ ; C2 )} = T (z ∗ ; conv {C1 ∪ C2 }). Another interesting consequence of Theorem 1 is the following.

R

Corollary 3 Let C1 , C2 be convex sets in n with nonempty intersection and let z ∗ ∈ C1 ∩ C2 . For any convex neighbourhoods N , N1 , N2 of z ∗ , we have T (z ∗ ; N ∩ conv {C1 ∪ C2 }) = T (z ∗ ; conv {(N1 ∩ C1 ) ∪ (N2 ∩ C2 )}. Proof : Clearly T (z ∗ ; N ∩ conv {C1 ∪ C2 }) = T (z ∗ ; conv {C1 ∪ C2 }), so from Theorem 1, T (z ∗ ; N ∩ conv {C1 ∪ C2 }) = cl (conv {T (z ∗ ; C1 ) ∪ T (z ∗ ; C2 )}).

(2)

Similarly, T (z ∗ ; Ci ) = T (z ∗ ; Ni ∩ Ci ), i = 1, 2. Since Ni are convex, we may apply Theorem 1 to the convex sets N1 ∩ C1 and N2 ∩ C2 . This gives T (z ∗ ; conv {(N1 ∩ C1 ) ∪ (N2 ∩ C2 )}) = cl (conv {T (z ∗ ; N1 ∩ C1 ) ∪ T (z ∗ ; N2 ∩ C2 )}) = cl (conv {T (z ∗ ; C1 ) ∪ T (z ∗ ; C1 )})

(3)

Combining (2) and (3), we get the result. To see that Corollary 3 is nontrivial take N = N1 = N2 and note that while the inclusion conv {(N ∩ C1 ) ∪ (N ∩ C2 )} ⊆ N ∩ conv {C1 ∪ C2 }, holds, equality does not hold in general. Corollary 3 however ensures that the tangent cones of both sets are equal. Example : Take C1 to be a disk in 2 whose boundary passes through the origin. Take C2 to be a unit segment along the Z-axis. conv {C1 ∪ C2 } is a (solid) “tent” with base C1 and staff C2 . Take N = N1 = 3 and N2 to be a ball of radius 0.5 centered at the origin. conv {(N2 ∩ C2 ) ∪ C1 } is now a shorter tent, which does not include the “surface” of the conv {C1 ∪ C2 }. Yet, Corollary 3 shows that the tangent cone of both tents at the origin is the same. 2

R

R

2

1.1

Extension to finitely many convex sets

We now extend Theorem 1 to finitely many convex sets, i.e. we show the following. Corollary 4 Let k be an integer and C1 , C2 . . . . , Ck be convex sets with nonempty intersection. Let k \ z∗ ∈ Ci . Then i=1  n o  n o cl conv ∪ki=1 T (z ∗ ; Ci ) = T z ∗ ; conv ∪ki=1 Ci . To prove Corollary 4 we need a couple of results. Lemma 5 For any two sets A1 , A2 , 1. conv {A1 ∪ A2 } = conv {(conv A1 ) ∪ A2 }. 2. cl (conv {A1 ∪ A2 }) = cl (conv {cl (conv A1 ) ∪ A2 }) . Proof : e := (conv A1 ) ∪ A2 . conv C e is a convex set containing C, whence 1. Let C := A1 ∪ A2 and C e conv C ⊆ conv C. Furthermore, since conv A1 ⊆ conv C and and A2 ⊆ conv C, it follows that e Consequently conv C e ⊆ conv C. The result follows. conv C is a convex set containing C. 2. Recall that the closure of a convex hull of a set A is the intersection of all closed convex sets containing A. The proof of this part involves repeating precisely the same arguments as in part 1 e defined as C := A1 ∪ A2 and C e := cl (conv A1 ) ∪ A2 . with C and C We now prove Corollary 4. Proof : Corollary 4 We prove this by induction on k. The result holds vacuously for k = 1 and was shown in Theorem 1 for k = 2. Suppose the result holds for an arbitrary k. i.e. for arbitrary convex sets C1 , . . . , Ck with nonempty intersection and z ∗ ∈ ∩ki=1 Ci ,  n o  n o cl conv ∪ki=1 T (z ∗ ; Ci ) = T z ∗ ; conv ∪ki=1 Ci . (4) T T Let Ck+1 be a convex set intersecting ki=1 Ci and let z ∗ ∈ k+1 i=1 Ci . Therefore we get,  n o T z ∗ ; conv ∪k+1 = T (z ∗ ; conv {conv {∪ki=1 Ci } ∪ Ck+1 }) i=1 Ci  n o = cl conv T (z ∗ ; conv {∪ki=1 Ci }) ∪ T (z ∗ ; Ck+1 )  n  n o o = cl conv cl conv ∪ki=1 T (z ∗ ; Ci ) ∪ T (z ∗ ; Ck+1 )  n o ∗ = cl conv ∪k+1 T (z ; C ) , i i=1

(5) (6) (7) (8)

where, in (5) we have used Lemma 5, part 1 by taking A1 = ∪ki=1 Ci and A2 = Ck+1 ; in (6) we have applied Theorem 1 to the convex sets conv {∪ki=1 Ci } and Ck+1 ; in (7) we have used the induction hypothesis (4); and finally in (8) we have used Lemma 5, part 2 by taking A1 = ∪ki=1 T (z ∗ ; Ci ) and A2 = T (z ∗ ; Ck+1 ).

3

2

Extension to nonconvex sets

Notice that the “⊆” part of the proof of Theorem 1 did not require convexity of C1 , C2 . In other words one for any sets C1 , C2 and z ∗ ∈ C1 ∩ C2 one has cl (conv {T (z ∗ ; C1 ) ∪ T (z ∗ ; C2 )}) ⊆ T (z ∗ ; conv {C1 ∪ C2 }). It is not hard to imagine nonconvex sets for which equality would not hold above. Example : Consider C1 , C2 to be the boundaries of two disks in 2 intersecting each other only at the origin (= z ∗ ). So C1 , C2 are circles tangent to each other at the origin, and with their centers lying on either side of the origin. It is easy to see that T (z ∗ ; conv{C1 ∪C2 }) = 2 , since z ∗ ∈ int(conv{C1 ∪C2 }). On the other hand, T (z ∗ ; C1 ) = T (z ∗ ; C2 ) = the line tangent to C1 , C2 at the origin. 2

R R

A trivial extension to nonconvex sets is possible for sets that are “locally convex” in the following sense. Let C be nonconvex and suppose that for each point in C, there exists a neighbourhood N of the point such that N ∩ C is convex. If C1 , C2 are locally convex nonconvex sets and N is a neighbourhood such that C1 ∩ N and C2 ∩ N are convex, Theorem 1 yeilds cl (conv {T (z ∗ ; C1 ) ∪ T (z ∗ ; C2 )}) = T (z ∗ ; conv {N ∩ C1 ∪ C2 }).

References [1] J-P Aubin and H. Frankowska. Set-valued Analysis. Springer, 1990. [2] Francisco Facchinei and J-S. Pang. Finite-Dimensional Variational Inequalities and Complementarity Problems I. Springer, 1 edition, February 2003. [3] R. Tyrrell Rockafellar and Roger J.-B. Wets. Variational Analysis. Springer, August 2009.

4

On the tangent cone of the convex hull of convex sets

May 14, 2010 - 1.1 Extension to finitely many convex sets. We now extend Theorem 1 to finitely many convex sets, i.e. we show the following. Corollary 4 Let k be an integer and C1,C2....,Ck be convex sets with nonempty intersection. Let z. ∗ ∈ k. ⋂ i=1. Ci. Then cl. ( conv. {. ∪k i=1T (z∗. ;Ci). }) = T. ( z. ∗. ;conv. {. ∪k i=1Ci. }).

185KB Sizes 0 Downloads 401 Views

Recommend Documents

A Note on Separation of Convex Sets
A line L separates a set A from a collection S of plane sets if A is contained in one of ... For any non-negative real number r, we denote by B, the disk with radius r.

convex hull best one.pdf
pn. },. the convex hull of P is the smallest. convex set C such that P⊂C. p1. p2. pn. C. Examples. Two Dimensions: The convex hull of P={p1. ,...,pn. } is a set. of line segments with endpoints in P. p1. p2. pn. C. Examples. Three Dimensions: The c

A Convex Hull Approach for the Reliability-based Design Optimization ...
The proposed approach is applied to the reliability-based design of a ... design optimization, nonlinear transient dynamic problems, data mining, ..... clearer visualization of the response behavior, it is projected on the (response, length) ...

A Convex Hull Approach for the Reliability-Based ...
available Finite Element software. However, these ..... the explicit software ANSYS/LS-DYNA and the ..... Conferences – Design Automation Conference. (DAC) ...

RECTANGULAR CONVEX SETS 1. Rectangular ...
Mathematics Department, California Institute of Technology, 1200 E. California Blvd, MC 253-37, Pasadena, CA. 91125. E-mail address: [email protected].

Approachability of convex sets in generalized quitting games
Sep 29, 2016 - game theory, used for example to design strategies of the uninformed player in repeated games with ... quitting games”, a class of repeated stochastic games in which each player may have quitting actions, such ..... Similar ideas can

A Convex Hull Approach to Sparse Representations for ...
noise. A good classification model is one that best represents ...... Approximate Bayesian Compressed Sensing,” Human Language Tech- nologies, IBM, Tech.

A Convex Hull Approach to Sparse Representations for ...
1IBM T.J. Watson Research Center, Yorktown Heights, NY 10598, USA. ... data or representations derived from the training data, such as prototypes or ...

Radial Perfect Partitions of Convex Sets in the Plane
3 Department of Computer and Information Sciences, Ibaraki University, Hitachi. 316-8511, Japan. 4 Departamento de Metm aticas, Universidad Aut onoma ...

On upper bounds for high order Neumann eigenvalues of convex ...
Let Ω be a bounded convex domain in Euclidean space Rn. By considering a manifold ... where f1/(n−1) is a positive and concave function on the interval (0,1).

Computing Uniform Convex Approximations for Convex ...
piecewise degree-1 polynomial approximations fh ≥ ̂f, and derive estimates of fh − ̂f .... Next, let p, q ∈ R[y], with q > 0 on D, and let f ∈ C(D) be defined as.

CONVEX POLYGONS AND THE ISOPERIMETRIC ...
[41] and the review article by Payne [39]. For some recent results of ..... (a + b

A Course on Convex Geometry
bdA boundary of A. If f is a function on Rn with values in R or in the extended real line [−∞,∞] and ..... i = 1,...,n + 2, we consider the system of linear equations.

The Unique Minimal Dual Representation of a Convex ...
[〈x, x∗〉 − f(x)]. When f is a convex function, there is an important duality between f and f∗ ... Example 3.1 shows that if the local Lipschitz continuity assumption.

The method of reflection-projection for convex feasibility ...
Feb 22, 2002 - positive semidefinite) solution to linear constraints in Rn (resp. in Sn, the space ...... These algorithms fall into two disjoint classes: the so-called.

Convex Optimization
Mar 15, 1999 - 5.1 Unconstrained minimization and extensions . ..... It is (as the name implies) a convex cone. Example. ..... and lies in the domain of f (i.e., c. T.

Fluctuations in convex models of endogenous growth, I - University of ...
Aug 19, 2005 - d University of British Columbia .... More formally, let {et} be the entire state/date contingent plan for the ... (i.e., the entire expected discounted sum) realized from {λet,nt} is λ1−σ times the ...... To simplify notation, le

Convex Shape Decomposition
lem in shape related areas, such as computer vision, com- puter graphics and ... First, we give a mathematical definition of the decompo- sition. Definition 1.

On the ground state eigenfunction of a convex domain ...
Let φ1 be the eigenfunction for the first eigenvalue λ1 of the above eigenvalue problem. We investigate whether ||φ1||∞ is bounded above by a constant multiple ...

EN.550.665: Convex Optimization - MOBILPASAR.COM
You should start with the file ReadMe and then proceed to understand the file demo.m. Specifically, you should solve the following optimization problem: minimize θ∈Rn f(θ) := L(θ) + λθ1. (1) for some choice of weighting parameter λ > 0. The f

Geometry of the tangent bundle and the tangent ...
SASAKI METRIC. On the other hand, since (expx ◦R−u)∗u : TuTxM −→ TxM is isomorphism, dim ImK(x,u) = n. Now, we need only to show V(x,u) ∩ H(x,u) = {0}.

Convex Set-Based Estimation of Image Flows
spaces are defined in terms of cell centers C(i+1/2,j+1/2) between four nodes (i, j), ... Finally, the feasible set due to the data constraint (2) is: C0 = {u ∈ HS : 〈w, ...

Computing Nice Projections of Convex Polyhedra
the size of the “view cone” of V and can be as small as or less than |V|. Over all possible views of P, our algorithms take a total of O(n2 log n) time, where n.