Dense computability structures

We examine computability structures on a metric space and the relationships between maximal, separable and dense computability structures. We prove that in a computable metric space which has the effective covering property and compact closed balls for a given computable sequence which is a metric basis there exists a unique maximal computability structure which contains that sequence. Furthermore, we prove that each maximal computability structure on a convex subspace of Euclidean space is dense. We also examine subspaces of Euclidean space on which each dense maximal computability structure is separable and prove that spheres, boundaries of simplices and conics are such spaces.     

一致覆盖和度量空间的紧映象

本文利用一致覆盖的概念,讨论了度量空间的序列覆盖紧映象的结构.主要结果有: (1)空间X是局部可分度量空间的序列覆盖紧映象当且仅当X具有由cosmic子空间构成的一致sn网; (2)空间X是局部可分度量空间的序列覆盖,商紧映象当且仅当X是度量空间的序列覆盖,商紧映象且是局部cosmic空间.     

Model theory of operator algebras II: model theory

We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is stable if and only if all of its ultrapowers associated with nonprincipal ultrafilters on ? are isomorphic even when the Continuum Hypothesis fails.     

A bound for diameter of arithmetic hyperbolic orbifolds

Weyl (Zur Infinitisimalgeometrie: Einordnung der projektiven und der konformen Auffasung, Nachrichten von der K. Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, Göttinger Akademie der Wissenschaften, Göttingen, 1921) demonstrated that for a connected manifold of dimension greater than 1, if two Riemannian metrics are conformal and have the same geodesics up to a reparametrization, then one metric is a constant scaling of the other one. In the present paper we investigate the analogous property for sub-Riemannian metrics. In particular, we prove that the analogous statement, called the Weyl rigidity, holds either in real analytic category for all sub-Riemannian metrics on distributions with a specific property of their complex abnormal extremals, called minimal order, or in smooth category for all distributions such that all complex abnormal extremals of their nilpotent approximations are of minimal order. This also shows, in real analytic category, the genericity of distributions for which all sub-Riemannian metrics are Weyl rigid and genericity of Weyl rigid sub-Riemannian metrics on a given bracket generating distributions. Finally, this allows us to get analogous genericity results for projective rigidity of sub-Riemannian metrics, i.e., when the only sub-Riemannian metric having the same sub-Riemannian geodesics, up to a reparametrization, with a given one, is a constant scaling of this given one. This is the improvement of our results on the genericity of weaker rigidity properties proved in recent paper (Jean et al. in Geom Dedic 203(1):279–319, 2019).

     

Complexity spaces as quantitative domains of computation

We study domain theoretic properties of complexity spaces. Although the so-called complexity space is not a domain for the usual pointwise order, we show that, however, each pointed complexity space is an ω-continuous domain for which the complexity quasi-metric induces the Scott topology, and the supremum metric induces the Lawson topology. Hence, each pointed complexity space is both a quantifiable domain in the sense of M. Schellekens and a quantitative domain in the sense of P. Waszkiewicz, via the partial metric induced by the complexity quasi-metric.     

On some results of analysis for fuzzy metric spaces

A necessary and sufficient condition for a fuzzy metric space to be complete is given. We prove that a subspace of a separable fuzzy metric space is separable and every separable fuzzy metric space is second countable. Uniform limit theorem is generalized to fuzzy metric spaces.     

On chaotic extensions of dynamical systems

In this paper, inspired by some results in linear dynamics, we will show that every dynamical system (X,f), where f is a continuous self-map on a separable metric space X, can be extended to a chaotic (in the sense of Devaney) dynamical system in an isometric way.     

Selection principles for maps of several variables

We show that a pointwise precompact sequence of maps from the n-dimensional rectangle into a metric semigroup, whose total variations in the sense of Vitali, Hardy and Krause are uniformly bounded, contains a pointwise convergent subsequence. We present a variant of this result for maps with values in a reflexive separable Banach space with respect to the weak pointwise convergence of maps.     

Chaos and the shadowing property

We present, as a simpler alternative for the results of [P. Ko?cielniak, On genericity of shadowing and periodic shadowing property, J. Math. Anal. Appl. 310 (2005) 188-196; P. Ko?cielniak, M. Mazur, On C⁰ genericity of various shadowing properties, Discrete Contin. Dynam. Syst. 12 (2005) 523-530], an elementary proof of C⁰ genericity of the periodic shadowing property. We also characterize chaotic behavior (in the sense of being semiconjugated to a shift map) of shadowing systems.     

局部可分度量空间闭s映象的注记

该文讨论局部可分度量空间闭s映象的分解定理, 证明了正则的Fréchet空间是局部可分度量空间的闭s映象当且仅当满足如下条件: 具有点可数的cs*网, 第一可数的闭子空间是局部可分的, 且Lindelof的闭子空间是可分的.     

