There is no compactification theorem for the small inductive dimension

We give an example of a perfectly normal first countable space X¹ with ind X¹ = 1 such that if Z is a Lindelöf space containing X¹. then ind Z=dim Z=∞. Under CH, there is a perfectly normal, hereditarily separable and first countable such space.     

On metric spaces with the properties of de Groot and Nagata in dimension one

A metric space (X,d) has the de Groot property GPn if for any points x₀,x₁,…,xn+2∈X there are positive indices i,j,k?n+2 such that i≠j and d(xi,xj)?d(x₀,xk). If, in addition, k∈{i,j} then X is said to have the Nagata property NPn. It is known that a compact metrizable space X has dimension dim(X)?n iff X has an admissible GPn-metric iff X has an admissible NPn-metric.We prove that an embedding f:(0,1)→X of the interval (0,1)⊂R into a locally connected metric space X with property GP₁ (resp. NP₁) is open, provided f is an isometric embedding (resp. f has distortion Dist(f)=‖fLip_‖⋅‖f−1Lip_‖<2). This implies that the Euclidean metric cannot be extended from the interval [−1,1] to an admissible GP₁-metric on the triode T=[−1,1]∪[0,i]. Another corollary says that a topologically homogeneous GP₁-space cannot contain an isometric copy of the interval (0,1) and a topological copy of the triode T simultaneously. Also we prove that a GP₁-metric space X containing an isometric copy of each compact NP₁-metric space has density ?c.     

Spaces betweenX and its Freudenthal compactification

Let X indicate the Freudenthal compactification of a rimcompact, completely regular Hausdorff spaceX. In this paper the spacesY which satisfyXYX are characterized. From this a characterization of whenX lies between its locally compact partL(X) and (L(X)) follows. Such spaces necessarily possess a compactification X for whichCl _X (X–X) is 0-dimensional. Conditions, including those internal toX, are provided which are necessary and sufficient for this property to hold.This research was partially supported by a grant from Moorhead State University.     

On the Chatyrko-Hattori solution of de Groot's question

Let Zn=(n[0,1]×(0,1])∪(∂(n[0,1])×{0}). De Groot asked: Is cmpZn?n for every n? It is known that the answer is yes for n=1 and 2. V.A. Chatyrko and Y. Hattori [Fund. Math. 172 (2002) 107-115] showed that the answer is no for n?5. It is shown that the answer is also no for n=4. The question is unresolved for n=3.     

Selections for quasi-l.s.c. mappings with uniformly equi-LCn range

Every quasi-lower semi-continuous (q.l.s.c.) mapping admits a lower semi-continuous (l.s.c.) selection preserving all important (from the selection point of view) properties of the former mapping. Special-type extensions of l.s.c. mappings are established on this base.     

A counterexample for some problem for de Groot dual iterations

We prove that there is a topology τ that does not arise as a de Groot dual topology such that τd=τddd≠τdd?τ (i.e. the answer for Question 3.9 [M.M. Kovár, At most 4 topologies can arise from iterating the de Groot dual, Topology Appl. 130 (2003) 175-182] is negative).     

The evaluation identification in function spaces

A study is made of the natural function which maps each point x of a space X to the evaluation function e_x:Y^x→Y defined by $\text{e}{}_{\mathrm{x}}\text{(?)=?(x)}$. A consequence of the results is that βX and υX can both be considered as subspaces of spaces of continous functions from appropriate domain spaces into I or R, respectively.     

Characterizations of certain classes of infinite dimensional metrizable spaces

We shall give the characterizations of metrizable spaces that have both large transfinite dimension Ind and strong small transfinite dimension sind in terms of ranks and developments. A characterization of such separable metrizable spaces by means of embeddings into the Hilbert cube is also obtained.     

Certain classes of weakly infinite-dimensional spaces and topological games

In [V.V. Fedorchuk, Questions on weakly infinite-dimensional spaces, in: E.M. Pearl (Ed.), Open Problems in Topology II, Elsevier, Amsterdam, 2007, pp. 637-645; V.V. Fedorchuk, Weakly infinite-dimensional spaces, Russian Math. Surveys 42 (2) (2007) 1-52] classes w-m-C of weakly infinite-dimensional spaces, 2?m?∞, were introduced. We prove that all of them coincide with the class wid of all weakly infinite-dimensional spaces in the Alexandroff sense. We show also that transfinite dimensions dimwm, introduced in [V.V. Fedorchuk, Questions on weakly infinite-dimensional spaces, in: E.M. Pearl (Ed.), Open Problems in Topology II, Elsevier, Amsterdam, 2007, pp. 637-645; V.V. Fedorchuk, Weakly infinite-dimensional spaces, Russian Math. Surveys 42 (2) (2007) 1-52], coincide with dimension dimw2=dim, where dim is the transfinite dimension invented by Borst [P. Borst, Classification of weakly infinite-dimensional spaces. I. A transfinite extension of the covering dimension, Fund. Math. 130 (1) (1988) 1-25]. Some topological games which are related to countable-dimensional spaces, to C-spaces, and some other subclasses of weakly infinite-dimensional spaces are discussed.     

On nagata's problem for paracompact σ-metric spaces

