A Ramsey theorem for metric spaces

We show the Ramsey property of the metric spaces $(V,d)$ where $1\le d(x,y)\le 3$ ($x\ne y$).     

A decomposition theorem for convexity spaces

We utilize the unifying framework of families of convexity spaces for the treatment of various notions of planar convexity and the associated convex hulls. Our major goal is to prove the refinement and decomposition theorems for families of convexity spaces. These general theorems are then applied to two examples: restricted-oriented convex sets andNESW-convex sets. The applications demonstrate the usefulness of these general theorems, since they give rise to simple algorithms for the computation of the associated convex hulls of polygons.     

A representation theorem for local operator spaces

In this note, we generalize Ruan’s representation theorem and propose an Arveson-Hanh-Banach-Webster theorem for local operator spaces. Further, we investigate the decompos-ability of a complete contraction acting from a unital multinormed C*-algebra to a local operator System into a product of contractions and a unital contractive *-representation, and we study injectivity in both local operator space and local operator System contexts.     

A Nagata-like theorem for certain function spaces

Let X be a space, and let A be a zero-dimensional topological ring. In this paper we will consider a few natural questions that arise when studying the space C _p (X, A), the ring of continuous functions from X to A, endowed with the topology of pointwise convergence. It will be shown that the zero-dimensionality of the codomain plays a vital role in this study. An upper and lower bound will be determined for the density of C _p (X, A) using the density of A and the weight of X. The character of C _p (X, A) will be computed, thus characterizing when C _p (X, A) is metrizable. Lastly, we will consider the topological dual space of C _p (X, A) and use it to prove a Nagata-like theorem.     

A sharp extrapolation theorem for lorentz spaces

Basing on geometric properties, we give a complete characterization of the Lorentz spaces that can be sharp extrapolation spaces for different types of the behavior of the growth of the norms of an operator in tending to a critical exponent. The results of this article are connected with the calculation of extrapolation constructions in about the same way as theorems of the Calderón-Mityagin type.     

A mean value theorem for metric spaces

We present a form of the Mean Value Theorem (MVT) for a continuous function f between metric spaces, connecting it with the possibility to choose the relation of f in a homeomorphic way. We also compare our formulation of the MVT with the classic one when the metric spaces are open subsets of Banach spaces. As a consequence, we derive a version of the Mean Value Propriety for measure spaces that also possesses a compatible metric structure.     

A version of Burkholder's theorem for operator-weighted spaces

Let be an operator weight, i.e. a weight function taking values in the bounded linear operators on a Hilbert space . We prove that if the dyadic martingale transforms are uniformly bounded on for each dyadic grid in , then the Hilbert transform is bounded on as well, thus providing an analogue of Burkholder's theorem for operator-weighted -spaces. We also give a short new proof of Burkholder's theorem itself. Our proof is based on the decomposition of the Hilbert transform into ``dyadic shifts'.

     

A Prime geodesic theorem for higher rank spaces

A prime geodesic theorem for regular geodesics in a higher rank locally symmetric space is proved. An application to class numbers is given. The proof relies on a Lefschetz formula for higher rank torus actions.     

A local Paley-Wiener theorem for compact symmetric spaces

The Fourier coefficients of a smooth K-invariant function on a compact symmetric space M=U/K are given by integration of the function against the spherical functions. For functions with support in a neighborhood of the origin, we describe the size of the support by means of the exponential type of a holomorphic extension of the Fourier coefficients.     

A Jordan surface theorem for three-dimensional digital spaces

Many applications of digital image processing now deal with three-dimensional images (the third dimension can be time or a spatial dimension). In this paper we develop a topological model for digital three space which can be useful in this context. In particular, we prove a digital, three-dimensional, analogue of the Jordan curve theorem. (The Jordan curve theorem states that a simple closed curve separates the real plane into two connected components.) Our theorem here is a digital topological formulation of the Jordan-Brouwer theorem about surfaces that separate three-dimensional space into two connected components.     

A Lefschetz hyperplane theorem for Mori dream spaces

Let X be a smooth Mori dream space of dimension ?? 4. We show that, if X satisfies a suitable GIT condition which we call small unstable locus, then every smooth ample divisor Y of X is also a Mori dream space. Moreover, the restriction map identifies the Néron?CSeveri spaces of X and Y, and under this identification every Mori chamber of Y is a union of some Mori chambers of X, and the nef cone of Y is the same as the nef cone of X. This Lefschetz-type theorem enables one to construct many examples of Mori dream spaces by taking ??Mori dream hypersurfaces?? of an ambient Mori dream space, provided that it satisfies the GIT condition. To facilitate this, we then show that the GIT condition is stable under taking products and taking the projective bundle of the direct sum of at least three line bundles, and in the case when X is toric, we show that the condition is equivalent to the fan of X being 2-neighborly.     

A revised closed graph theorem for quasi-Suslin spaces

Some results about the continuity of special linear maps between F-spaces recently obtained by Drewnowski have motivated us to revise a closed graph theorem for quasi-Suslin spaces due to Valdivia. We extend Valdivia’s theorem by showing that a linear map with closed graph from a Baire tvs into a tvs admitting a relatively countably compact resolution is continuous. This also applies to extend a result of De Wilde and Sunyach. A topological space X is said to have a (relatively countably) compact resolution if X admits a covering {A _α :α ∈ ℕ^ℕ} consisting of (relatively countably) compact sets such that A _α ⊆ A _β for α ⩽ β. Some applications and two open questions are provided.