On the second conjugate of several convex functions in general normed vector spaces

When dealing with convex functions defined on a normed vector space X the biconjugate is usually considered with respect to the dual system (X, X ^*), that is, as a function defined on the initial space X. However, it is of interest to consider also the biconjugate as a function defined on the bidual X ^**. It is the aim of this note to calculate the biconjugate of the functions obtained by several operations which preserve convexity. In particular we recover the result of Fitzpatrick and Simons on the biconjugate of the maximum of two convex functions with a much simpler proof.      

Vector measures: where are their integrals?

Let ν be a vector measure with values in a Banach space Z. The integration map $I_\nu: L^1(\nu)\to Z$ , given by $f\mapsto \int f\,d\nu$ for f ∈ L ¹(ν), always has a formal extension to its bidual operator $I_\nu^{**}: L^1(\nu)^{**}\to Z^{**}$ . So, we may consider the “integral” of any element f ^** of L ¹(ν)^** as I _ν ^** (f ^**). Our aim is to identify when these integrals lie in more tractable subspaces Y of Z ^**. For Z a Banach function space X, we consider this question when Y is any one of the subspaces of X ^** given by the corresponding identifications of X, X′′ (the Köthe bidual of X) and X′^* (the topological dual of the Köthe dual of X). Also, we consider certain kernel operators T and study the extended operator I _ν ^** for the particular vector measure ν defined by ν(A) := T(χ _A ).     

L 1 (μ, X) as a constrained subspace of its bidual

In this note we consider the property of being constrained in the bidual, for the space of Bochner integrable functions. For a Banach spaceX having the Radon-Nikodym property and constrained in its bidual and forY ⊂ X, under a natural assumption onY, we show thatL ¹ (μ, X/Y) is constrained in its bidual andL ¹ (μ, Y) is a proximinal subspace ofL ¹(μ, X). As an application of these results, we show that, ifL ¹(μ, X) admits generalized centers for finite sets and ifY ⊂ X is reflexive, thenL ¹ μ, X/Y) also admits generalized centers for finite sets.     

Fréchet Spaces of Holomorphic Functions without Copies of l1

Let X be a Banach space. Let H_w*(X*) the Fréchet space whose elements are the holomorphic functions defined on X* whose restrictions to each multiple mB(X*), m = 1,2, …, of the closed unit ball B(X*) of X* are continuous for the weak-star topology. A fundamental system of norms for this space is the supremum of the absolute value of each element of H_w*(X*) in mB(X*), m = 1,2,…. In this paper we construct the bidual of l₁ when this space contains no copy of l¹. We also show that if X is an Asplund space, then H_w*(X*) can be represented as the projective limit of a sequence of Banach spaces that are Asplund.     

Existence of a non‐reflexive embedding with birational Gauss map for a projective variety

We study the relationship between the generic smoothness of the Gauss map and the reflexivity (with respect to the projective dual) for a projective variety defined over an algebraically closed field. The problem we discuss here is whether it is possible for a projective variety X in ℙ^N to re‐embed into some projective space ℙ^M so as to be non‐reflexive with generically smooth Gauss map. Our result is that the answer is affirmative under the assumption that X has dimension at least 3 and the differential of the Gauss map of X in ℙ^N is identically zero; hence the projective varietyX re‐embedded in ℙ^M yields a negative answer to Kleiman–Piene's question: Does the generic smoothness of the Gauss map imply reflexivity for a projective variety? A Fermat hypersurface in ℙ^N with suitable degree in positive characteristic is known to satisfy the assumption above. We give some new, other examples of X in ℙ^N satisfying the assumption. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Bidual renormings of Banach spaces

Given a separable Banach space X with no isomorphic copies of ℓ₁ and a separable subspace Y of its bidual, we provide a sufficient condition on Y to ensure that X admits an equivalent norm such that the restriction to Y of the corresponding bidual norm is midpoint locally uniformly rotund. This result applies to the separable subspaces of the bidual of a Banach space with a shrinking unconditional Schauder basis and to the bidual of the James space.     

The order bidual of <Emphasis Type="Italic">f</Emphasis> -algebras revisited

It is shown that the order bidual X ^~~ of an Archimedean semiprime f -algebra X has a unit element for the Arens multiplication if and only if every positive linear functional on X extends to a positive linear functional on the f -algebra Orth (X) of all orthomorphisms on X.     

