Related papers: A Computer Verified Theory of Compact Sets

In this paper we present a new semidefinite programming hierarchy for covering problems in compact metric spaces. Over the last years, these kind of hierarchies were developed primarily for geometric packing and for energy minimization…

In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we study strict subsets, i.e. sets whose variational capacity with respect to a larger reference set is finite, in the case $p=1$.…

While compactness is an essential assumption for many results in dynamical systems theory, for many applications the state space is only locally compact. Here we provide a general theory for compactifying such systems, i.e. embedding them…

Furstenberg, using tools from topological dynamics, defined the notion of a central subset of positive integers, and proved a powerful combinatorial theorem about such sets. Using the algebraic structure of the Stone-\v{C}ech…

The first aim of this paper is to examine some important properties of soft metric spaces. Second is to introduce soft continuous mappings and investigate properties of soft continuous mappings. Third is to prove some fixed point theorems…

The ramification of a polyhedral space is defined as the metric completion of the universal cover of its regular locus. We consider mainly polyhedral spaces of two origins: quotients of Euclidean space by a discrete group of isometries and…

An internal characterization of complete metric mappings (by means of Cauchy nets tied at a point) is given and a construction of the completion of a metric mapping is presented.

We identify the (filter representation of the) logic behind the recent theory of coherent sets of desirable (sets of) things, which generalise coherent sets of desirable (sets of) gambles as well as coherent choice functions, and show that…

Confidence nets, that is, collections of confidence intervals that fill out the parameter space and whose exact parameter coverage can be computed, are familiar in nonparametric statistics. Here, the distributional assumptions are based on…

A generalised notion of Kac-Moody algebra is defined using smooth maps from a compact real manifold $\mathcal{M}$ to a finite-dimensional Lie group, by means of complete orthonormal bases for a Hermitian inner product on the manifold and a…

In \cite{ZW}, the notion of homogenous perfect set as a generalization of Cantor type sets is introduced. Their Hausdorff, lower box-counting, upper box-counting and packing dimensions are studied in \cite{ZW} and \cite{WW}. In this paper,…

The central concept in the harmonic analysis of a compact group is the completeness of Peter-Weyl orthonormal basis as constructed from the matrix coefficients of a maximal set of irreducible unitary representations of the group, leading…

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…

We define the completion of an associative algebra $A$ in a set $M=\{M_1,\dots,M_r\}$ of $r$ right $A$-modules in such a way that if $\mathfrak a\subseteq A$ is an ideal in a commutative ring $A$ the completion $A$ in the (right) module…

We show that the first order theory of the homeomorphism group of a compact manifold interprets the full second order theory of countable groups of homeomorphisms of the manifold. The interpretation is uniform across manifolds of bounded…

We show that a fairly arbitrary Frechet space topology on the space of holomorphic functions on a domain controls the topology of uniform convergence on compact sets. In fact it turns out that the result we present can be proved more simply…

We consider polyhedral approximations of strictly convex compacta in finite dimensional Euclidean spaces (such compacta are also uniformly convex). We obtain the best possible estimates for errors of considered approximations in the…

Characterizations of paracompact finite $C$-spaces via continuous selections are given. We apply these results to obtain some properties of finite $C$-spaces. Factorization theorems and a completion theorem for finite $C$- spaces are also…

We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…

We prove in this paper that, under suitable coinditions on an initial data set, we can obtain Area and Curvature Estimates for simple marginally outer trapped surfaces (or MOTS). Using this estimates, we derive a Compactness Theorem for…