On separating subadditive maps

Recall that a map T \colon C(X,E) \to C(Y,F), where X, Y are Tychonoff spaces and E, F are normed spaces, is said to be separating, if for any 2 functions f,g \in C(X,E) we have c(T(f)) \cap c(T(g))= \varnothing provided c(f) \cap c(g) = \varnothing. Here c(f) is the co-zero set of f. A typical result generalizing the Banach--Stone theorem is of the following type (established by Araujo): if T is bijective and additive such that both T and T-1 are separating, then the realcompactification n X of X is homeomorphic to n Y. In this paper we show that a similar result is true if additivity is replaced by subadditivity (a map T is called subadditive if ||T(f+g)(y)|| \leq ||T(f)(y)||+ ||T(g)(y)|| for any f,g \in C(X,E) and any y \in Y). Here is our main result (a stronger version is actually established): if T \colon C(X,E) \to C(Y,F) is a separating subadditive map, then there exists a continuous map SY\colon b Y \rightarrow b X. Moreover, SY is surjective provided T(f)=0 iff f=0. In particular, when T is a bijection such that both T and T-1 are separating and subadditive, b X is homeomorphic to b Y. We also provide an example of a biseparating subadditive map from C(R) onto C(R), which is not additive.

On separating subadditive maps

Recall that a map T \colon C(X,E) \to C(Y,F), where X, Y are Tychonoff spaces and E, F are normed spaces, is said to be separating, if for any 2 functions f,g \in C(X,E) we have c(T(f)) \cap c(T(g))= \varnothing provided c(f) \cap c(g) = \varnothing. Here c(f) is the co-zero set of f. A typical result generalizing the Banach--Stone theorem is of the following type (established by Araujo): if T is bijective and additive such that both T and T-1 are separating, then the realcompactification n X of X is homeomorphic to n Y. In this paper we show that a similar result is true if additivity is replaced by subadditivity (a map T is called subadditive if ||T(f+g)(y)|| \leq ||T(f)(y)||+ ||T(g)(y)|| for any f,g \in C(X,E) and any y \in Y). Here is our main result (a stronger version is actually established): if T \colon C(X,E) \to C(Y,F) is a separating subadditive map, then there exists a continuous map SY\colon b Y \rightarrow b X. Moreover, SY is surjective provided T(f)=0 iff f=0. In particular, when T is a bijection such that both T and T-1 are separating and subadditive, b X is homeomorphic to b Y. We also provide an example of a biseparating subadditive map from C(R) onto C(R), which is not additive.

___

  • Araujo J. Realcompactness and spaces of vector-valued functions. Fund Math 2002; 172: 27–40.
  • Banach S. Theorie des operations lineares. New York, NY, USA: Chelsea, 1932 (in French).
  • Beckenstein E, Narici L. Subadditive separating maps. Acta Math Hung 2000; 88: 147–167.
  • Beckenstein E, Narici L. A nonarchimedian Banach-Stone theorem. Proc Amer Math Soc 1987; 100: 242–246.
  • Beckenstein E, Narici L. The separating map: a survey. Rend Circ Mat Palermo 1998; 52: 637–648.
  • Cech E. On bicompact spaces. Ann Math 1937; 38: 823–844. ˇ
  • Sady F, Estaremi Y. Subadditive separating maps between regular Banach function algebras. Bull Korean Math Soc 2007; 44: 753–761.
  • Stone M. Applications of the theory of Boolean rings to general topology. Trans Amer Math Soc 1937; 41: 375–481.
  • Valov V. Spaces of bounded functions with the compact open topology. Bull Polish Acad Sci 1997; 4: 171–179.