Convex conjugates of integral functionals

We consider a convex integral functional on a functional space V andcompute its greatest extension to the algebraic bidual space V^**, among all convex functions which are lower semicontinuous with respect tothe *-weak topology o(V^** ; V^*).Such computations are usually performed to extend these functionals to sometopological closures. In the present paper, no a priori topological restrictionsare imposed on the extended domain. As a consequence, this extended functionalis a valuable first step for the computation of the exact shape of the minimizersof the conjugate convex integral functional subject to a convex constraint,in full generality: without constraint qualification. These convex integralfunctionals are sometimes called entropies, divergences or energies. Our proofsmainly rely on basic convex duality and duality in Orlicz spaces.     

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.      

Weakly equicompact sets of operators defined on Banach spaces

Let X and Y be Banach spaces. We say that a set (the space of all weakly compact operators from X into Y) is weakly equicompact if, for every bounded sequence (x_n) in X, there exists a subsequence (x_k(n)) so that (Tx_k(n)) is weakly uniformly convergent for T ∈ M. We study some properties of weakly equicompact sets and, among other results, we prove: 1) if is collectively weakly compact, then M^* is weakly equicompact iff M^** x^**={T^** x^** : T ∈ M} is relatively compact in Y for every x^** ∈X^**; 2) weakly equicompact sets are precompact in for the topology of uniform convergence on the weakly null sequences in X. Received: 14 February 2005; revised: 1 June 2005     

Compactness in

This paper is concerned with compactness for some topologies on the collection of bounded linear operators on Banach spaces. New versions of the Eberlein–Šmulian theorem and Day's lemma in the collection are established. Also we obtain a partial solution of the dual problem for the quasi approximation property, that is, it is shown that for a Banach space X if X^** is separable and X^* has the quasi approximation property, then X has the quasi approximation property.     

Smooth noncompact operators from <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>), <Emphasis Type="Italic">K</Emphasis> scattered

Let X be a Banach space, K be a scattered compact and T: B _C(K) → X be a Fréchet smooth operator whose derivative is uniformly continuous. We introduce the smooth biconjugate T**: B _C(K)** → X** and prove that if T is noncompact, then the derivative of T** at some point is a noncompact linear operator. Using this we conclude, among other things, that either is compact or that ℓ₁ is a complemented subspace of X*. We also give some relevant examples of smooth functions and operators, in particular, a C ^1,u -smooth noncompact operator from B _{c O} which does not fix any (affine) basic sequence. P. Hájek was supported by grants A100190502, Institutional Research Plan AV0Z10190503.     

A Grothendieck-type theorem for the space of totally measurable functions

Let Σ be a σ-algebra of subsets of a non-empty set Ω. Let X be a real Banach space and let X^* stand for the Banach dual of X. Let B(Σ, X) be the Banach space of Σ-totally measurable functions f: Ω → X, and let B(Σ, X)^* and B(Σ, X)^** denote the Banach dual and the Banach bidual of B(Σ, X) respectively. Let bvca(Σ, X^*) denote the Banach space of all countably additive vector measures ν: Σ → X^* of bounded variation. We prove a form of generalized Vitali-Hahn-Saks theorem saying that relative σ(bvca(Σ, X^*), B(Σ, X))-sequential compactness in bvca(Σ, X^*) implies uniform countable additivity. We derive that if X reflexive, then every relatively σ(B(Σ, X)^*, B(Σ, X))-sequentially compact subset of B(Σ, X)_c^~ (= the σ-order continuous dual of B(Σ, X)) is relatively σ(B(Σ, X)^*, B(Σ, X)^**)-sequentially compact. As a consequence, we obtain a Grothendieck type theorem saying that σ(B(Σ, X)^*, B(Σ, X))-convergent sequences in B(Σ, X)_c^~ are σ(B(Σ, X)^*, B(Σ, X)^**)-convergent.     

Densely ball remotal subspaces of C(K)

