Related papers: On the universal completions of pointfree function…
We show that for every complete metric space $M$ there exists another complete metric space $N$ of the same density character such that the curve-flat quotient of $N$ is isometric to $M$. Moreover, we show that if $M$ is compact and…
We discuss the asymptotic structure of spacetimes, presenting a new construction of ideal points at infinity and introducing useful topologies on the completed space. Our construction is based on structures introduced by Geroch, Kronheimer,…
Using the Bers isomorphism theorem for Teichmuller spaces of punctured Riemann surfaces and some of their other complex geometric features, we prove a general theorem on maximization of homogeneous polynomial (in fact, more general…
In the TQFT formalism of Moore-Tachikawa for describing Higgs branches of theories of class $\mathcal{S}$, the space associated to the unpunctured sphere in type $\mathfrak{g}$ is the universal centraliser $\mathfrak{Z}_G$, where…
By means of several examples, we motivate that universal properties are the simplest way to solve a given mathematical problem, explaining in this way why they appear everywhere in mathematics. In particular, we present the co-universal…
The main aim of this work is to show, in the absence of the Axiom of Choice, fundamental results on $\mathbf{E}$-compact extensions of $\mathbf{E}$-completely regular spaces, in particular, on Hewitt realcompactifications and Banaschewski…
We show that every linear functional on the Dirichlet space that is non-zero on nowhere-vanishing functions is necessarily a multiple of a point evaluation. Continuity of the functional is not assumed. As an application, we obtain a…
Motivated by the developing mathematics of deep learning, we build universal functions approximators of continuous maps between arbitrary Polish metric spaces $\mathcal{X}$ and $\mathcal{Y}$ using elementary functions between Euclidean…
We verified that the existence of a maximal ideal of height 0 in a p-adic algebra in a certain class is independent of the axiom of ZFC. We established the theory on a P-point in the boundary of a topological space in the universal totally…
We present an outline of the theory of universal Teichmuller space, viewed as part of the theory of QS, the space of quasisymmetric homeomorphisms of a circle. Although elements of QS act in one dimension, most results depend on a…
In this paper we consider a complete connected noncompact Riemannian manifold M with bounded geometry and spectral gap. We realize the dual space Y^h(M) of the Hardy-type space X^h(M), introduced in a previous paper of the authors, as the…
A singular riemannian foliation F on a complete riemannian manifold M is said to admit sections if each regular point of M is contained in a complete totally geodesic immersed submanifold (a section) that meets every leaf of F orthogonally…
The definition of a non-trivial space of generalized functions of a complex variable allowing to consider derivatives of continuous functions is a non-obvious task, e.g. because of Morera theorem, because distributional Cauchy-Riemann…
We introduce Lipschitz continuous and $C^{1,1}$ geometric approximation and interpolation methods for sampled bounded uniformly continuous functions over compact sets and over complements of bounded open sets in $\mathbb{R}^n$ by using…
In this note we show that on any compact subdomain of a K\"ahler manifold that admits sufficiently many global holomorphic functions, the products of harmonic functions form a complete set. This gives a positive answer to the linearized…
We study limits at infinity for homogeneous Hajlasz-Sobolev functions defined on uniformly perfect metric spaces equipped with a doubling measure. We prove that a quasicontinuous representative of such a function has a pointwise limit at…
The aim of this paper is to present the construction of a general family of C*-algebras which includes, as a special case, the "quantum spacetime algebra" introduced by Doplicher, Fredenhagen and Roberts. It is based on an extension of the…
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…
A completeness theorem is proved involving a system of integro-differential equations with some $\lambda$-depending boundary conditions. Also some sufficient conditions for the root functions to form a Riesz basis are established.
We prove that for continuous Lorentz-Finsler spaces timelike completeness implies inextendibility. Furthermore, we prove that under suitable locally Lipschitz conditions on the Finsler fundamental function the continuous causal curves that…