Isometries of spaces of unbounded continuous functions

Isometries of spaces of unbounded continuous functions Jesús Araujo University of Cantabria, Spain Krzysztof Jarosz Southern Illinois University at Edwardsville, USA Abstract. By the classical Banach-Stone Theorem any surjective isometry between Banach spaces of bounded continuous functions defined on compact sets is given by a homeomorphism of the domains. We prove that the same description applies to isometries of metric spaces of unbounded continuous functions defined on non compact topological spaces. Let X, X be topological spaces and let A (X),A(X ) be metric vector spaces of continuous functions on X and X, respectively. If A (X), A (X ) consist of only bounded functions, for example if X, X are compact, then, in most cases, we have a complete description of all surjective linear isometries T : A (X) A (X ). One may check[2, 3, 4, 5, 6, 7, 10, 11, 12, 13] for descriptions of isometries of spaces of bounded continuous scalar and vector valued functions, bounded analytic functions, absolutely continuous functions, bounded Lipschitz functions, differentiable functions, and many other classes of bounded functions. Usually (but not always, see e.g.[1] or [9]) any such an isometry is given by a homeomorphism ϕ : X X followed by a multiplication by a continuous scalar valued function κ; thatis, Tf = κ f ϕ for all f A (X). Any map of the above form will be called canonical. The most classical result in this area is the Banach-Stone Theorem which states that any surjective isometry of the space of all bounded continuous functions on a compact set X equipped with the usual sup norm, onto the space of bounded continuous functions on a compact set X, is canonical. In this paper we discuss isometries of spaces of unbounded continuous functions. Assume that X is a σ-compact topological space and let X 1,X 2,...be a sequence of compact subsets of X such that X 1 X 2... X n..., and X n = X. Research partially supported by the Spanish Dirección General de Investigación Científica y Técnica (DGICYT, PB95-0582). 1

Isometries of spaces of unbounded continuous functions 2 The two most often considered metrics on the space of unbounded continuous functions on X are: f = d (f,g) = a n f n, and (1) a n f g n, (2) 1+ f g n where n is the usual sup norm on the set X n and (a n ) is a fixed sequence of positive numbers such that a n < ; for example we may put a n = 1. 2 n The formula (1) defines a Banach space norm; for fixed sequences (X n )and(a n )we will denote this space by C (X). The space C (X) contains unbounded continuous functions of restricted rate of growth; it does not contain all the continuous functions. The second formula defines a complete metric on the space C (X)ofall the continuous functions ( on) X. In this paper we prove that all surjective isometries of the spaces C (X), and (C (X),d(, )) are canonical. The results are valid both in the real and in the complex case; however at some crucial points the arguments will be different in the two cases. We denote by K the set of scalars (R or C), and by K 1 the set of scalars of absolute value one. ( ) Theorem 1. Let C (X), be a Banach space of continuous functions on a σ- ( compact set X with a norm given by (1). Let C (X ), ) be an analogous space on X. Assume that T is a linear isometry from C (X) onto C (X ). Then there is a homeomorphism ϕ of X onto X with ϕ (X n)=x n,forn N, and a unimodular, continuous, scalar valued function κ on X such that Tf = c κ f ϕ for all f C (X), where c =( a n) / ( a n ).Moreover,a n = ca n, for n N. Proof of the Theorem. Definition 1. We call a nonempty subset Ω of C (X) a peaking set if f 1 +... + f p = f 1 +... + f p for all f 1,..., f p Ω. A subset of C (X) is called a maximal peaking set if it is a peaking set and it is not contained properly in any other peaking set.