We call a subspace Y of a Banach space X a DBR subspace if its unit ball By admits farthest points from a dense set of points of X. In this paper, we study DBR subspaces of C(K). In the process, we study boundaries, in particular, the Choquet boundary of any general subspace of C(K). An infinite compact Hausdorff space K has no isolated point if and only if any finite co-dimensional subspace, in particular, any hyperplane is DBR in C(K). As a consequence, we show that a Banach space X is reflexive if and only if X is a DBR subspace of any superspace. As applications, we prove that any M-ideal or any closed *-subalgebra of C(K) is a DBR subspace of C(K). It follows that C(K) is ball remotal in C(K)^**.     

SOME ASPECTS OF THE LIFTING PROPERTY OF THE SPACE £∞ (μ, X)

Abstract

Using a lifting of £_∞ (μ, X) ([5],[6]), we construct a lifting ρ x of the seminormed vector space £_∞ (μ, X) of measurable, essentially bounded X-valued functions. We show that in a certain sense such a lifting always exists. If μ is Lebesgue measure on (0, 1) we show that ρ x exists as map from £_∞ ((O, 1), X) → £_∞,((0, l), X) if and only if X is reflexive. In general the lifted function takes its values in X **. Therefore we investigate the question, when f ε £_∞ (μ, X) is strictly liftable in the sense that the lifted function is a map with values even in X.

As an application we introduce the space £_∞ ^strong (μ, L (X, Y**)), a subspace of the space of strongly measurable, essentially bounded L (X, Y, **)-valued functions, and the associated quotient space £_∞ ^strong (μ, L (X,Y**)). We show that this space is a Banach space because there is a kind of a Dunford-Pettis Theorem for a subspace of L (X, £_∞(μ Y**)). Finally we investigate the measurability property of functions in £_∞(μ Y**)) und see that there exists a connection to the Radon-Nikodym property of the space L (X, Y).     

Dunford-Pettis like properties on tensor products

In this paper we study equivalent formulations of the DP^? P_p (1 < p < ∞). We show that X has the DP^? P_p if and only if every weakly-p-Cauchy sequence in X is a limited subset of X. We give su?cient conditions on Banach spaces X and Y so that the projective tensor product X ?_π Y, the dual (X ?_? Y)^? of their injective tensor product, and the bidual (X ?_π Y)^?? of their projective tensor product, do not have the DP P_p, 1 < p < ∞. We also show that in some cases, the projective and the injective tensor products of two spaces do not have the DP^? P_p, 1 < p < ∞.     

Division and <Emphasis Type="Italic">k</Emphasis>-th root theorems for <Emphasis Type="Italic">Q</Emphasis>-manifolds

We prove that a locally compact ANR-space X is a Q-manifold if and only if it has the Disjoint Disk Property (DDP), all points of X are homological Z _∞-points and X has the countable-dimensional approximation property (cd-AP), which means that each map f: K → X of a compact polyhedron can be approximated by a map with the countable-dimensional image. As an application we prove that a space X with DDP and cd-AP is a Q-manifold if some finite power of X is a Q-manifold. If some finite power of a space X with cd-AP is a Q-manifold, then X ² and X × [0, 1] are Q-manifolds as well. We construct a countable family χ of spaces with DDP and cd-AP such that no space X ∈ χ is homeomorphic to the Hilbert cube Q whereas the product X × Y of any different spaces X, Y ∈ χ is homeomorphic to Q. We also show that no uncountable family χ with such properties exists. This work was supported by the Slovenian-Ukrainian (Grant No. SLO-UKR 04-06/07)     

Covering properties on X2⧹Δ, W-sets,and compact subsets of Σ-products

Let Δ ? X¹ be the diagonal. In the first part of this paper, we show that a compact space X is Corson compact (resp., Eberlein compact; compact metric) if and only if X²?Δ is metalindelöf (resp., σ-metacompact; paracompact). In the second part of the paper, we investigate the notion of a W-set in a space X, which is defined in terms of an infinite game. We show that a compact space X is Corson compact if and only if X has a W-set diagonal, and that a compact scattered space X is strong Eberlein compact if and only if each point of X is a W-set in X.     

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.     

A sufficient condition for strong almost-periodicity of scalarly almost periodic representations of the group of real numbers

We prove the following theorem: If every separable subspace Y of a Banach space X has a separable weak sequential closure in Y ^**, then every scalarly almost periodic group acting in X is strongly almost periodic. Kharkov State Academy of Municipal Economy, Kharkov. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 49, No. 4, pp. 523–526, April, 1997.