Related papers: Finite precision measurement nullifies Euclid's po…

In recent publications in physics and mathematics, concerns have been raised about the use of real numbers to describe quantities in physics, and in particular about the usual assumption that physical quantities are infinitely precise. In…

We study the projections in vector spaces over finite fields. We prove finite fields analogues of the bounds on the dimensions of the exceptional sets for Euclidean projection mapping. We provide examples which do not have exceptional…

The present paper establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic…

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…

The finiteness requirement for Euclidean Einstein gravity is shown to be so stringent that only the flat metric is allowed. We examine counterterms in 4D and 6D Ricci-flat manifolds from general invariance arguments.

Every physical measuring needs a finite, different from zero measurement time and provides information in form of the choice of a measurement result from all possible measurement results. If infinitely many (different) measurement results…

The classical Besicovitch-Federer projection theorem implies that the d-dimensional Hausdorff measure of a set in Euclidean space with non-negligible d-unrectifiable part will strictly decrease under orthogonal projection onto almost every…

The problem of quantization of measures looks for best approximations of probability measures on a metric space by discrete measures supported on $N$ points, where the error of approximation is measured with respect to the Wasserstein…

We prove that strong finite total curvature complete hypersurfaces of (n+1)-euclidean space are proper and diffeomorphic to a compact manifold minus finitely many points. With an additional condition, we also prove that the Gauss map of…

We resolve a long-standing open problem posed by Federer concerning the rectifiability of the integral geometric measure with exponent p >1, thereby settling a question that has persisted since its formulation. While the main theorem is…

We construct a purely unrectifiable set of finite $\mathcal H^1$-measure in every infinite dimensional separable Banach space $X$ whose image under every $0\neq x^*\in X^*$ has positive Lebesgue measure. This demonstrates completely the…

It is shown that for any translation invariant outer measure M, the M-measure of the intersection of any subset of R^n that is invariant under rational translations and which does not have full Lebesgue measure with an the closure of an…

We prove in particular that the Lipschitz-free space over a finitely-dimensional normed space is complemented in its bidual. For Euclidean spaces the norm of the respective projection is $1$. As a tool to obtain the main result we establish…

The Finslerian extension of the Euclidean metric is proposed and studied under rigorous conditions that the associated indicatrix is regular and convex. The relativistic pseudo-Euclidean metric is extended, too. The extensions show distinct…

The purpose of this paper is to prove that every finite set of points that can be constructed in the Euclidean plane by using a compass and a ruler can also be constructed by using unitary match-sticks in a non-simultaneous way and…

Every general relativity textbook emphasizes that coordinates have no physical meaning. Nevertheless, a coordinate choice must be made in order to carry out real calculations, and that choice can make the difference between a calculation…

The problem of artificial precision is a major objection to any theory of vagueness based on real numbers as degrees of truth. Suppose you are willing to admit that, under sufficiently specified circumstances, a predication of "is red"…

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

Following the general principles of noncommutative geometry, it is possible to define a metric on the space of pure states of the noncommutative algebra generated by the coordinates. This metric generalizes the usual Riemannian one. We…

Euclidean distance geometry is the study of Euclidean geometry based on the concept of distance. This is useful in several applications where the input data consists of an incomplete set of distances, and the output is a set of points in…