Related papers: Modulo arithmetic of function spaces: Subset hyper…

Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…

For a non-empty set $X$, the collection $Top(X)$ of all topologies on $X$ sits inside the Boolean lattice $\PP(\PP(X))$ (when ordered by set-theoretic inclusion) which in turn can be naturally identified with the Stone space $\px$. Via this…

When dealing with concrete problems in a function space on R^n, it is sometimes helpful to have a dense subspace consisting of functions of a particular type, adapted to the problem under consideration. We give a theorem that allows one to…

Let $ G $ be a real simple linear connected Lie group of real rank one. Then, $ X := G/K $ is a Riemannian symmetric space with strictly negative sectional curvature. By the classification of these spaces, $X$ is a real/complex/quaternionic…

Recall that the moduli space of smooth (that is, stable) cubic curves is isomorphic to the quotient of the upper half plane by the group of fractional linear transformations with integer coefficients. We establish a similar result for…

Let $X$ be an unbounded metric space, $B(x,r) = \{y\in X: d(x,y) \leqslant r\}$ for all $x\in X$ and $r\geqslant 0$. We endow $X$ with the discrete topology and identify the Stone-\v{C}ech compactification $\beta X$ of $X$ with the set of…

The deck of a topological space $X$ is the set $\mathcal{D}(X)=\{[X \setminus \{x\}] \colon x \in X\}$, where $[Z]$ denotes the homeomorphism class of $Z$. A space $X$ is topologically reconstructible if whenever…

We consider the space $\mathcal{M}_{2,1}$ --- the open moduli space of complex curves of genus 2 with one marked point. Using language of chord diagrams we describe the cell structure of $\mathcal{M}_{2,1}$ and cell adjacency. This allows…

In this paper we study near vector spaces over a commutative $F$ from a model theoretic point of view. In this context we show regular near vector spaces are in fact vector spaces. We find that near vector spaces are not first order…

We recast the tools of ``global causal analysis'' in accord with an approach to the subject animated by two distinctive features: a thoroughgoing reliance on order-theoretic concepts, and a utilization of the Vietoris topology for the space…

We show that the quotient associated to a quasi-Hamiltonian space has a symplectic structure even when 1 is not a regular value of the momentum map: it is a disjoint union of symplectic manifolds of possibly different dimensions, which…

An ultrametric topology formalizes the notion of hierarchical structure. An ultrametric embedding, referred to here as ultrametricity, is implied by a hierarchical embedding. Such hierarchical structure can be global in the data set, or…

We show that the space $\text{Lip}_0(\mathbb R^n)$ is the dual space of $L^{1}({\mathbb R}^{n}; {\mathbb R}^{n})/N$ where $N$ is the subspace of $L^{1}({\mathbb R}^{n}; {\mathbb R}^{n})$ consisting of vector fields whose divergence…

Let X be a complex analytic manifold. Given a closed subspace $Y\subset X$ of pure codimension p>0, we consider the sheaf of local algebraic cohomology $H^p_{[Y]}({\cal O}_X)$, and ${\cal L}(Y,X)\subset H^p_{[Y]}({\cal O}_X)$ the…

In this note I generalize the classical results of Calabi-Vesentini to certain non-compact locally symmetric domains, namely those that are quotients of a hermitian symmetric domain by a neat arithmetic subgroup of the group of its…

The path component space of a topological space $X$ is the quotient space $\pi_0(X)$ whose points are the path components of $X$. We show that every Tychonoff space $X$ is the path-component space of a Tychonoff space $Y$ of weight…

A compact Hausdorff space X is called a CO space, if every closed subset of X is homeomorphic to an open subset of X. Every successor ordinal with its order topology is a CO space. We find an explicit characterization of the class K of CO…

A space of pseudoquotients $\mathcal P (X,S)$ is defined as equivalence classes of pairs $(x,f)$, where $x$ is an element of a non-empty set $X$, $f$ is an element of $S$, a commutative semigroup of injective maps from $X$ to $X$, and…

We introduce a new lower-Vietoris-type hypertopology in a way similar to that with which a new upper-Vietoris-type hypertopology was introduced in G. Dimov and D. Vakarelov, "On Scott consequence systems", Fundamenta Informaticae, 33…

This is an exposition of homotopical results on the geometric realization of semi-simplicial spaces. We then use these to derive basic foundational results about classifying spaces of topological categories, possibly without units. The…