Zig-zag chains and metric equivalences between ultrametric spaces

We study the classification of ultrametric spaces based on their small scale geometry (uniform homeomorphism), large scale geometry (coarse equivalence) and both (bi-uniform equivalences). Using a combinatoric approach we consider every ultrametric space as the end space of a chain and prove that all these equivalences can be characterized by the existence of a common zig-zag chain.     

A net and open-filter process of compactification and the Stone-?ech, Wallman compactifications

By a characterization of compact spaces in Section 1, a process of obtaining a compactification (X^∗,k) of an arbitrary topological space X is described in Section 2 by a combined approach of nets and open filters. The Wallman compactification can be embedded in X^∗ if X is Hausdorff and by a little modification, the compactification of X is the Stone-?ech compactification of X if X is Tychonoff.     

The compact-open topology: A new perspective

This paper studies the compact-open topology on the set KC(X) of all real-valued functions defined on a Tychonoff space, which are continuous on compact subsets of X. In addition to metrizability, separability and second countability of this topology on KC(X), various kinds of topological properties of this topology are studied in detail. Actually the motivation for studying the compact-open topology on KC(X) lies in the attempt of having a simpler proof for the characterization of a completeness property of the compact-open topology on C(X), the set of all real-valued continuous functions on X.     

Extensions and new observations of Tychonoff,Stone-Weierstrass theorems,compactifications and the realcompactification

An extension of the Tychonoff theorem is obtained in characterizing a compact space by the nets and the images induced by any family of continuous functions on it. The idea of this extension is applied to get a new process and new observations of compactifications and the realcompactification. Finally, a sufficient and necessary condition of a vector sublattice or a subalgebra of C¹(X) to be dense in (C¹(X),∥·∥) is provided in terms of the nets in X induced by C¹(X), where C¹(X) is the space of all bounded real continuous functions on a topological space X with pointwise ordering, and ∥·∥ is the supremum norm.     

Remote points in large products

A point p ∈ βX\X is a remote point of X if p? cl_βXD for any nowhere dense D ? X. Van Douwen, and independently Chae and Smith, have shown that each non-pseudocompact space of countable π-weight has a remote point. Van Mill showed that many spaces of π-weight ω₁, such as ω×2^ω₁ also have remote points.We show that arbitrarily large products of spaces with countable π-weight which are not pseudocompact have remote points. In particular, ω×2^? for any infinite cardinal ?.     

On order structure of the set of one-point Tychonoff extensions of a locally compact space

If a Tychonoff space X is dense in a Tychonoff space Y, then Y is called a Tychonoff extension of X. Two Tychonoff extensions Y₁ and Y₂ of X are said to be equivalent, if there exists a homeomorphism which keeps X pointwise fixed. This defines an equivalence relation on the class of all Tychonoff extensions of X. We identify those extensions of X which belong to the same equivalence classes. For two Tychonoff extensions Y₁ and Y₂ of X, we write Y₂?Y₁, if there exists a continuous function which keeps X pointwise fixed. This is a partial order on the set of all (equivalence classes of) Tychonoff extensions of X. If a Tychonoff extension Y of X is such that Y\X is a singleton, then Y is called a one-point extension of X. Let T(X) denote the set of all one-point extensions of X. Our purpose is to study the order structure of the partially ordered set (T(X),?). For a locally compact space X, we define an order-anti-isomorphism from T(X) onto the set of all nonempty closed subsets of βX\X. We consider various sets of one-point extensions, including the set of all one-point locally compact extensions of X, the set of all one-point Lindelöf extensions of X, the set of all one-point pseudocompact extensions of X, and the set of all one-point ?ech-complete extensions of X, among others. We study how these sets of one-point extensions are related, and investigate the relation between their order structure, and the topology of subspaces of βX\X. We find some lower bounds for cardinalities of some of these sets of one-point extensions, and in a concluding section, we show how some of our results may be applied to obtain relations between the order structure of certain subfamilies of ideals of C^∗(X), partially ordered with inclusion, and the topology of subspaces of βX\X. We leave some problems open.     

Local connectedness and extension of uniformly continuous functions

