Coefficient Quantization in Banach Spaces

Let (e _i ) be a dictionary for a separable infinite-dimensional Banach space X. We consider the problem of approximation by linear combinations of dictionary elements with quantized coefficients drawn usually from a ‘finite alphabet’. We investigate several approximation properties of this type and connect them to the Banach space geometry of X. The existence of a total minimal system with one of these properties, namely the coefficient quantization property, is shown to be equivalent to X containing c ₀. We also show that, for every ε>0, the unit ball of every separable infinite-dimensional Banach space X contains a dictionary (x _i ) such that the additive group generated by (x _i ) is (3+ε)⁻¹-separated and 1/3-dense in X.      

Multipliers of classes of cauchy transforms

The analytic map g on the unit disk D is said to induce a multiplication operator L from the Banach space X to the Banach space Y if L(f)=f·g∈Y for all f∈X. For z ∈ D and α>0 the families of weighted Cauchy transforms F_α are defined by ?(z) = ∫_T K_x ^α (z)dμ(x) where μ(x) is complex Borel measures, x belongs to the unit circle T and the kernel K_x (z) = (1- xz)^?1. In this article we will explore the relationship between the compactness of the multiplication operator L acting on F ₁ and the complex Borel measures μ(x). We also give an estimate for the essential norm of L     

Asymptotic Behaviour of C0–Semigroups with Bounded Local Resolvents

Let {T(t)}_t≥0 be a C₀–semigroup on a Banach space X with generator A, and let H^∞_T be the space of all x ∈ X such that the local resolvent λ ↦ R(λ, A)x has a bounded holomorphic extension to the right half–plane. For the class of integrable functions ϕ on [0, ∞) whose Fourier transforms are integrable, we construct a functional calculus ϕ ↦ T_ϕ, as operators on H^∞_T. Weshow that each orbit T(·)T_ϕx is bounded and uniformly continuous, and T(t)T_ϕx → 0 weakly as t → ∞, and we give a new proof that ∥T(t)R(μ, A)x∥ = O(t). We also show that ∥T(t)T_ϕx∥ → 0 when T is sun –reflexive, and that ∥T(t)R(μ, A)x∥ = O(ln t) when T is a positive semigroup on a normal ordered space X and x is a positive vector in H^∞_T.     

An Asymptotic Property of Schachermayer's Space under Renorming

Let X be a Banach space with closed unit ball B. Given k , X is said to be k-β, respectively, (k + 1)-nearly uniformly convex ((k + 1)-NUC), if for every ε > 0 there exists δ, 0 < δ < 1, so that for every x B and every ε-separated sequence (x_n) B there are indices (n_i)^k_{i = 1}, respectively, (n_i)^{k + 1}_{i = 1}, such that (1/(k + 1))||x + ∑^k_{i = 1} x_ni|| ≤ 1 − δ, respectively, (1/(k + 1))||∑^{k + 1}_{i = 1} x_ni|| ≤ 1 − δ. It is shown that a Banach space constructed by Schachermayer is 2-β, but is not isomorphic to any 2-NUC Banach space. Modifying this example, we also show that there is a 2-NUC Banach space which cannot be equivalently renormed to be 1-β.     

On Osgood theorem in Banach spaces

Let X be a real Banach space, ω : [0, +∞) → ? be an increasing continuous function such that ω(0) = 0 and ω(t + s) ≤ ω(t) + ω(s) for all t, s ∈ [0, +∞). According to the infinite dimensional analog of the Osgood theorem if ∫¹₀ (ω(t))^?1 dt = ∞, then for any (t₀, x₀) ∈ ?×X and any continuous map f : ?×X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all t ∈ ?, x, y ∈ X, the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has a unique solution in a neighborhood of t₀. We prove that if X has a complemented subspace with an unconditional Schauder basis and ∫¹₀ (ω(t))^?1 dt < ∞ then there exists a continuous map f : ? × X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all (t, x, y) ∈ ? × X × X and the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has no solutions in any interval of the real line.     

