Related papers: Lelek's problem is not a metric problem

We find an extension of the quasi-metric (to be called $g$-quasi metric) such that the induced generalized topology may fail to form a topology. We show that $g$-quasi metrizability is a $g$-topologically invariant property of generalized…

This paper investigates the failure of certain metric measure spaces to be infinitesimally Hilbertian or quasi-Riemannian manifolds, by constructing examples arising from a manifold $M$ endowed with a Riemannian metric $g$ that is possibly…

We investigate dense lineability and spaceability of subsets of $\ell_\infty$ with a prescribed number of accumulation points. We prove that the set of all bounded sequences with exactly countably many accumulation points is densely…

Let $\Omega \subset R^n$, $n \geq 3$, be a fixed smooth bounded domain, and let $\gamma$ be a smooth conductivity in $\overline{\Omega}$. Consider a non-zero frequency $\lambda_0$ which does not belong to the Dirichlet spectrum of $L_\gamma…

We show that Keisler's order is not linear, assuming the existence of a supercompact cardinal.

On a closed manifold, consider the space of all Riemannian metrics for which -Delta + kR is positive (nonnegative) definite, where k > 0 and R is the scalar curvature. This spectral generalization of positive (nonnegative) scalar curvature…

We examine the metrics that arise when a finite set of points is embedded in the real line, in such a way that the distance between each pair of points is at least 1. These metrics are closely related to some other known metrics in the…

Continuity of measure asserts that the measure of the union of an increasing sequence of sets is equal to the supremum of the measures of those sets. We provide counter examples in the case of uncountable unions. We construct the first…

We show that the endpoint set of a Suslinian chainable continuum must be zero-dimensional at some point. In particular, it cannot be homeomorphic to complete Erd\H{o}s space. This answers a question of Jerzy Krzempek.

Marchal's lemma is the basic tool for eliminating collisions when using the direct method of the calculus of variations to establish existence of "designer" solutions to the classical N-body problem. Our goal here is to understand why…

We give sufficient conditions on a labeled direct graph to determine whether the Tanaka prolongation of its associated Lie algebra is infinite-dimensional. In the case that all directed edges are labeled differently, the corresponding graph…

A Lie algebra is said to be metric if it admits a symmetric invariant and nondegenerate bilinear form. The harmonic oscillator algebra, which arises in the quantum mechanical description of a harmonic oscillator, is the smallest solvable…

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 --…

In the first part of this paper, we extend the result of Li-Wang on the linearized embedding problem to a compact manifold of arbitrary dimension. Using this, we then show that any metric perturbation of a embedded $n$-sphere is also…

We consider the method of alternating projections for finding a point in the intersection of two closed sets, possibly nonconvex. Assuming only the standard transversality condition (or a weaker version thereof), we prove local linear…

We consider pure traction problems and we show that incompressible linearized elasticity can be obtained as variational limit of incompressible finite elasticity under suitable conditions on external loads.

We construct a locally finite graph and a bounded geometry metric space which do not admit a quasi-isometric embedding into any uniformly convex Banach space. Connections with the geometry of $c_0$ and superreflexivity are discussed.

In this paper we prove that the $k$-th order metric-affine Lovelock Lagrangian is not a total derivative in the critical dimension $n=2k$ in the presence of non-trivial non-metricity. We use a bottom-up approach, starting with the study of…

In our previous work, we proposed the logic obtained from full non-associative Lambek calculus by adding a sort of linear-logical modality. We call this logic non-associative non-commutative intuitionistic linear logic ($\mathbf{NACILL}$,…

Some examples of three-dimensional metrics of constant curvature defined by solutions of nonlinear integrable differential equations and their generalizations are constructed. The properties of Riemann extensions of the metrics of constant…