A metric space X is straight if for each finite cover of X by closed sets, and for each real valued function f on X, if f is uniformly continuous on each set of the cover, then f is uniformly continuous on the whole of X. The straight spaces have been studied in [A. Berarducci, D. Dikranjan, J. Pelant, An additivity theorem for uniformly continuous functions, Topology and its Applications 146-147 (2005) 339-352], which contains characterization of the straight spaces within the class of the locally connected spaces (they are the uniformly locally connected ones) and the class of the totally disconnected spaces (they coincide with the totally disconnected Atsuji spaces). We show that the completion of a straight space is straight and we characterize the dense straight subspaces of a straight space. In order to clarify further the relation between straightness and the level of local connectedness of the space we introduce two more intermediate properties between straightness and uniform local connectedness and we give various examples to distinguish them. One of these properties coincides with straightness for complete spaces and provides in this way a useful characterization of complete straight spaces in terms of the behaviour of the quasi-components of the space.     

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.     

Zero-dimensional proximities and zero-dimensional compactifications

We introduce zero-dimensional proximities and show that the poset 〈Z(X),?〉 of inequivalent zero-dimensional compactifications of a zero-dimensional Hausdorff space X is isomorphic to the poset 〈Π(X),?〉 of zero-dimensional proximities on X that induce the topology on X. This solves a problem posed by Leo Esakia. We also show that 〈Π(X),?〉 is isomorphic to the poset 〈B(X),⊆〉 of Boolean bases of X, and derive Dwinger's theorem that 〈Z(X),?〉 is isomorphic to 〈B(X),⊆〉 as a corollary. As another corollary, we obtain that for a regular extremally disconnected space X, the Stone-?ech compactification of X is a unique up to equivalence extremally disconnected compactification of X.     

On the product of homogeneous spaces

Within the class of Tychonoff spaces, and within the class of topological groups, most of the natural questions concerning ‘productive closure’ of the subclasses of countably compact and pseudocompact spaces are answered by the following three well-known results: (1) [ZFC] There is a countably compact Tychonoff space X such that X × X is not pseudocompact; (2) [ZFC] The product of any set of pseudocompact topological groups is pseudocompact; and (3) [ZFC+ MA] There are countably compact topological groups G₀, G₁ such that G₀ × G₁ is not countably compact.In this paper we consider the question of ‘productive closure” in the intermediate class of homogeneous spaces. Our principal result, whose proof leans heavily on a simple, elegant result of V.V. Uspenski?, is this: In ZFC there are pseudocompact, homogeneous spaces X₀, X₁ such that X₀ × X₁ is not pseudocompact; if in addition MA is assumed, the spaces X_i may be chosen countably compact.Our construction yields an unexpected corollary in a different direction: Every compact space embeds as a retract in a countably compact, homogeneous space. Thus for every cardinal number α there is a countably compact, homogeneous space whose Souslin number exceeds α.     

QN-spaces, wQN-spaces and covering properties

The main results of the paper are as follows: covering characterizations of wQN-spaces, covering characterizations of QN-spaces and a theorem saying that Cp(X) has the Arkhangel'ski?ˇ property (α₁) provided that X is a QN-space. The latter statement solves a problem posed by M. Scheepers [M. Scheepers, Cp(X) and Arhangel'ski?ˇ's αi-spaces, Topology Appl. 89 (1998) 265-275] and for Tychonoff spaces was independently proved by M. Sakai [M. Sakai, The sequence selection properties of Cp(X), Preprint, April 25, 2006]. As the most interesting result we consider the equivalence that a normal topological space X is a wQN-space if and only if X has the property S₁(Γshr,Γ). Moreover we show that X is a QN-space if and only if Cp(X) has the property (α₀), and for perfectly normal spaces, if and only if X has the covering property (β₃).     

The partially ordered set of one-point extensions

A space Y is called an extension of a space X if Y contains X as a dense subspace. Two extensions of X are said to be equivalent if there is a homeomorphism between them which fixes X point-wise. For two (equivalence classes of) extensions Y and Y^′ of X let Y?Y^′ if there is a continuous function of Y^′ into Y which fixes X point-wise. An extension Y of X is called a one-point extension of X if Y?X is a singleton. Let P be a topological property. An extension Y of X is called a P-extension of X if it has P.One-point P-extensions comprise the subject matter of this article. Here P is subject to some mild requirements. We define an anti-order-isomorphism between the set of one-point Tychonoff extensions of a (Tychonoff) space X (partially ordered by ?) and the set of compact non-empty subsets of its outgrowth βX?X (partially ordered by ⊆). This enables us to study the order-structure of various sets of one-point extensions of the space X by relating them to the topologies of certain subspaces of its outgrowth. We conclude the article with the following conjecture. For a Tychonoff spaces X denote by U(X) the set of all zero-sets of βX which miss X.