Onp-absolutely summing constants of banach spaces

Given 1≦p<∞ and a real Banach spaceX, we define thep-absolutely summing constantμ _p(X) as inf{Σ _i ^=1/m |x*(x _i)|^p p Σ _i ^=1/m ‖x _i‖^p p]¹ p}, where the supremum ranges over {x*∈X*; ‖x*‖≤1} and the infimum is taken over all sets {x ₁,x ₂, …,x _m} ⊂X such that Σ _i ^=1/m ‖x _i‖>0. It follows immediately from [2] thatμ _p(X)>0 if and only ifX is finite dimensional. In this paper we find the exact values ofμ _p(X) for various spaces, and obtain some asymptotic estimates ofμ _p(X) for general finite dimensional Banach spaces. This is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. A. Dvoretzky and Prof. J. Lindenstrauss.     

Inner derivations on ultraprime normed real algebras

We show that the set of all inner derivations of an ultraprime real Banach algebra is closed within all bounded derivations. More concretely, we show that for such an algebra A there exists a positive number γ (depending only on the “constant of ultraprimeness” of A) satisfying γ ∥ a+Z(A) ∥≦∥ D _a ∥ for all a in A, where Z(A) denotes the centre of A and D _a denotes the inner derivation on A induced by a. This result is an extension of the corresponding complex version obtained by the authors in [Proc. Amer. Math. Soc., to appear]. The proof relies on the following theorem: ultraproducts of a family of central ultraprime real Banach algebras with a unit and with constant of ultraprimeness greater than or equal to a fixed positive constant K are central ultraprime Banach algebras with a unit. This fact is obained via a general result for real Banach algebras that reads as follows: If A is a central real Banach algebra with a unit 1, then for every a in A satisfying ∥ 1+a ² ∥<1 we have [1+√1?||1+1a ²||]²≦2(|?l+M _a ||+||D _a ||) where M _a denotes the two-sided multiplication operator by a on A.     

Random matrix products and applications to cellular automata

Let λ be the upper Lyapunov exponent corresponding to a product of i.i.d. randomm×m matrices (X _i) _i ^0/∞ over ℂ. Assume that theX _i's are chosen from a finite set {D ₀,D ₁...,D _t-1(ℂ), withP(X _i=D_j)>0, and that the monoid generated byD ₀, D₁,…, D_q−1 contains a matrix of rank 1. We obtain an explicit formula for λ as a sum of a convergent series. We also consider the case where theX _i's are chosen according to a Markov process and thus generalize a result of Lima and Rahibe [22]. Our results on λ enable us to provide an approximation for the numberN _≠0(F(x)ⁿ,r) of nonzero coefficients inF(x) ⁿ.(modr), whereF(x) ∈ ℤ[x] andr≥2. We prove the existence of and supply a formula for a constant α (<1) such thatN _≠0(F(x)ⁿ,r) ≈n ^α for “almost” everyn. Supported in part by FWF Project P16004-N05     

Un contre-exemple pour les formes invariantes sur un corps fini

Let A be a Jordan algebra over the reals which is a Banach space with respect to a norm satisfying the requirements: (i) ∥ a ° b ∥ ≤ ∥ a ∥ ∥ b ∥, (ii) ∥ a² ∥ = ∥ a ∥², (iii) ∥ a² ∥ ≤ ∥ a² + b² ∥ for a, b?A. It is shown that A possesses a unique norm closed Jordan ideal J such that $\text{A}\text{J}$ has a faithful representation as a Jordan algebra of self-adjoint operators on a complex Hilbert space, while every “irreducible” representation of A not annihilating J is onto the exceptional Jordan algebra M₃⁸.     

On the structure of cluster point sets of iteratively generated sequences

