On convex bodies of constant width

We present an alternative proof of the following fact: the hyperspace of compact closed subsets of constant width in Rn is a contractible Hilbert cube manifold. The proof also works for certain subspaces of compact convex sets of constant width as well as for the pairs of compact convex sets of constant relative width. Besides, it is proved that the projection map of compact closed subsets of constant width is not 0-soft in the sense of Shchepin, in particular, is not open.     

积分凸性及其应用

该文在Banach空间中通过向量值函数的Bochner积分引进集合与泛函的积分凸性以及集合的积分端点等概念. 文章主要证明有限维凸集、开凸集和闭凸集均是积分凸集，下半连续凸泛函与开凸集上的上半连续凸泛函均是积分凸的, 非空紧集具有积分端点, 对紧凸集来说其积分端点集与端点集一致, 最后给出积分凸性在最优化理论方面的两个应用.     

Monotone and Čebyšev arcs in hyperspaces

A set in a metric space is called a ?eby?ev set if it contains a unique “nearest neighbour” to each point of the space. In this paper we introduce the concept of a monotone arc of convex sets and show that compact monotone arcs have the ?eby?ev property in the hyperspace of compact strictly convex sets. In the hyperspace of compact convex sets only certain monotone arcs are ?eby?ev ; these are characterized. Results are also obtained for affine segments and for noncompact monotone arcs.     

Convex envelopes generated from finitely many compact convex sets

We consider the problem of constructing the convex envelope of a lower semi-continuous function defined over a compact convex set. We formulate the envelope representation problem as a convex optimization problem for functions whose generating sets consist of finitely many compact convex sets. In particular, we consider nonnegative functions that are products of convex and component-wise concave functions and derive closed-form expressions for the convex envelopes of a wide class of such functions. Several examples demonstrate that these envelopes reduce significantly the relaxation gaps of widely used factorable relaxation techniques.     

Differences of Convex Compact Sets in the Space of Directed Sets. Part II: Visualization of Directed Sets

This paper is a continuation of the author's first paper (Set-Valued Anal. 9 (2001), pp. 217–245), where the normed and partially ordered vector space of directed sets is constructed and the cone of all nonempty convex compact sets in R ⁿ is embedded. A visualization of directed sets and of differences of convex compact sets is presented and its geometrical components and properties are studied. The three components of the visualization are compared with other known differences of convex compact sets.     

Even valuations on convex bodies

The notion of even valuation is introduced as a natural generalization of volume on compact convex subsets of Euclidean space. A recent characterization theorem for volume leads in turn to a connection between even valuations on compact convex sets and continuous functions on Grassmannians. This connection can be described in part using generating distributions for symmetric compact convex sets. We also explore some consequences of these characterization results in convex and integral geometry.

     

On the Euler characteristic of finite unions of convex sets

The Euler characteristic plays an important role in many subjects of discrete and continuous mathematics. For noncompact spaces, its homological definition, being a homotopy invariant, seems not as important as its role for compact spaces. However, its combinatorial definition, as a finitely additive measure, proves to be more applicable in the study of singular spaces such as semialgebraic sets, finitely subanalytic sets, etc. We introduce an interesting integral by means of which the combinatorial Euler characteristic can be defined without the necessity of decomposition and extension as in the traditional treatment for polyhedra and finite unions of compact convex sets. Since finite unions of closed convex sets cannot be obtained by cutting convex sets as in the polyhedral case, a separate treatment of the Euler characteristic for functions generated by indicator functions of closed convex sets and relatively open convex sets is necessary, and this forms the content of this paper.     

Epigraphical and Uniform Convergence of Convex Functions

We examine when a sequence of lsc convex functions on a Banach space converges uniformly on bounded sets (resp. compact sets) provided it converges Attouch-Wets (resp. Painlevé-Kuratowski). We also obtain related results for pointwise convergence and uniform convergence on weakly compact sets. Some known results concerning the convergence of sequences of linear functionals are shown to also hold for lsc convex functions. For example, a sequence of lsc convex functions converges uniformly on bounded sets to a continuous affine function provided that the convergence is uniform on weakly compact sets and the space does not contain an isomorphic copy of .

     

Criteria for convexity in Banach spaces

In this paper two convexity criteria are proven. The first one characterizes compact convex sets in a locally convex space and extends a previous result by G. Aumann, while the second one characterizes closed bounded convex sets with the Radon-Nikodým property in a Banach space.

     

On a metric for the class of compact convex sets

A distance function, defined in [12], for the class of compact convex sets inn-space is introduced in a new way, and some of its properties are developed. This concept is compared with some traditional distance functions for convex sets.     

A Krasnosel’skii-type result for planar sets starshaped via orthogonally convex paths

A Krasnosel’skii-type theorem for compact sets that are starshaped via staircase paths may be extended to compact sets that are starshaped via orthogonally convex paths: Let S be a nonempty compact planar set having connected complement. If every two points of S are visible via orthogonally convex paths from a common point of S, then S is starshaped via orthogonally convex paths. Moreover, the associated kernel Ker S has the expected property that every two of its points are joined in Ker S by an orthogonally convex path. If S is an arbitrary nonempty planar set that is starshaped via orthogonally convex paths, then for each component C of Ker S, every two of points of C are joined in C by an orthogonally convex path. Communicated by Imre Bárány     

Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces

