Handbook of Generalized Convexity and Generalized Monotonicity Nonconvex Optimization and Its Applications Volume 76

Total Page:16

File Type:pdf, Size:1020Kb

Handbook of Generalized Convexity and Generalized Monotonicity Nonconvex Optimization and Its Applications Volume 76 Handbook of Generalized Convexity and Generalized Monotonicity Nonconvex Optimization and Its Applications Volume 76 Managing Editor: Panos Pardalos University of Florida, U.S.A. Advisory Board: J. R. Birge University of Michigan, U.S.A. Ding-Zhu Du University of Minnesota, U.S.A. C. A. Floudas Princeton University, U.S.A. J. Mockus Lithuanian Academy of Sciences, Lithuania H. D. Sherali Virginia Polytechnic Institute and State University, U.S.A. G. Stavroulakis Technical University Braunschweig, Germany H. Tuy National Centre for Natural Science and Technology, Vietnam Handbook of Generalized Convexity and Generalized Monotonicity Edited by NICOLAS HADJISAVVAS University of Aegean SÁNDOR KOMLÓSI University of Pécs SIEGFRIED SCHAIBLE University of California at Riverside Springer eBook ISBN: 0-387-23393-8 Print ISBN: 0-387-23255-9 ©2005 Springer Science + Business Media, Inc. Print ©2005 Springer Science + Business Media, Inc. Boston All rights reserved No part of this eBook may be reproduced or transmitted in any form or by any means, electronic, mechanical, recording, or otherwise, without written consent from the Publisher Created in the United States of America Visit Springer's eBookstore at: http://ebooks.kluweronline.com and the Springer Global Website Online at: http://www.springeronline.com Contents Preface vii Contributing Authors xvii Part I GENERALIZED CONVEXITY 1 Introduction to Convex and Quasiconvex Analysis 3 Johannes B. G. Frenk, Gábor Kassay 2 Criteria for Generalized Convexity and Generalized Monotonicity 89 in the Differentiable Case Jean-Pierre Crouzeix 3 Continuity and Differentiability of Quasiconvex Functions 121 Jean-Pierre Crouzeix 4 Generalized Convexity and Optimality Conditions in Scalar and 151 Vector Optimization Alberto Cambini and Laura Martein 5 Generalized Convexity in Vector Optimization 195 Dinh The Luc 6 Generalized Convex Duality and Its Economic Applications 237 Juan Enrique Martinez-Legaz 7 Abstract Convexity 293 Alexander Rubinov, Joy deep Dutta vi GENERALIZED CONVEXITY AND MONOTONICITY 8 Fractional Programming 335 Johannes B. G. Frenk, Siegfried Schaible Part II GENERALIZED MONOTONICITY 9 Generalized Monotone Maps 389 Nicolas Hadjisavvas, Siegfried Schaible 10 Generalized Convexity and Generalized Derivatives 421 Sándor Komlósi 11 Generalized Convexity, Generalized Monotonicity and Nonsmooth 465 Analysis Nicolas Hadjisavvas 12 Pseudomonotone Complementarity Problems and Variational Inequalities 501 Jen-Chih Yao, Ouayl Chadli 13 Generalized Monotone Equilibrium Problems and Variational Inequalities 559 Igor Konnov 14 Uses of Generalized Convexity and Generalized Monotonicity in 619 Economics Reinhard John Index 667 Preface Convexity of functions plays a central role in many branches of ap- plied mathematics. One of the reasons is that it is very well fitted to extremum problems. For instance, some necessary conditions for the existence of a minimum become also sufficient in the presence of con- vexity. However, by far not all real-life problems can be described by a convex mathematical model. In many cases, nonconvex functions pro- vide a much more accurate representation of reality. It turns out that often these functions, in spite of being nonconvex, retain some of the nice properties and characteristics of convex functions. For instance, their presence may ensure that necessary conditions for a minimum are also sufficient or that a local minimum is also a global one. This led to the introduction of several generalizations of the classical concept of a convex function. It happened in various fields such as economics, en- gineering, management science, probability theory and various applied sciences for example, mostly during the second half of the last (20th) century. For instance, a well-known and useful property of a convex function is that its sublevel sets are convex. Many simple nonconvex functions also have this property. If we consider the class of all functions whose sublevel sets are convex, we obtain what is called the class of quasiconvex functions. It is much larger than the class of convex functions. The introduction of quasiconvex functions is usually attributed to de Finetti, in 1949. However quasiconvexity played already a crucial role in the 1928 minimax theorem of John von Neumann where it was introduced as a technical hypothesis, not as a new type of a function1. Many other classes of generalized convex functions have been intro- duced since then. In recent years, besides real-valued generalized convex functions, also vector-valued as well as multi-valued generalized convex 1See A. Guerraggio and E. Molho, “The origins of quasi-concavity: a development between mathematics and economics”, Historia Mathematica 31, 2004, 62–75. viii GENERALIZED CONVEXITY AND MONOTONICITY functions have been investigated intensively. During the last forty years, a significant increase of research activities in this field has been wit- nessed. A well-known feature of convexity is that it is closely related to mono- tonicity: a differentiable function is convex if and only if its gradient is a monotone map. This can be extended to nondifferentiable functions as well, through the use of generalized derivatives, subdifferentials and multi-valued maps. Similar connections were discovered between gen- eralized convex functions and certain classes of maps, generically called generalized monotone. For instance, a differentiable function is quasi- convex if and only if its gradient has a property that, quite naturally, was called quasimonotonicity. Generalized monotone maps are not new in the literature. It is very interesting to observe that the first appearance of generalized monotonic- ity (well before the birth of this terminology) dates back to 1936. Even more remarkable, it occurred independently and almost at the same time in two seminal articles: the one, by Georgescu-Roegen (1936), dealt with the concept of a local preference in consumer theory of economics, and the other one, by Wald (1936), contained the first rigorous proof of the existence of a competitive general equilibrium. It is also remarkable that various axioms on revealed preferences in consumer theory are in fact generalized monotonicity conditions. The recognition of close links between the already well established field of generalized convexity and the relatively undeveloped field of general- ized monotonicity gave a boost to both and led to a major increase of research activities. Today generalized monotonicity is frequently used in complementarity problems, variational inequalities and equilibrium problems. The first volume devoted exclusively to generalized convexity were the Proceedings of a NATO Advanced Study Institute organized by Avriel, Schaible and Ziemba in Vancouver, Canada on August 4-15, 1980; “Gen- eralized Concavity in Optimization and Economics” by Schaible and Ziemba (1981, Academic Press). It was followed by the monograph “Generalized Concavity” by Avriel, Diewert, Schaible, Zang (1988, Plenum Publishing Corporation). Both volumes maintain the close re- lationship between the mathematics of generalized convex functions and its relevance to applications, especially in economic theory which de- scribed the field from the beginning. It was Mordecai Avriel who initiated the first monograph solely de- voted to generalizations of convexity back in 1978. Shortly after that he also proposed to organize an international conference on this topic. He PREFACE ix often emphasized the importance of generalizing convexity with applica- tions in mind. This gives the research area its interdisciplinary nature. The extensive amount of new knowledge accumulated since the initial two volumes, exclusively contained in research papers, gave birth to the idea of presenting the main research results in both generalized convexity and generalized monotonicity in the form of a handbook. The present volume consists of fourteen chapters, written by lead- ing experts of various areas of Generalized Convexity and Generalized Monotonicity. Each chapter starts from the very basics and goes to the state of the art of its subject. Given the amount of material in the field, there are some topics that were not included. We trust that the com- prehensive bibliography provided by each chapter can help to bridge the gap. The chapters are grouped into two parts of the book, depending on whether their main focus is generalized convexity or generalized mono- tonicity. Chapter 1, by Frenk and Kassay, provides an introduction to con- vex and quasiconvex analysis in a finite-dimensional setting. Since this analysis is heavily based on the study of certain sets, the most impor- tant algebraic and topological properties of linear subspaces, affine sets, convex and evenly convex sets and cones are included here. The well- known separation results are also presented and then used to derive the so-called dual representations for (evenly) convex sets. The next part is devoted fundamentally to the study of convex, quasiconvex and evenly quasiconvex functions. It is shown that this study can be reduced to the study of the sets considered in the preceding part. As such, the equiva- lent formulation of a separation result for convex sets is now given by the dual representation of a function. The key result in this respect is the Fenchel-Moreau theorem within convex analysis and its generalization to evenly quasiconvex functions. The remainder of the chapter presents some important applications of convex and quasiconvex analysis to opti- mization theory,
Recommended publications
  • Time Series Prediction for Graphs in Kernel and Dissimilarity Spaces∗†
    Time Series Prediction for Graphs in Kernel and Dissimilarity Spaces∗y Benjamin Paaßen Christina Göpfert Barbara Hammer This is a preprint of the publication [46] as provided by the authors. The original can be found at the DOI 10.1007/s11063-017-9684-5. Abstract Graph models are relevant in many fields, such as distributed com- puting, intelligent tutoring systems or social network analysis. In many cases, such models need to take changes in the graph structure into ac- count, i.e. a varying number of nodes or edges. Predicting such changes within graphs can be expected to yield important insight with respect to the underlying dynamics, e.g. with respect to user behaviour. However, predictive techniques in the past have almost exclusively focused on sin- gle edges or nodes. In this contribution, we attempt to predict the future state of a graph as a whole. We propose to phrase time series prediction as a regression problem and apply dissimilarity- or kernel-based regression techniques, such as 1-nearest neighbor, kernel regression and Gaussian process regression, which can be applied to graphs via graph kernels. The output of the regression is a point embedded in a pseudo-Euclidean space, which can be analyzed using subsequent dissimilarity- or kernel-based pro- cessing methods. We discuss strategies to speed up Gaussian Processes regression from cubic to linear time and evaluate our approach on two well-established theoretical models of graph evolution as well as two real data sets from the domain of intelligent tutoring systems. We find that simple regression methods, such as kernel regression, are sufficient to cap- ture the dynamics in the theoretical models, but that Gaussian process regression significantly improves the prediction error for real-world data.
    [Show full text]
  • Vector Space and Affine Space
    Preliminary Mathematics of Geometric Modeling (1) Hongxin Zhang & Jieqing Feng State Key Lab of CAD&CG Zhejiang University Contents Coordinate Systems Vector and Affine Spaces Vector Spaces Points and Vectors Affine Combinations, Barycentric Coordinates and Convex Combinations Frames 11/20/2006 State Key Lab of CAD&CG 2 Coordinate Systems Cartesian coordinate system 11/20/2006 State Key Lab of CAD&CG 3 Coordinate Systems Frame Origin O Three Linear-Independent r rur Vectors ( uvw ,, ) 11/20/2006 State Key Lab of CAD&CG 4 Vector Spaces Definition A nonempty set ς of elements is called a vector space if in ς there are two algebraic operations, namely addition and scalar multiplication Examples of vector space Linear Independence and Bases 11/20/2006 State Key Lab of CAD&CG 5 Vector Spaces Addition Addition associates with every pair of vectors and a unique vector which is called the sum of and and is written For 2D vectors, the summation is componentwise, i.e., if and , then 11/20/2006 State Key Lab of CAD&CG 6 Vector Spaces Addition parallelogram illustration 11/20/2006 State Key Lab of CAD&CG 7 Addition Properties Commutativity Associativity Zero Vector Additive Inverse Vector Subtraction 11/20/2006 State Key Lab of CAD&CG 8 Commutativity for any two vectors and in ς , 11/20/2006 State Key Lab of CAD&CG 9 Associativity for any three vectors , and in ς, 11/20/2006 State Key Lab of CAD&CG 10 Zero Vector There is a unique vector in ς called the zero vector and denoted such that for every vector 11/20/2006 State Key Lab of CAD&CG 11 Additive
    [Show full text]
  • Proquest Dissertations
    u Ottawa L'Universitd canadienne Canada's university FACULTE DES ETUDES SUPERIEURES l==I FACULTY OF GRADUATE AND ET POSTOCTORALES U Ottawa POSDOCTORAL STUDIES L'Universit6 canadienne Canada's university Guy Beaulieu "MEWDE"UATH£S17XUTHORWTHE"STS" Ph.D. (Mathematics) GRADE/DEGREE Department of Mathematics and Statistics 7ACulTirfc6L17bT^ Probabilistic Completion of Nondeterministic Models TITRE DE LA THESE / TITLE OF THESIS Philip Scott DIREWEURlbTRECTRicirDE'iSTHESE"/ THESIS SUPERVISOR EXAMINATEURS (EXAMINATRICES) DE LA THESE /THESIS EXAMINERS Richard Blute _ _ Paul-Eugene Parent Michael Mislove Benjamin Steinberg G ^y.W:.Slater.. Le Doyen de la Faculte des etudes superieures et postdoctorales / Dean of the Faculty of Graduate and Postdoctoral Studies PROBABILISTIC COMPLETION OF NONDETERMINISTIC MODELS By Guy Beaulieu, B.Sc, M.S. Thesis submitted to the Faculty of Graduate and Postdoctoral Studies University of Ottawa in partial fulfillment of the requirements for the PhD degree in the Ottawa-Carleton Institute for Graduate Studies and Research in Mathematics and Statistics ©2008 Guy Beaulieu, B.Sc, M.S. Library and Bibliotheque et 1*1 Archives Canada Archives Canada Published Heritage Direction du Branch Patrimoine de I'edition 395 Wellington Street 395, rue Wellington Ottawa ON K1A0N4 Ottawa ON K1A0N4 Canada Canada Your file Votre reference ISBN: 978-0-494-48387-9 Our file Notre reference ISBN: 978-0-494-48387-9 NOTICE: AVIS: The author has granted a non­ L'auteur a accorde une licence non exclusive exclusive license allowing Library
    [Show full text]
  • Linear Algebra II
    Linear Algebra II Peter Philip∗ Lecture Notes Originally Created for the Class of Spring Semester 2019 at LMU Munich Includes Subsequent Corrections and Revisions† September 19, 2021 Contents 1 Affine Subspaces and Geometry 4 1.1 AffineSubspaces ............................... 4 1.2 AffineHullandAffineIndependence . 6 1.3 AffineBases.................................. 10 1.4 BarycentricCoordinates and Convex Sets. ..... 12 1.5 AffineMaps .................................. 14 1.6 AffineGeometry................................ 20 2 Duality 22 2.1 LinearFormsandDualSpaces. 22 2.2 Annihilators.................................. 27 2.3 HyperplanesandLinearSystems . 31 2.4 DualMaps................................... 34 3 Symmetric Groups 38 ∗E-Mail: [email protected] †Resources used in the preparation of this text include [Bos13, For17, Lan05, Str08]. 1 CONTENTS 2 4 Multilinear Maps and Determinants 46 4.1 MultilinearMaps ............................... 46 4.2 Alternating Multilinear Maps and Determinants . ...... 49 4.3 DeterminantsofMatricesandLinearMaps . .... 57 5 Direct Sums and Projections 71 6 Eigenvalues 76 7 Commutative Rings, Polynomials 87 8 CharacteristicPolynomial,MinimalPolynomial 106 9 Jordan Normal Form 119 10 Vector Spaces with Inner Products 136 10.1 Definition,Examples . 136 10.2 PreservingNorm,Metric,InnerProduct . 138 10.3Orthogonality .................................145 10.4TheAdjointMap ...............................152 10.5 Hermitian,Unitary,andNormalMaps . 158 11 Definiteness of Quadratic Matrices over K 172 A Multilinear Maps 175 B Polynomials in Several Variables 176 C Quotient Rings 192 D Algebraic Field Extensions 199 D.1 BasicDefinitionsandProperties . 199 D.2 AlgebraicClosure...............................205 CONTENTS 3 References 212 1 AFFINE SUBSPACES AND GEOMETRY 4 1 Affine Subspaces and Geometry 1.1 Affine Subspaces Definition 1.1. Let V be a vector space over the field F . Then M V is called an affine subspace of V if, and only if, there exists a vector v V and a (vector)⊆ subspace U V such that M = v + U.
    [Show full text]
  • Affine and Convex Spaces
    Tech. rep. Perimeter Institute pi-other-212 Affine and convex spaces blending the analytic and geometric viewpoints P.G.L. Porta Mana <pgl portamana.org> 25 April 2011; updated 12 February 2019 This is a short introduction to affine and convex spaces, written especially for physics students. It summarizes different elementary presentations available in the mathematical literature, and blends analytic- and geometric-flavoured presentations. References are also provided, as well as a brief discussion of Grassmann spaces and an example showing the relevance and usefulness of affine spaces in Newtonian physics. pacs: 02.40.Dr,02.40.Ft,45.20.-d msc: 14R99,51N10,52A20 to Louise 1 Spaces that deserve more space Scientists and science students of different fields are very familiar, in various degrees of sophistication, with vector spaces. Vectors are used to model places, velocities, forces, generators of rotations, electric fields, and even quantum states. Vector spaces are among the building blocks of clas- sical mechanics, electromagnetism, general relativity, quantum theory; they constitute therefore an essential part of physics and mathematics teaching. Physicists also like to repeat, with Newton (1726 Liber III, regula I; Truesdell et al. 1960 § 293), a maxim variously attributed (Thorburn 1918) to Ockham or Scotus: “frustra fit per plura quod fieri potest per arXiv:1104.0032v2 [physics.class-ph] 10 Feb 2019 pauciora”. Applied to the connexion between mathematics and physics, it says that we should not model a physical phenomenon by means of a mathematical object that has more structure than the phenomenon itself. But this maxim is forsaken in the case of vector spaces, for they are sometimes used where other spaces, having less structure, would suffice.
    [Show full text]
  • Lecture 1: Affine Subspaces, Affine Combinations, Convex Sets, Convex Combinations
    LECTURE 1: AFFINE SUBSPACES, AFFINE COMBINATIONS, CONVEX SETS, CONVEX COMBINATIONS In this lecture we introduce the basic concepts used throughout the semester. We deal with only nite dimensional Euclidean spaces. We regard an n-dimensional Euclidean spaces as an ane space whose vectors are the elements of the n-dimensional vector space Rn over the set of real numbers. Fixing an arbitrary point of an ane space, the elements of the corresponding vector space and the points of the space can be identied in a natural way, in which a point is associated to the vector that moves the xed point to this one. In this case the xed point is usually called origin. As it often appears in the literature, during the term we identify the Euclidean space with the vector space Rn (in high school language: we identify points and their position vectors). We will usually denote the points/vectors of the space Rn by small Latin letters, while its subsets by capital Latin letters. We denote the usual inner (scalar) product of Rn by h:; :i. The length p jjvjj of a vector v 2 Rn is the quantity hv; vi. For the coordinates of the vector/point v in the standard orthonormal basis of Rn we use the notation v = (v1; v2; : : : ; vn). We denote the origin by o. The distance of the points and 0 0 0 , denoted p = (x1; x2; : : : ; xn) q = (x1; x2; : : : ; xn) r n by , is the quantity P 0 2, which coincides with the dist(p; q) (xi − xi) i=1 value of jjq − pjj.
    [Show full text]
  • Chapter 2 Basics of Affine Geometry
    Chapter 2 Basics of Affine Geometry 2.1 Affine Spaces Suppose we have a particle moving in 3-space and that we want to describe the trajectory of this particle. If one looks up a good textbook on dynamics, such as Greenwood [?], one finds out that the particle is mod- eled as a point, and that the position of this point x is determined with respect to a frame in R3 by a vector. Aframeisapair (O, (e1,e2,e3)) consisting of an origin O (which is a point) together with abasisofthreevectors(e1,e2,e3). 15 16 CHAPTER 2. BASICS OF AFFINE GEOMETRY For example, the standard frame in R3 has origin O =(0, 0, 0) and the basis of three vectors e1 =(1, 0, 0), e2 =(0, 1, 0), and e3 =(0, 0, 1). The position of a point x is then defined by the “unique vector” from O to x. But wait a minute, this definition seems to be defining frames and the position of a point without defining what apointis! Well, let us identify points with elements of R3. If so, given any two points a =(a1,a2,a3)and b =(b1,b2,b3), there is a unique free vector denoted ab from a to b,thevectorab =(b a ,b a ,b a ). 1 − 1 2 − 2 3 − 3 Note that b = a + ab, addition being understood as addition in R3. 2.1. AFFINE SPACES 17 b ab a O Figure 2.1: Points and free vectors Then, in the standard frame, given a point x =(x1,x2,x3), the position of x is the vector Ox =(x1,x2,x3), which coincides with the point itself.
    [Show full text]
  • An Introduction to Convexity
    AN INTRODUCTION TO CONVEXITY GEIR DAHL ∗ NOVEMBER 2010 ∗ University of Oslo, Centre of Mathematics for Applications, P.O.Box 1053, Blindern, 0316 Oslo, Norway ([email protected]) Contents 1 The basic concepts 1 1.1 Is convexity useful? 1 1.2 Nonnegative vectors 4 1.3 Linear programming 5 1.4 Convex sets, cones and polyhedra 6 1.5 Linear algebra and affine sets 11 1.6 Exercises 14 2 Convex hulls and Carath´eodory’s theorem 17 2.1 Convex and nonnegative combinations 17 2.2 The convex hull 19 2.3 Affine independence and dimension 22 2.4 Convex sets and topology 24 2.5 Carath´eodory’s theorem and some consequences 29 2.6 Exercises 32 3 Projection and separation 36 3.1 The projection operator 36 3.2 Separation of convex sets 39 3.3 Exercises 45 4 Representation of convex sets 47 4.1 Faces of convex sets 47 4.2 The recession cone 50 4.3 Inner representation and Minkowski’s theorem 53 4.4 Polytopes and polyhedra 56 4.5 Exercises 64 5 Convex functions 67 5.1 Convex functions of one variable 67 5.2 Convex functions of several variables 75 5.3 Continuity and differentiability 81 5.4 Exercises 88 6 Nonlinear and convex optimization 91 6.1 Local and global minimum in convex optimization 91 6.2 Optimality conditions for convex optimization 93 6.3 Feasible direction methods 95 6.4 Nonlinear optimization and Lagrange multipliers 97 6.5 Nonlinear optimization: inequality constraints 101 6.6 An augmented Lagrangian method 106 6.7 Exercises 107 List of Figures 1.1 Some convex functions 2 1.2 Some convex sets in the plane.
    [Show full text]
  • Affine Geometry
    Affine Geometry Jehee Lee Seoul National University Geometric Programming • A way of handling geometric entities such as vectors, points, and transforms. • Traditionally, computer graphics packages are implemented using homogeneous coordinates. • We will review affine geometry and coordinate-invariant geometric programming. Example of coordinate-dependence Point p Point q • What is the “sum” of these two positions ? If you assume coordinates, … p = (x1, y1) q = (x2, y2) • The sum is (x1+x2, y1+y2) – Is it correct ? – Is it geometrically meaningful ? If you assume coordinates, … p = (x1, y1) (x1+x2, y1+y2) q = (x2, y2) Origin • Vector sum – (x1, y1) and (x2, y2) are considered as vectors from the origin to p and q, respectively. If you select a different origin, … p = (x1, y1) (x1+x2, y1+y2) q = (x2, y2) Origin • If you choose a different coordinate frame, you will get a different result Vector and Affine Spaces • Vector space – Includes vectors and related operations – No points • Affine space – Superset of vector space – Includes vectors, points, and related operations Points and Vectors vector (p-q) Point q Point p • A point is a position specified with coordinate values. • A vector is specified as the difference between two points. • If an origin is specified, then a point can be represented by a vector from the origin. • But, a point is still not a vector in a coordinate-free point of view. Vector spaces • A vector space consists of – Set of vectors, together with – Two operations: addition of vectors and multiplication of vectors
    [Show full text]
  • Topic 1: Convex Sets and Functions
    Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory AY 2019–2020 Topic 1: Convex sets and functions 1.1 Convex sets Recall the affine combination function κ: X × X × R → X is defined by κ(x, y, α) = (1 − α)x + αy. 1.1.1 Definition A subset C of a real vector space X is a convex set if it includes the line segment joining any two of its points. That is, C is convex if for every real α with 0 6 α 6 1 and every x, y ∈ C, (1 − α)x + αy ∈ C. If α = 0 or then (1 − α)x + αy = x and if α = 1, then (1 − α)x + αy = y, so C ⊂ κ C × C × [0, 1] . Thus C is convex ⇐⇒ κ C × C × [0, 1] = C ⇐⇒ κ C × C × (0, 1) ⊂ C. Note that the empty set is convex. 1.1.2 Definition A convex combination is a linear combination αx+βy where > α, β 0 and α + β = 1. More generally, a convex combinationP is a (finite) linear ··· > k combination α1x1 + + αkxk where each αi 0 and i=1 αi = 1. 1.1.3 Lemma If C is convex, then it is closed under general convexP combinations. > ∈ > k That is, for any k 2, if xi C and αi 0, i = 1, . , k, and i=1 αi = 1, then α1x1 + ··· + αkxk ∈ C. 1.1.4 Exercise Prove Lemma 1.1.3. □ Sample answer: We prove this by induction on k. Let P[k] denote the following proposition: ∈ > PIf C is convex, and each xi C and αi 0, for i = 1, .
    [Show full text]
  • Roughly Speaking, Affine Sets Are Vector Spaces Whose Origin We Try
    CONVEX SETS AND CONVEX FUNCTIONS CHEE-HAN TAN Abstract. We define convex sets and convex functions, and explore the intricate relation- ships between these two concepts. The fundamental idea is that convex functions on Rn can be identified with certain convex subsets of Rn+1, while convex sets in Rn can be identified with certain convex functions on Rn. This provides a bridge between a geometric approach and an analytical approach in dealing with convex functions. In particular, one should be acquainted with the geometric connection between convex functions and epigraphs. Preface The structure of these notes follows closely Chapter 1 of the book \Convex Analysis" by R. T. Rockafellar [Roc70]. All the theorems and corollaries are numbered independently of [Roc70], and additional examples or remarks or results from other sources are added as I see fit, mainly to facilitate my understanding. Any mistakes here are of course my own. Please report any typographical errors or mathematical fallacy to me by email. 1. Affine Sets A problem of practical interest is studying geometrical properties of sets of points that are invariant under certain transformations such as translations and rotations. One approach would be to model the space of points as a vector space, but this is not very satisfactory. One reason is that the point corresponds to the zero vector 0, called the origin, plays a special role, when there is really no reason to have a privileged origin [Gal11]. For two distinct points x; y 2 Rn, the set of points of the form (1 − λ)x + λy = x + λ(y − x); λ 2 R; is called the line through x and y.
    [Show full text]
  • Vector and Affine Math
    Vector and Affine Math Don Fussell Computer Science Department The University of Texas at Austin University of Texas at Austin CS354 - Computer Graphics Don Fussell Vectors A vector is a direction and a magnitude Does NOT includeVectors a point of reference Usually thought of as an arrow in space Vectors can be added together and multiplied by scalars Zero vector has no length or direction University of Texas at Austin CS354 - Computer Graphics Don Fussell Vector Spaces Set of vectors Closed under the following operations Vector addition: v1 + v2 = v3 Scalar multiplication: s v1 = v2 n a v v Linear combinations: ∑ i i = i=1 Scalars come from some field F e.g. real or complex numbers Linear independence Basis Dimension University of Texas at Austin CS354 - Computer Graphics Don Fussell Vector Space Axioms Vector addition is associative and commutative Vector addition has a (unique) identity element (the 0 vector) Each vector has an additive inverse So we can define vector subtraction as adding an inverse Scalar multiplication has an identity element (1) Scalar multiplication distributes over vector addition and field addition Multiplications are compatible (a(bv)=(ab)v) University of Texas at Austin CS354 - Computer Graphics Don Fussell Coordinate Representation Pick a basis, order the vectors in it, then all vectors in the space can be represented as sequences of coordinates, i.e. coefficients of the basis vectors, in order. Example: Cartesian 3-space Basis: [i j k] Linear combination: xi + yj + zk Coordinate representation: [x y z] a[x1 y1 z1]+ b[x2 y2 z2 ] = [ax1 + bx2 ay1 + by2 az1 + bz2 ] University of Texas at Austin CS354 - Computer Graphics Don Fussell Row and Column Vectors We can represent a vector, v = (x,y), in the plane as a column vector " x% $ ' # y& as a row vector x y € [ ] University€ of Texas at Austin CS354 - Computer Graphics Don Fussell Linear Transformations Given vector spaces V and W A function f : V → W is a linear map or linear transformation if f (a1v1 +..
    [Show full text]