arxiv: v1 [math.fa] 2 Oct 2014

Transcription

1 BISHOP-PHELPS-BOLLOBÁS PROPERTY FOR BILINEAR FORMS ON SPACES OF CONTINUOUS FUNCTIONS SUN KWANG KIM, HAN JU LEE, AND MIGUEL MARTÍN Dedicated to the memory of Manuel Valdivia arxiv: v1 [math.fa] Oct 014 Abstract. It is shown that the Bishop-Phelps-Bollobás theorem holds for bilinear forms on the complex C 0 L 1 C 0 L for arbitrary locally compact topological Hausdorff spaces L 1 and L. All along the paper, we will use the following usual notation. Let B X and S X denote, respectively, the closed unit ball and the unit sphere of a Banach space X, and let X denotes the topological dual space of X. We write LX, Y to denote the space of all bounded linear operators from a Banach space X into a Banach space Y and BX Y to denote the space of all bounded bilinear forms defined on X Y. We say that T LX, Y respectively B BX Y attains its norm if there is x S X such that T x = T respectively, there are x S X and y S Y such that Bx, y = B. The classical Bishop-Phelps theorem [14] states that the set of norm attaining linear functionals are dense in the topological dual of an arbitrary Banach space. Bollobás [15] gave a quantitative version of this theorem which is now called the Bishop-Phelps-Bollobás theorem and states the following see [18, Corollary.4] for this version: Let X be a Banach space. If x B X and x S B X satisfy Re x x > 1 ε /. Then there exist y S X and y S X such that y y = 1, x y < ε and x y < ε. In 1963, Lindenstrauss [34] studied possible extensions of the Bishop-Phelps theorem to the vectorvalued case, starting a fruitful line of research on norm attaining operators. We refer the reader to the expository paper [1] for more information and background. Let us just comment a couple of interesting results in this line. First, if a Banach space X has the Radon-Nikodým property, then norm attaining operators from X into Y are dense in LX, Y for every Banach space Y [16], and this actually characterizes the Radon-Nikodým property if it holds for every equivalent renorming of X [16]. Second, norm attaining operators are not dense in LL 1 [0, 1], C[0, 1] but norm attaining operators are dense in LCK, L p µ for every compact Hausdorff topological space K, every measure µ and 1 p < [36]. In 008, Acosta, Aron, García and Maestre [4] started the study of possible vector-valued versions of the Bishop-Phelps-Bollobás theorem, introducing the so-called Bishop-Phelps-Bollobás property. A pair X, Y of Banach spaces has the Bishop-Phelps-Bollobás property for operators if for every 0 < ε < 1, there is ηε > 0 such that given T LX, Y with T = 1 and x 0 S X satisfying T x 0 > 1 ηε, there exist x 1 S X and S LX, Y such that Sx 1 = S = 1, x 0 x 1 < ε and S B < ε. In this case, it also said that the Bishop-Phelps-Bollobás theorem holds for LX, Y. It is clear that the Bishop-Phelps-Bollobás property for a pair X, Y implies that norm attaining operators are dense in LX, Y, being false the converse: there is a reflexive space Y such that the Date: September 30th, Mathematics Subject Classification. Primary 46B0; Secondary 46B04, 46B. Key words and phrases. Banach space, approximation, norm attaining operator, bilinear form, Bishop-Phelps-Bollobás theorem. The second named author partially was supported by Basic Science Research Program through the National Research Foundation of KoreaNRF funded by the Ministry of Education, Science and Technology 01R1A1A Third author partially supported by Spanish MICINN and FEDER project no. MTM and by Junta de Andalucía and FEDER grants FQM-185 and P09-FQM