The majority of categories used in denotational semantics are topological in nature. One of these is the category of stably compact spaces and continuous maps. Previously, Eilenberg–Moore algebras were studied for the extended probabilistic powerdomain monad over the category of ordered compact spaces X and order-preserving continuous maps in the sense of Nachbin. Appropriate algebras were characterized as compact convex subsets of ordered locally convex topological vector spaces. In so doing, functional analytic tools were involved. The main accomplishments of this paper are as follows: the result mentioned is re-proved and is extended to the subprobabilistic case; topological methods are developed which defy an appeal to functional analysis; a more topological approach might be useful for the stably compact case; algebras of the (sub)probabilistic powerdomain monad inherit barycentric operations that satisfy the same equational laws as those in vector spaces. Also, it is shown that it is convenient first to embed these abstract convex sets in abstract cones, which are simpler to work with. Lastly, we state embedding theorems for abstract ordered locally compact cones and compact convex sets in ordered topological vector spaces.     

A fixed-point theorem for asymptotically contractive mappings

We present fixed point theorems for a nonexpansive mapping from a closed convex subset of a uniformly convex Banach space into itself under some asymptotic contraction assumptions. They generalize results valid for bounded convex sets or asymptotically compact sets.

     

On the strong CE-property of convex sets

We consider a class of convex bounded subsets of a separable Banach space. This class includes all convex compact sets as well as some noncompact sets important in applications. For sets in this class, we obtain a simple criterion for the strong CE-property, i.e., the property that the convex closure of any continuous bounded function is a continuous bounded function. Some results are obtained concerning the extension of functions defined at the extreme points of a set in this class to convex or concave functions defined on the entire set with preservation of closedness and continuity. Some applications of the results in quantum information theory are considered.     

The Mixed Volumes and Geissinger Multiplications of Convex Sets

This paper introduces Geissinger multiplication on the vector space generated by indicator functions of closed convex sets. Minkowski's mixed volume for compact convex sets is naturally represented in terms of the volume of the Geissinger multiplication of their indicator functions. Some properties of mixed volumes and new results are obtained by this representation, including a polynomial identity.     

Banach空间中关于有界集的同时远达问题的适定性

本文研究Banach空间中关于有界集的同时远达问题的适定性,在集合的Hausdorff距离下,证明了：对自反局部一致凸Banach空间中的闭有界集K,使所有关于K的同时远达问题是适定的紧凸子集A全体在紧凸子集全体中是Gδ型集．     

Geometric Form of the Hahn–Banach Theorem for Generalized Convexity

We investigate a class of compact sets convex with respect to a certain family of planes. For compact sets that satisfy the condition of acyclicity of sections by a certain collection of two-dimensional planes, we prove their generalized convexity.     

Properties of P-sets and trapped compact convex sets

New properties of P-sets, which constitute a large class of convex compact sets in ? ⁿ that contains all convex polyhedra and strictly convex compact sets, are obtained. It is shown that the intersection of a P-set with an affine subspace is continuous in the Hausdorff metric. In this theorem, no assumption of interior nonemptiness is made, unlike in other known intersection continuity theorems for set-valued maps. It is also shown that if the graph of a set-valued map is a P-set, then this map is continuous on its entire effective set rather than only on the interior of this set. Properties of the so-called trapped sets are also studied; well-known Jung’s theorem on the existence of a minimal ball containing a given compact set in ? ⁿ is generalized. As is known, any compact set contains n + 1 (or fewer) points such that any translation by a nonzero vector takes at least one of them outside the minimal ball. This means that any compact set is trapped in the minimal ball. Compact sets trapped in any convex compact sets, rather than only in norm bodies, are considered. It is shown that, for any compact set A trapped in a P-set M ? ? ⁿ , there exists a set A ⁰ ? A trapped in M and containing at most 2n elements. An example of a convex compact set M ? ? ⁿ for which such a finite set A ⁰ ? A does not exist is given.     

Motzkin predecomposable sets

We introduce and study the family of sets in a finite dimensional Euclidean space which can be written as the Minkowski sum of a compact and convex set and a convex cone (not necessarily closed). We establish several properties of the class of such sets, called Motzkin predecomposable, some of which hold also for the class of Motzkin decomposable sets (i.e., those for which the convex cone in the decomposition is requested to be closed), while others are specific of the new family.     

KKT conditions for weak compact convex sets,theorems of the alternative,and optimality conditions

We present several equivalent conditions for the Karush–Kuhn–Tucker conditions for weak^? compact convex sets. Using them, we extend several existing theorems of the alternative in terms of weak^? compact convex sets. Such extensions allow us to express the KKT conditions and hence necessary optimality conditions for more general nonsmooth optimization problems with inequality and equality constraints. Furthermore, several new equivalent optimality conditions for optimization problems with inequality constraints are obtained.