Lecture 5: September 10 5.1 Convex Sets

Total Page:16

File Type:pdf, Size:1020Kb

Lecture 5: September 10 5.1 Convex Sets 10-725: Optimization Fall 2013 Lecture 5: September 10 Lecturer: Geoff Gordon/Ryan Tibshirani Scribes: Jun Ma Note: LaTeX template courtesy of UC Berkeley EECS dept. Disclaimer: These notes have not been subjected to the usual scrutiny reserved for formal publications. They may be distributed outside this class only with the permission of the Instructor. This lecture's notes illustrate some uses of various LATEX macros. Take a look at this and imitate. 5.1 Convex Sets 5.1.1 Closed and open sets Let C Rn. ⊆ Definition 5.1 The affine hull of C is the smallest affine set that contains C. Pk Pk aff(C) = θixi xi C; θi = 1; θi R . f i=1 j 2 i=1 2 g An example of an affine set is the solution set of a system of linear equations, C = x Ax = b ;A m×n n f j g 2 R ;B R . If x1; x2 C, θ R, then A(θx1 + (1 θ)x2) = θAx1 + (1 θ)Ax2 = θb + (1 θ)b = b. 2 2 2 − − − Let x be some point in Rn, and B(x; ) be a ball of radius centered at x. Then Definition 5.2 x is on the boundary of C, @C, if for all > 0, B(x; ) C = and B(x; ) Cc = . \ 6 ; \ 6 ; Definition 5.3 x is in the interior of C, int C, if > 0 : B(x; ) C. 9 ⊂ Definition 5.4 x is in the relative interior of C, rel int C, if > 0 : B(x; ) aff(C) C. 9 \ ⊆ Definition 5.5 The closure of C, cl C = C @C. [ Definition 5.6 The relative boundary of C, rel @C = cl C rel int C. n Definition 5.7 C is closed if @C C, open if @C C = , and compact iff it is closed and bounded in Rn. ⊂ \ ; 5-1 5-2 Lecture 5: September 10 5.1.2 Convex sets and examples Figure 5.1: Example of a convex set (left) and a non-convex set (right). Definition 5.8 A set C Rn is convex iff the line segment between any two points in C is completely contained in C. ⊆ C is convex x1; x2 C; θ [0; 1]; θx1 + (1 θ)x2 C. () 8 2 8 2 − 2 This definition of convexity holds for any number of points in C, even infinite countable sums: C is convex P1 P1 xi C; θi 0; i = 1; 2;:::; ; i=1 θi = 1, the convex combination i=1 θixi C, if the series converges.() 8 2 ≥ 1 2 In general, C is convex iff for any random variable X over C, P (X C) = 1, its expectation is also in C: R 2 E(X) = xP (x)dx C, if the integral exists. C 2 Definition 5.9 C is strictly convex x1 = x2 C; θ (0; 1); θx1 + (1 θ)x2 int C. () 8 6 2 8 2 − 2 Intuitively, C is a strictly convex set iff a line segment between two points on the boundary, x1 and x2, intersects the boundary only at x1 and x2. 1 p=∞ p=2 0.5 p=1 p=0.5 0 −0.5 −1 −1 −0.5 0 0.5 1 Figure 5.1: Lp norm balls are convex sets for p 1, and non-convex for p < 1. ≥ Lecture 5: September 10 5-3 Some examples of convex sets: n The empty set , the singleton set x0 , and the complete space R . • ; f g n n n Lines x R x = θx1 + (1 θx2); x1; x2 R ; θ R , and line segments x R x = θx1 + (1 • f 2 j n − 2 2 g f 2 j − θx2); x1; x2 R ; θ [0; 1] 2 2 g Hyperplanes x Rn aT x = b; a Rn; b R , and halfspaces x Rn aT x b; a Rn; b R • f 2 j 2 2 g f 2 j ≤ 2 2 g n Euclidean balls B(x0; r) = x R x0 x 2 r • f 2 jk − k ≤ g 1 n Pn p p Lp balls, p 1. x R x0 x p r , where x p = ( i=1 xi ) . Lp balls for p (0; 1) are not • convex. ≥ f 2 jk − k ≤ g k k j j 2 n T Polyhedron: the solution set of a finite number of linear equalities and inequalities. P = x R aj x • T f 2 j ≤ bj; j = 1; : : : ; m; c x = di; i = 1; : : : ; p , or P = x Ax b; Cx = d i g f j ≤ g Polytope (bounded polyhedron), intersection of halfspaces and hyperplanes. • 5.1.3 Convex and conic hulls Pk Pk Definition 5.10 The convex hull of a set C, conv[C] = θixi xi C; θi 0 i = 1; : : : ; k; θi = f i=1 j 2 ≥ 8 i=1 1; k Z+ . 2 g Properties of convex hull: conv[C] is the smallest convex set that contains C. • conv[C] is convex. • C conv[C] • ⊆ C; C0 convex sets, C C0 = conv[C] C0 • 8 ⊂ ) ⊆ Definition 5.11 C is a cone x C; θ 0 = θx C. A convex cone is a cone which is also a convex set. () 2 ≥ ) 2 Definition 5.12 The conic hull of a set C, cone[C] = x x = θ1x1 + ::: + θkxk; θi 0; xi C f j ≥ 2 g n n×n An example of a convex cone is the set of symmetric PSD matrices, + = A R A 0 . If A; B n ; θ 0, then xT (θA + (1 θ)B)x = θxT Ax + (1 θ)xT Bx 0: S f 2 j g 2 S+ ≥ − − ≥ 5-4 Lecture 5: September 10 5.1.4 Convex set representations Figure 5.1: Representation of a convex set as the convex hull of a set of points (left), and as the intersection of a possibly infinite number of halfspaces (right). 5.1.4.1 Convex hull representation Let C Rn be a closed convex set. Then C can be written as conv(X), the convex hull of possibly infinitely many points⊆ ( X = ). Also, any closed convex set is the convex hull of itself. j j 1 5.1.4.2 Dual representation with halfspaces n T Let C R be a closed convex set. Then C can be written as i x ai x + bi 0 , the intersection of possibly⊆ infinitely many closed halfspaces. Also, every closed convex[ f setj is the intersection≤ g of all halfspaces that contain it. 5.1.5 Covexity preserving operations Let C Rn be a convex set. Then, the following operations preserve convexity: 2 Translation C + b • Scaling αC • Intersection If D is a convex set, then C D is convex. In general, if Sα is a convex set α A, then • \ 8 2 α2 Sα is convex. \ A Affine function Let A Rm×n, and b Rn. Then AC + b = Ax + b x C Rm is convex. • 2 2 f j 2 g ⊆ n m Set Sum Let C1 R and C2 R be convex sets. Then C1 + C2 = x1 + x2 x1 C1; x2 C2 is • convex. ⊆ ⊆ f j 2 2 g n+m Direct Sum C1 C2 = (x1; x2) R ; x1 C1; x2 C2 • × f 2 2 2 g n Perspective projection(pinhole camera) If C R R++ is a convex set, then P (C) is also convex, • where ⊂ × n P (x) = P (x1; x2; : : : ; xn; t) = (x1=t; x2=t; : : : ; xn=t) R 2 Ax+b m×n m n T Linear fractional function Let f(x) = T ;A R ; b R ; c R ; d R; dom f = x c x + • c x+d 2 2 2 2 f j d > 0 . Then f(C) Rm is convex. g 2 An operation which does not preserve convexity is set union. Lecture 5: September 10 5-5 5.1.6 Separating hyperplane theorem Figure 5.1: The hyperplane x aT x = b separates the disjoint convex sets C and D f j g Theorem 5.13 For convex sets C; D Rn;C D = ; a Rn; b R, such that x C; aT x b; y D; aT y b. ⊆ \ ; 9 2 2 8 2 ≤ 8 2 ≥ Let C1 and C2 be two convex sets. Then T T Definition 5.14 C1 and C2 are strongly separated if a [C1 + B(0; )] > b and a [C2 + B(0; )] < b. T Definition 5.15 C1 and C2 are properly separated if it is not the case that both C1 x : a = b and T ⊆ f g C2 x : a x = b ⊆ f g T T Definition 5.16 C1 and C2 are strictly separated if a x > b x C1 and a x < b x C2. 8 2 8 2 n Theorem 5.17 If C1;C2 are non-empty convex sets in R , with cl C1 cl C2 = , and either C1 or C2 \ ; bounded, there exists a hyperplane separating C1 and C2 strongly. 1 Consider x = (x1; x2) R++ R. An example where strong separation fails is when C1 = x x2 , 2 × f j ≥ x1 g C2 = x x2 0 . Here, x2 = 0 separates C1 and C2, but does not strongly separate them, since neither of the setsf j are≤ bounded.g n Theorem 5.18 If C1;C2 are non-empty convex sets in R , there exists a hyperplane separating C1 and C2 strongly infx 2C ;x 2C x1 x2 > 0 dist(C1;C2) > 0 0 cl (C1 C2). () 1 1 2 2 fj − jg () () 2 − 5-6 Lecture 5: September 10 5.1.7 Supporting hyperplane theorem T T Figure 5.1: The hyperplane x a x = a x0 supports C at x0/ f j g Theorem 5.19 For any convex set C and any boundary point x0, there exists a supporting hyperplane for C T T T T at x0.
Recommended publications
  • Computational Geometry – Problem Session Convex Hull & Line Segment Intersection
    Computational Geometry { Problem Session Convex Hull & Line Segment Intersection LEHRSTUHL FUR¨ ALGORITHMIK · INSTITUT FUR¨ THEORETISCHE INFORMATIK · FAKULTAT¨ FUR¨ INFORMATIK Guido Bruckner¨ 04.05.2018 Guido Bruckner¨ · Computational Geometry { Problem Session Modus Operandi To register for the oral exam we expect you to present an original solution for at least one problem in the exercise session. • this is about working together • don't worry if your idea doesn't work! Guido Bruckner¨ · Computational Geometry { Problem Session Outline Convex Hull Line Segment Intersection Guido Bruckner¨ · Computational Geometry { Problem Session Definition of Convex Hull Def: A region S ⊆ R2 is called convex, when for two points p; q 2 S then line pq 2 S. The convex hull CH(S) of S is the smallest convex region containing S. Guido Bruckner¨ · Computational Geometry { Problem Session Definition of Convex Hull Def: A region S ⊆ R2 is called convex, when for two points p; q 2 S then line pq 2 S. The convex hull CH(S) of S is the smallest convex region containing S. Guido Bruckner¨ · Computational Geometry { Problem Session Definition of Convex Hull Def: A region S ⊆ R2 is called convex, when for two points p; q 2 S then line pq 2 S. The convex hull CH(S) of S is the smallest convex region containing S. In physics: Guido Bruckner¨ · Computational Geometry { Problem Session Definition of Convex Hull Def: A region S ⊆ R2 is called convex, when for two points p; q 2 S then line pq 2 S. The convex hull CH(S) of S is the smallest convex region containing S.
    [Show full text]
  • On Quasi Norm Attaining Operators Between Banach Spaces
    ON QUASI NORM ATTAINING OPERATORS BETWEEN BANACH SPACES GEUNSU CHOI, YUN SUNG CHOI, MINGU JUNG, AND MIGUEL MART´IN Abstract. We provide a characterization of the Radon-Nikod´ymproperty in terms of the denseness of bounded linear operators which attain their norm in a weak sense, which complement the one given by Bourgain and Huff in the 1970's. To this end, we introduce the following notion: an operator T : X ÝÑ Y between the Banach spaces X and Y is quasi norm attaining if there is a sequence pxnq of norm one elements in X such that pT xnq converges to some u P Y with }u}“}T }. Norm attaining operators in the usual (or strong) sense (i.e. operators for which there is a point in the unit ball where the norm of its image equals the norm of the operator) and also compact operators satisfy this definition. We prove that strong Radon-Nikod´ymoperators can be approximated by quasi norm attaining operators, a result which does not hold for norm attaining operators in the strong sense. This shows that this new notion of quasi norm attainment allows to characterize the Radon-Nikod´ymproperty in terms of denseness of quasi norm attaining operators for both domain and range spaces, completing thus a characterization by Bourgain and Huff in terms of norm attaining operators which is only valid for domain spaces and it is actually false for range spaces (due to a celebrated example by Gowers of 1990). A number of other related results are also included in the paper: we give some positive results on the denseness of norm attaining Lipschitz maps, norm attaining multilinear maps and norm attaining polynomials, characterize both finite dimensionality and reflexivity in terms of quasi norm attaining operators, discuss conditions to obtain that quasi norm attaining operators are actually norm attaining, study the relationship with the norm attainment of the adjoint operator and, finally, present some stability results.
    [Show full text]
  • POLARS and DUAL CONES 1. Convex Sets
    POLARS AND DUAL CONES VERA ROSHCHINA Abstract. The goal of this note is to remind the basic definitions of convex sets and their polars. For more details see the classic references [1, 2] and [3] for polytopes. 1. Convex sets and convex hulls A convex set has no indentations, i.e. it contains all line segments connecting points of this set. Definition 1 (Convex set). A set C ⊆ Rn is called convex if for any x; y 2 C the point λx+(1−λ)y also belongs to C for any λ 2 [0; 1]. The sets shown in Fig. 1 are convex: the first set has a smooth boundary, the second set is a Figure 1. Convex sets convex polygon. Singletons and lines are also convex sets, and linear subspaces are convex. Some nonconvex sets are shown in Fig. 2. Figure 2. Nonconvex sets A line segment connecting two points x; y 2 Rn is denoted by [x; y], so we have [x; y] = f(1 − α)x + αy; α 2 [0; 1]g: Likewise, we can consider open line segments (x; y) = f(1 − α)x + αy; α 2 (0; 1)g: and half open segments such as [x; y) and (x; y]. Clearly any line segment is a convex set. The notion of a line segment connecting two points can be generalised to an arbitrary finite set n n by means of a convex combination. Given a finite set fx1; x2; : : : ; xpg ⊂ R , a point x 2 R is the convex combination of x1; x2; : : : ; xp if it can be represented as p p X X x = αixi; αi ≥ 0 8i = 1; : : : ; p; αi = 1: i=1 i=1 Given an arbitrary set S ⊆ Rn, we can consider all possible finite convex combinations of points from this set.
    [Show full text]
  • On the Ekeland Variational Principle with Applications and Detours
    Lectures on The Ekeland Variational Principle with Applications and Detours By D. G. De Figueiredo Tata Institute of Fundamental Research, Bombay 1989 Author D. G. De Figueiredo Departmento de Mathematica Universidade de Brasilia 70.910 – Brasilia-DF BRAZIL c Tata Institute of Fundamental Research, 1989 ISBN 3-540- 51179-2-Springer-Verlag, Berlin, Heidelberg. New York. Tokyo ISBN 0-387- 51179-2-Springer-Verlag, New York. Heidelberg. Berlin. Tokyo No part of this book may be reproduced in any form by print, microfilm or any other means with- out written permission from the Tata Institute of Fundamental Research, Colaba, Bombay 400 005 Printed by INSDOC Regional Centre, Indian Institute of Science Campus, Bangalore 560012 and published by H. Goetze, Springer-Verlag, Heidelberg, West Germany PRINTED IN INDIA Preface Since its appearance in 1972 the variational principle of Ekeland has found many applications in different fields in Analysis. The best refer- ences for those are by Ekeland himself: his survey article [23] and his book with J.-P. Aubin [2]. Not all material presented here appears in those places. Some are scattered around and there lies my motivation in writing these notes. Since they are intended to students I included a lot of related material. Those are the detours. A chapter on Nemyt- skii mappings may sound strange. However I believe it is useful, since their properties so often used are seldom proved. We always say to the students: go and look in Krasnoselskii or Vainberg! I think some of the proofs presented here are more straightforward. There are two chapters on applications to PDE.
    [Show full text]
  • The Ekeland Variational Principle, the Bishop-Phelps Theorem, and The
    The Ekeland Variational Principle, the Bishop-Phelps Theorem, and the Brøndsted-Rockafellar Theorem Our aim is to prove the Ekeland Variational Principle which is an abstract result that found numerous applications in various fields of Mathematics. As its application to Convex Analysis, we provide a proof of the famous Bishop- Phelps Theorem and some related results. Let us recall that the epigraph and the hypograph of a function f : X ! [−∞; +1] (where X is a set) are the following subsets of X × R: epi f = f(x; t) 2 X × R : t ≥ f(x)g ; hyp f = f(x; t) 2 X × R : t ≤ f(x)g : Notice that, if f > −∞ on X then epi f 6= ; if and only if f is proper, that is, f is finite at at least one point. 0.1. The Ekeland Variational Principle. In what follows, (X; d) is a metric space. Given λ > 0 and (x; t) 2 X × R, we define the set Kλ(x; t) = f(y; s): s ≤ t − λd(x; y)g = f(y; s): λd(x; y) ≤ t − sg ⊂ X × R: Notice that Kλ(x; t) = hyp[t − λ(x; ·)]. Let us state some useful properties of these sets. Lemma 0.1. (a) Kλ(x; t) is closed and contains (x; t). (b) If (¯x; t¯) 2 Kλ(x; t) then Kλ(¯x; t¯) ⊂ Kλ(x; t). (c) If (xn; tn) ! (x; t) and (xn+1; tn+1) 2 Kλ(xn; tn) (n 2 N), then \ Kλ(x; t) = Kλ(xn; tn) : n2N Proof. (a) is quite easy.
    [Show full text]
  • 15 BASIC PROPERTIES of CONVEX POLYTOPES Martin Henk, J¨Urgenrichter-Gebert, and G¨Unterm
    15 BASIC PROPERTIES OF CONVEX POLYTOPES Martin Henk, J¨urgenRichter-Gebert, and G¨unterM. Ziegler INTRODUCTION Convex polytopes are fundamental geometric objects that have been investigated since antiquity. The beauty of their theory is nowadays complemented by their im- portance for many other mathematical subjects, ranging from integration theory, algebraic topology, and algebraic geometry to linear and combinatorial optimiza- tion. In this chapter we try to give a short introduction, provide a sketch of \what polytopes look like" and \how they behave," with many explicit examples, and briefly state some main results (where further details are given in subsequent chap- ters of this Handbook). We concentrate on two main topics: • Combinatorial properties: faces (vertices, edges, . , facets) of polytopes and their relations, with special treatments of the classes of low-dimensional poly- topes and of polytopes \with few vertices;" • Geometric properties: volume and surface area, mixed volumes, and quer- massintegrals, including explicit formulas for the cases of the regular simplices, cubes, and cross-polytopes. We refer to Gr¨unbaum [Gr¨u67]for a comprehensive view of polytope theory, and to Ziegler [Zie95] respectively to Gruber [Gru07] and Schneider [Sch14] for detailed treatments of the combinatorial and of the convex geometric aspects of polytope theory. 15.1 COMBINATORIAL STRUCTURE GLOSSARY d V-polytope: The convex hull of a finite set X = fx1; : : : ; xng of points in R , n n X i X P = conv(X) := λix λ1; : : : ; λn ≥ 0; λi = 1 : i=1 i=1 H-polytope: The solution set of a finite system of linear inequalities, d T P = P (A; b) := x 2 R j ai x ≤ bi for 1 ≤ i ≤ m ; with the extra condition that the set of solutions is bounded, that is, such that m×d there is a constant N such that jjxjj ≤ N holds for all x 2 P .
    [Show full text]
  • Chapter 5 Convex Optimization in Function Space 5.1 Foundations of Convex Analysis
    Chapter 5 Convex Optimization in Function Space 5.1 Foundations of Convex Analysis Let V be a vector space over lR and k ¢ k : V ! lR be a norm on V . We recall that (V; k ¢ k) is called a Banach space, if it is complete, i.e., if any Cauchy sequence fvkglN of elements vk 2 V; k 2 lN; converges to an element v 2 V (kvk ¡ vk ! 0 as k ! 1). Examples: Let ­ be a domain in lRd; d 2 lN. Then, the space C(­) of continuous functions on ­ is a Banach space with the norm kukC(­) := sup ju(x)j : x2­ The spaces Lp(­); 1 · p < 1; of (in the Lebesgue sense) p-integrable functions are Banach spaces with the norms Z ³ ´1=p p kukLp(­) := ju(x)j dx : ­ The space L1(­) of essentially bounded functions on ­ is a Banach space with the norm kukL1(­) := ess sup ju(x)j : x2­ The (topologically and algebraically) dual space V ¤ is the space of all bounded linear functionals ¹ : V ! lR. Given ¹ 2 V ¤, for ¹(v) we often write h¹; vi with h¢; ¢i denoting the dual product between V ¤ and V . We note that V ¤ is a Banach space equipped with the norm j h¹; vi j k¹k := sup : v2V nf0g kvk Examples: The dual of C(­) is the space M(­) of Radon measures ¹ with Z h¹; vi := v d¹ ; v 2 C(­) : ­ The dual of L1(­) is the space L1(­). The dual of Lp(­); 1 < p < 1; is the space Lq(­) with q being conjugate to p, i.e., 1=p + 1=q = 1.
    [Show full text]
  • Non-Linear Inner Structure of Topological Vector Spaces
    mathematics Article Non-Linear Inner Structure of Topological Vector Spaces Francisco Javier García-Pacheco 1,*,† , Soledad Moreno-Pulido 1,† , Enrique Naranjo-Guerra 1,† and Alberto Sánchez-Alzola 2,† 1 Department of Mathematics, College of Engineering, University of Cadiz, 11519 Puerto Real, CA, Spain; [email protected] (S.M.-P.); [email protected] (E.N.-G.) 2 Department of Statistics and Operation Research, College of Engineering, University of Cadiz, 11519 Puerto Real (CA), Spain; [email protected] * Correspondence: [email protected] † These authors contributed equally to this work. Abstract: Inner structure appeared in the literature of topological vector spaces as a tool to charac- terize the extremal structure of convex sets. For instance, in recent years, inner structure has been used to provide a solution to The Faceless Problem and to characterize the finest locally convex vector topology on a real vector space. This manuscript goes one step further by settling the bases for studying the inner structure of non-convex sets. In first place, we observe that the well behaviour of the extremal structure of convex sets with respect to the inner structure does not transport to non-convex sets in the following sense: it has been already proved that if a face of a convex set intersects the inner points, then the face is the whole convex set; however, in the non-convex setting, we find an example of a non-convex set with a proper extremal subset that intersects the inner points. On the opposite, we prove that if a extremal subset of a non-necessarily convex set intersects the affine internal points, then the extremal subset coincides with the whole set.
    [Show full text]
  • Convex Sets and Convex Functions 1 Convex Sets
    Convex Sets and Convex Functions 1 Convex Sets, In this section, we introduce one of the most important ideas in economic modelling, in the theory of optimization and, indeed in much of modern analysis and computatyional mathematics: that of a convex set. Almost every situation we will meet will depend on this geometric idea. As an independent idea, the notion of convexity appeared at the end of the 19th century, particularly in the works of Minkowski who is supposed to have said: \Everything that is convex interests me." We discuss other ideas which stem from the basic definition, and in particular, the notion of a convex and concave functions which which are so prevalent in economic models. The geometric definition, as we will see, makes sense in any vector space. Since, for the most of our work we deal only with Rn, the definitions will be stated in that context. The interested student may, however, reformulate the definitions either, in an ab stract setting or in some concrete vector space as, for example, C([0; 1]; R)1. Intuitively if we think of R2 or R3, a convex set of vectors is a set that contains all the points of any line segment joining two points of the set (see the next figure). Here is the definition. Definition 1.1 Let u; v 2 V . Then the set of all convex combinations of u and v is the set of points fwλ 2 V : wλ = (1 − λ)u + λv; 0 ≤ λ ≤ 1g: (1.1) In, say, R2 or R3, this set is exactly the line segment joining the two points u and v.
    [Show full text]
  • The Krein–Milman Theorem a Project in Functional Analysis
    The Krein{Milman Theorem A Project in Functional Analysis Samuel Pettersson November 29, 2016 2. Extreme points 3. The Krein{Milman theorem 4. An application Outline 1. An informal example 3. The Krein{Milman theorem 4. An application Outline 1. An informal example 2. Extreme points 4. An application Outline 1. An informal example 2. Extreme points 3. The Krein{Milman theorem Outline 1. An informal example 2. Extreme points 3. The Krein{Milman theorem 4. An application Outline 1. An informal example 2. Extreme points 3. The Krein{Milman theorem 4. An application Convex sets and their \corners" Observation Some convex sets are the convex hulls of their \corners". Convex sets and their \corners" Observation Some convex sets are the convex hulls of their \corners". kxk1≤ 1 Convex sets and their \corners" Observation Some convex sets are the convex hulls of their \corners". kxk1≤ 1 Convex sets and their \corners" Observation Some convex sets are the convex hulls of their \corners". kxk1≤ 1 kxk2≤ 1 Convex sets and their \corners" Observation Some convex sets are the convex hulls of their \corners". kxk1≤ 1 kxk2≤ 1 Convex sets and their \corners" Observation Some convex sets are the convex hulls of their \corners". kxk1≤ 1 kxk2≤ 1 kxk1≤ 1 Convex sets and their \corners" Observation Some convex sets are the convex hulls of their \corners". kxk1≤ 1 kxk2≤ 1 kxk1≤ 1 x1; x2 ≥ 0 Convex sets and their \corners" Observation Some convex sets are not the convex hulls of their \corners". Convex sets and their \corners" Observation Some convex sets are not the convex hulls of their \corners".
    [Show full text]
  • On the Variational Principle
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 47, 324-353 (1974) On the Variational Principle I. EKELAND UER Mathe’matiques de la DC&ion, Waiver& Paris IX, 75775 Paris 16, France Submitted by J. L. Lions The variational principle states that if a differentiable functional F attains its minimum at some point zi, then F’(C) = 0; it has proved a valuable tool for studying partial differential equations. This paper shows that if a differentiable function F has a finite lower bound (although it need not attain it), then, for every E > 0, there exists some point u( where 11F’(uJj* < l , i.e., its derivative can be made arbitrarily small. Applications are given to Plateau’s problem, to partial differential equations, to nonlinear eigenvalues, to geodesics on infi- nite-dimensional manifolds, and to control theory. 1. A GENERAL RFNJLT Let V be a complete metric space, the distance of two points u, z, E V being denoted by d(u, v). Let F: I’ -+ 08u {+ co} be a lower semicontinuous function, not identically + 00. In other words, + oo is allowed as a value for F, but at some point w,, , F(Q) is finite. Suppose now F is bounded from below: infF > --co. (l-1) As no compacity assumptions are made, there need be no point where this infimum is attained. But of course, for every E > 0, there is some point u E V such that: infF <F(u) < infF + E.
    [Show full text]
  • Convexity in Oriented Matroids
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF COMBINATORIAL THEORY, Series B 29, 231-243 (1980) Convexity in Oriented Matroids MICHEL LAS VERGNAS C.N.R.S., Universite’ Pierre et Marie Curie, U.E.R. 48, 4 place Jussieu, 75005 Paris, France Communicated by the Editors Received June 11, 1974 We generalize to oriented matroids classical notions of Convexity Theory: faces of convex polytopes, convex hull, etc., and prove some basic properties. We relate the number of acyclic orientations of an orientable matroid to an evaluation of its Tutte polynomial. The structure of oriented matroids (oriented combinatorial geometries) [ 1 ] retains many properties of vector spaces over ordered fields. In the present paper we consider classical notions such as those of faces of convex polytopes, convex hull, etc., and show that usual definitions can be extended to finite oriented matroids in a natural way. We prove some basic properties: lattice structure with chain property of the set of faces of an acyclic oriented matroid, lower bounds for the numbers of vertices and facets and charac- terization of extremal cases, analogues of the Krein-Milman Theorem. In Section 3 we relate the number of acyclic orientations of an orientable matroid A4 to the evaluation t(M; 2,0) of its Tutte polynomial. The present paper is a sequel to [ 11. Its content constituted originally Sections 6, 7 and 8 of “MatroYdes orientables” (preprint, April 1974) [8]. Basic notions on oriented matroids are given in [ 11. For completeness we recall the main definitions [ 1, Theorems 2.1 and 2.21: All considered matroids are on finite sets.
    [Show full text]