2 KIM, LEE, AND MARTÍN Bishop-Phelps-Bollobás theorem does not holds for Ll 1, Y [4, 10] l 1 is the two-dimensional L 1 space while all elements of Ll 1, Y attain their norms. We refer the reader to [, 4, 5, 10, 11, 1, 17, 1,, 9, 30, 31] and references therein for more information and background. Let us just mention some examples of pairs of classical spaces having the Bishop-Phelps-Bollobás property for operators, namely, L 1 µ, L ν for arbitrary measure µ and localizable measure ν [1, ], L 1 µ, L 1 ν for arbitrary measures µ and ν [], CK 1, CK for every compact spaces K 1 and K [5], and L p µ, Y for arbitrary measure µ, arbitrary Banach space Y and 1 < p < [6, 30]. On the other hand, a lot of attention was focus in the 1990 s on the problem of extending the Bishop- Phelps theorem to the bilinear case, starting with the paper of Aron, Finet and Werner [13] where the problem is stated and it is shown, in particular, that the Radon-Nikodým property is sufficient to get such a extension. In 1998, Acosta, Aguirre and Payá [3] found the first negative example. In 1997, Alaminos, Choi, Kim and Payá [8] showed that norm attaining bilinear forms on C 0 L spaces are dense in the space of all bounded bilinear forms. We refer again to the expository paper [1] for a detailed account on the subject. Let us recall that for all Banach spaces X and Y, BX Y is isometrically isomorphic to LX, Y by the canonical isometry B T given by [T x]y = Bx, y for every y Y and x X. Moreover, density of norm attaining bilinear forms on X Y implies density of norm attaining operators from X into Y, as every norm attaining bilinear form produces a norm attaining operator. But the reverse result is far from being true. For instance, norm attaining operators from L 1 [0, 1] into L [0, 1] are dense in LL 1 [0, 1], L [0, 1] [6], while norm attaining bilinear forms are not dense in BL 1 [0, 1] L 1 [0, 1] [19]. Very recently, Acosta, Becerra, García and Maestre [6] introduced the Bishop-Phelps-Bollobás property for bilinear forms, a concept which appeared without name in [3]. Definition 1 [6, 3]. A pair X, Y of Banach spaces have the Bishop-Phelps-Bollobás property for bilinear forms if for every 0 < ε < 1, there is ηε > 0 such that given B BX Y with B = 1 and x 0, y 0 S X S Y satisfying Bx 0, y 0 > 1 ηε, there exist x 1, y 1 S X S Y and S BX Y with S = 1 satisfying the following conditions: Sx 1, y 1 = 1, x 0 x 1 < ε, y 0 y 1 < ε, and S B < ε. In this case, we also say that the Bishop-Phelps-Bollobás theorem holds for BX Y. There are some recent results about the Bishop-Phelps-Bollobás property for bilinear forms [6, 7, 3, 7, 30]. For instance, let us comment that the Bishop-Phelps-Bollobás theorem holds for BX Y if the Banach spaces X and Y are uniformly convex [6]. If a pair X, Y of Banach spaces has the Bishop-Phelps-Bollobás for bilinear forms, then norm attaining bilinear forms on X Y are dense and, on the other hand, the pair X, Y has the Bishop- Phelps-Bollobás property for operators. None of the reversed results are true: the pair l 1, l 1 fails the Bishop-Phelps-Bollobás for bilinear forms [3], while norm attaining bilinear forms are dense in Bl 1 l 1 [13] and also the pair l 1, l has the Bishop-Phelps-Bollobás property for operators [4]. Recently, it has been shown that the Bishop-Phelps-Bollobás theorem holds for LC 0 L, L 1 µ in the complex case for arbitrary locally compact Hausdorff topological space L and arbitrary positive measure µ [, 31]. As C 0 L is isometrically isomorphic to a L 1 µ space, it is natural to ask whether the Bishop- Phelps-Bollobás theorem holds for BC 0 L 1 C 0 L. In this paper, we show that the answer to this question is affirmative again in the complex case. Concretely, we will prove the following result. Theorem. Let L 1 and L locally compact Hausdorff topological spaces. Then the pair C 0 L 1, C 0 L has the Bishop-Phelps-Bollobás property for bilinear forms in the complex case. Moreover, for every 0 < ε < 1 there exists ηε > 0, independent of L 1 and L, which is valid for BC 0 L 1 C 0 L in Definition 1. Even in the particular case of c 0, the above result is new. It solves in the positive [7, Open problem 4.6.1] and [30, Problem b in p. 385] for the complex case.

