ON THE B-ANGLE AND g-ANGLE IN NORMED SPACES On the B-angle and g-angle in PAVLE M. MILIČIĆ Faculty of Mathematics University of Belgrade Serbia. EMail: pmilicic@hotmail.com normed spaces Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 Title Page Contents Received: 15 February, 2007 Accepted: 16 July, 2007 Communicated by: S.S. Dragomir 2000 AMS Sub. Class.: 46B20, 46C15, 51K05. Key words: Smooth normed spaces, quasi-inner product spaces, oriented (non-oriented) B−angle between two vectors, oriented (non-oriented) g−angle between two vectors. Abstract: It is known that in a strictly convex normed space, the B−orthogonality (Birkhoff orthogonality) has the property, “B−orthogonality is unique to the left“. Using this property, we introduce the definition of the so-called B−angle between two vectors, in a smooth and uniformly convex space. Also, we define the so-called g−angle between two vectors. It is demonstrated that the g−angle in a unilateral triangle, in a quasi-inner product space, is π/3. The g−angle between a side and a diagonal, in a so-called g−quandrangle, is π/4. JJ II J I Page 1 of 18 Go Back Full Screen Close Let X be a real smooth normed space of dimension greater than 1. It is well known that the functional (1) kx + tyk − kxk t→0 t g(x, y) := kxk lim (x, y ∈ X) always exists (see [5]). This functional is linear in the second argument and it has the following properties: (2) g(αx, y) = αg(x, y) (α ∈ R), g(x, x) = kxk2 , |g(x, y)| ≤ kxk kyk . Definition 1 ([10]). A normed space X is a quasi-inner product space (q.i.p. space) if the equality (3) kx + yk4 − kx − yk4 = 8 kxk2 g(x, y) + kyk2 g(y, x) On the B-angle and g-angle in normed spaces Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 Title Page Contents holds for all x, y ∈ X. The space of sequences l4 is a q.i.p. space, but l1 is not a q.i.p. space. It is proved in [10] and [11] that a q.i.p. space X is very smooth, uniformly smooth, strictly convex and, in the case of Banach spaces, reflexive. The orthogonality of the vector x 6= 0 to the vector y 6= 0 in a normed space X may be defined in several ways. We mention some kinds of orthogonality and their notations: • x⊥B y ⇔ (∀λ ∈ R) kxk ≤ kx + λyk (Birkhoff orthogonality), • x⊥J y ⇔ kx − yk = kx + yk (James orthogonality), x x y y • x⊥S y ⇔ kxk − kyk = kxk + kyk (Singer orthogonality). JJ II J I Page 2 of 18 Go Back Full Screen Close In the papers [8], [6] and [9], by using the functional g, the following orthogonal relations were introduced: x⊥g y ⇔ g(x, y) = 0, g x ⊥ y ⇔ g(x, y) + g(y, x) = 0, x ⊥ y ⇔ kxk2 g(x, y) + kyk2 g(y, x) = 0. g In [6, Theorem 2] the following assertion is proved: If X is smooth, then x⊥g y ⇔ x⊥B y. In [11] we have proved the following assertion: If X is a q.i.p. space, then x ⊥ y ⇔ x⊥J y g On the B-angle and g-angle in normed spaces Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 g and x ⊥ y ⇔ x⊥S y. If there exists an inner product h·, ·i in X, (i.p.), then it is easy to see that xρy ⇔ hx, yi = 0 holds for every g ρ ∈ ⊥B , ⊥J , ⊥S , ⊥g , ⊥, ⊥ . g Title Page Contents JJ II J I For more on B−orthogonality and g−orthogonality, see the papers [1], [2], [13] and [14]. Some additional properties of this orthogonality are quoted below. Denote by P[x] y the set of the best approximations of y with vectors from [x]. Page 3 of 18 Theorem 1. Let X be a smooth and uniformly convex normed space, and let x, y ∈ X − {0} be fixed linearly independent vectors. The following assertions are valid. Full Screen 1. There exists a unique a ∈ R such that P[x] y = ax ⇔ g(y − ax, x) = 0 ⇔ ky − axk2 = g(y − ax, y), sgn a = sgn g(y, x). 2. If z ∈ span {x, y} and y⊥B x∧z⊥B x, then there exists λ ∈ R such that z = λy. Go Back Close 3. If x⊥B y − αx ∧ x⊥B y − βx then α = β. Proof. 1. The proof can be found in [14]. 2. Since X is smooth, the equivalence y⊥B x ∧ z⊥B x ⇔ g(y, x) = 0 ∧ g(z, x) = 0 On the B-angle and g-angle in normed spaces holds. Pavle M. Miličić Hence vol. 8, iss. 4, art. 99, 2007 x = αy + βz ⇒ g(y, αx + βz) = 0 ∧ g(z, αx + βz) = 0. We get the system of equations Title Page α kyk2 + βg(y, z) = 0 αg(z, x) + β kzk2 = 0. This system has a non-trivial solution for α and β iff g(y, z)g(z, y) = kyk2 kzk2 ⇔ |g(y, z)| |g (z, y)| = kyk2 kzk2 . The last equation is not correct if |g(y, z)| < kyk kzk . So, |g(y, z)| = kyk kzk.Then by Lemma 5 of [3], there exists λ ∈ R such that z = λy. 3. In accordance with 1) we have g(x, y − αx) = 0 ∧ g(x, y − βx) = 0 ⇔ g(x, y) − α kxk2 = 0 ∧ g(x, y) − β kxk2 = 0 ⇒ α = β. Contents JJ II J I Page 4 of 18 Go Back Full Screen Close From now on we assume that points 0, x, y are the vertices of the triangle (0, x, y) and points 0, x, y, x + y are the vertices of the parallelogram (0, x, y, x + y). The numbers kx − yk , kx + yk are the lengths of diagonal of this parallelogram. If kxk = kyk, we say that this parallelogram is a rhomb, and if x⊥ρ y, we say that this parallelogram is a ρ-rectangle, ρ ∈ ⊥B , ⊥J , ⊥S , ⊥ . g From the next theorem, we see the similarity of q.i.p. spaces to inner-product spaces ( i.p. spaces). On the B-angle and g-angle in normed spaces Pavle M. Miličić Theorem 2. Let X be a q.i.p. space. The following assertions are valid. vol. 8, iss. 4, art. 99, 2007 1. The lengths of the diagonals in parallelogram (0, x, y, x + y) are equal if and only if the parallelogram is a g−rectangle, i.e., x ⊥ y. g Title Page 2. The diagonals of the rhomb (0, x, y, x+y) are g−orthogonal, i.e., (x−y) ⊥(x+ Contents g y). 3. The parallelogram (0, x, y, x + y) is a g−quadrangle if and only if the lengths of its diagonals are equal and the diagonals are g−orthogonal. The proof of Theorem 2 can be found in [11]. The angle between two vectors x and y in a real normed space was introduced in [7] as g(x, y) + g(y, x) ∠(x, y) := arccos (x, y ∈ X − {0}). 2 kxk kyk g So, x ⊥ y ⇔ cos ∠(x, y) = 0. In this paper we introduce several definitions of angles in a smooth normed space X. JJ II J I Page 5 of 18 Go Back Full Screen Close Let us begin with the following observations. By (2), it is easily seen that we have kxk2 g(x, y) + kyk2 g(y, x) ≤1 −1 ≤ kxk kyk (kxk2 + kyk2 ) (4) (x, y ∈ X − {0}). Hence we define new angle between the vectors x and y ,denoted as ∠(x, y). g On the B-angle and g-angle in normed spaces Definition 2. The number Pavle M. Miličić kxk2 g(x, y) + kyk2 g(y, x) (x, y) := arccos ∠ g kxk kyk (kxk2 + kyk2 ) vol. 8, iss. 4, art. 99, 2007 is called the g−angle between the vector x and the vector y. Title Page Contents It is very easy to see that : ∠(x, y) = ∠(y, x), g g ∠(λx, λy) = ∠(x, y), g g x ⊥ y ⇔ cos ∠(x, y) = 0. g g Theorem 3. Let X be a q.i.p. space. Then the following assertions hold. JJ II J I Page 6 of 18 1. The g−angle over the diameter of a circle is g−right, i.e., if c is the circle in span {x, y}, centered at x+y of radius kx−yk , then z ∈ c ⇒ (x − z) ⊥(y − z), 2 2 g Figure 1. 2. The centre of the circumscribed circumference about the g−right triangle is the centre of the g−hypotenuse. Go Back Full Screen Close Proof. 1. If z ∈ c, then z − x+y 2 = kx−yk , 2 i.e. k2z − (x + y)k = kx − yk. Hence (x − z)⊥J (y − z) ⇔ (x − z) ⊥(y − z), g because X is a q.i.p. space. 2. Let c be the circle defined by the equation z − x+y 2 , where x ⊥ y = x−y 2 g i.e. kx − yk = kx + yk. Then 0 ∈ c. On the B-angle and g-angle in normed spaces Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 z c Title Page Contents x y JJ II J I Page 7 of 18 o Go Back Figure 1: Full Screen Close In accordance with B−orthogonality, now we define the oriented B−angle between vectors x and y. Firstly, we have the following observation. Let P[x] y = ax, (a = a(x, y)).If kaxk ≤ kyk for every x, y ∈ X − {0}, then X is an i.p. space (see (18.1) in [4]). So, in a normed (non trivial) space, a B−catheti may be greater than the hypotenuse. Lemma 4. Let X be a smooth and uniformly convex space and x, y ∈ X − {0} linearly independent. Then there exists a unique τ = τ (x, y) such that kyk = ky − τ xk. If X is a q.i.p. space and y is not B−orthogonal to x, then there exist unique p ∈ R such that (y − px) ⊥ px. g Proof. We consider the function f (t) = ky − txk (x, y ∈ X − {0} , t ∈ R). On the B-angle and g-angle in normed spaces Since X is smooth and uniformly convex, there exists a unique a = a(x, y) ∈ R such that (5) min f (t) = f (a) = ky − axk , t∈R g(y − ax, x) = 0, Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 sgn a = sgn g(y, x). (The vector ax is the best approximation of vector y with vectors of [x], i.e., P[x] y = ax (see [14]). On the other hand, the function f is continuous and convex on R and therefore there exists a unique τ = τ (x, y) ∈ R (see Figure 2) such that f (a) < kyk = ky − τ xk . Title Page Contents JJ II J I Page 8 of 18 If X is a q.i.p. space, we get p = τ . 2 In this case, we have kyk = ky − 2pxk, hence k(y − px) + pxk = k(y − px) − pxk , i.e. (y − px)⊥J px ⇔ (y − px) ⊥ px. g In this case we shall write In (5) we have: Pxg y = px. Clearly kyk = ky − 2pxk ⇒ kpxk ≤ kyk . 0 < a < τ ⇔ g(y, x) > 0, τ < a < 0 ⇔ g(y, x) < 0 (Figure 2). Go Back Full Screen Close Hence, by kyk = ky − τ xk we get kτ xk − kyk ≤ kyk, i.e. kτ xk ≤ kyk . 2 (6) f On the B-angle and g-angle in normed spaces y Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 0 a ? t Title Page Contents Figure 2: Assume that g(y, x) > 0. If a < τ2 , then by (5) we have kaxk ≤ kτ2xk ≤ kyk . If a ≥ τ2 , then τ − a ≤ τ2 and we have k(τ − a)xk ≤ kτ2xk ≤ kyk. Hence we get min {a, τ − a} ≤ τ2 . Of course, if g(y, x) < 0, we get min {|a| , |τ − a|} ≤ |τ2| . Thus, we conclude that (7) kkxk −1 ≤ sgn g(y, x) ≤ 1 kyk where k = min {|a| , |τ − a|} (x, y ∈ X − {0}), (k = k(x, y)). Keeping in mind (7) and the characteristics of B− orthogonality, we introduce the JJ II J I Page 9 of 18 Go Back Full Screen Close following definitions of the oriented B−angle between the vector x and the vector y. Definition 3. Let X be smooth and uniformly convex. The number kkxk sgn g(y, x), kyk k = min {|a| , |τ − a|} , (x, y ∈ X − {0}) → cosB (x, y) := (8) On the B-angle and g-angle in normed spaces is called the B−cosine of the oriented angle between x and y. The number ∠B (− x,→ y) := arccosB (− x,→ y) Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 is the oriented B−angle between the vector x and the vector y. Title Page Definition 4. cosB (x, y) := Contents q |cosB (− x,→ y) cosB (− y,→ x)| sgn g(x, y) sgn g(y, x). The number ∠B (x, y) := arccosB (x, y) is called the B−angle between the vector x and the vector y. If X is an i.p. space with i.p. h·, ·i , we have a = → g(x,y) kxk2 = → hx,yi kxk2 = g(y,x) kxk2 (see [14]). hx,yi So, in this case cosB (x, y) = kxkkyk . Observe that cosB (x, y) is not symmetric in x and y, so, in the triangle (0, x, y) we have 6 oriented B−angles. |g(x,y)| Since inequalities −1 ≤ kxk ≤ 1 are valid for every x, y ∈ X − {0} and kyk y⊥ x ⇔ g(y, x) = 0 in a smooth space, we may ask whether cos (− x,→ y) = g(y,x) B B for every x, y ∈ X. The answer is no. Namely, in this case we have a(x, y) and hence, for every x, y ∈ X − {0}, we get kaxk = 18.1 of [4] that X is an i.p. space. |g(y,x)| kxk kxk kyk = g(y,x) kxk2 ≤ kyk. It follows from JJ II J I Page 10 of 18 Go Back Full Screen Close Theorem 5. Let X be a smooth and strictly convex space. Then, −−→ 1. cosB (λx, y) = cosB (− x,→ y) sgn λ (λ ∈ R − {0}), −−→ 2. cosB (x, λy) = cosB (− x,→ y) sgn λ (λ ∈ R − {0}). Proof. On the B-angle and g-angle in 1. Assume that P[x] y = ax, k = {|a| , |τ − a|} , kyk = ky − τ xk , P[λx] y = bλx. Then bλ = a and min {|bλ| , |τ − bλ|} = min {|a| , |τ − a|} = k. Hence, by Definition 3, we have −−→ min {|λb| , |τ − λb|} kxk cosB (λx, y) = sgn g(y, λx) kyk kkxk sgn λg(y, x) = cosB (− x,→ y) sgn λ. = kyk 2. Let be P[x] y = ax kyk = ky − τ xk and kλyk = kλy − τλ xk. Then P[x] λy = λax and by kλyk = kλy − λτ xk we get τλ = λτ and kλ = min {|λa| , |λτ − λa|} = |λ| k. Thus −−→ kkλ xk cosB (x, λy) = sgn g(λy, x) kλyk kkxk = sgn λg(y, x) kyk = cosB (− x,→ y) sgn λ. normed spaces Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 Title Page Contents JJ II J I Page 11 of 18 Go Back Full Screen Close Theorem 6. LetX be smooth, x, y ∈ X −{0} linearly independent, ky − xk = kyk. Then ∠B (x, y) = ∠B (−x, y − x), (Figure 3). y On the B-angle and g-angle in o ? ? normed spaces x Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 Figure 3: Title Page Proof. In a smooth space X (see [12]), for x, y ∈ X, we have Contents kxk (kxk − kx − yk) ≤ g(x, y) ≤ kxk (kx + yk − kxk). JJ II Since ky − xk = kyk , we get g(y, x) > 0 and g(y − x, −x) > 0. Let P[x] y = ax and P[x] (y − x) = b. Then: a > 0, b > 0 (see [14]), g(y − ax, x) = 0 and J I (9) Page 12 of 18 g(y − x − bx, x) = 0 ⇔ g(y − (1 + b)x, x) = 0. Go Back By virtue of 2) in Theorem 1, we get 1 + b = a such that P[x] (y − x) = (a − 1)x. From this and Definition 3, we have kkxk −−−−−−→ cosB (−x, y − x) = sgn g(y − x, −x) ky − xk min {a, 1 − a} kxk = = cosB (− x,→ y). kyk Full Screen Close We now assume that X is a s.i.p. space. Analogous to Definition 3 and Definition 4, in a q.i.p. space, we will introduce a new definition of an oriented g−angle and the corresponding non oriented g−angle. Definition 5. Let x 6= 0, y ∈ X and p = τ 2 (see Lemma 4). Then kpxk cosg (− x,→ y) := sgn(kxk2 g(x, y) + kyk2 g(y, x)). kyk The number ∠g (− x,→ y) := arccosg (− x,→ y) is the oriented g−angle between vector x and vector y. On the B-angle and g-angle in normed spaces Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 We observe that, for all λ 6= 0, y − px ⊥ px ⇒ λy − λpx ⊥ λpx, g i.e., Pxg y = a ⇒ g Pλx λy g Contents = ax. Hence we have −−−→ cosg (λx, λy) = cosg (− x,→ y) sgn λ (10) (λ 6= 0). JJ II J I Page 13 of 18 Definition 6. q cosg (x, y) := Title Page −−→ cosg (x, y) cosg (− y,→ x) sgn(kxk2 g(x, y) + kyk2 g(y, x)). The number ∠g (x, y) := arccosg (x, y) is the non-oriented g−angle between x and y. Clearly, in a q.i.p. space we have cosg (x, y) = cosg (y, x). Go Back Full Screen Close If X is an i.p. space with i.p. h·, ·i we have (y − px) ⊥ px ⇔ ky − pxk2 g(y − px, px) + kpxk2 g(px, y − px) = 0 g ⇔ (ky − pxk2 + kpxk2 ) hx, y − pxi = 0 hx, yi ⇔ p= kxk2 |hx, yi| ⇒ kpxk = kxk kpxk hx, yi 2 2 ⇒ cosg (− x,→ y) = . 2 sgn((kxk + kyk ) hx, yi) = kxk kyk kyk Theorem 7. Let X be a q.i.p. space and kxk = kyk = kx − yk, i.e., let triangle (0, x, y) be equilateral. Then π ∠g (− x,→ y) = ∠g (x, y) = ∠g (y, x) = . 3 2 y 2 Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 g Contents JJ II J I Page 14 of 18 Proof. At first, from equations kxk = kyk = ky − xk and inequalities (9) we get inequalities 0 < g(x, y) and 0 < g(y, x). By this sgn(kxk2 g(x, y) + kyk2 g(y, x)) = 1. Let c be the circle centred at x2 with diameter kxk, (see Figure 4). Then y2 , x+y ∈ 2 y y x+y x−y c. According to 1), Theorem 3, we have (x − 2 ) ⊥ 2 and 2 ⊥ 2 . That is, we have g g P g y = x and P g x = y . By Definition 5 we get cos (− x,→ y) = cos (y, x) = 1 . Hence, x normed spaces Title Page Thus, Definition 5 and Definition 6 are correct. by Definition 6, we have ∠g (x, y) = π3 . On the B-angle and g-angle in g 2 Go Back Full Screen Close On the B-angle and g-angle in Figure 4: normed spaces Pavle M. Miličić Theorem 8. Let (0, x, y, x+y) be a g−quadrangle, i.e. let kxk = kyk∧x ⊥ y. Then vol. 8, iss. 4, art. 99, 2007 g ∠g (x, x + y) = π4 , i.e., the non-oriented g−angle between a diagonal and a side is π . 4 Title Page Contents JJ II J I Page 15 of 18 Go Back Full Screen Figure 5: Proof. We observe that in a q.i.p. space sgn(kxk2 g(x, y) + kyk2 g(y, x)) = sgn(kx + yk − kx − yk) Close and that k2x + yk − kxk ≥ k2xk − kyk − kyk = 0. Now consider Figure 5. Since Pxg (x + y) = x, we have −−−−−→ cosg (x, x + y) = kxk kxk sgn(k2x + yk − kyk) = . kx + yk kx + yk Let s be the crossing point of the diagonal [0, x + y] and the diagonal [x, y]. Then, g by Theorem 3, Px+y x = s. It follows, by Definition 5, that ksk −−−−−→ cosg (x + y, x) = sgn(ks + xk − ks − xk) kxk kx + yk = sgn(k2xk − kxk) 2 kxk kx + yk = . 2 kxk So, by Definition 6, we have q −−−−−→ −−−−−→ cosg (x, x + y) = cosg (x, x + y) cosg (x + y, x) sgn(k2x + yk − kyk) r √ 1 2 = . = 2 2 Hence ∠g (x, x + y) = π . 4 On the B-angle and g-angle in normed spaces Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 Title Page Contents JJ II J I Page 16 of 18 Go Back Full Screen Close References [1] J. ALONSO AND C. BENITEZ, Orthogonality in normed linear spaces, Part I, Extracta Mathematicae, 3(1) (1988), 1–15. [2] J. ALONSO AND C. BENITEZ, Orthogonality in normed linear spaces, Part II, Extracta Mathematicae, 4(3) (1989), 121–131. [3] J.R. GILES, Classes of semi-inner product space, Trans. Amer. Math. Soc., 129 (1967), 436–446. [4] D. AMIR, Characterizations of Inner Product Spaces, Birkhauser, 1986. [5] P.M. MILIČIĆ, Sur le produit scalaire generalise, Mat.Vesnik (25)10 (1973), 325-329 [6] P.M. MILIČIĆ, Sur la g−orthogonalte dans un espace norme, Mat. Vesnik, 39 (1987), 325–334. [7] P.M. MILIČIĆ, Sur la g−angle dans un espace norme?, Mat. Vesnik, 45 (1993), 43–48. On the B-angle and g-angle in normed spaces Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 Title Page Contents JJ II J I Page 17 of 18 [8] P.M. MILIČIĆ, On orthogonalities in normed spaces, Mathematica Montisnigri, III (1994), 69–77. [9] P.M. MILIČIĆ, Resolvability of g−orthogonality in normed spaces, Mat. Balkanica, New Series, 12 (1998). [10] P.M. MILIČIĆ, A generalization of the parallelogram equality in normed spaces, Jour. Math. Kyoto Univ. (JMKYAZ), 38(1) (1998), 71–75. [11] P.M. MILIČIĆ, On the quasi-inner product spaces, Matematički Bilten, 22(XLVIII) (1998), 19–30. Go Back Full Screen Close [12] P.M. MILIČIĆ, The angle modulus of the of the deformation of the normed space, Riv. Mat. Univ. Parma, 3(6) (2000), 101–111. [13] P.M. MILIČIĆ, On the g−orthogonal projection and the best approximation of vector in quasi-inner product space, Scientiae Mathematicae Japonicae, 4(3) (2000). [14] P.M. MILIČIĆ, On the best approximation in smooth and uniformly convex Banach space, Facta Universitatis (Niš), Ser.Math. Inform., 20 (2005), 57–64. On the B-angle and g-angle in normed spaces Pavle M. Miličić vol. 8, iss. 4, art. 99, 2007 Title Page Contents JJ II J I Page 18 of 18 Go Back Full Screen Close