Entropy, products, and bounded orbit equivalence

We prove that if two topologically free and entropy regular actions of countable sofic groups on compact metrizable spaces are continuously orbit equivalent, and each group either (i) contains a w-normal amenable subgroup which is neither locally finite nor virtually cyclic, or (ii) is a non-locally-finite product of two infinite groups, then the actions have the same sofic topological entropy. This fact is then used to show that if two free uniquely ergodic and entropy regular probability-measure-preserving actions of such groups are boundedly orbit equivalent then the actions have the same sofic measure entropy. Our arguments are based on a relativization of property SC to sofic approximations and yield more general entropy inequalities.

Several results on compact metrizable spaces in $$\mathbf {ZF}$$

In the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $$\mathbf {ZF}$$ ZF , some are shown to be independent of $$\mathbf {ZF}$$ ZF . For independence results, distinct models of $$\mathbf {ZF}$$ ZF and permutation models of $$\mathbf {ZFA}$$ ZFA with transfer theorems of Pincus are applied. New symmetric models of $$\mathbf {ZF}$$ ZF are constructed in each of which the power set of $$\mathbb {R}$$ R is well-orderable, the Continuum Hypothesis is satisfied but a denumerable family of non-empty finite sets can fail to have a choice function, and a compact metrizable space need not be embeddable into the Tychonoff cube $$[0, 1]^{\mathbb {R}}$$ [ 0 , 1 ] R .

Metrizability of multiset topological spaces

In this paper, we have investigated one of the basic topological properties, called Metrizability in multiset topological space. Metrizable spaces are those topological spaces which are homeomorphic to a metric space. So, we first give the notion of metric between two multi-points in a finite multiset and studied some significant properties of a multiset metric space. The notion of metrizability is then studied by using this metric. Besides, the Urysohn’s lemma which is considered to be one of the important tools in studying some metrization theorems in topology is also discussed in context with multisets.

so-metrizable spaces and images of metric spaces

so-metrizable spaces are a class of important generalized metric spaces between metric spaces and s n sn -metrizable spaces where a space is called an so-metrizable space if it has a σ \sigma -locally finite so-network. As the further work that attaches to the celebrated Alexandrov conjecture, it is interesting to characterize so-metrizable spaces by images of metric spaces. This paper gives such characterizations for so-metrizable spaces. More precisely, this paper introduces so-open mappings and uses the “Pomomarev’s method” to prove that a space X X is an so-metrizable space if and only if it is an so-open, compact-covering, σ \sigma -image of a metric space, if and only if it is an so-open, σ \sigma -image of a metric space. In addition, it is shown that so-open mapping is a simplified form of s n sn -open mapping (resp. 2-sequence-covering mapping if the domain is metrizable). Results of this paper give some new characterizations of so-metrizable spaces and establish some equivalent relations among so-open mapping, s n sn -open mapping and 2-sequence-covering mapping, which further enrich and deepen generalized metric space theory.

Monad Metrizable Space

Do the topologies of each dimension have to be same and metrizable for metricization of any space? I show that this is not necessary with monad metrizable spaces. For example, a monad metrizable space may have got any indiscrete topologies, discrete topologies, different metric spaces, or any topological spaces in each different dimension. I compute the distance in real space between such topologies. First, the passing points between different topologies is defined and then a monad metric is defined. Then I provide definitions and some properties about monad metrizable spaces and PAS metric spaces. I show that any PAS metric space is also a monad metrizable space. Moreover, some properties and some examples about them are presented.