3 BISHOP-PHELPS-BOLLOBÁS PROPERTY FOR BILINEAR FORMS ON SPACES OF CONTINUOUS FUNCTIONS 3 Corollary 3. The Bishop-Phelps-Bollobás theorem holds for Bc 0 c 0 in the complex case. The rest of this paper is devoted to provide the proof of Theorem, for which we will need a number of preliminary results. From now on, we will only consider complex Banach spaces. First, we fully use the power of the uniform complex convexity of L 1 µ spaces. The modulus of complex convexity H X of a complex Banach space X is defined by { H X ε = inf x + e iθ y } 1 : x SX, y ε ε R +. sup 0 θ π A complex Banach space is said to be uniformly complex convex if H X ε > 0 for all ε > 0. This concept has been recently used to study denseness of norm attaining operators [, 0]. It is easy to check that every uniformly convex complex Banach space is uniformly complex convex. The converse result is false, as it is shown in [8] that L 1 µ is uniformly complex convex. Moreover, there is common lower bound for the modulus of complex convexity of all L 1 µ spaces [8, Theorem 1] we also refer to [3, 33]. Lemma 4 [8]. There is a function η 0 : 0, 1 0, such that H L1µε η 0 ε for every ε 0, 1 and for every measure µ. Second, let L be a locally compact Hausdorff space and C 0 L be the Banach space consisting of all complex-valued continuous functions which vanish at infinity. Recall that a bounded linear functional x on C 0 L is represented by a complex-valued Radon measure µ x on L. That is, for each x C 0 L, x x = x dµ x this is the classical Riesz representation theorem for C 0 L. Notice that every complex-valued Radon measure is regular and also that there is a Borel measure ν on L such that C 0 L is isometrically isometric to L 1 ν just take a maximal family {µ α } α of mutually singular positive Radon measures, then C 0 K = [ α L 1 µ α ] l1 and so C 0 L can be identified with L ν. We refer to the classical book [35] for background. For each Borel subset A, we define the operator P A : C 0 L C 0 L by P A f = fχ A for every f C 0 L L ν. Given a Radon measure µ on L and a Borel subset A of L, µ A denotes the total variation of µ on A. We will use the following result which is just a particular case of [, Lemma.3] using that C 0 L L 1 ν is uniformly complex convex and taking η 0 as the function given by Lemma 4. Lemma 5 Particular case of [, Lemma.3]. Let L 1, L be locally compact Hausdorff spaces and let A be a Borel subset of L 1. For given 0 < λ < 1, if T LC 0 L 1, C 0 L with T = 1 satisfies T P A > 1 η0λ 1+η, then T 0λ Id P A λ. The next result is clearly well-known see [9, and G.5] for instance and follows from the fact that C 0 L L 1 ν does not contains c 0. We state it for the sake of completeness. Lemma 6. Let L 1 and L be locally compact Hausdorff spaces and T LC 0 L 1, C 0 L. Then T is weakly compact and so T C 0 L 1 C 0 L. We know present the main ingredient in the proof of Theorem. Lemma 7. Let L 1 and L be locally compact Hausdorff spaces. Then for every 0 < λ < 1 there is η > 0 which satisfies the following: If B BC 0 L 1 C 0 L with B = 1 and x, y S C0L 1 S C0L satisfy Bx, y > 1 η 4, then there exist compact sets K 1 L 1, K L and a bilinear form B BCK 1 CK such that Bx K1, y K > 1 λ and C B < λ, where C BC 0 L 1 C 0 L is given by Cu, v = Bu K1, v K for every u, v C 0 L 1 C 0 L. Besides, min xt 1 η and min ys 1 η. t K 1 s K L

4 4 KIM, LEE, AND MARTÍN { } Proof. Choose 0 < η < 1 such that η 4 + η 3 + η + η < min λ η 0, 1+η 0 λ, where η 0 is given by Lemma 4. Fix B BC 0 L 1 C 0 L with B = 1 and x, y S C0L 1 S C0L satisfying Bx, y > 1 η 4. Consider T LC 0 L 1, C 0 L the operator defined by [T u]v = Bu, v for every v C 0 L and u C 0 L 1, and write A 1 = { t L 1 : xt 1 η }, A = { s L : ys 1 η}. Then, we have that 1 η 4 < [T x]y = [T y]x = x dµ T y L d µt y + 1 η d µt y 1 η A 1 A c 1 A c 1 d µt y. Hence, µ T y A c 1 < η. By the regularity of µ T y, there exists a compact set K 1 A 1 such that µ T y K1 c < η. Therefore, x dµ T y = T x K1 y K 1 [T x]y [T x]y [T x K1 ]y 1 η 4 x dµ T y >1 η 4 η K c 1 Thus, T P K1 > 1 η 4 η > 1 η0 λ 1+η 0 λ. By Lemma 5, we get T T P K1 λ/. Now, let U LC 0 L, C 0 L 1 be the operator defined by [Uv]u = T P K1 uv for every u C 0 L 1 and v C 0 L note that T P K1 C 0 L 1 C 0 L by Lemma 6. Since [Uy]x = x dµ T y > 1 η4 η, K 1 similarly to the above, we get µu x A c < η 3 + η. So there exists a compact set K A such that µ U x K c < η 3 + η. Hence, y dµ U x > 1 η4 η η 3 η and K c U P K > 1 η λ η λ. 0 Using Lemma 5 again, we get U U P K λ/. Define B BCK 1 CK by Bu, v = [U P K ṽ ]ũ for every u, v CK 1 CK, where ũ and ṽ are norm preserving extensions of u and v to L 1 and L, respectively. Then, C as in the statement of the lemma is well-defined. Indeed, if u, v C 0 L 1 C 0 L, then v, U u = T P K1 u, v. Since U u C 0 L and T P K1 u C 0 L, we have, by Goldstine s lemma, ṽ, U u = T P K1 u, ṽ for all ṽ C 0 L. Therefore, U P K ṽ ũ = P K ṽ, U ũ = P K ṽ, T P K1 ũ.