Isometries of spaces of unbounded continuous functions 3 The definition of a peaking set involves only the norm and the addition operation of the vector space. Since surjective isometries preserve both the metric and the linear structure they map peaking sets onto peaking sets and maximal peaking sets onto maximal peaking sets. Definition 2. For a given peaking set Ω we define the complement Ω of Ω by Ω = {g C (X) : r >0 f Ω α K 1 f + rαg = f }. Again, linear isometries map complements of peaking sets onto complements of peaking sets. Definition 3. For x X we define index of x by ind (x) =min{n : x X n }. We will say that (x n ) is an increasing sequence in X if ind (x 1)=1,andforany n N, wehave ind (x n+1 ) >ind(x n ), or x n+1 = x n, and the set {x n : n N} has no limit points. Lemma 2. A subset Ω of C (X) is a maximal peaking set if and only if there is an increasing sequence (x n ) in X and a sequence (θ n) of scalars of absolute value one such that Ω=Ω((x n ), (θ n )) df = {f C (X) : n N f n = θ n f (x n )}. ProofoftheLemma. Assume Ω = Ω ((x n ), (θ n )). For any f 1,..., f p Ω, we have f 1 +... + f p = = a n f 1 +... + f p n a n θ n (f 1 (x n )+... + f p (x n )) = f 1 +... + f p, so Ω is a peaking set. Assume that Ω 0 is a strictly larger peaking set and let f 0 Ω 0 Ω. Since f 0 / Ωthenwehavetwocases: 1. there is a positive integer k such that f 0 k > f 0 (x k ), or

Isometries of spaces of unbounded continuous functions 4 2. there is a positive integer k such that f 0 k = f 0 (x k ), but f 0 k θ k f 0 (x k ). Let (y n ) be a sequence of nonzero scalars such that for any n, y n = θ n y n, the series a n y n is convergent, and y n = y n+1 if x n = x n+1 and y n < y n+1 if x n x n+1. In the first case we are going to introduce a continuous function f on X such that f (x) = 0 for any x X k with f 0 (x) = f 0 k, and f n = θ n f (x n )=θ n y n, for any n N. To construct such function f we first construct inductively a continuous function f on X: after it is defined on n j=1 X j we extend it to n j=1 X j {x n+1 } by putting f (x n+1 )=y n+1, andthenextendto n+1 j=1 X j with the same sup norm [8]. Put K = {x X k : f 0 (x) = f 0 k }. K is a closed set and does not contain x k, nor any x n for n>k;since(x n )isan increasing sequence neither it contains any x n with n<k.let g be a continuous function on X with norm one and such that g =0onK and g =1on{x n : n N}. Put f = g f. The function f belongs to Ω; however f + f 0 < f + f 0 since f + f 0 k < f k + f 0 k, so Ω 0 is not a peaking set. In the second case using the same method, and the same function f we construct a continuous function f on X such that f (x) = 0 for any x X k with f 0 (x)+ f(x) = f 0 k + f, and k f n = θ n f (x n )=θ n y n, for any n N. Again f + f 0 < f + f 0 since f + f 0 k < f k + f 0 k, so Ω 0 is not a peaking set. Assume now that Ω is a maximal peaking set. For any f C (X) put M f = {(x n,θ n ) X n K 1 : f n = θ n f (x)}. The sets M f are compact and, since Ω is a peaking set the family {M f : f Ω} has the finite intersection property; consequently M = {(x n,θ n ) X n K 1 : f n = θ n f (x n ) for all f Ω}

