Local compactness in right bounded asymmetric normed spaces

We characterize the finite dimensional asymmetric normed spaces which are right bounded and the relation of this property with the natural compactness properties of the unit ball, such as compactness and strong compactness. In contrast with some results found in the existing literature, we show that not all right bounded asymmetric norms have compact closed balls. We also prove that there are finite dimensional asymmetric normed spaces that satisfy that the closed unit ball is compact, but not strongly compact, closing in this way an open question on the topology of finite dimensional asymmetric normed spaces. In the positive direction, we will prove that a finite dimensional asymmetric normed space is strongly locally compact if and only if it is right bounded.     

Epigraph of operator functions

It is known that a real function f is convex if and only if the set E(f) = {(x, y) ∈ ? × ?; f (x) ≤ y}, the epigraph of f is a convex set in ?². We state an extension of this result for operator convex functions and C^?-convex sets as well as operator log-convex functions and C^?-log-convex sets. Moreover, the C^?-convex hull of a Hermitian matrix has been represented in terms of its eigenvalues.     

Illumination by translates of convex sets

Let S be a compact set in the plane. If every three points of S are illuminated clearly by some translate of the compact convex set T, then there is a translate of T which illumines every point of S. Various analogues hold for translates of flats in R ^das well.Supported in part by NSF grant DMS-8705336.     

A generalized localization theorem and geometric inequalities for convex bodies

In this article, we generalize a localization theorem of Lovász and Simonovits [Random walks in a convex body and an improved volume algorithm, Random Struct. Algorithms 4-4 (1993) 359-412] which is an important tool to prove dimension-free functional inequalities for log-concave measures. In a previous paper [Fradelizi and Guédon, The extreme points of subsets of s-concave probabilities and a geometric localization theorem, Discrete Comput. Geom. 31 (2004) 327-335], we proved that the localization may be deduced from a suitable application of Krein-Milman's theorem to a subset of log-concave probabilities satisfying one linear constraint and from the determination of the extreme points of its convex hull. Here, we generalize this result to more constraints, give some necessary conditions satisfied by such extreme points and explain how it may be understood as a generalized localization theorem. Finally, using this new localization theorem, we solve an open question on the comparison of the volume of sections of non-symmetric convex bodies in Rⁿ by hyperplanes. A surprising feature of the result is that the extremal case in this geometric inequality is reached by an unusual convex set that we manage to identify.     

DENTABILITY IN LOCALLY CONVEX SPACES

Abstract

Let A be a non-empty bounded subset of a locally convex space E. We show that if all the separable subsets of A are weakly metrisable, then the weak*-compact subsets of E¹ satisfy geometrical conditions which are similar to the concept of “dentability” used to characterise the Radon-Nikodý Property in dual Banach spaces.     

Points of local nonconvexity,clear visibility,and starshaped sets in Rd

Let S be a compact, connected, locally starshaped set in R^d, S not convex. For every point of local nonconvexity q of S, define A_q to be the subset of S from which q is clearly visible via S. Then ker S = {conv A_q: q lnc S}. Furthermore, if every d+1 points of local nonconvexity of S are clearly visible from a common d-dimensional subset of S, then dim ker S = d.     

Affine images of compact convex sets and maximal measures

Let be an affine continuous mapping of a compact convex set X onto a compact convex set Y. We show that the induced mapping φ_? need not map maximal measures on X to maximal measures on Y even in case φ maps extreme points of X to extreme points of Y. This disproves Théorème 6 of [S. Teleman, Sur les mesures maximales, C. R. Acad. Sci. Paris Sér. I Math. 318 (6) (1994) 525-528]. We prove the statement of Théorème 6 under an additional assumption that extY is Lindelöf or Y is a simplex. We also show that under either of these two conditions injectivity of φ on extX implies injectivity of φ_? on maximal measures. A couple of examples illustrate the results.     

Complément de Schur et sous-différentiel du second ordre d'une fonction convexe

Summary The Schur complement relative to the linear mappingA of a functionf is denotedAf and defined as the image off underA. In this paper we give some estimates for the second-order differential ofAf whenf is either a partially quadratic convex function or aC ² convex function with a nonsingular second-order differential. We then consider an arbitrary convex functionf and study the second-order differentiability ofAf in a more general sense.

     

On the relative distances of seven points in a plane convex body

Let C be a convex body in the Euclidean plane. The relative distance of points p and q is twice the Euclidean distance of p and q divided by the Euclidean length of a longest chord in C with the direction, say, from p to q. We prove that, among any seven points of a plane convex body, there are two points at relative distance at most one, and one cannot be replaced by a smaller value. We apply our result to determine the diameter of point sets in normed planes. Zsolt Lángi: Partially supported by the Hung. Nat. Sci. Found. (OTKA), grant no. T043556 and T037752 and by the Alberta Ingenuity Fund.     

The number of weakly compact convex subsets of the Hilbert space

We prove that for κ an uncountable cardinal, there exist κ² many nonhomeomorphic weakly compact convex subsets of weight κ in the Hilbert space ?₂(κ).     

On the volume of convex hulls of sets on spheres