Metric spaces are universal for bi-interpretation with metric structures

In the context of metric structures introduced by Ben Yaacov, Berenstein, Henson, and Usvyatsov [3], we exhibit an explicit encoding of metric structures in countable signatures as pure metric spaces in the empty signature, showing that such structures are universal for bi-interpretation among metric structures with positive diameter. This is analogous to the classical encoding of arbitrary discrete structures in finite signatures as graphs, but is stronger in certain ways and weaker in others. There are also certain fine grained topological concerns with no analog in the discrete setting.     

Characterization of Stability for Cone Increasing Constraint Mappings

We investigate stability (in terms of metric regularity) for the specific class of cone increasing constraint mappings. This class is of interest in problems with additional knowledge on some nondecreasing behavior of the constraints (e.g. in chance constraints, where the occurring distribution function of some probability measure is automatically nondecreasing). It is demonstrated, how this extra information may lead to sharper characterizations. In the first part, general cone increasing constraint mappings are studied by exploiting criteria for metric regularity, as recently developed by Mordukhovich. The second part focusses on genericity investigations for global metric regularity (i.e. metric regularity at all feasible points) of nondecreasing constraints in finite dimensions. Applications to chance constraints are given.     

Natural almost contact structures and their 3D homogeneous models

We consider a natural condition determining a large class of almost contact metric structures. We study their geometry, emphasizing that this class shares several properties with contact metric manifolds. We then give a complete classification of left‐invariant examples on three‐dimensional Lie groups, and show that any simply connected homogeneous Riemannian three‐manifold admits a natural almost contact structure having g as a compatible metric. Moreover, we investigate left‐invariant CR structures corresponding to natural almost contact metric structures.     

The Kripke schema in metric topology

A form of Kripke's schema turns out to be equivalent to each of the following two statements from metric topology: every open subspace of a separable metric space is separable; every open subset of a separable metric space is a countable union of open balls. Thus Kripke's schema serves as a point of reference for classifying theorems of classical mathematics within Bishop‐style constructive reverse mathematics.     

On Functions which are the Difference of two Bounded Convex Functions on (0, ∞)

The notion of HEWITT-STROMBERG dimension of separable metric spaces is introduced and some first results are presented. This dimension will be compared with the HAUSDORFF dimension and the metric dimension of separable metric spaces.     

Almost isometric embedding between metric spaces

We investigate the relations ofalmost isometric embedding and ofalmost isometry between metric spaces. These relations have several appealing features. For example, all isomorphism types of countable dense subsets of ∝ form exactly one almostisometry class, and similarly with countable dense subsets of Uryson's universal separable metric spaceU. We investigate geometric, set-theoretic and model-theoretic aspects of almost isometry and of almost isometric embedding. The main results show that almost isometric embeddability behaves in the category ofseparable metric spaces differently than in the category of general metric spaces. While in the category of general metric spaces the behavior of universality resembles that in the category of linear orderings —namely, no universal structure can exist on a regular λ > ℵ₁ below the continuum—in the category of separable metric spaces universality behaves more like that in the category of graphs, that is, a small number of metric separable metric spaces on an uncountable regular λ<2^ℵ ₀ may consistently almost isometrically embed all separable metric spaces on λ. Research of the first author was supported by an Israeli Science foundation grant no. 177/01. Research of the second author was supported by the United States-Israel Binational Science Foundation. Publication 827.     

EXISTENCE THEOREMS FOR RANDOM MEASURES

Two existence theorems of random measures on a separable complete metric space areproved.It seems that the theory of random measures in locally compact spaces and that inseparable complete metric spaces are essentially different by noting that the critera fortightness of the locally finite measures is much more tedious than that of the Radommeasures.     

关于序列覆盖s映射的注记

本文分别给出局部可分度量空间的强序列覆盖（1序列覆盖,2序列覆盖）。映象的新刻画,还分别给出拓扑空间是局部可分度量空间的序列覆盖（紧覆盖）s映象的一个充分条件．     

Generic cuts in models of arithmetic

We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y. The notion of “indicator” is de.ned in a novel way, without initially specifying what property is indicated and is used to de.ne a topological space of cuts of the model. Various familiar properties of cuts (strength, regularity, saturation, coding properties) are investigated in this sense, and several results are given stating whether or not the set of cuts having the property is comeagre. A new notion of “generic cut” is introduced and investigated and it is shown in the case of countable arithmetically saturated models M ? PA that generic cuts exist, indeed the set of generic cuts is comeagre in the sense of Baire, and furthermore that two generic cuts within the same “small interval” of the model are conjugate by an automorphism of the model.The paper concludes by outlining some applications to constructions of cuts satisfying properties incompatible with genericity, and discussing in model‐theoretic terms those properties for which there is an indicator Y. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)