5 BISHOP-PHELPS-BOLLOBÁS PROPERTY FOR BILINEAR FORMS ON SPACES OF CONTINUOUS FUNCTIONS 5 This implies that C is well-defined. Finally, we also have that B C = sup x S C0 L 1, y S C0 L Bx, y Cx, y = sup T xy U P K yx x S C0 L 1, y S C0 L = sup T xy T P K1 xy + T P K1 xy U P K yx x S C0 L 1, y S C0 L sup x S C0 L 1, y S C0 L T xy T P K1 xy + U yx U P K yx = T T P K1 + U U P K λ. The next ingredient is the following easy consequence of Urysohn lemma. Lemma 8. Assume that two continuous functions f, g B C0L and a compact set A L are given. If f A g A < ε, then there exists a function h B C0L such that h A = f A and h g < ε. Proof. Since A is compact there exists an open set U so that A U and f U g U < ε. Using Urysohn lemma, choose u C 0 L such that 0 u 1, u = 1 on A and u = 0 on U c. Then, clearly h = uf + 1 ug works. It is proved in [8] that the set of all norm attaining bilinear forms are dense in BC 0 L C 0 L for every locally compact space L. With a slight modification of the proof we may get the following. Proposition 9 [8]. Let L 1, L be locally compact Hausdorff topological spaces. Then, every continuous bilinear form on C 0 L 1 C 0 L can be approximated by norm attaining bilinear forms. We are now ready to provide the proof of the main result. Proof of Theorem. Given 0 < ε < 1, let { } ε ψ = min 4, η ε η ε. 0 4 Choose suitable positive numbers 0 < λ < ζ < γ < ψ satisfying the following three conditions: 1 1 λ λ1+λ λ 3 { } ζ < min γ,. 1+λ λ η 0γ 1+η 0γ > 1 ζ. 3 1 λ λ1+λ λ 3 1+λ λ ζ γ > 1 ψ. For such λ, choose 0 < η < ε given by Lemma 7. Fix B B C 0 L 1 C 0 L with B = 1 and x 0, y 0 S C0L 1 S C0L satisfying Bx 0, y 0 > 1 η 4. Then there are compact sets K 1, K and a bilinear form B BCK 1 CK which satisfy the conditions in Lemma 7. Let C BC 0 L 1 C 0 L be the canonical extension of B and let f 0 = x 0 K1 and g 0 = y 0 K. Choose α C with α = 1 such that Bf 0, g 0 = α Bf 0, g 0. Define B 1 BCK 1 CK by B 1 f, g = α Bf, g + λα Bf, g0 Bf 0, g f, g CK1 CK and write B = B 1 / B 1. Since the set of norm attaining bilinear mappings is dense in BCK 1 CK Proposition 9, there exist B 3 BCK 1 CK and f 1, g 1 S CK1 S CK such that B 3 = 1, B 3 B < λ and B 3 f 1, g 1 = 1.

