Homomorphisms and composition operators on algebras of analytic functions of bounded type

Let U and V be convex and balanced open subsets of the Banach spaces X and Y, respectively. In this paper we study the following question: given two Fréchet algebras of holomorphic functions of bounded type on U and V, respectively, that are algebra isomorphic, can we deduce that X and Y (or X^* and Y^*) are isomorphic? We prove that if X^* or Y^* has the approximation property and H_wu(U) and H_wu(V) are topologically algebra isomorphic, then X^* and Y^* are isomorphic (the converse being true when U and V are the whole space). We get analogous results for H_b(U) and H_b(V), giving conditions under which an algebra isomorphism between H_b(X) and H_b(Y) is equivalent to an isomorphism between X^* and Y^*. We also obtain characterizations of different algebra homomorphisms as composition operators, study the structure of the spectrum of the algebras under consideration and show the existence of homomorphisms on H_b(X) with pathological behaviors.     

The Banach-Stone theorem revisited

Let X and Y be compact Hausdorff spaces, and E and F be locally solid Riesz spaces. If π:C(X,E)→C(Y,F) is a 1-biseparating Riesz isomorphism then X and Y are homeomorphic, and E and F are Riesz isomorphic. This generalizes the main results of [Z. Ercan, S. Önal, Banach-Stone theorem for Banach lattice valued continuous functions, Proc. Amer. Math. Soc. 135 (9) (2007) 2827-2829] and [X. Miao, C. Xinhe, H. Jiling, Banach-Stone theorems and Riesz algebras, J. Math. Anal. Appl. 313 (1) (2006) 177-183], and answers a conjecture in [Z. Ercan, S. Önal, Banach-Stone theorem for Banach lattice valued continuous functions, Proc. Amer. Math. Soc. 135 (9) (2007) 2827-2829].     

A relation between spaces implied by their t-equivalence

We prove that if X and Y are t-equivalent spaces (that is, if Cp(X) and Cp(Y) are homeomorphic), then there are spaces Zn, locally closed subspaces Bn of Zn, and locally closed subspaces Yn of Y, n∈N⁺, such that each Zn admits a perfect finite-to-one mapping onto a closed subspace of Xn, Yn is an image under a perfect mapping of Bn, and Y=?{Yn:n∈N⁺}. It is deduced that some classes of spaces, which for metric spaces coincide with absolute Borelian classes, are preserved by t-equivalence. Also some limitations on the complexity of spaces t-equivalent to “nice” spaces are obtained.     

C(α) preserving operators on separable Banach spaces

Let T be a bounded linear operator from a separable Banach space X to a Banach space Y. A necessary and sufficient condition on T for the existence of a subspace Z of X such that Z is isomorphic to C(α) and the restriction of T to Z is an isomorphism is given. The special case where X is the disc algebra is then considered and results similar to those previously obtained by the author for C(K) spaces are obtained for the disc algebra. Finally some additional results of the same type are proved for subspaces of C(K) with small annihilator.     

Coarse version of the Banach-Stone theorem

We show that if there exists a Lipschitz homeomorphism T between the nets in the Banach spaces C(X) and C(Y) of continuous real valued functions on compact spaces X and Y, then the spaces X and Y are homeomorphic provided . By l(T) and l(T−1) we denote the Lipschitz constants of the maps T and T−1. This improves the classical result of Jarosz and the recent result of Dutrieux and Kalton where the constant obtained is . We also estimate the distance of the map T from the isometry of the spaces C(X) and C(Y).     

Some more examples of monotonically Lindelöf and not monotonically Lindelöf spaces

A space is monotonically Lindelöf (mL) if one can assign to every open cover U a countable open refinement r(U) (still covering the space) so that r(U) refines r(V) whenever U refines V. Some examples of mL and non-mL spaces are considered. In particular, it is shown that the product of a mL space and the convergent sequence need not be mL, that some L-spaces are mL, and that Cp(X) is mL only for countable X.     

Remarks on Linear Homeomorphisms of Function Spaces

It is proved that whenever X and Y are completely regular -spaces of pointwise countable type and the spaces C _p(X) and C _p(Y) of real-valued continuous functions on X and Y, respectively, endowed with the topology of pointwise convergence, are linearly homeomorphic, the X is locally compact iff Y is locally compact. This extends the McCoy and Ntantu result.     

Coincidence of the Isbell and fine Isbell topologies

Let C(X,Y) be the set of all continuous functions from a topological space X into a topological space Y. We find conditions on X that make the Isbell and fine Isbell topologies on C(X,Y) equal for all Y. For zero-dimensional spaces X, we show there is a space Z such that the coincidence of the Isbell and fine Isbell topologies on C(X,Z) implies the coincidence on C(X,Y) for all Y. We then consider the question of when the Isbell and fine Isbell topologies coincide on the set of continuous real-valued functions. Our results are similar to results established for consonant spaces.     

Weighted composition operators between weighted spaces of vector-valued holomorphic functions on Banach spaces

Let B(E, F) be the Banach Space of all continuous linear operators from a Banach Space E into a Banach space F. Let U_X and U_Y be balanced open subsets of Banach spaces X and Y, respectively. Let V and W be two Nachbin families of continuous weights on U_X and U_Y, respectively. Let HV(U_X, E) (or HV₀(U_X, E)) and HW(U_Y, F) (or HW₀(U_Y, F)) be the weighted spaces of vector-valued holomorphic functions. In this paper, we investigate the holomorphic mappings ? : U_Y → U_X and ψ : U_Y → B(E, F) which generate weighted composition operators between these weighted spaces.     

On the homeomorphism of continuous mappings

