Iterative construction of fixed points of strictly pseudocontractive mappings

Let (E, ‖ ? ‖) be a smooth Banach space over the real field and A a nonempty closed bounded convex subset of E. Suppose T : A → A is a uniformly continuous strictly pseudocontractive selfmapping of A. Then, if [math001]satisfies [math001]the iteration process [math001] and [math001] converges strongly to the unique fixed point x of T. This is an improvement of a result of C.E. Chidume who established strong convergence of (x ⁿ to x in case E is L ^p or l ^p with [math001] making essential use of the inepuality [math001] which is kown to hold in these spaces for all x and y     

Some classes of pre-Hilbert algebras with norm-one central idempotent

In this paper we first characterize the pre-Hilbert algebras with a norm-one central idempotent e such that ‖ex‖ = ‖x‖ for any x ∈ A. This generalizes a well-known theorem by Ingelstam asserting that every alternative pre-Hilbert algebra with a unit 1 such that ‖1‖ = 1 is isomorphic to ?, ?, ? or $\mathbb{O}$ . We also show that every power-associative pre-Hilbert algebra satisfying ‖x ²‖ = ‖x‖² for every element has a unique nonzero idempotent, which is a unit element. In fact, the same conclusion will be proved in a more general setting. As application we give some conditions characterizing when a real algebra A, which is a prehilbert space, is isomorphic to one of the Hilbert algebras ?, ?, ? or $\mathbb{O}$ .     

The Ptolemy and Zb?ganu constants of normed spaces

In every inner product space H the Ptolemy inequality holds: the product of the diagonals of a quadrilateral is less than or equal to the sum of the products of the opposite sides. In other words, ‖x−y‖‖z−w‖≤‖x−z‖‖y−w‖+‖z−y‖‖x−w‖ for any points w,x,y,z in H. It is known that for each normed space (X,‖⋅‖), there exists a constant C such that for any w,x,y,z∈X, we have ‖x−y‖‖z−w‖≤C(‖x−z‖‖y−w‖+‖z−y‖‖x−w‖). The smallest such C is called the Ptolemy constant of X and is denoted by C_P(X). We study the relationships between this constant and the geometry of the space X, and hence with metric fixed point theory. In particular, we relate the Ptolemy constant C_P to the Zb?ganu constant C_Z, and prove that if X is a Banach space with , then X has (uniform) normal structure and therefore the fixed point property for nonexpansive mappings. We derive general lower and upper bounds for both C_P and C_Z, and calculate the precise values of these two constants for several normed spaces. We also present a number of conjectures and open problems.     

A Quantitative Version of the Bishop–Phelps Theorem for Operators in Hilbert Spaces

In this paper, with the help of spectral integral, we show a quantitative version of the Bishop-Phelps theorem for operators in complex Hilbert spaces. Precisely, let H be a complex Hilbert space and 0 ε 1/2. Then for every bounded linear operator T : H → H and x0 ∈ H with ||T|| = 1 = ||x0|| such that ||Tx0|| 1 ε, there exist xε∈ H and a bounded linear operator S : H → H with||S|| = 1 = ||xε|| such that ||Sxε|| = 1, ||xε-x0|| ≤ (2ε)1/2 + 4(2ε)1/2, ||S-T|| ≤(2ε)1/2.     

Estimates for the Involution of Decomposable Elements of a Complex Banach Algebra

An element a of a complex Banach algebra with unit \(1I\) and with standard conditions on the norm (‖ab‖ ? ‖a‖ · ‖b‖ and ‖\(1I\)‖ = 1) is said to be Hermitian if ‖e ^ita ‖ = 1 for any real number t. An element is said to be decomposable if it admits a representation of the form a + ib in which a and b are Hermitian. The decomposable elements form a Banach Lie algebra (with respect to the commutator). The Hermitian components are determined uniquely, and hence this Lie algebra has the natural involution a + ib = x → x* = a ? ib. One can readily see that ‖x*‖ ? 2‖x‖. Among other things, we prove that ‖ x*‖ ? γ‖x‖, where γ < 2. In fact, the situation is treated in more detail: the original problem is included in a continuous family parametrized by the numerical radius of the element. Finding the exact value of the constant γ is reduced to a variational problem in the theory of entire functions of exponential type. Approximately, γ is equal to 1.92 ± 0.04.     

A geometry characteristic of Banach spaces with c 1-norm

Let E be a Banach space with the cl-norm｜｜·｜｜ in E／{0}, and let S（E） = {e ∈ E： ｜｜e｜｜ = 1}. In this paper, a geometry characteristic for E is presented by using a geometrical construct of S（E）. That is, the following theorem holds： the norm of E is of eI in E／{0} if and only if S（E） is a c1 submanifold of E, with codimS（E） = 1. The theorem is very clear, however, its proof is non-trivial, which shows an intrinsic connection between the continuous differentiability of the norm ｜｜·｜｜ in E／{0} and differential structure of S（E）.     

Criteria for complex strongly extreme points of Musielak–Orlicz function spaces

The concepts of complex strongly extreme point and complex midpoint local uniform rotundity in complex Banach spaces are introduced. It is proved that every complex strongly extreme point is a complex extreme point and every complex locally uniformly rotund point is a complex strongly extreme point. Moreover, criteria for complex strongly extreme points of the unit ball and, as a corollary, criteria for complex midpoint local uniform rotundity in Musielak–Orlicz function spaces are given.     

Finitely strictly singular operators between James spaces

An operator between Banach spaces is said to be finitely strictly singular if for every ε>0 there exists n such that every subspace E⊆X with dimE?n contains a vector x such that ‖Tx‖<ε‖x‖. We show that, for 1?p<q<∞, the formal inclusion operator from Jp to Jq is finitely strictly singular. As a consequence, we obtain that the strictly singular operator with no invariant subspaces constructed by C. Read is actually finitely strictly singular. These results are deduced from the following fact: if k?n then every k-dimensional subspace of Rn contains a vector x with ‖x?_∞‖=1 such that xmi=i(−1) for some m₁<?<mk.     

The polynomial-normaloid property for Banach-space operators

An earlier paper (Mh. Math.51, 278–297 (1949)) exploited the property ‖∣Tx‖∣²≤‖∣x‖∣ ‖∣T ² x‖∣, and the same property for polynomials in the operatorT, as an aid in establishing spectral resolutions associated withT. The present paper uses the weaker property ‖∣T‖∣=‖∣T ²‖∣^1/2=..., and its extension to polynomials, for the same purpose. Also considered are the possibility of equivalence between the two types of conditions, and the use of arithmethical hypotheses concerning the eigenvalues.     

G-narrow operators and G-rich subspaces

Let X and Y be Banach spaces. An operator G: X → Y is a Daugavet center if ‖G +T‖ = ‖G‖+‖T‖ for every rank-1 operator T. For every Daugavet center G we consider a certain set of operators acting from X, so-called G-narrow operators. We prove that if J is the natural embedding of Y into a Banach space E, then E can be equivalently renormed so that an operator T is (J ○ G)-narrow if and only if T is G-narrow. We study G-rich subspaces of X: Z ? X is called G-rich if the quotient map q: X → X/Z is G-narrow.     

Smooth and strongly smooth points in symmetric spaces of measurable operators

We investigate the relationships between smooth and strongly smooth points of the unit ball of an order continuous symmetric function space E, and of the unit ball of the space of τ-measurable operators E(M,t){E(\mathcal{M},\tau)} associated to a semifinite von Neumann algebra (M, t){(\mathcal{M}, \tau)}. We prove that x is a smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if the decreasing rearrangement μ(x) of the operator x is a smooth point of the unit ball in E, and either μ(∞; f) = 0, for the function f ? S_E^×{f\in S_{E^{\times}}} supporting μ(x), or s(x ^*) = 1. Under the assumption that the trace τ on M{\mathcal{M}} is σ-finite, we show that x is strongly smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if its decreasing rearrangement μ(x) is a strongly smooth point of the unit ball in E. Consequently, for a symmetric function space E, we obtain corresponding relations between smoothness or strong smoothness of the function f and its decreasing rearrangement μ(f). Finally, under suitable assumptions, we state results relating the global properties such as smoothness and Fréchet smoothness of the spaces E and E(M,t){E(\mathcal{M},\tau)}.     

Rotundity structure of local nature for generalized Orlicz-Lorentz function spaces

Criteria for extreme points and rotund points in generalized Orlicz-Lorentz function spaces, which were introduced in Foralewski (2011) [27] are given. Some examples show that in these spaces the notion of rotund point is essentially stronger than the notion of extreme point. Finally, the criteria obtained in this paper are interpreted in the case of classical Orlicz-Lorentz spaces. Results of this paper are related to the results from Carothers et al. (1992) [9], Kamińska (1990) [4], Foralewski et al. (2008) [26].     

Generalized induced norms

Let ‖·‖ be a norm on the algebra ?_n of all n × n matrices over ?. An interesting problem in matrix theory is that “Are there two norms ‖·‖₁ and ‖·‖₂ on ?_n such that ‖A‖ = max|‖Ax‖₂: ‖x‖₁ = 1} for all A ∈ ?_n?” We will investigate this problem and its various aspects and will discuss some conditions under which ‖·‖₁ = ‖·‖₂.     