Isometries of spaces of unbounded continuous functions 5 is not empty. Let (x n,θ n )beapointinm. Assume (x n ) has a subsequence (x kn )convergentto apointy 0 in X, andletn 0 be such that y 0 X n0. Since the sequence (θ n f (x n )) = ( f n ) is nondecreasing, the function f continuous at y 0,and lim n f n = lim n f kn = f (y 0 ) f (x n0 ) = f n0 it follows that (θ n f (x n )) is constant for n n 0. Hence, Ω is a proper subset of a peaking set Ω ( x n, θ ) n,where ( x n, θ ) n =(x n,θ n ), for n n 0,and ( x n, θ ) n = (x n0,θ n0 )forn>n 0. The contradiction shows that {x n : n N} has no limit point. Assume now that M contains two distinct points ( ( x 1 n n),θ1 and x 2 n,θn) 2. Since the sets {x i n : n N}, i =1, 2 do not have a limit point we may select a function f C (X) such that ( x 1 n n),θ1 Mf and ( x 2 n n),θ2 / Mf. Then Ω {f} is a peaking set contrary to our assumption that Ω is maximal. Hence M is a singleton, M = {(x n,θ n )}, consequently(x n ) is increasing, and Ω is contained in Ω((x n ), (θ n )) = {f C (X) : n N f n = θ n f (x n )}. Again from the maximality of Ω, since by the first part of the proof Ω ((x n ), (θ n )) is apeakingset,wehaveω=ω((x n ), (θ n )). Lemma 3. For any maximal peaking set Ω((x n ), (θ n )) we have ker δ xn Ω ((x n ), (θ n )), where the functional δ x on C (X) is defined by δ x (h) :=h (x) for h C (X). Proof of the Lemma. Let g ker δ x n. For any n N let U n be an open neighborhood of x n and k n a continuous function on X such that for all n, m N Put U n U m = if x n x m, and 0 k n 1, k n (x n )=1, and k n 0onX \ U n. f(x) := k n (x)θ n ( g n g(x) ), for x X. It is clear that f Ω((x n ), (θ n )). For each n N and x X n we have k n (x)( g n g(x) ) g n g(x), so k n (x)( g n g(x) )+ g(x) g n, hence which proves that g Ω ((x n ), (θ n )). f(x) + g(x) f(x n ) = f n,

Isometries of spaces of unbounded continuous functions 6 Lemma 4. Assume K = C. Letf,g be elements of C (X) such that r >0 α K 1 f + rαg = f and let (x n ) be an increasing sequence in X such that f n = f (x n ) for n N. Then g (x n )=0for n N. ProofoftheLemma.Wehave f + e 2πiθ g = a n f + e 2πiθ g n a n f (xn )+e 2πiθ g (x n ) = df ξ (θ). (3) By a simple computation one can checkthat for any nonzero scalar y we have 1 1+e 2πiθ y dθ > 1. 0 It follows that if g (x n ) are not all equal to zero then 1 0 ξ (θ) dθ = 1 a n f (xn )+e 2πiθ g (x n ) dθ > a n f (x n ) = f. 0 Hence ξ (θ 0 ) > f for some real number θ 0. From (3) f + e 2πiθ 0 g > f which contradicts our assumption. From the last two lemmas it follows that in the complex case Ω((x n ), (θ n )) = ker δ xn The above formula is not true in the real case in general. However, the next lemma shows that it remains true if (x n ) is constant. Lemma 5. Assume Ω=Ω((x n ), (θ n )) is a maximal peaking set, and assume that the sequence (x n ) contains only one value, that is x n = x 1 for every n N. Then Ω ((x n ), (θ n )) = ker δ x1. Proof of the Lemma. Suppose that g C (X) satisfiesg(x 1 ) 0. Thengivenany f Ω((x n ), (θ n )) we can find an arbitrarily small α K such that f(x 1 ) < αg(x 1 )+f(x 1 ).

Isometries of spaces of unbounded continuous functions 7 Hence f = a n f n < a n αg + f n = αg + f, so g/ Ω ((x n ), (θ n )). This implies that Ω ((x n ), (θ n )) ker δ x1. The other inclusion follows from Lemma 3. Lemma 6. Assume that K = R and that Ω=Ω((x n ), (θ n )) is a maximal peaking set. Then Ω ((x n ), (θ n )) = ker( a n θ n δ xn ). ProofoftheLemma. If the sequence (x n ) is constant the lemma follows from the previous one so we may assume that (x n ) is not constant. For each n N, letu n be an open neighborhood of x n such that U n U m = if x n x m. Let g C (X) be such that g n = g (x n ) for n N, a n θ n g (x n )=0, and g 0onX\( U n ). If (x n ) contains at least two values then we can always find a g that is not equal to zero at these two points. Moreover, if h C (X) is such that a nθ n h (x n )=0,then we can always find a function g that satisfies all the above conditions and a function g ker δ x n such that g + g = h. From Lemma 3 we know that Ω ((x n ), (θ n )) contains ker δ x n so to prove the lemma it is sufficient to show that the function g is contained in Ω ((x n ), (θ n )). Let f Ω((x n ), (θ n )) be such that for some sequence of numbers (c n )with absolute values equal to one, we have f (x) = c n g (x) if x U n and g (x n ) 0, f (x) = 0 if x X\( U n ). Notice that c n is positive if and only if g (x n ) θ n is positive. For any 0 r 1we have f ± rg n = (1± r ) f (x n ), if g (x n ) 0, and c n f ± rg n = f n otherwise,