Let (A) be the characterization of dimension as follows: Ind X?n if and only if X has a σ-closure-preserving base $\text{W}$ such that Ind B(W)?n?1 for every W?$\text{W}$. The validity of (A) is proved for spaces X such that(i) X is a paracompact σ-metric space with a scale {X_i} such that each X_i has a uniformly approaching anti-cover, or(ii) X is a subspace of the product ΠX_i of countably many L-spaces X_i, the notion of which is due to K. Nagami.(i) and (ii) are the partial answers to Nagata's problem wheter (A) holds or not for every M₁-space X.     

Multistage n-dimensional universal spaces and extensions

Let Iτ be the Tychonoff cube of weight τ?ω with a fixed point, στ and Στ be the correspondent σ- and Σ-products in Iτ and στ⊂(Σστ=ω(στ))⊂Στ. Then for any n∈{0,1,2,…}, there exists a compactum Unτ⊂Iτ of dimension n such that for any Z⊂Iτ of dimension?n, there exists a topological embedding of Z in Unτ that maps the intersections of Z with στ, Σστ and Στ to the intersections , and of Unτ with στ, Σστ and Στ, respectively; , and are n-dimensional and is σ-compact, is a Lindelöf Σ-space and is a sequentially compact normal Fréchet-Urysohn space. This theorem (on multistage universal spaces of given dimension and weight) implies multistage extension theorems (in particular, theorems on Corson and Eberlein compactifications) for Tychonoff spaces.     

STRONG ZERO-DIMENSIONALITY OF BIFRAMES AND BISPACES

Abstract

A bispace is called strongly zero-dimensional if its bispace Stone—?ech compactification is zero—dimensional. To motivate the study of such bispaces we show that among those functorial quasi—uniformities which are admissible on all completely regular bispaces, some are and others are not transitive on the strongly zero-dimensional bispaces. This is in contrast with our result that every functorial admissible uniformity on the completely regular spaces is transitive precisely on the strongly zero-dimensional spaces.

We then extend the notion of strong zero-dimensionality to frames and biframes, and introduce a De Morgan property for biframes. The Stone—Cech compactification of a De Morgan biframe is again De Morgan. In consequence, the congruence biframe of any frame and the Skula biframe of any topological space are De Morgan and hence strongly zero-dimensional. Examples show that the latter two classes of biframes differ essentially.     

Property C. Wallman basis and S-metrizability

In this present paper we prove that every Lindelof space which has a perfect locally connected Hausdorff compactification, has property C. (This latter concept was introduced by R.F. Dickman Jr). We make clear that this class of Lindelöf spaces properly contains the class of paracompact, connected, locally compact and locally connected spaces, as well as the class of those spaces whose topology can be induced by a metric with property S (or S-metrizable spaces). In this fashion, we simultaneously generalize two previous results of Dickman on spaces with property C. The use of Wallman basis with certain connectedness properties turns out to be a very convenient tool in the construction of locally connected compactifications as well as in characterizing S-metrizable spaces.     

Two-dimensional convexities are join-hull commutative

It is shown that two-dimensional convex structures with certain natural properties are join-hull commutative. The main intermediate step is the computation of the so-called exchange number. We also give two examples of three-dimensional convexities which are not join-hull commutative. The second one has certain additional properties showing that the main theorem is sharp in many other respects. These properties are obtained from a study of convex hyperspaces.     

A normal screenable non-paracompact space

We construct a normal screenable non-paracompact spaces using ?⁺⁺, which is a consequence of V = L.     

A note on the Brouwer dimension of chainable spaces

A general method produces from a compact Hausdorff space S a compact Hausdorff space T with IndT=IndS+1. We show that if S is chainable, then T is also chainable while DgT<IndT, where Dg denotes dimensionsgrad, the dimension in the original sense of Brouwer. This leads to a chainable, first countable, separable space Xn with DgXn<IndXn=n for each integer n>1.     

On one-point metrizable extensions of locally compact metrizable spaces

For a non-compact metrizable space X, let E(X) be the set of all one-point metrizable extensions of X, and when X is locally compact, let EK(X) denote the set of all locally compact elements of E(X) and be the order-anti-isomorphism (onto its image) defined in [M. Henriksen, L. Janos, R.G. Woods, Properties of one-point completions of a non-compact metrizable space, Comment. Math. Univ. Carolin. 46 (2005) 105-123; in short HJW]. By definition λ(Y)=_?n<ωclβX(Un∩X)\X, where Y=X∪{p}∈E(X) and {Un}_n<ω is an open base at p in Y. We characterize the elements of the image of λ as exactly those non-empty zero-sets of βX which miss X, and the elements of the image of EK(X) under λ, as those which are moreover clopen in βX\X. This answers a question of [HJW]. We then study the relation between E(X) and EK(X) and their order structures, and introduce a subset ES(X) of E(X). We conclude with some theorems on the cardinality of the sets E(X) and EK(X), and some open questions.     

The orderability of nonarchimedean spaces

Let X be a nonarchimedean space and C be the union of all compact open subsets of X. The following conditions are listed in increasing order of generality. (Conditions 2 and 3 are equivalent.) 1. X is perfect; 2. C is an F_σ in X; 3. C? is metrizable; 4. X is orderable. It is also shown that X is orderable if $\text{C}\text{?}\text{?C}$ is scattered or X is a GO space with countably many pseudogaps. An example is given of a non-orderable, totally disconnected, GO space with just one pseudogap.     

A wage-type example with a pseudocompact factor

The following example is constructed without any set-theoretic assumptions beyond ZFC: There exist a hereditarily separable hereditarily Lindelöf space X and a first-countable locally compact separable pseudocompact space Y such that dim X = dimY = 0, while dim(X × Y)>0.