Lattices of uniformly continuous functions

Abstract

We obtain an internal characterization of the lattice U (X) of real-valued uniformly continuous functions on a uniform space 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.     

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.     

Automatic continuity of linear maps on spaces of continuous functions

Let C(S)and C(T) denote the sup-normed Banach spaces of real- or complex-valued continuous functions on the compact Hausdorff spaces S and T, respectively. A linear map AC(T)C(S) is calledseparating if when two functions x and y from C(T) have disjoint cozero sets then so do Ax and Ay. In the spirit of [3] and [4], we show that separating maps are automatically continuous in some important cases (Theorems 2.4 and 2.5). If a separating map is continuous, then it must be a continuous multiple of a composition map (Theorem 2.2). If A is injective, separating and detaching (Def. 2.4) then S and T are homeomorphic (Theorem 2.1).     

On uniformly continuous Nemytskij operators generated by set-valued functions

Let I = [0, 1], let Y be a real normed linear space, C a convex cone in Y and Z a real Banach space. Denote by clb(Z) the set of all nonempty, convex, closed and bounded subsets of Z. If a superposition operator N generated by a set-valued function F : I × C → clb(Z) maps the set H _α (I, C) of all Hölder functions ${\varphi : I \to C}Let I = [0, 1], let Y be a real normed linear space, C a convex cone in Y and Z a real Banach space. Denote by clb(Z) the set of all nonempty, convex, closed and bounded subsets of Z. If a superposition operator N generated by a set-valued function F : I × C → clb(Z) maps the set H _α (I, C) of all H?lder functions j: I ? C{\varphi : I \to C} into the set H _β (I, clb(Z)) of all H?lder set-valued functions f: I ? clb(Z){\phi : I \to clb(Z)} and is uniformly continuous, then

F(x,y)=A(x,y) \text+* B(x),       x ? I, y ? CF(x,y)=A(x,y) \stackrel{*}{\text{+}} B(x),\qquad x \in I, y \in C      15. Fine structure of the homomorphisms of the lattice of uniformly continuous functions on the line      Cabello Sánchez  Félix 《Positivity》2020,24(2):415-426 Positivity - We provide a representation of the homomorphisms $$U\longrightarrow {\mathbb {R}}$$, where U is the lattice of all uniformly continuous functions on the line The resulting picture is...      16. Numerical ranges of uniformly continuous functions on the unit sphere of a Banach space      《Journal of Mathematical Analysis and Applications》2004,297(2):472-476       17. Impossibility of the Carleman approximation of functions continuous on the unit circle by the boundary values of functions analytic and uniformly continuous on the unit disk      V. P. Khavin 《Journal of Mathematical Sciences》1974,2(2):193-200       18. Automatic continuity of biseparating homomorphisms defined between groups of continuous functions      Ma Vicenta Ferrer  Ana María Ródenas 《Topology and its Applications》2010,157(8):1395-1403 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.      19. Domination of uniformly continuous semigroups      W. Arendt  J. Voigt 《Acta Appl Math》1992,27(1-2):27-31 We prove that a bounded operator on a Banach lattice, satisfying a growth condition, is regular. Also, we prove that the generator of a C 0-semigroup on such a lattice for which such an operator exists is bounded.      20. Maximal left ideals in near-rings of continuous functions on disconnected groups      Wolfgang Mutter 《Geometriae Dedicata》1991,37(3):275-285 Let N(G) denote the near-ring of all continuous selfmaps of a topological group G. In this paper we determine the maximal left ideals of N(G) for certain classes of disconnected groups G.

Fine structure of the homomorphisms of the lattice of uniformly continuous functions on the line

Positivity - We provide a representation of the homomorphisms $$U\longrightarrow {\mathbb {R}}$$, where U is the lattice of all uniformly continuous functions on the line The resulting picture is...     

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.     

Domination of uniformly continuous semigroups

We prove that a bounded operator on a Banach lattice, satisfying a growth condition, is regular. Also, we prove that the generator of a C ₀-semigroup on such a lattice for which such an operator exists is bounded.     

Maximal left ideals in near-rings of continuous functions on disconnected groups

Let N(G) denote the near-ring of all continuous selfmaps of a topological group G. In this paper we determine the maximal left ideals of N(G) for certain classes of disconnected groups G.