Isometries of spaces of unbounded continuous functions 8 hence f ± rg = a n f ± rg n = a n f n ± r a n sgn (c n ) g (x n ) = f ±r a n θ n g (x n )= f, so g Ω ((x n ), (θ n )). To finish the proof of Theorem 1 notice that the isometry T maps maximal peaking sets onto maximal peaking sets. We shall show that T maps the maximal peaking sets Ω ((x n ), (θ n )) that correspond to the constant sequence (x n )=(x 1 )onto the same type of maximal peaking sets: T (Ω ((x 1 ), (θ 1 ))) = Ω ((x 1), (θ 1)). We shall also show that x 1 does not depend on the value of θ 1, but only on x 1. In the complex case, by the previous lemmas, Ω ((x n ), (θ n )) is of codimension one if and only if (x n ) is constant. Since T preserves the codimension and the maximal peaking sets and their complements, it maps maximal peaking sets that correspond to constant sequences in X onto the same type maximal peaking sets. For a constant sequence (x n ), Ω ((x n ), (θ n )) is equal to ker δ x1 hence and it does not depend on θ 1. In the real case the situation is more complicated - by the previous lemma Ω ((x n ), (θ n )) = ker( a n θ n δ xn ), (4) for any increasing sequence (x n ), so the codimension of Ω ((x n ), (θ n )) is always one. Since T preserves the maximal peaking sets and their complements, as well as the norm from (4) we get that for any ((x n ), (θ n )) there is a ((x n ), (θ n )) in X K 1 such that T ( a n θ n δ xn )=c a nθ nδ x n, where c =( a n)/( a n ), and T is the conjugate of T.DenotebyΞthesetof all functionals of the form a nθ n δ xn. We shall say that functionals F 1,F 2 Ξare orthogonal if F 1 + F 2 = F 1 + F 2 = F 1 F 2. For F Ξ we put F = {F 1 Ξ:F 1 and F are orthogonal}. Since the definition of orthogonality involves only the norm and the linear structure it is preserved by T. On the other hand F 1 = a nθ n δ xn and F 2 = a n θ n δ xn are

Isometries of spaces of unbounded continuous functions 9 orthogonal if and only if the corresponding sequences (x n )and( x n ) do not have any common point. Put Ξ 0 = { F : F Ξ }. The set Ξ 0 is partially ordered by inclusion, F is a maximal element of Ξ 0 if and only if F is defined by a constant sequence (x n )=(x 1 ). All this is again preserved by T so T maps ker δ x,x X 1,ontokerδ x,x X 1. We proved that in both the complex and the real case there is a bijection ϕ 1 from X 1 onto X 1 such that equivalently T ( ker δ ϕ1 (x)) =kerδx, for x X 1, T (δ x )=κ 1 (x) δ ϕ1 (x), for x X 1, or T (f)(x) =κ 1 (x) f (ϕ 1 (x)), for x X 1, (5) where κ 1 has the constant absolute value equal to c =( a n) / ( a n ). Since T is continuous in the weak* topology the functions ϕ 1 and κ 1 must also be continuous. We proved that T has the canonical form on X 1 X, and Tf 1 = c f 1 for f C (X). (6) Now we need to extend ϕ 1 and κ 1 to the entire set X. Because of the symmetry we may assume that a 1 a n a 1 a n and define new norms on C (X) and C (X )by p (f) = f a 1 f 1 = a n f n, for f C (X), and n=2 p (g) = g a 1 c g 1 = ( a 1 a 1 c ) g 1 + a n g n, for g C (X ). By (6) T is an isometry of ( C (X),p( )) onto ( C (X ),p ( )). If a 1 a 1 c 0, then, based on what we already proved applied to this new isometry, there is a homeomorphism ϕ 2 from X 1 onto X 2 and a scalar valued function κ 2 such that n=2 T (f)(x) =κ 2 (x) f (ϕ 2 (x)), for x X 1,