Local monotonicity structure of Calderón-Lozanovskiǐ spaces

We first prove that if x is an element on the unit sphere of arbitrary Köthe space E, x is strickly positive μ-a.e. and x is an LM-point, then x is an UM-point. Criteria for lower and upper monotone points in Calderón-Lozanovskiǐ spaces E_? are presented. Points of lower local uniform monotonicity and upper local uniform monotonicity in E_? are also considered. Some sufficient conditions and necessary conditions for these properties of a given point x in S(E_?⁺) are given.     

A NOTE ON WEAKLY CONTINUOUS BANACH SPACE VALUED FUNCTIONS

Abstract

A simple remark on the localization of the extreme points of the unit ball of the dual of the space of weakly continuous functions or weak* continuous functions give some new insight on these spaces and simplifies proofs in [ADLR 92] and [LO 91].     

The criteria of strict monotonicity and rotundity points in generalized Calderón–Lozanovskiǐ spaces

In this paper, some basic properties of the general modular space are proven. Criteria for strictly monotone points, extreme points and SU$SU$-points in generalized Calderón–Lozanovskiǐ spaces are obtained. Consequently, the sufficient and necessary conditions for the rotundity properties of such spaces are given.     

Extreme points of Banach lattices related to conditional expectations

Let (X,F,μ) be a complete probability space, B a sub-σ-algebra, and Φ the probabilistic conditional expectation operator determined by B. Let K be the Banach lattice {f∈L¹(X,F,μ):‖Φ(|f|)_‖∞<∞} with the norm ‖f‖=‖Φ(|f|)_‖∞. We prove the following theorems:

(1)

The closed unit ball of K contains an extreme point if and only if there is a localizing set E for B such that supp(Φ(χE))=X.

(2)

Suppose that there is n∈N such that f?nΦ(f) for all positive f in L^∞(X,F,μ). Then K has the uniformly λ-property and every element f in the complex K with is a convex combination of at most 2n extreme points in the closed unit ball of K.