Hyperspaces of Banach Spaces with the Attouch—Wets Topology

Let X be an infinite-dimensional Banach space with weight τ. By Cld _AW (X), we denote the hyperspace of nonempty closed sets in X with the Attouch—Wets topology. By Fin _AW (X), Comp _AW (X) and Bdd _AW (X), we denote the subspaces of Cld _AW (X) consisting of finite sets, compact sets and bounded closed sets, respectively. In this paper, it is proved that Fin _AW (X)≈Comp _AW (X)≈ℓ₂(τ)×ℓ₂ ^f ℓandℓBdd _AW (X)≈ℓ₂(2^τ)×ℓ₂ ^f where ≈ means ‘is homeomorphic to’, ℓ₂(τ) is the Hilbert space with weight τ (ℓ₂(ℵ₀)=ℓ₂ the separable Hilbert space) and ℓ₂ ^f ={(x _i ) _iεN εℓ₂∣x _i =0 except for finitely many iεN}.     

A note on approximation of semigroups of contractions on Hilbert spaces

We show that every contractive C ₀-semigroup on a separable, infinite-dimensional Hilbert space X can be approximated by unitary C ₀-groups in the weak operator topology uniformly on compact subsets of ℝ₊. As a consequence we get a new characterization of a bounded H ^∞-calculus for the negatives of generators of bounded holomorphic semigroups. Applications of our results to the study of a topological structure of the set of (almost) weakly stable contractive C ₀-semigroups on X are also discussed. The author was partially supported by the Marie Curie “Transfer of Knowledge” programme, project “TODEQ”, and by a MNiSzW grant Nr. N201384834.     

On the classes of hereditarily ℓp Banach spaces

Let X denote a specific space of the class of X _α,p Banach sequence spaces which were constructed by Hagler and the first named author as classes of hereditarily ℓ_p Banach spaces. We show that for p > 1 the Banach space X contains asymptotically isometric copies of ℓ_p. It is known that any member of the class is a dual space. We show that the predual of X contains isometric copies of ℓ_p where 1/p + 1/q = 1. For p = 1 it is known that the predual of the Banach space X contains asymptotically isometric copies of c ₀. Here we give a direct proof of the known result that X contains asymptotically isometric copies of ℓ₁.     

Topological groups and convex sets homeomorphic to non-separable Hilbert spaces

Let X be a topological group or a convex set in a linear metric space. We prove that X is homeomorphic to (a manifold modeled on) an infinite-dimensional Hilbert space if and only if X is a completely metrizable absolute (neighborhood) retract with ω-LFAP, the countable locally finite approximation property. The latter means that for any open cover of X there is a sequence of maps (f _n : X → X) _nεgw such that each f _n is -near to the identity map of X and the family {f _n (X)} _n∈ω is locally finite in X. Also we show that a metrizable space X of density dens(X) < is a Hilbert manifold if X has gw-LFAP and each closed subset A ⊂ X of density dens(A) < dens(X) is a Z _∞-set in X.      

Embedding c<Subscript>0</Subscript> in bvca(Σ, <Emphasis Type="Italic">X</Emphasis>)

If (Ω,Σ) is a measurable space and X a Banach space, we provide sufficient conditions on Σ and X in order to guarantee that bvca(Σ, X) the Banach space of all X-valued countably additive measures of bounded variation equipped with the variation norm, contains a copy of c₀ if and only if X does. This work was supported by the project MTM2005-01182 of the Spanish Ministry of Education and Science, co-financed by the European Community (Feder projects).     

Extended Monotropic Programming and Duality

We consider the problem

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.     

Operators on <Emphasis Type="Italic">C</Emphasis>[0,1] preserving copies of asymptotic ℓ<Subscript>1</Subscript> spaces

Given separable Banach spaces X, Y, Z and a bounded linear operator T:X→Y, then T is said to preserve a copy of Z provided that there exists a closed linear subspace E of X isomorphic to Z and such that the restriction of T to E is an into isomorphism. It is proved that every operator on C([0,1]) which preserves a copy of an asymptotic ℓ₁ space also preserves a copy of C([0,1]).     

A simple formula for an analogue of conditional wiener integrals and its applications II

Let C[0, T] denote the space of real-valued continuous functions on the interval [0, T] with an analogue w _ϕ of Wiener measure and for a partition 0 = t ₀ < t ₁ < ... < t _n < t _n+1 = T of [0, T], let X _n : C[0, T] → ℝ ⁿ⁺¹ and X ⁿ⁺¹: C[0, T] → ℝ ⁿ⁺² be given by X _n (x) = (x(t ₀), x(t ₁), ..., x(t _n )) and X _n+1(x) = (x(t ₀), x(t ₁), ..., x(t _n+1)), respectively. In this paper, using a simple formula for the conditional w _ϕ-integral of functions on C[0, T] with the conditioning function X _n+1, we derive a simple formula for the conditional w _ϕ-integral of the functions with the conditioning function X _n . As applications of the formula with the function X _n , we evaluate the conditional w _ϕ-integral of the functions of the form F _m (x) = ∫₀ ^T (x(t)) ^m for x ∈ C[0, T] and for any positive integer m. Moreover, with the conditioning X _n , we evaluate the conditional w _ϕ-integral of the functions in a Banach algebra which is an analogue of the Cameron and Storvick’s Banach algebra . Finally, we derive the conditional analytic Feynman w _ϕ-integrals of the functions in .      