6 6 KIM, LEE, AND MARTÍN Moreover, rotating g 1 and f 1 if needed, we may assume that B 3 f 1, g 1 = 1 and α Bf 1, g 0 = Bf 1, g 0. First, we have that B 1 B 1 f 0, g 0 = α Bf 0, g 0 + λ α Bf 0, g 0 = Bf 0, g 0 + λ Bf 0, g 0 1 λ + λ1 λ. Thus, 1 λ B 1. Second, 1 = B 3 = B 3 f 1, g 1 Re B f 1, g 1 + λ = Re B 1 f 1, g 1 B 1 = 1 B Re Bf 1, g 1 + Re λα Bf1, g 0 Bf 0, g B Re λα Bf 0, g 1 + λ. + λ + λ Hence, we have 1 + Re λα Bf 0, g 1 B 1 λ B 1 B 1 λ, and this implies In the same way, we get Re α Bf 0, g 1 1 λ λ. α Bf 1, g 0 = Bf 1, g 0 1 λ λ. Define T 1 LCK 1, CK by [T 1 f]g = B 3 f, g for g CK and f CK 1. We have Re T 1 f 0 g 1 = Re B 3 f 0, g 1 Re B f 0, g 1 λ = Re B 1 f 0, g 1 B 1 λ Re B 1 f 0, g 1 λ = Re α Bf 0, g 1 + Re λα Bf0, g 0 Bf 0, g 1 Re α Bf 0, g 1 α Bf 0, g 0 = λ 1 λ λ λ 3 > λ > 1 ζ. By the polar decomposition of the measure µ T 1 g 1, there is a measurable function h g1 CK 1 with h g1 = 1 such that [T1 g 1 ]f = fh g1 d µ T 1 g 1 f CK1. K { 1 } Consider the set A 1 = t K 1 : Re f0t+f 1t h g1 t 1 ζ and observe that [ ] 1 ζ f0 + f 1 < Re T 1 g 1 = Re [T1 f0 + f 1 f0 + f 1 g 1 ] = Re h g1 d µ T K 1 1 g 1 f0 + f 1 f0 + f 1 = Re h g1 d µ T A 1 1 g 1 + Re h g1 d µ T K 1\A 1 1 g 1 < d µ T 1 g ζ d µ T 1 g 1 = 1 ζ d µ T 1 g 1 A 1 K 1\A 1 K 1\A 1 λ

7 BISHOP-PHELPS-BOLLOBÁS PROPERTY FOR BILINEAR FORMS ON SPACES OF CONTINUOUS FUNCTIONS 7 Hence, µ T 1 g 1 K 1 \ A 1 < ζ. By regularity, there is a compact subset F 1 of A 1 such that µ T 1 g 1 K 1 \ F 1 < ζ, which implies T1 P F1 sup [T1 P F1 f]g 1 = sup f dµ T 1 g 1 = µ T 1 g 1 F 1 f B CK1 f B CK1 F 1 > µ T 1 g 1 K 1 ζ = T g 1 ζ = 1 ζ 1 η 0 γ 1 + η 0 γ. Hence, from Lemma 7, we have T 1 T 1 P F1 γ. Using the definition of the set A 1, it follows that 1 f 0 A1 f 1 A1 < ζ1 ζ. Indeed, for t A 1, we know that Re f 0 t + Re f 1 t ζ. As f 0 t 1 and f 1 t 1, it follows by the parallelogram law, that f 0 t f 1 t 4 f 0 t + f 1 t 4 Re f 0 t + Re f 1 t 4ζ ζ. Now, using Urysohn lemma we can find f S CK1 satisfying f 1 f < 3ζ, [T 1 f ]g 1 = 1, and f t = 1 for every t F 1. Indeed, consider U = {t K 1 : f 1 t > 1 3ζ} and observe that F 1 A 1 U, so there exists a function u CK 1 such that 0 u 1, ut = 1 for every t F 1, and ut = 0 for every t K 1 \ U. Define the function f by f t = ut f1t f + 1 utf 1t 1t for every t U and f t = f 1 t for every t K 1 \ U. Similarly, define f 3 by f 3 t = ut f1t f utf 1t 1t for every t U and f t = f 1 t for every t K 1 \ U. It is obvious that f, f 3 B CK1 and f f 1 < 3ζ. Moreover, [T 1 f ]g 1 = 1 since [T 1 f + f 3 ]g 1 = [T 1 f 1 ]g 1 = and [T 1 f ]g 1, [T 1 f 3 ]g 1 1. Choose any t 1 F 1 and define S 1 LCK 1, CK by S 1 f = T 1 P F1 f + f t 1 ft 1 T 1 T 1 P F1 f This is well-defined by Lemma 6, and satisfies S 1 = [S 1 f ]g 1 = 1 and S 1 T 1 < γ. f CK1. Let T LCK, CK 1 be given by [T g]f = [S 1 f]g for f CK 1 and g CK. We have Re [T g 0 ]f = Re [S 1 f ]g 0 Re [T 1 f ]g 0 γ = Re [T 1 f 1 ]g 0 ζ γ = Re B 3 f 1, g 0 Re B f 1, g 0 λ ζ γ Re B 1 f 1, g 0 B 1 λ Re B 1 f 1, g 0 λ ζ γ = Re α Bf 1, g 0 + Re λα Bf1, g 0 Bf 0, g 0 λ ζ γ Re α Bf 1, g 0 α Bf 0, g 0 = λ ζ γ 1 λ λ λ 3 > λ ζ γ > 1 ψ With the same procedure than above, we get a measurable function h f CK with h f = 1 such that [T f ]g = gh f d µ T f g CK, K considering the set A = { t K : Re g 0+g 1 hf 1 ψ }, we get that g0 A g 1 A < ψ1 ψ as in the estimation 1 and there is a compact subset F of A satisfying T T P F ε 4.

8 8 KIM, LEE, AND MARTÍN Besides, there exists a function g S CK satisfying g 1 g < 3ψ, [T g ]f = 1, and g t = 1 for every t F. Choose any t F, and define an operator S LCK, CK 1 by S g = T P F g + g t gt T T P F g Then, S = [S g ]f = 1, and S T < ε. g CK. Finally, let B 4 BCK 1 CK be given by B 4 f, g = [S g]f for every f, g CK 1 CK and let D BC 0 L 1 C 0 L be the canonical extension of B4. Notice that Du, v = 1 for any extensions u, v S C0L 1 S C0L of f A1, g A because of our construction. Let x 1 C 0 L 1 and y 1 C 0 L be any norm preserving extensions of f A1 and g A respectively. As x 0 A1 x 1 A1 < ζ1 ζ < ε and y 0 A y 1 A < ψ1 ψ < ε, Lemma 8 provides with x S C0L 1 and y S C0L such that x A1 = x 0 A1, y A = y 0 A and Observe that Dx, y = 1. Finally, x x 0, y y 0 < ε. B αd = D αb < D αc + αc αb B 4 α B + λ B 4 B 3 + B 3 B + B B 1 + B 1 α B + λ S T + S 1 T 1 + λ + λ + λ + λ < γ + ε + λ + 3λ < ε. References [1] M. D. Acosta, Denseness of norm attaining mappings, Rev. R. Acad. Cien. Serie A. Mat , [] M. D. Acosta, The Bishop-Phelps-Bollobás property for operators on CK, Preprint. Available at [3] M. D. Acosta, F. J. Aguirre and R. Payá, There is no bilinear Bishop-Phelps theorem, Israel J. Math , 1 7. [4] M. D. Acosta, R. M. Aron, D. García and M. Maestre, The Bishop-Phelps-Bollobás theorem for operators, J. Funct. Anal , [5] M. D. Acosta, J. Becerra-Guerrero, Y. S. Choi, M. Ciesielski, S. K. Kim, H. J. Lee, M. L. Lorenco and M. Martín, The Bishop-Phelps-Bollobás property for operators between spaces of continuous functions, Nonlinear Anal , [6] M. D. Acosta, J. Becerra-Guerrero, D. García and M. Maestre, The Bishop-Phelps-Bollobás Theorem for bilinear forms, Trans. Amer. Math. Soc , [7] M D. Acosta, J. Becerra-Guerrero, Y. S. Choi, D. García, S. K. Kim, H. J. Lee and M. Maestre, The Bishop-Phelps-Bollobás property for bilinear forms and polynomials, J. Math. Soc. Jap , [8] J. Alaminos, Y. S. Choi, S. G. Kim and R. Payá, Norm attaining bilinear forms on spaces of continuous functions, Glasgow Math. J , [9] F. Albiac and N. Kalton, Topics in Banach Space Theory, Graduate Texts in Mathematics 33, Springer, New York, 006. [10] R. M. Aron, Y. S. Choi, S. K. Kim, H. J. Lee and M. Martín, The Bishop-Phelps-Bollobás version of Lindenstrauss properties A and B, Trans. Amer. Math. Soc. to appear. Available at [11] R. M. Aron, B. Cascales and O. Kozhushkina, The Bishop-Phelps-Bollobás Theorem and Asplund operators, Proc. Amer. Math. Soc , [1] R. M. Aron, Y. S. Choi, D. García and M. Maestre, The Bishop-Phelps-Bollobás Theorem for LL 1 µ, L [0, 1], Adv. Math [13] R. M. Aron, C. Finet, E. Werner, Some remarks on norm-attaining n-linear forms, in: Function spaces Edwardsville, IL, 1994, 19-8, Lecture Notes in Pure and Appl. Math., 17, Dekker, New York, 1995.