Denote by C(X) the partially ordered (PO) set of all continuous epimorphisms of a space X under the natural identification of homeomorphic epimorphisms. The following homeomorphism theorem for bicompacta is implicitly contained in Magill’s 1968 paper: two bicompacta X and Y are homeomorphic if and only if the PO sets C(X) and C(Y) are isomorphic. In the present paper, Magill’s theorem is extended to the category of mappings in which the role of bicompacta is played by perfect mappings. The results are obtained in two versions, namely, in the category TOP _Z (of triangular commutative diagrams) and in the category MAP (of quadrangular commutative diagrams).     

Diagonalizing matrices over C(X)

A complete characterization of those compact Hausdorff spaces is given such that for every n, each normal element in the algebra C(X)?M_n of continuous functions from X to $\text{M}$_n can be continuously diagonalized. The conditions are that X be a sub-Stonean space with dim X ? 2 and carries no nontrivial G-bundles over any closed subset, for G a symmetric group or the circle group. In particular, diagonalization is assured on every totally disconnected sub-Stonean space, but also on connected spaces of the form β(Y)/Y, where Y is a simply-connected (noncompact) graph.     

On the direct image of intersections in exact homological categories

Given a regular epimorphism f:X?Y in an exact homological category C, and a pair (U,V) of kernel subobjects of X, we show that the quotient (f(U)∩f(V))/f(U∩V) is always abelian. When C is nonpointed, i.e. only exact protomodular, the translation of the previous result is that, given any pair (R,S) of equivalence relations on X, the difference mappingδ:Y/f(R∩S)?Y/(f(R)∩f(S)) has an abelian kernel relation. This last result actually holds true in any exact Mal'cev category. Setting Y=X/T, this result says that the difference mapping determined by the inclusion T∪(R∩S)?(T∪R)∩(T∪S) has an abelian kernel relation, which casts a new light on the congruence distributive property.     

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.     

Isomorphisms of lattices of subalgebras of semirings of continuous nonnegative functions

In this work, lattice isomorphisms of semirings C ⁺(X) of continuous nonnegative functions over an arbitrary topological space X are characterized. It is proved that any isomorphism of lattices of all subalgebras with a unit of semirings C ⁺(X) and C ⁺(Y) is induced by a unique isomorphism of semirings. The same result is also correct for lattices of all subalgebras excepting the case of two-point Tychonovization of spaces.     

Range universal spaces

We characterize those topological spaces Y for which the Isbell and finest splitting topologies on the set C(X,Y) of all continuous functions from X into Y coincide for all topological spaces X. We also consider the same question for the coincidence of the restriction of the finest splitting topology on the upper semicontinuous set-valued functions to C(X,Y) and the finest splitting topology on C(X,Y). In the first case, the spaces in question are, after identifying points that are in each others closures, subsets of the two point Sierpiński space, which gives a converse and generalization of a result of S. Dolecki, G.H. Greco, and A. Lechicki. In the second case, the spaces in question are, after identifying points that are in each others closures, order bases for bounded complete continuous DCPOs with the Scott topology.     

Automatic continuity and representation of group homomorphisms defined between groups of continuous functions

Let C(X,G) be the group of continuous functions from a topological space X into a topological group G with pointwise multiplication as the composition law, endowed with the uniform convergence topology. To what extent does the group structure of C(X,G) determine the topology of X? More generally, when does the existence of a group homomorphism H between the groups C(X,G) and C(Y,G) implies that there is a continuous map h of Y into X such that H is canonically represented by h? We prove that, for any topological group G and compact spaces X and Y, every non-vanishing C-isomorphism (defined below) H of C(X,G) into C(Y,G) is automatically continuous and can be canonically represented by a continuous map h of Y into X. Some applications to specific groups and examples are given in the paper.     

Banach–Stone Theorems for maps preserving common zeros

Let X and Y be completely regular spaces and E and F be Hausdorff topological vector spaces. We call a linear map T from a subspace of C(X, E) into C(Y, F) a Banach–Stone map if it has the form T f (y) =  S _y (f (h(y))) for a family of linear operators S _y : E → F, \({y \in Y}\) , and a function h: Y → X. In this paper, we consider maps having the property:

$\bigcap^{k}_{i=1}Z(f_{i}) \neq\emptyset \iff \bigcap^{k}_{i=1}Z(Tf_{i})\neq\emptyset , \quad({\rm Z}) $

where Z(f) =  {f =  0}. We characterize linear bijections with property (Z) between spaces of continuous functions, respectively, spaces of differentiable functions (including C ^∞), as Banach–Stone maps. In particular, we confirm a conjecture of Ercan and Önal: Suppose that X and Y are realcompact spaces and E and F are Hausdorff topological vector lattices (respectively, C ^*-algebras). Let T: C(X, E) → C(Y, F) be a vector lattice isomorphism (respectively, *-algebra isomorphism) such that

$ Z(f) \neq\emptyset\iff Z(Tf) \neq\emptyset. $

Then X is homeomorphic to Y and E is lattice isomorphic (respectively, C ^*-isomorphic) to F. Some results concerning the continuity of T are also obtained.

     

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.     

Special uniform approximations of continuous vector-valued functions. Part II: special approximations in CX(T)CY(S)

In this paper, which is a continuation of Timofte (J. Approx. Theory 119 (2002) 291–299, we give special uniform approximations of functions from C_XY(T×S) and C_∞(T×S,XY) by elements of the tensor products C_X(T)C_Y(S), respectively C₀(T,X)C₀(S,Y), for topological spaces T,S and Γ-locally convex spaces X,Y (all four being Hausdorff).