Analytic and polyhedral approximation of convex bodies in separable polyhedral Banach spaces

A closed, convex and bounded setP in a Banach spaceE is called a polytope if every finite-dimensional section ofP is a polytope. A Banach spaceE is called polyhedral ifE has an equivalent norm such that its unit ball is a polytope. We prove here:

On smooth, nonlinear surjections of banach spaces

It is shown that (1) every infinite-dimensional Banach space admits aC ¹ Lipschitz map onto any separable Banach space, and (2) if the dual of a separable Banach spaceX contains a normalized, weakly null Banach-Saks sequence, thenX admits aC ^∞ map onto any separable Banach space. Subsequently, we generalize these results to mappings onto larger target spaces. Supported by an NSF Postdoctoral Fellowship in Mathematics.     

On the range of the derivative of Gâteaux-smooth functions on separable banach spaces

We prove that there exists a Lipschitz function froml ¹ into ℝ² which is Gateaux-differentiable at every point and such that for everyx, y εl ¹, the norm off′(x) −f′(y) is bigger than 1. On the other hand, for every Lipschitz and Gateaux-differentiable function from an arbitrary Banach spaceX into ℝ and for everyε > 0, there always exist two pointsx, y εX such that ‖f′(x) −f′(y)‖ is less thanε. We also construct, in every infinite dimensional separable Banach space, a real valued functionf onX, which is Gateaux-differentiable at every point, has bounded non-empty support, and with the properties thatf′ is norm to weak* continuous andf′(X) has an isolated pointa, and that necessarilya ε 0. This work has been initiated while the second-named author was visiting the University of Bordeaux. The second-named author is supported by grant AV 1019003, A1 019 205, GA CR 201 01 1198.     

Perturbation analysis of an <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">M</Emphasis>/1 queue in a diffusion random environment

We study in this paper an M/M/1 queue whose server rate depends upon the state of an independent Ornstein–Uhlenbeck diffusion process (X(t)) so that its value at time t is μ φ(X(t)), where φ(x) is some bounded function and μ>0. We first establish the differential system for the conditional probability density functions of the couple (L(t),X(t)) in the stationary regime, where L(t) is the number of customers in the system at time t. By assuming that φ(x) is defined by φ(x)=1−ε((x ∧ a/ε)∨(−b/ε)) for some positive real numbers a, b and ε, we show that the above differential system has a unique solution under some condition on a and b. We then show that this solution is close, in some appropriate sense, to the solution to the differential system obtained when φ is replaced with Φ(x)=1−ε x for sufficiently small ε. We finally perform a perturbation analysis of this latter solution for small ε. This allows us to check at the first order the validity of the so-called reduced service rate approximation, stating that everything happens as if the server rate were constant and equal to .      

Complemented copies of ℓ<Subscript>p</Subscript> spaces in tensor products

We give sufficient conditions on Banach spaces X and Y so that their projective tensor product X ⊗_π Y, their injective tensor product X ⊗_ɛ Y, or the dual (X ⊗_π Y)^* contain complemented copies of ℓ_p.     

Oscillation for almost continuity

Let X be a topological space and (Y,d) be a metric space. If f: X → Y is a function then there is a function a _f : X → [0, ∞] such that f is almost continuous at x if and only if a _f (x) = 0. Some properties of this function are investigated. Supported by grant VEGA 2/6087/26 and APVT-51-006904.     

On Peano's theorem in Banach spaces

We show that if X is an infinite-dimensional separable Banach space (or more generally a Banach space with an infinite-dimensional separable quotient) then there is a continuous mapping f:X→X such that the autonomous differential equation x^′=f(x) has no solution at any point.     

Invertibility and the fredholm property of difference operators

We obtain conditions for the invertibility and the Fredholm property of the difference operator (Dx)(n)=x(n) -U(n)x(n − 1),n ε ℤ, in the Banach space l _p (ℤ, X),p ε [1, ∞], of vector sequences, whereX is a Banach space andU is a bounded operator function. Translated fromMatematicheskie Zametki, Vol. 67, No. 6, pp. 816–827, June, 2000.     

Cc （X） Spaces with X Locally Compact

In this paper, we show, among other results, that if X is a [separable] locally compact space X [satisfying the first countability axiom] then the space Cc （X） has countable tightness [if and only if it has bounding tightness] if and only if it is Frechet-Urysohn, if and only if Cc （X） contains a dense （LM） subspace and if and only if X is a-compact.     

Absolutely representing systems,uniform smoothness and type

An absolutely representing system (ARS) in a Banach space X is a set D ? X such that every vector x in X admits a representation by an absolutely convergent series x = Σ _i a _i x _i with (a _i ) ? R and (x _i ) ? D. We investigate some general properties of absolutely representing systems. In particular, absolutely representing systems in uniformly smooth and in B-convex Banach spaces are characterized via ?-nets of the unit balls. Every absolutely representing system in a B-convex Banach space is quick, i.e., in the representation above one can achieve ∥a _i x _i ∥ < cq ⁱ ∥x∥, i = 1, 2,… for some constants c > 0 and q ? (0,1).     

Boundaries and generation of convex sets

We introduce a notion which is intermediate between that of taking thew*-closed convex hull of a set and taking the norm closed convex hull of this set. This notion helps to streamline the proof (given in [FLP]) of the famous result of James in the separable case. More importantly, it leads to stronger results in the same direction. For example: