Related papers: A Note on Monotonically Metacompact Spaces
We characterize the finite dimensional asymmetric normed spaces which are right bounded and the relation of this property with the natural compactness properties of the unit ball, as compactness and strong compactness. In contrast with some…
A consistent path system in a graph $G$ is an collection of paths, with exactly one path between any two vertices in $G$. A path system is said to be consistent if it is intersection-closed. We say that $G$ is strictly metrizable if every…
We continue our investigation of the configuration space of general relativity begun in I (gr-qc/9411009). Here we examine the Hamiltonian constraint when the spatial geometry is momentarily static (MS). We show that MS configurations…
We define the compact universal cover of a compact, metrizable connected space (i.e. a continuum) X to be the inverse limit of all continua that regularly cover X. We show that such covers do indeed form an inverse system with bonding maps…
We show that all sufficiently nice $\lambda$-sets are countable dense homogeneous ($\mathsf{CDH}$). From this fact we conclude that for every uncountable cardinal $\kappa \le \mathfrak{b}$ there is a countable dense homogeneous metric space…
When a topological group $G$ acts on a compact space $X$, its enveloping semigroup $E(X)$ is the closure of the set of $g$-translations, $g\in G$, in the compact space $X^X$. Assume that $X$ is metrizable. It has recently been shown by the…
A space is called linearly H-closed iff any chain cover possesses a dense member. This property lies strictly between feeble compactness and H-closedness. While regular H-closed spaces are compact, there are linearly H-closed spaces which…
In this short paper, I recall the history of dealing with the lack of compactness of a sequence in the case of an unbounded domain and prove the vanishing Lions-type result for a sequence of Lebesgue-measurable functions. This lemma…
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…
The study of the sobriety of Scott spaces has got an relative long history in domain theory. Lawson and Hoffmann independently proved that the Scott space of every continuous directed complete poset (usually called domain) is sober.…
We investigate $\mathcal F$-Borel topological spaces. We focus on finding out how a~complexity of a~space depends on where the~space is embedded. Of a~particular interest is the~problem of determining whether a~complexity of given space $X$…
The category of monotone determined spaces is an extended topological framework for dcpos in domain theory. We first show that monotone determined spaces are exactly the spaces generated by one-point convergence spaces, and then naturally…
For $C^0$ generic continuous maps or homeomorphisms on compact Riemannian manifold, we prove that (1) the space of physical-like measures coincides with the set of invariant measures supported on chain recurrent classes, (2) every point in…
We answer a question of Yasui. Morever, we show that if a Tychonoff space Y is countably 1-paracompact in every Tychonoff space X that contains Y as a closed subspace then Y is linearly Lindelof.
Let L be a Lie group and Lambda a lattice in L. Suppose G is a non-compact simple Lie group realized as a Lie subgroup of L, and the image of G on L/Lambda is dense. Let c be a diagonalizable element of G not contained in a compact…
Partially ordered sets (posets) play a universal role as an abstract structure in many areas of mathematics. For finite posets, an explicit enumeration of distinct partial orders on a set of unlabelled elements is known only up to a…
For a metrizable space $X$ of density $\kappa$, let $PM(X)$ be the space of continuous bounded pseudometrics on $X$ endowed with the uniform convergence topology. In this paper, its topology shall be classified as follows: (i) If $X$ is…
In this paper a construction of a metrizable zero-dimensional CDH space $X$ such that $X^2$ has exactly $\mathfrak{c}$ countable dense subsets is provided. Furthermore, it is shown that the space can be constructed consistently co-analytic.…
Dimensional types of metric scattered spaces are investigated. Revised proofs of Mazurkiewicz-Sierpi\'nski and Knaster-Urbanik theorems are presented. Embeddable properties of countable metric spaces are generalized onto uncountable metric…
The concept of the strong Pytkeev property, recently introduced by Tsaban and Zdomskyy in [32], was successfully applied to the study of the space $C_c(X)$ of all continuous real-valued functions with the compact-open topology on some…