Related papers: Yoneda Completeness
The geometric concept of geodesic completeness depends on the choice of the metric field or "metric frame". We develop a frame-invariant concept of "generalised geodesic completeness" or "time completeness". It is based on the notion of…
In this survey, we discuss volumetric and combinatorial results concerning (mostly finite) intersections or unions of balls (mostly of equal radii) in the $d$-dimensional real vector space, mostly equipped with the Euclidean norm. Our first…
The general expression of the angular distance between two point sources as measured by an arbitrary observer is given. The modelling presented here is rigorous, covariant and valid in any space-time. The sources of light may be located at…
We prove that there exists a norm in the plane under which no n-point set determines more than O(n log n log log n) unit distances. Actually, most norms have this property, in the sense that their complement is a meager set in the metric…
We compare cosmologic and spherically symmetric solutions to metric and Palatini versions of vector Horndeski theory. It appears that Palatini formulation of the theory admits more degrees of freedom. Specifically, homogeneous isotropic…
A bounded subset of a normed linear space is said to be (diametrically) complete if it cannot be enlarged without increasing the diameter. A complete super set of a bounded set $K$ having the same diameter as $K$ is called a completion of…
We investigate the a theorem for nonsupersymmetric gauge-Yukawa theories beyond the leading order in perturbation theory. The exploration is first performed in a model-independent manner and then applied to a specific relevant example.…
We prove that if the shape of the metric unit ball in a homogeneous group enjoys a precise symmetry property, then the associated distance yields the standard form of the area formula. The result applies to some classes of smooth and…
We prove a limit theorem for the the maximal interpoint distance (also called the diameter) for a sample of n i.i.d. points in the unit ball of dimension 2 or more. The exact form of the limit distribution and the required normalisation are…
A covariant, scalar-tensor gravity is constructed such that the static, spherically symmetric Rezzolla-Zhidenko metric is an exact solution to the theory. The equations describing gravitational perturbations of this spacetime, which…
Complementing our previous results, we give a classification of all isometries (not necessarily surjective) of the metric space consisting of ball-bodies, endowed with the Hausdorff metric. "Ball bodies" are convex bodies which are…
The Kantorovich-Rubinshtein metric is an $L^1$-like metric on spaces of probability distributions that enjoys several serendipitous properties. It is complete separable if the underlying metric space of points is complete separable, and in…
In this paper, we introduce concepts of separable functions in balls and in the whole space, and develop a new method to investigate the qualitative properties of separable functions. We first study the axial symmetry and monotonicity of…
We study two notions. One is that of spindle convexity. A set of circumradius not greater than one is spindle convex if, for any pair of its points, it contains every short circular arc of radius at least one, connecting them. The other…
A counterpoint theory for the whole continuum of the octave is obtained from Mazzola's model via extended counterpoint symmetries, and some of its properties are discussed.
In this work we investigate the transfer of fundamental order and completeness properties between truncated Riesz spaces and their unitizations. Specifically, we provide characterizations and equivalences for several notions of…
We prove an almost continuous version of Dye's theorem: any two non-atomic probability measure preserving homeomorphisms of Polish spaces are almost continuously orbit equivalent. More precisely they are orbit equivalent by a map which is…
An abstract convergence theorem for a class of generalized descent methods that explicitly models relative errors is proved. The convergence theorem generalizes and unifies several recent abstract convergence theorems. It is applicable to…
Let $\mathbb{F}_q$ be a finite field of order $q$. Iosevich and Rudnev (2005) proved that for any set $A\subset \mathbb{F}_q^d$, if $|A|\gg q^{\frac{d+1}{2}}$, then the distance set $\Delta(A)$ contains a positive proportion of all…
We present a systematic study of join-extensions and join-completions of ordered algebras, which naturally leads to a refined and simplified treatment of fundamental results and constructions in the theory of ordered structures ranging from…