Zero-separating algebras of continuous functions

Let A be a lattice-ordered algebra endowed with a topology compatible with the structure of algebra. We provide internal conditions for A to be isomorphic as lattice-ordered algebras and homeomorphic to Ck(X), the lattice-ordered algebra C(X) of real continuous functions on a completely regular and Hausdorff topological space X, endowed with the topology of uniform convergence on compact sets. As a previous step, we determine this topology among the locally m-convex topologies on C(X) with the property that each order closed interval is bounded.     

Automatic continuity of biseparating homomorphisms defined between groups of continuous functions

Let C(X,T) be the group of continuous functions of a compact Hausdorff space X to the unit circle of the complex plane T with the pointwise multiplication as the composition law. We investigate how the structure of C(X,T) determines the topology of X. In particular, which group isomorphisms H between the groups C(X,T) and C(Y,T) imply the existence of a continuous map h of Y into X such that H is canonically represented by h. Among other results, it is proved that C(X,T) determines X module a biseparating group isomorphism and, when X is first countable, the automatic continuity and representation as Banach-Stone maps for biseparating group isomorphisms is also obtained.     

On the existence of continuous (approximate) roots of algebraic equations

The present paper considers the existence of continuous roots of algebraic equations with coefficients being continuous functions defined on compact Hausdorff spaces. For a compact Hausdorff space X, C(X) denotes the Banach algebra of all continuous complex-valued functions on X with the sup norm ∥⋅_∥∞. The algebra C(X) is said to be algebraically closed if each monic algebraic equation with C(X) coefficients has a root in C(X). First we study a topological characterization of a first-countable compact (connected) Hausdorff space X such that C(X) is algebraically closed. The result has been obtained by Countryman Jr, Hatori-Miura and Miura-Niijima and we provide a simple proof for metrizable spaces.Also we consider continuous approximate roots of the equation zn−f=0 with respect to z, where f∈C(X), and provide a topological characterization of compact Hausdorff space X with dimX?1 such that the above equation has an approximate root in C(X) for each f∈C(X), in terms of the first ?ech cohomology of X.     

Characterizations of intervals via continuous selections

We prove that: (i) a pathwise connected, Hausdorff space which has a continuous selection is homeomorphic to one of the following four spaces: singleton, [0,1), [0,1] or the long lineL, (ii) a locally connected (Hausdorff) space which has a continuous selection must be orderable, and (iii) an infinite connected, Hausdorff space has exactly two continuous selections if and only if it is compact and orderable. We use these results to give various characterizations of intervals via continuous selections. For instance, (iv) a topological spaceX is homeomorphic to [0,1] if (and only if)X is infinite, separable, connected, Hausdorff space and has exactly two continuous selections, and (v) a topological spaceX is homeomorphic to [0,1) if (and only if) one of the following equivalent conditions holds: (a)X is infinite, Hausdorff, separable, pathwise connected and has exactly one continuous selection; (b)X is infinite, separable, locally connected and has exactly one continuous selection; (c)X is infinite, metric, locally connected and has exactly one continuous selection. Three examples are exhibited which demonstrate the necessity of various assumptions in our results.     

The construction of all locally compact extensions

The paper presents one of the ways to construct all the locally compact extensions of a given Tychonoff space T. First, there proved the “local” variant of the Stone-C?ech theorem on “completely regular” Riesz spaces X(T) of continuous bounded functions on T with no unit function, in general, but with a collection of local units. In Theorem 1 it is proved that all the functions from X(T) can be “completely regularly” extended on the largest locally compact extension β_xT. Theorem 3 states, that β_xT are presenting, in fact, all the locally compact extensions of T.     

When is the Isbell topology a group topology?

Conditions on a topological space X under which the space C(X,R) of continuous real-valued maps with the Isbell topology κ is a topological group (topological vector space) are investigated. It is proved that the addition is jointly continuous at the zero function in Cκ(X,R) if and only if X is infraconsonant. This property is (formally) weaker than consonance, which implies that the Isbell and the compact-open topologies coincide. It is shown the translations are continuous in Cκ(X,R) if and only if the Isbell topology coincides with the fine Isbell topology. It is proved that these topologies coincide if X is prime (that is, with at most one non-isolated point), but do not even for some sums of two consonant prime spaces.     

Cut points in some connected topological spaces

We prove that a connected topological space with endpoints has exactly two non-cut points and every cut point is a strong cut point; it follows that such a space is a COTS and the only two non-cut points turn out to be endpoints (in each of the two orders) of the COTS. A non-indiscrete connected topological space with exactly two non-cut points and having only finitely many closed points is proved homeomorphic to a finite subspace of the Khalimsky line. Further, it is shown, without assuming any separation axiom, that in a connected and locally connected topological space X, for a, b in X, S[a,b] is compact whenever it is closed. Using this result we show that an H(i) connected and locally connected topological space with exactly two non-cut points is a compact COTS with end points.     

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.     

Hereditary normality-type properties of hyperspaces

Let X be a Hausdorff topological space and exp(X) be the space of all (nonempty) closed subsets of a space X with the Vietoris topology. We consider hereditary normality-type properties of exp(X). In particular, we prove that if exp(X) is hereditarily D-normal, then X is a metrizable compact space.     

A classification of CO spaces which are continuous images of compact ordered spaces

A topological space X is called a CO space, if every closed subset of X is homeomorphic to some clopen subset of X. Every ordinal with its order topology is a CO space. This work gives a complete classification of CO spaces which are continuous images of compact ordered spaces.     

Separation properties in algebraic categories of topological spaces