We prove that for a measurable subset of S ^n–1 with fixed Haar measure, the volume of its convex hull is minimized for a cap (i.e. a ball with respect to the geodesic measure). We solve a similar problem for symmetric sets and n=2, 3. As a consequence, we deduce a result concerning Gaussian measures of dilatations of convex, symmetric sets in R ² and R ³.Partially supported by KBN (Poland), Grant No. 2 1094 91 01.     

DIEUDONNÉ—KÖTHE DUALITY FOR VECTOR—VALUED FUNCTION SPACES: LOCALIZATION OF BOUNDED SETS AND BARRELLEDNESS

Abstract

We study Dieudonné-Köthe spaces of Lusin-measurable functions with values in a locally convex space. Let Λ be a solid locally convex lattice of scalar-valued measurable functions defined on a measure space Ω. If E is a locally convex space, define Λ {E} as the space of all Lusinmeasurable functions f: Ω → E such that q(f(·)) is a function in Λ for every continuous seminorm q on E. The space Λ {E} is topologized in a natural way and we study some aspects of the locally convex structure of A {E}; namely, bounded sets, completeness, duality and barrelledness. In particular, we focus on the important case when Λ and E are both either metrizable or (DF)-spaces and derive good permanence results for reflexivity when the density condition holds.     

The determination of convex bodies from derivatives of section functions

It is known that non-symmetric convex bodies generally cannot be characterized by the volumes of hyperplane sections through one interior point. Falconer and Gardner, however, independently proved that volumes of hyperplane sections through two different interior points determine the body uniquely. We prove that if −1 < q < n − 1 is not an integer, then the derivatives of the order q at zero of parallel section functions at one interior point completely characterize convex bodies in . If 0 ≤ q < n − 1 is an integer then one needs the derivatives of order q at two different interior points (except for the case where q = n − 2, q odd), generalizing the results of Falconer and Gardner. The first named author was partially supported by the NSF grant DMS 0455696. Received: 31 January 2006     

Constant Minkowskian width in terms of double normals

We extend the notion of a double normal of a convex body from smooth, strictly convex Minkowski planes to arbitrary two-dimensional real, normed, linear spaces in two different ways. Then, for both of these ways, we obtain the following characterization theorem: a convex body K in a Minkowski plane is of constant Minkowskian width iff every chord I of K splits K into two compact convex sets K₁ and K₂ such that I is a Minkowskian double normal of K₁ or K₂. Furthermore, the Euclidean version of this theorem yields a new characterization of d-dimensional Euclidean ball where d 3.     

Polynomial parallel volume, convexity and contact distributions of random sets

We characterize convexity of a random compact set X in ℝ^d via polynomial expected parallel volume of X. The parallel volume of a compact set A is a function of r≥0 and is defined here in two steps. First we form the parallel set at distance r with respect to a one- or two-dimensional gauge body B. Then we integrate the volume of this (relative) parallel set with respect to all rotations of B. We apply our results to characterize convexity of the typical grain of a Boolean model via first contact distributions.     

The geometry of p-convex intersection bodies

Busemann's theorem states that the intersection body of an origin-symmetric convex body is also convex. In this paper we provide a version of Busemann's theorem for p-convex bodies. We show that the intersection body of a p-convex body is q-convex for certain q. Furthermore, we discuss the sharpness of the previous result by constructing an appropriate example. This example is also used to show that IK, the intersection body of K, can be much farther away from the Euclidean ball than K. Finally, we extend these theorems to some general measure spaces with log-concave and s-concave measures.     

An Isometric Representation of the Dual of {\user1{\mathcal{C}}}{\left( {X,\mathbb{R}} \right)}

Many structures in functional analysis are introduced as the limit of an inverse (aka projective) system of seminormed spaces [2, 3, 8]. In these situations, the dual is moreover equipped with a seminorm. Although the topology of the inverse limit is seldom metrizable, there is always a natural overlying locally convex approach structure. We provide a method for computing the adjoint of this space, by showing that the dual of a limit of locally convex approach spaces becomes a co-limit in the category of seminormed spaces. As an application we obtain an isometric representation of the dual space of real valued continuous functions on a locally compact Hausdorff space X, equipped with the compact open structure.     

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.     

Topological vector spaces, compacta, and unions of subspaces

In the first two sections, we study when a σ-compact space can be covered by a point-finite family of compacta. The main result in this direction concerns topological vector spaces. Theorem 2.4 implies that if such a space L admits a countable point-finite cover by compacta, then L has a countable network. It follows that if f is a continuous mapping of a σ-compact locally compact space X onto a topological vector space L, and fibers of f are compact, then L is a σ-compact space with a countable network (Theorem 2.10). Therefore, certain σ-compact topological vector spaces do not have a stronger σ-compact locally compact topology.In the last, third section, we establish a result going in the orthogonal direction: if a compact Hausdorff space X is the union of two subspaces which are homeomorphic to topological vector spaces, then X is metrizable (Corollary 3.2).     

On the smallest disk containing a planar reduced convex body

A convex body R of Euclidean space E ^d is said to be reduced if every convex body $ P \subset R $ different from R has thickness smaller than the thickness $ \Delta(R) $ of R. We prove that every planar reduced body R is contained in a disk of radius $ {1\over 2}\sqrt 2 \cdot \Delta(R) $. For $ d \geq 3 $, an analogous property is not true because we can construct reduced bodies of thickness 1 and of arbitrarily large diameter.