Isometries of spaces of unbounded continuous functions 10 but this contradicts (5). Hence a 1 a 1 c =0andϕ 2 and κ 2 are extensions to X 2 of ϕ 1 and κ 1, respectively. Continuing this process we extend ϕ 1 to a homeomorphism of X onto X. We also get hence for c = an a n a 1 a 1 = we have a n, a n a 2 a 2 = a n = ca n, for n N. n=2 a n,... n=2 a n Theorem 7. Let (C (X),d(, )) be the metric vector space of all continuous functions on a σ-compact set X, where the metric is given by (2). Let (C (X ),d(, )) be an analogous space on X. Assume that T is a linear isometry from C (X) onto C (X ). Then there is a homeomorphism ϕ of X onto X with ϕ (X n )=X n,forn N, and a unimodular, continuous, scalar valued function κ on X such that where c = Tf = c κ f ϕ for all f C (X), an.moreovera n = ca n, for n N. a n Proof. Let T : C (X) C (X ) be a surjective isometry. For a fixed f C (X) we define a function α f : R + R + by It is easy to checkthat α f (t) df = d (tf, 0) = a n tf n = 1+ tf n a n t f n. 1+t f n dα f dt = a n f n 2, for t 0. (1 + tf n ) For t = 0 the value of dα f is dt a n f n ; it may by finite or may be equal to +. Since the function α f is defined only in terms of the metric and linear structure it is preserved by the isometry. Hence α f = α Tf and T preserves the quantity dα f dt (0) = f = a n f n.

Isometries of spaces of unbounded continuous functions 11 Consequently T restricted to the Banach space C (X) ={f C (X) := a n f n < } is an isometry, with respect to that Banach space norm, onto C (X )={g C (X ): g = a n g n < }. By the previous Theorem there is a homeomorphism ϕ of X onto X with ϕ (X n )= X n,forn N, and a unimodular, continuous, scalar valued function κ on X such that Tf = κf ϕ for all f C (X). Since C (X) isdensein(c (X),d(, )) the above formula holds for all functions from C (X). References [1] E. Behrends. M-structure and the Banach-Stone theorem, volume 736 of Lecture Notes in Mathematics. Springer-Verlag, 1979. [2] E. Behrends and U. Schmidt-Bichler. M-structure and the Banach-Stone theorem. Studia Math., 69:33 40, 1980. [3] M. Cambern. A Banach-Stone theorem for spaces of weak continuous functions. Proc. Royal Soc. Edinburgh, 101A:203 206, 1985. [4] M. Cambern and K. Jarosz. The isometries of H 1 H. Proc. Amer. Math. Soc., 107:205 214, 1989. [5] M. Cambern and K. Jarosz. Isometries of spaces of weak continuous functions. Proc. Amer. Math. Soc., 106:707 712, 1989. [6] M. Cambern and K. Jarosz. Multipliers and isometries in H E. Bull. London Math. Soc., 22:463 466, 1990. [7] M. Cambern and V. D. Pathak. Isometries of spaces of differentiable functions. Math. Japonica, 26:253 260, 1981. [8] R. Engelking. General Topology, volume60ofmonografie Matematyczne. Polish Scientific Publishers, 1977.

Isometries of spaces of unbounded continuous functions 12 [9] K. Jarosz. Any Banach space has an equivalent norm with trivial isometries. Israel J. Math., 64:49 56, 1988. [10] K. Jarosz and V. Pathak. Isometries and small bound isomorphisms of function spaces. In K. Jarosz, editor, Function Spaces, pages 241 271. Marcel Dekker, 1991. [11] K. D. Leeuw, W. Rudin, and J. Wermer. Isometries of some function spaces. Proc. Amer. Math. Soc., 11:694 698, 1960. [12] P. K. Lin. The isometries of H (E). Pacific J. Math., 143:69 77, 1990. [13] N. V. Rao and A. K. Roy. Linear isometries of some function spaces. Pacific J. Math., 38:177 192, 1971.