Conjecture. For locally compact spaces X and Y the partially ordered sets(U(X),⊆)and(U(Y),⊆)are order-isomorphic if and only if the spacesclβX(βX?υX)andclβY(βY?υY)are homeomorphic.     

A pseudocompactification

For a locally pseudocompact space X let

ζX=X∪clβX(βX\υX).     

On the density of the space of continuous and uniformly continuous functions

For X a metrizable space and (Y,ρ) a metric space, with Y pathwise connected, we compute the density of (C(X,(Y,ρ)),σ)—the space of all continuous functions from X to (Y,ρ), endowed with the supremum metric σ. Also, for (X,d) a metric space and (Y,‖⋅‖) a normed space, we compute the density of (UC((X,d),(Y,ρ)),σ) (the space of all uniformly continuous functions from (X,d) to (Y,ρ), where ρ is the metric induced on Y by ‖⋅‖). We also prove that the latter result extends only partially to the case where (Y,ρ) is an arbitrary pathwise connected metric space.To carry such an investigation out, the notions of generalized compact and generalized totally bounded metric space, introduced by the author and A. Barbati in a former paper, turn out to play a crucial rôle. Moreover, we show that the first-mentioned concept provides a precise characterization of those metrizable spaces which attain their extent.     

Domain representability of certain function spaces

Let Cp(X) be the space of all continuous real-valued functions on a space X, with the topology of pointwise convergence. In this paper we show that Cp(X) is not domain representable unless X is discrete for a class of spaces that includes all pseudo-radial spaces and all generalized ordered spaces. This is a first step toward our conjecture that if X is completely regular, then Cp(X) is domain representable if and only if X is discrete. In addition, we show that if X is completely regular and pseudonormal, then in the function space Cp(X), Oxtoby's pseudocompleteness, strong Choquet completeness, and weak Choquet completeness are all equivalent to the statement “every countable subset of X is closed”.     

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.     

Continuous mappings on subspaces of products with the κ-box topology

Much of General Topology addresses this issue: Given a function f∈C(Y,Z) with Y⊆Y^′ and Z⊆Z^′, find , or at least , such that ; sometimes Z=Z^′ is demanded. In this spirit the authors prove several quite general theorems in the context Y^′=κ(XI)=_∏i∈IXi in the κ-box topology (that is, with basic open sets of the form _∏i∈IUi with Ui open in Xi and with Ui≠Xi for <κ-many i∈I). A representative sample result, extending to the κ-box topology some results of Comfort and Negrepontis, of Noble and Ulmer, and of Hušek, is this.

Theorem. Letω?κ?α (that means: κ<α, and[β<αandλ<κ]⇒βλ<α) with α regular,be a set of non-empty spaces with eachd(Xi)<α,π[Y]=XJfor each non-emptyJ⊆Isuch that|J|<α, and the diagonal in Z be the intersection of <α-many regular-closed subsets ofZ×Z. Then (a) Y is pseudo-(α,α)-compact, (b) for everyf∈C(Y,Z)there isJ∈[I]^<αsuch thatf(x)=f(y)wheneverxJ=yJ, and (c) every such f extends to.     

A note on a set-valued extension property

Principal result: Suppose Y is metrizable. Then: (a) if X is metrizable and A⊂X is closed, then every continuous g:A→Y extends to an l.s.c. ψ:X→K(Y); (b) Y satisfies (a) for all paracompact X if and only if Y is completely metrizable.     

Hausdorff compactifications and lebesgue sets

Let X be a completely regular Hausdorff space and let H be a subset of C¹(X) which separates points and closed sets. By embedding X into a cube whose factors are indexed by H, a Hausdorff compactification e_HX of X is obtained. Given two subsets F and G of C¹(X) which separate points from closed sets, in the present paper we obtain a necessary and sufficient condition for the equivalence of e_FX and e_GX. The condition is expressed in terms of the space X and the sets F and G alone, herewith solving a question raised by Chandler.