Local Uniform Kadec-Klee Property (LUKK) and Modulus of (LUKK)
Total Page:16
File Type:pdf, Size:1020Kb
Hindawi Journal of Function Spaces Volume 2020, Article ID 8191878, 5 pages https://doi.org/10.1155/2020/8191878 Research Article Local Uniform Kadec-Klee Property (LUKK) and Modulus of (LUKK) Yunan Cui 1 and Xiaoxia Wang 2 1Department of Mathematics, Harbin University of Science and Technology, Harbin 150080, China 2Faculty of Mathematics and Computer Engineering, Ordos Institution of Applied Technology, Ordos 017000, China Correspondence should be addressed to Xiaoxia Wang; [email protected] Received 9 February 2020; Revised 19 May 2020; Accepted 22 June 2020; Published 7 July 2020 Academic Editor: Tomonari Suzuki Copyright © 2020 Yunan Cui and Xiaoxia Wang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. A new geometry property and two new moduli are introduced in Banach space. First, the concept of local uniform Kadec-Klee property (LUKK) is introduced and the implication relationships between ðLUKKÞ and local near uniform convexity ðLNUCÞ, L uniformly Kadec-Klee (UKK), (H) are investigated in Banach space. Furthermore, the modulus PXðεÞ of (LUKK) and the L L L modulus ΔXðεÞ of ðLNUCÞ are introduced and the relationship of size between PXðεÞ and ΔXðεÞ is also investigated in Banach L p space. Finally, several formulas for PXðεÞ are calculated in classical Banach space l . 1. Introduction where Let ðX, k·kÞ be a Banach space, X∗ be the dual space of X.By μ A = inf ε >0: A can be covered with a f inite number of UðXÞ and SðXÞ, we denote the closed unit ball and the unit ðÞ f sphere of Banach space X, respectively. By coðAÞ and co ðAÞ, sets of radii smaller than εg, we denote the convex hull and closed convex hull of the set w A, respectively. xn ⟶ x as n ⟶ ∞ denotes fxng is weakly αðÞA = inf fε >0: A can be covered by f initely many sets x n ⟶ ∞ converges to as . with diameter < εg: It is well known that the condition equivalent to near 2 uniform convexity (NUC) was independently formulated in ð Þ [1] (see also [2]). Recall that a notion of noncompactness with Hausdorff measure and Kuratowski measure of a set b The functions ΔXðεÞ and ΔXðεÞ are called the moduli (see [3]). Let A be a bounded subset of X. Fix ε ∈ ½0, 1 for ff A ⊂ U X μ A ≥ ε of noncompact convexity with Hausdor measure and all convex closed sets ð Þ with ð Þ , we put Kuratowski measure of X, respectively. It is clear that X is ðNUCÞ if and only if ΔXðεÞ >0 for every ε ∈ ð0, 1. Other properties of ΔXðεÞ were investigated in [4–7]. ΔXðÞε = inffg 1 − dðÞθ, A : A ⊂ UXðÞ, A = coðÞ A , μðÞA ≥ ε , Recall also that a function b ΔXðÞε = inffg 1 − dðÞθ, A : A ⊂ UXðÞ, A = coðÞ A , αðÞA ≥ ε , ð1Þ ε1ðÞX = sup fgε : ΔXðÞε =0 : ð3Þ 2 Journal of Function Spaces J. Banas’ proved that if ε1ðXÞ <1, then X is reflexive and and scalars λ1, ⋯, λN ≥ 0 with ∑ λn =1such that ∥∑ λnxn∥≤ has normal structure (see [3]). 1 − δ. The modulus of ðUKKÞ was introduced in [8] by J. R. We say that a Banach space X has local near uniform Partington that is PX : ½0, 1 ⟶ ½0, 1 convexity property (LNUC) if for every ε >0and x ∈ UðXÞ there exists δ = δðx, εÞ >0such that for any sequence fxng ⊂ U X sep x ≥ ε PXðÞε = inff 1−∥x∥ : ∃x ∈ UXðÞand ð Þ with ð nÞ then w ð4Þ fgxn ⊂ UXðÞs:t:xn ⟶ x and sepðÞ xn ≥ εg, coðÞfg xn, x ∩ BδðÞ0 ≠∅: ð5Þ where sepðxnÞ = inf f∥xn − xm∥ : m ≠ ng. He proved that X i.e., has ðUKKÞ property if and only if PXðεÞ >0 whenever ε ∈ 0, 1 P ½ . He also proved that the function X is nonde- ∥λ y +1− λ x∥ < δwhere y ∈ co x , 6 creasing on [0,1]. 0 ðÞ0 ðÞfgn ð Þ There are many recent papers concerning the Kadec-Klee property, such as Kadec¨CKlee property and fixed points and for some λ0 ∈ ð0, 1Þ and y ∈ coðxnÞ (see [16]). fi Dual Kadec-Klee property and xed points studied by Jean w Saint Raymond (see [9, 10]). In a recent paper [11], Maciej Lemma 1. Let X be a Banach Space, fxng ⊂ X and xn ⟶ x0. Ciesielski, Paweł Kolwicz, and Ryszard Płuciennik were Then, interested in local approach to Kadec¨CKlee property in ∞ ÀÁ symmetric function spaces. Moreover, normal structure fgx0 = ∩ n=1co fg xk k≥n : ð7Þ ∗ and moduli of ðUKKÞ, ðNUCÞ, and ðUKKÞ in Banach spaces have been deeply investigated by Satit Saejung 3. Materials and Methods and Ji Gao. The new kind of Banach spaces: ðsemi − UKKÞ, semi − NUC semi − UKK ð Þ, modulus of ð Þ, and modulus of In this paper, we take Kutazrova and Bor-Luh Lin’s approach semi − NUC ð Þ are introduced in terms of this u-separation to localize the ðUKKÞ property and obtain the ðLUKKÞ measure in their paper.(see [12]). property. By using the same localized method, we localize Since Banach space is more extensive than Hilbert space, the modulus ðPXðεÞÞ of ðUKKÞ which introduced by Par- ffi ff it is quite di cult to describe its geometry structure. An e ec- tington and the modulus of noncompact convexity with tive method is to introduce new geometric properties for Hausdorff measure ðΔXðεÞÞ and obtain two new moduli Banach space and to define an appropriate function, usually L L PXðεÞ and ΔXðεÞ; then, we study the relationship of size called a modulus or a geometric constant. Because the range L L between P ðεÞ and Δ ðεÞ in Banach space by using the of values of these geometric constants directly determines the X X Corollary of Hahn-Banach Theorem and the weak lower existence of some geometric properties; therefore, many semi continuity of norm. scholars are interested to calculate the modules and constants fi of some speci c spaces. The starting point of the present 4. Results and Discussion paper is the observation that the ðUKKÞ property can be localized. We call this new property named the local uniform We begin this section by formulating some definitions. Kadec-Klee property (LUKK), and we observe that it lies H UKK strictly between ð Þ and ð Þ properties. By using the Definition 2. A Banach space X is said to have local uniform P ε same localized method, we localize the modulus ð Xð ÞÞ of Kadec− Klee property (LUKK), for every ε >0and x ∈ SðXÞ UKK w ð Þ introduced by J. R. Partington and the modulus of there exists δ >0such that if ∥xn∥≤1, xn ⟶ x0, sepðxnÞ ≥ ε noncompact convexity with Hausdorff measure ðΔXðεÞÞ ∥x − x∥≥ε L L and n then obtain two new moduli PXðεÞ and ΔXðεÞ, and we observe that ΔL ε ≥ PL ε Xð Þ Xð Þ. coðÞ x0, x ∩ BδðÞ0 ≠∅where BδðÞ0 = fgx : ∥x∥≤δ , ð8Þ 2. Preliminaries i.e., Before starting with our results, we need to recall some ∥λ x +1− λ x∥ < δ, 9 notions and a lemma in [13–15]. 0 0 ðÞ0 ð Þ We say that a Banach space X has ðHÞ property if for any w x ∈ SðXÞ, fxng ⊂ X, limn⟶∞∥xn∥ = ∥x∥ and xn ⟶ x, then for some λ0 ∈ ð0, 1Þ. limn→∞∥xn − x∥ =0. We say that a Banach space X has Kadec− Klee (UKK) Definition 3. Let X be a Banach Space. For every ε >0 and property if for every ε >0 there exists 0<δ <1 such that x ∈ SðXÞ x ⊂ U X x ⟶w x sep x ≥ ε x ∈ B 0 f ng ð Þ, n and ð nÞ then δð Þ n B 0 = x : ∥x∥≤δ w where δð Þ f g. PL ε = inf 1−∥co x, x ∥ : ∣x ∥≤1, x ⟶ x , X XðÞ ðÞ0 n n 0 We say that a Banach space has near uniform convexity o ð10Þ property (NUC) if for every ε >0there exists 0<δ = δðεÞ <1 sepðÞ xn ≥ ε,∥xn − x∥≥ε , such that fxng ⊂ UðXÞ with sepðxnÞ ≥ ε then there is a N ≥ 1 Journal of Function Spaces 3 is said to be the modulus of ðLUKKÞ property or local Proof. Suppose that X does not have ðLUKKÞ property. Partington’s coefficient. Then, there exists ε0 >0, x0 ∈ SðXÞ and fyng ⊂ UðXÞ with se w pðynÞ ≥ 2ε0, yn ⟶ y0 with Definition 4. For every ε >0and x ∈ SðXÞ, we put co x , y ∩ B 0 = ∅: 15 L ðÞfg0 0 1−1/nðÞ ð Þ ΔXðÞε = inff 1 − dðÞθ, coðÞ x, coðÞ xn : ∥xn∥≤1, ð11Þ αðÞcoðÞ x, coðÞ xn ≥ ε,∥xn − x∥≥εg, Since X has ðLNUCÞ property, for ε0 >0 and x0 ∈ SðXÞ mentioned above, there exists δ = δðx0, ε0Þ >0 such that where coðx0, coðfynÞgÞ ∩ B1−δð0Þ ≠∅, which means for some λ0 ∈ ′ ½0, 1 and y ∈ coðfyngÞ, we have αðÞA = inf fε >0: A can be covered by f initely many sets with diameter < εg ′ λ0x0 +1ðÞ− λ0 y ≤ 1 − δ, ð16Þ ð12Þ L ΔXðεÞ is said to be the modulus of ðLNUCÞ with Kura- from (15) it follows that for any λ ∈ ½0, 1 we have towski measure. 1 Corollary 5. X LUKK λx +1− λ y >1− ⟶ 1, n ⟶ ∞: 17 If a Banach space has ð Þ property, then kk0 ðÞ0 n ð Þ X has ðHÞ property. X Proof. We prove the contrapositive. Suppose does not y = y′ H x ⊂ S X Case (i) if 0 , then (16) contradicts with (17).