9 BISHOP-PHELPS-BOLLOBÁS PROPERTY FOR BILINEAR FORMS ON SPACES OF CONTINUOUS FUNCTIONS 9 [14] E. Bishop and R. R. Phelps, A proof that every Banach space is subreflexive, Bull. Amer. Math. Soc , [15] B. Bollobás, An extension to the Theorem of Bishop and Phelps, Bull. London Math. Soc. 1970, [16] J. Bourgain, On dentability and the Bishop-Phelps property, Israel J. Math , [17] B. Cascales, A. J. Guirao and V. Kadets, A Bishop-Phelps-Bollobás type theorem for uniform algebras, Adv. Math , [18] M. Chica, V. Kadets, M. Martín, S. Moreno-Pulido, and F. Rambla-Barreno. Bishop-Phelps-Bollobás moduli of a Banach space, J. Math. Anal. Appl , [19] Y. S. Choi, Norm attaining bilinear forms on L 1 [0, 1], J. Math. Anal. Appl , [0] C. Choi, A. Kamińska and H. J. Lee, Complex convexity of Orlicz-Lorentz spaces and its applications, Bull. Polish. Acad. Sci. Math , [1] Y. S. Choi and S. K. Kim, The Bishop-Phelps-Bollobás theorem for operators from L 1 µ to Banach spaces with the Radon-Nikodým property, J. Funct. Anal , [] Y. S. Choi, S. K. Kim, H. J. Lee and M. Martín, The Bishop-Phelps-Bollobás theorem for operators on L 1 µ, J. Funct. Anal , no. 1, [3] Y. S. Choi and H. G. Song, The Bishop-Phelps-Bollobás Theorem fails for bilinear forms on l 1 l 1, J. Math. Anal. Appl , [4] W. J. Davis, D. J. H. Garling and N. Tomczak-Jaegermann, The complex convexity of quasinormed linear spaces, J. Funct. Anal , [5] S. J. Dilworth, Complex convexity and the geometry of Banach spaces, Math. Proc. Cambridge Philos. Soc , [6] C. Finet and R. Payá, Norm attaining operators from L 1 into L, Israel J. Math , [7] D. García, H. J. Lee and M. Maestre, The Bishop-Phelps-Bollobás property for hermitian forms on Hilbert spaces, Q. J. Math , [8] J. Globevnik, On complex strict and uniform convexity, Proc. Amer. Math. Soc , [9] S. K. Kim, The Bishop-Phelps-Bollobás Theorem for operators from c 0 to uniformly convex spaces, Israel. J. Math , [30] S. K. Kim and H. J. Lee, Uniform convexity and Bishop-Phelps-Bollobás property, Canad. J. Math , [31] S. K. Kim, H. J. Lee and P. K. Lin, The Bishop-Phelps-Bollobás theorem for operators from L µ to uniformly convex spaces. Preprint. [3] H. J. Lee, Monotonicity and complex convexity in Banach lattices, J. Math. Anal. App , [33] H. J. Lee, Complex convexity and monotonicity in quasi-banach lattices, Israel J. Math , [34] J. Lindenstrauss, On operators which attain their norm, Israel J. Math , [35] W. Rudin, Real and complex analysis, McGraw-Hill, [36] W. Schachermayer, Norm attaining operators on some classical Banach spaces, Pacific J. Math , Kim Department of Mathematics, Kyonggi University, Suwon , Republic of Korea address: sunkwang@kgu.ac.kr Lee Department of Mathematics Education, Dongguk University - Seoul, Seoul, Republic of Korea address: hanjulee@dongguk.edu Martín Departamento de Análisis Matemático, Facultad de Ciencias, Universidad de Granada, E Granada, Spain address: mmartins@ugr.es