Full subcategories C ? Top of the category of topological spaces, which are algebraic over Set in the sense of Herrlich [2], have pleasant separation properties, mostly subject to additional closedness assumptions. For instance, every C-object is a T₁-space, if the two-element discrete space belongs to C. Moreover, if C is closed under the formation of finite powers in Top and even varietal [2], then every C-object is Hausdorff. Hence, the T₂-axiom turns out to be (nearly) superfluous in Herrlich's and Strecker's characterization of the category of compact Hausdorff spaces [1], although it is essential for the proof.If we think of C-objects X as universal algebras (with possibly infinite operations), then the subalgebras of X form the closed sets of a compact topology on X, provided that the ordinal spaces [0, β] belong to C. This generalizes a result in [3]. The subalgebra topology is used to prove criterions for the Hausdorffness of every space in C, if C is only algebraic.     

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.     

Some upper bounds for density of function spaces

Let Cα(X,Y) be the set of all continuous functions from X to Y endowed with the set-open topology where α is a hereditarily closed, compact network on X which is closed under finite unions. We proved that the density of the space Cα(X,Y) is at most iw(X)⋅d(Y) where iw(X) denotes the i-weight of the Tychonoff space X, and d(Y) denotes the density of the space Y when Y is an equiconnected space with equiconnecting function Ψ, and Y has a base consists of Ψ-convex subsets of Y. We also prove that the equiconnectedness of the space Y cannot be replaced with pathwise connectedness of Y. In fact, it is shown that for each infinite cardinal κ, there is a pathwise connected space Y such that π-weight of Y is κ, but Souslin number of the space Ck([0,1],Y) is κ².     

Characterizing continuous functions on compact spaces

We consider the following problem: given a set X and a function , does there exist a compact Hausdorff topology on X which makes T continuous? We characterize such functions in terms of their orbit structure. Given the generality of the problem, the characterization turns out to be surprisingly simple and elegant. Amongst other results, we also characterize homeomorphisms on compact metric spaces.     

Transfinite Hausdorff dimension

Making extensive use of small transfinite topological dimension trind, we ascribe to every metric space X an ordinal number (or −1 or Ω) tHD(X), and we call it the transfinite Hausdorff dimension of X. This ordinal number shares many common features with Hausdorff dimension. It is monotone with respect to subspaces, it is invariant under bi-Lipschitz maps (but in general not under homeomorphisms), in fact like Hausdorff dimension, it does not increase under Lipschitz maps, and it also satisfies the intermediate dimension property (Theorem 2.7). The primary goal of transfinite Hausdorff dimension is to classify metric spaces with infinite Hausdorff dimension. Indeed, if tHD(X)?ω₀, then HD(X)=+∞. We prove that tHD(X)?ω₁ for every separable metric space X, and, as our main theorem, we show that for every ordinal number α<ω₁ there exists a compact metric space Xα (a subspace of the Hilbert space l₂) with tHD(Xα)=α and which is a topological Cantor set, thus of topological dimension 0. In our proof we develop a metric version of Smirnov topological spaces and we establish several properties of transfinite Hausdorff dimension, including its relations with classical Hausdorff dimension.     

Minimax theorems for limits of parametrized functions having at most one local minimum lying in a certain set

In this paper, we establish some minimax theorems, of purely topological nature, that, through the variational methods, can be usefully applied to nonlinear differential equations. Here is a (simplified) sample: Let X be a Hausdorff topological space, I⊆R an interval and . Assume that the function Ψ(x,⋅) is lower semicontinuous and quasi-concave in I for all x∈X, while the function Ψ(⋅,q) has compact sublevel sets and one local minimum at most for each q in a dense subset of I. Then, one has

     

Continuity in topological groups

We prove that, when G is a group equipped with a Baire and metrizable topology, if there is a second category dense subset S of G such that the right translations ρs and ρs⁻¹ are continuous for all s∈S and each left translation λs, s∈G, is almost-continuous (defined below) on a residual subset of G, then G is a topological group. Among other consequences, this yields that when G is a second countable locally compact right topological group, its topological centre is a topological group.     

More on remainders close to metrizable spaces

This article is a natural continuation of [A.V. Arhangel'skii, Remainders in compactifications and generalized metrizability properties, Topology Appl. 150 (2005) 79-90]. As in [A.V. Arhangel'skii, Remainders in compactifications and generalized metrizability properties, Topology Appl. 150 (2005) 79-90], we consider the following general question: when does a Tychonoff space X have a Hausdorff compactification with a remainder belonging to a given class of spaces? A famous classical result in this direction is the well known theorem of M. Henriksen and J. Isbell [M. Henriksen, J.R. Isbell, Some properties of compactifications, Duke Math. J. 25 (1958) 83-106].It is shown that if a non-locally compact topological group G has a compactification bG such that the remainder Y=bG?G has a Gδ-diagonal, then both G and Y are separable and metrizable spaces (Theorem 5). Several corollaries are derived from this result, in particular, this one: If a compact Hausdorff space X is first countable at least at one point, and X can be represented as the union of two complementary dense subspaces Y and Z, each of which is homeomorphic to a topological group (not necessarily the same), then X is separable and metrizable (Theorem 12). It is observed that Theorem 5 does not extend to arbitrary paratopological groups. We also establish that if a topological group G has a remainder with a point-countable base, then either G is locally compact, or G is separable and metrizable.     

On the continuity of left translations in the LUC-compactification

Consider the continuity of left translations in the LUC-compactification GLUC of a locally compact group G. For every X⊆G, let κ(X) be the minimal cardinality of a compact covering of X in G. Let U(G) be the points in GLUC that are not in the closure of any X⊆G with κ(X)<κ(G). We show that the points at which no left translation in U(G) is continuous are dense in U(G). This result is a generalization of a theorem by van Douwen concerning discrete groups. We obtain a new proof for the fact that the topological center of GLUC?G is empty.