English
Related papers

Related papers: Completion of premetric spaces

200 papers

Author of this article created for the first time the method for finding solutions of the Minkowski problem for closed surfaces in Riemannian space.

Differential Geometry · Mathematics 2007-09-04 Andrei I. Bodrenko

We present a notion of precompactness, and study some of its properties, in the context of apartness spaces whose apartness structure is not necessarily induced by any uniform one. The presentation lies entirely with a Bishop-style…

Logic in Computer Science · Computer Science 2015-07-01 Douglas S Bridges

Path integrals developed by Richard Feynman have been an important tool in Physics in studying quantum field theory. In mathematics, it has also been widely used in providing formal proofs in the study of Index theorem and asymptotic…

Probability · Mathematics 2017-02-23 Zhehua Li

Botelho, Jamison, and Moln\'ar \cite{BJM}, and Geh\' er and \v{S}emrl \cite{GeS} have recently described the general form of surjective isometries of Grassmann spaces of all projections of a fixed finite rank on a Hilbert space $H$. As a…

Functional Analysis · Mathematics 2018-05-22 Gy. P. Gehér , P. Šemrl

We show, following W. Holsztynski, that there exists a continuous metric d on the set of real numbers R such that any finite metric space is isometrically embeddable into (R,d).

General Topology · Mathematics 2007-05-23 S. Ovchinnikov

We propose a unified treatment of extensions of group-valued contents (i.e., additive set functions defined on a ring) by means of adding new null sets. Our approach is based on the notion of a completion ring for a content $\mu$. With…

Functional Analysis · Mathematics 2023-09-08 A. G. Smirnov , M. S. Smirnov

Shape completion is the problem of completing partial input shapes such as partial scans. This problem finds important applications in computer vision and robotics due to issues such as occlusion or sparsity in real-world data. However,…

Computer Vision and Pattern Recognition · Computer Science 2021-07-08 Himanshu Arora , Saurabh Mishra , Shichong Peng , Ke Li , Ali Mahdavi-Amiri

An S-approximation space is a novel approach to study systems with uncertainty that are not expressible in terms of inclusion relations. In this work, we further examined these spaces, mostly from a topological point of view by a…

Algebraic Topology · Mathematics 2016-02-03 M. R. Hooshmandasl , M. Alambardar Meybodi , A. K. Goharshady , A. Shakiba

The classical Cauchy completion of a metric space (by means of Cauchy sequences) as well as the completion of a uniform space (by means of Cauchy filters) are well-known to rely on the symmetry of the metric space or uniform space in…

General Topology · Mathematics 2015-07-03 Alveen Chand , Ittay Weiss

A new sequential approach to investigations of structure of metric spaces at infinity is proposed. Criteria for finiteness and boundedness of metric spaces at infinity are found.

Metric Geometry · Mathematics 2017-04-04 Viktoriia Bilet , Oleksiy Dovgoshey

In a projective space we fix some set of points, a horizon, and investigate the complement of that horizon. We prove, under some assumptions on the size of lines, that the ambient projective space, together with its horizon, both can be…

Combinatorics · Mathematics 2013-05-22 Mariusz Żynel , Krzysztof Petelczyc

In this paper we introduce a family of examples that can be regarded as spaces of nonpositive curvature, but with the distinct quality that they are not complete as metric spaces. This amounts to the fact that they are modelled on a finite…

Metric Geometry · Mathematics 2009-08-27 Cristian Conde , Gabriel Larotonda

Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplete conjectures and incomplete proofs. The framework can turn…

Artificial Intelligence · Computer Science 2024-01-25 Salwa Tabet Gonzalez , Predrag Janičić , Julien Narboux

This is a survey of recent advances in commutative algebra, especially in mixed characteristic, obtained by using the theory of perfectoid spaces. An explanation of these techniques and a short account of the author's proof of the direct…

Commutative Algebra · Mathematics 2018-01-31 Yves Andre

This paper approaches high-rank matrix completion (HRMC) by filling missing entries in a data matrix where columns lie near a union of subspaces, clustering these columns, and identifying the underlying subspaces. Current methods often lack…

Machine Learning · Computer Science 2026-02-04 Huanran Li , Jeremy Johnson , Daniel Pimentel-Alarcón

We develop the theory of a metric completion of an asymmetric metric space. We characterize the points on the boundary of Outer Space that are in the metric completion of Outer Space with the Lipschitz metric. We prove that the simplicial…

Group Theory · Mathematics 2018-09-12 Yael Algom-Kfir

We introduce a metric on the space of monetary risk measure, which generates the point-wise convergence topology and extends the metric on the initial compactum.

General Topology · Mathematics 2019-06-27 Sh. A. Ayupov , A. A. Zaitov

In this paper we have introduced arithmetic ff-continuity and arithmetic fb-continuity utilizing the concept of forward and backward arithmetic convergence in quasi cone metric spaces. These concepts are used to prove some fascinating…

Functional Analysis · Mathematics 2022-12-21 Shallu Sharma , Iqbal Kour

We propose a novel Riemannian manifold preconditioning approach for the tensor completion problem with rank constraint. A novel Riemannian metric or inner product is proposed that exploits the least-squares structure of the cost function…

Machine Learning · Computer Science 2016-05-27 Hiroyuki Kasai , Bamdev Mishra

We give a description of the completion of the manifold of all smooth Riemannian metrics on a fixed smooth, closed, finite-dimensional, orientable manifold with respect to a natural metric called the $L^2$ metric. The primary motivation for…

Differential Geometry · Mathematics 2009-04-02 Brian Clarke