LetX be a closed subset of a topological spaceF; leta(·) be a continuous map fromX intoX; let {x _i} be a sequence generated iteratively bya(·) fromx ₀ inX, i.e.,x _i+1 =a(x _i),i=0, 1, 2, ...; and letQ(x ₀) be the cluster point set of {x _i}. In this paper, we prove that, if there exists a pointz inQ(x ₀) such that (i)z is isolated with respect toQ(x ₀), (ii)z is a periodic point ofa(·) of periodp, and (iii)z possesses a sequentially compact neighborhood, then (iv)Q(x ₀) containsp points, (v) the sequence {x _i} is contained in a sequentially compact set, and (vi) every point inQ(x ₀) possesses properties (i) and (ii). The application of the preceding results to the caseF=E ⁿ leads to the following: (vii) ifQ(x ₀) contains one and only one point, then {x _i} converges; (viii) ifQ(x ₀) contains a finite number of points, then {x _i} is bounded; and (ix) ifQ(x ₀) containsp points, then every point inQ(x ₀) is a periodic point ofa(·) of periodp.     

Banach spaces of operators that are complemented in their biduals

Let [A, a] be a normed operator ideal. We say that [A, a] is boundedly weak*-closed if the following property holds: for all Banach spaces X and Y, if T: X → Y** is an operator such that there exists a bounded net (T _i ) _i∈I in A(X, Y) satisfying lim _i 〈y*, T _i x y*〉 for every x ∈ X and y* ∈ Y*, then T belongs to A(X, Y**). Our main result proves that, when [A, a] is a normed operator ideal with that property, A(X, Y) is complemented in its bidual if and only if there exists a continuous projection from Y** onto Y, regardless of the Banach space X. We also have proved that maximal normed operator ideals are boundedly weak*-closed but, in general, both concepts are different.      

On Approximate ℓ 1 Systems in Banach Spaces

Let X be a real Banach space and let (f(n)) be a positive nondecreasing sequence. We consider systems of unit vectors (x_i)^∞_i=1 in X which satisfy ∑_iA±x_i|A|−f(|A|), for all finite A and for all choices of signs. We identify the spaces which contain such systems for bounded (f(n)) and for all unbounded (f(n)). For arbitrary unbounded (f(n)), we give examples of systems for which [x_i] is H.I., and we exhibit systems in all isomorphs of ℓ₁ which are not equivalent to the unit vector basis of ℓ₁. We also prove that certain lacunary Haar systems in L₁ are quasi-greedy basic sequences.     

Operator-valued H ∞-calculus in Inter- and Extrapolation Spaces

We generalize a Hilbert space result by Auscher, McIntosh and Nahmod to arbitrary Banach spaces X and to not densely defined injective sectorial operators A. A convenient tool proves to be a certain universal extrapolation space associated with A. We characterize the real interpolation space ( X,D( A^a ) ?R( A^a ) )_q,p{\left( {X,\mathcal{D}{\left( {A^{\alpha } } \right)} \cap \mathcal{R}{\left( {A^{\alpha } } \right)}} \right)}_{{\theta ,p}} as

Shrinking Targets For IETS: Extending a Theorem of Kurzweil

Given an IET T : [0, 1) → [0, 1) and decreasing sequence of positive real numbers with divergent sum a = {a_i}^￥_i=1{{\bf a} = \{a_i\}^\infty_{i=1}} we consider

Uniform approximation by some Hermite interpolating splines

In this paper some upper bound for the error ∥ s-f ∥_∞ is given, where f ε C¹[a,b], but s is a so-called Hermite spline interpolant (HSI) of degree 2q ?1 such that f(x_i) = s(x_i), f′(rmx_i) = s′(x_i), s^(j) (x_i) = 0 (i = 0, 1, …, n; j = 2, 3, …, q ?1; n > 0, q > 0) and the knots x_i are such that a = x₀ < x₁ < … < x_n = b. Necessary and sufficient conditions for the existence of convex HSI are given and upper error bound for approximation of the function fε C¹[a, b] by convex HSI is also given.     

Remotality of Closed Bounded Convex Sets in Reflexive Spaces

