Related papers: Spaces of $\mathbb R$ - places of rational functio…

We prove that in the Miller model, every $M$-separable space of the form $C_p(X)$, where $X$ is metrizable and separable, is productively $M$-separable, i.e., $C_p(X)\times Y$ is $M$-separable for every countable $M$-separable $Y$.

This note tries to give an answer to the following question: Is there a sufficiently rich class of metric vector spaces such that sufficiently large spaces of continuous linear maps between them are metrizable?

We first prove that for every metrizable space $X$, for every closed subset $F$ whose complement is zero-dimensional, the space $X$ can be embedded into a product space of the closed subset $F$ and a metrizable zero-dimensional space as a…

A round metric space is the one in which closure of each open ball is the corresponding closed ball. By a sleek metric space, we mean a metric space in which interior of each closed ball is the corresponding open ball. In this, article we…

\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…

In this paper we introduce and study so-called $k^*$-metrizable spaces forming a new class of generalized metric spaces, and display various applications of such spaces in topological algebra, functional analysis, and measure theory. By…

Three themes of general topology: quotient spaces; absolute retracts; and inverse limits - are reapproached here in the setting of metrizable uniform spaces, with an eye to applications in geometric and algebraic topology. The results…

Building on the work of Avraham, Rubin, and Shelah, we aim to build a variant of the Fra\"iss\'e theory for uncountable models built from finite submodels. With this aim, we generalize the notion of an increasing set of reals to other…

It is known that the theory of any class of normed spaces over the reals that includes all spaces of a given dimension d > 1 is undecidable, and indeed, admits a relative interpretation of second-order arithmetic. The notion of a normed…

In spacetime physics, we frequently need to consider a set of all spaces (`universes') as a whole. In particular, the concept of `closeness' between spaces is essential. However, there has been no established mathematical theory so far…

We prove that any closed map between metrizable spaces can be extended to a closed map between completely metrizable spaces with the same extensional dimension.

We investigate the Baire classification of mappings $f:X\times Y\to Z$, where $X$ belongs to a wide class of spaces, which includes all metrizable spaces, $Y$ is a topological space, $Z$ is an equiconnected space, which are continuous in…

A metric space $(M, d)$ is said to be universal for a class of metric spaces if all metric spaces in the class can be isometrically embedded into $(M, d)$. In this paper, for a metrizable space $Z$ possessing abundant subspaces, we first…

We examine conditions on a (compact metrizable) space $X$ such that for any space $Y$ and closed subspace $Z$, the set of continuous functions from $Z$ to $X$ which extend to $Y$ is either open or closed in the set of continuous functions…

Let $X$ be a nilpotent space such that there exists $N\geq 1$ with $H^N(X,\mathbb Q) \ne 0$ and $H^n(X,\mathbb Q)=0$ if $n>N$. Let $Y$ be a m-connected space with $m\geq N+1$ and $H^*(Y,\mathbb Q)$ is finitely generated as algebra. We…

A metric space $\mathrm{M}=(M,\de)$ is {\em indivisible} if for every colouring $\chi: M\to 2$ there exists $i\in 2$ and a copy $\mathrm{N}=(N, \de)$ of $\mathrm{M}$ in $\mathrm{M}$ so that $\chi(x)=i$ for all $x\in N$. The metric space…

Let $X$ be a compact metric space and $\mathcal M_X$ be the set of isometry classes of compact metric spaces $Y$ such that the Lipschitz distance $d_L(X,Y)$ is finite. We show that $(\mathcal M_X, d_L)$ is not separable when $X$ is a closed…

The Einstein field equations have no known and acceptable interior solution that can be matched to an exterior Kerr field. In particular, there are no interior solutions that could represent objects like the Earth or other rigidly rotating…

We investigate a relations of almost isometric embedding and almost isometry between metric spaces and prove that with respect to these relations: (1) There is a countable universal metric space. (2) There may exist fewer than continuum…

We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…