Related papers: Completion of premetric spaces
We count the number of Coxeter's friezes over a finite field. Our method uses geometric realizations of the spaces of friezes in a certain completion of the classical moduli space $\mathcal{M}_{0,n}$ allowing repeated points in the…
Reparametrization invariant Sobolev metrics on spaces of regular curves have been shown to be of importance in the field of mathematical shape analysis. For practical applications, one usually discretizes the space of smooth curves and…
In this paper, we propose a novel method for matrix completion under general non-uniform missing structures. By controlling an upper bound of a novel balancing error, we construct weights that can actively adjust for the non-uniformity in…
In this article we prove completeness results for Sobolev metrics with nonconstant coefficients on the space of immersed curves and on the space of unparametrized curves. We provide necessary as well as sufficient conditions for the…
The concept of full points of abstract unitals has been introduced by Korchm\'aros, Siciliano and Sz\H{o}nyi as a tool for the study of projective embeddings of abstract unitals. In this paper we give a more detailed description of the…
We develop a constructive process which determines all extreme points of the unit ball of the space of $m$--linear forms, $m\geq1.$ Our method provides a full characterization of the geometry of that space through finitely many elementary…
In a paper published posthumously, P.S. Urysohn constructed a complete, separable metric space that contains an isometric copy of every complete separable metric space, nowadays referred to as the Urysohn universal space. Here we study…
The H(div)-conforming approach for the Brinkman equation is studied numerically, verifying the theoretical a priori and a posteriori analysis in previous work of the authors. Furthermore, the results are extended to cover a non-constant…
A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…
This paper introduces a new metric and mean on the set of positive semidefinite matrices of fixed-rank. The proposed metric is derived from a well-chosen Riemannian quotient geometry that generalizes the reductive geometry of the positive…
It is shown, that the space quantum existence (SQE)non-ambigously determine the metric form for the space without time, using weak condition of metrics addivity. The hypotesis is proposed, Riemann metics is only possible for quantized space…
We present a coordinate-free version of Fefferman's solution of Whitney's extension problem in the space $C^{m-1,1}(\mathbb{R}^n)$. While the original argument relies on an elaborate induction on collections of partial derivatives, our…
All constructive methods employed in modern mathematics produce only countable sets, even when designed to transcend countability. We show that any constructive argument for uncountability -- excluding diagonalization techniques --…
S. Donaldson introduced a metric on the space of volume forms, with fixed total volume on any compact Riemmanian manifold. With this metric, the space of volume forms formally has non-positive curvature. The geodesic equation is a fully…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
Quasiminimal pregeometry classes were introduces by Zilber [2005a] to isolate the model theoretical core of several interesting examples. He proves that a quasiminimal pregeometry class satisfying an additional axiom, called excellence, is…
Suppose $(X,\omega)$ is a compact K\"ahler manifold. Following Mabuchi, the space of smooth K\"ahler potentials $\mathcal H$ can be endowed with a Riemannian structure, which induces an infinite dimensional path length metric space…
This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians. The program is…
In this paper, we study metric completions of triangulated categories in a representation-theoretic context. We provide a concrete description of completions of bounded derived categories of hereditary finite dimensional algebras of finite…
A method of Proctor [European J. Combin. 5 (1984), no. 4, 331-350] realizes the set of arbitrary plane partitions in a box and the set of symmetric plane partitions as bases of linear representations of Lie groups. We extend this method by…