Let X be a Banach space and E be a closed bounded subset of X. For x ? X, we define D(x, E) = sup{‖ x ? e‖:e ? E}. The set E is said to be remotal (in X) if, for every x ? X, there exists e ? E such that D(x, E) = ‖x ? e‖. The object of this paper is to characterize those reflexive Banach spaces in which every closed bounded convex set is remotal. Such a result enabled us to produce a convex closed and bounded set in a uniformly convex Banach space that is not remotal. Further, we characterize Banach spaces in which every bounded closed set is remotal.     

Hyperfinite Dimensional Representations of Spaces and Algebras of Measures

Let X be a locally compact topological space and (X, E, X_ω) be any triple consisting of a hyperfinite set X in a sufficiently saturated nonstandard universe, a monadic equivalence relation E on X, and an E-closed galactic set X_ω ⊆ X, such that all internal subsets of X_ω are relatively compact in the induced topology and X is homeomorphic to the quotient X_ω/E. We will show that each regular complex Borel measure on X can be obtained by pushing down the Loeb measure induced by some internal function X ? ^*\Bbb CX \rightarrow {}{^{\ast}{\Bbb C}} . The construction gives rise to an isometric isomorphism of the Banach space M(X) of all regular complex Borel measures on X, normed by total variation, and the quotient M_w(X)/M₀(X){\cal M}_{\omega}(X)/{\cal M}_0(X) , for certain external subspaces M₀(X), M_w(X){\cal M}_0(X), {\cal M}_{\omega}(X) of the hyperfinite dimensional Banach space ^*\Bbb C^X{}{^{\ast}{\Bbb C}}^X , with the norm ‖f‖₁ = ∑_{x ∈ X} |f(x)|. If additionally X = G is a hyperfinite group, X_ω = G_ω is a galactic subgroup of G, E is the equivalence corresponding to a normal monadic subgroup G₀ of G_ω, and G is isomorphic to the locally compact group G_ω/G₀, then the above Banach space isomorphism preserves the convolution, as well, i.e., M(G) and M_w(G)/M₀(G){\cal M}_{\omega}(G)/{\cal M}_0(G) are isometrically isomorphic as Banach algebras.     

On the characteristic of sets in the space conjugate to a normed structure

Let (E, ∥ · ∥_E) be a normed space, E^* its conjugate, and M a linear subset in E^*. The number is called the characteristic of the set M. In this paper we establish a relationship in normed structures between the semicontinuous properties of the norm and the characteristics of certain subsets in the conjugate space. For example, the following is a valid proposition. Let (X, ∥ · ||_X) be a KN-space. Then in order that ∥ · ∥_X be semicontinuous on X it is necessary and sufficient that for each intervally-complete norm p on X the set (X, ∥ · ∥_X)^* ∩ (X, p)^*, i.e., the set of all functionals linear on X, simultaneously continuous with respect to both the norm ∥ · ∥_X and the norm p, have characteristic one in the space (X, ∥ · ∥_X).     

Stability of <Emphasis Type="Italic">C</Emphasis>-regularized Semigroups

Let T = (T(t))t≥0 be a bounded C-regularized semigroup generated by A on a Banach space X and R(C) be dense in X. We show that if there is a dense subspace Y of X such that for every x ∈ Y, σu(A, Cx), the set of all points λ ∈ iR to which (λ - A)^-1 Cx can not be extended holomorphically, is at most countable and σr(A) N iR = Ф, then T is stable. A stability result for the case of R(C) being non-dense is also given. Our results generalize the work on the stability of strongly continuous senfigroups.     

The bicompletion of an asymmetric normed linear space

A biBanach space is an asymmetric normed linear space (X,‖·‖) such that the normed linear space (X,‖·‖^s) is a Banach space, where ‖x‖^s= max {‖x‖,‖-x‖} for all x∈X. We prove that each asymmetric normed linear space (X,‖·‖) is isometrically isomorphic to a dense subspace of a biBanach space (Y,‖·‖_Y). Furthermore the space (Y,‖·‖_Y) is unique (up to isometric isomorphism). This revised version was published online in August 2006 with corrections to the Cover Date.