Absolute continuity of information channels

Let [X, v, Y] be an abstract information channel with the input X = (X, ) and the output Y = (Y, ) which are measurable spaces, and denote by L(Y) = L(Y, ) the Banach space of all bounded signed measures with finite total variation as norm. The channel distribution ν(·,·) is considered as a function defined on (X, ) and valued in L(Y). It will be proved that, if the measurable space (Y, ) is countably generated, then the is a strongly measurable function from X into L(Y) if and only if there exists a probability measure μ on (Y, ) which dominates every measure ν(x, ·) (x X). Furthermore, under this condition, the Radon-Nikodym derivative ν(x, dy)/μ(dy) is jointly measurable with respect to the product measure space (X, , m) (Y, , μ) where m is any but fixed probability measure of (X, ). As an application, it will be shown that the channel given as above is uniformly approximated by channels of Hibert-Schmidt type.     

On the square root of a positive B( )-valued function

Let (Ω, , μ) be a measure space, a separable Banach space, and ^* the space of all bounded conjugate linear functionals on . Let f be a weak^* summable positive B( ^*)-valued function defined on Ω. The existence of a separable Hilbert space , a weakly measurable B( )-valued function Q satisfying the relation Q^*(ω)Q(ω) = f(ω) is proved. This result is used to define the Hilbert space L_2,f of square integrable operator-valued functions with respect to f. It is shown that for B⁺( ^*)-valued measures, the concepts of weak^*, weak, and strong countable additivity are all the same. Connections with stochastic processes are explained.     

Pointwise Best Approximation in the Space of Strongly Measurable Functions with Applications to Best Approximation in L(μ,X)

The object of this paper is to prove the following theorem: Let Y be a closed subspace of the Banach space X, (S,Σ,μ) a σ-finite measure space, L(S,Y) (respectively, L(S, X)) the space of all strongly measurable functions from S to Y (respectively, X), and p a positive number. Then L(S,Y) is pointwise proximinal in L(S,X) if and only if L^p(μ,Y) is proximinal in L^p(μ,X). As an application of the theorem stated above, we prove that if Y is a separable closed subspace of the Banach space X, p is a positive number, then L^p(μ,Y) is proximinal in L^p(μ,X) if and only if Y is proximinal in X. Finally, several other interesting results on pointwise best approximation are also obtained.     

Vector measure Maurey–Rosenthal-type factorizations and -sums of -spaces

Consider a vector measure of bounded variation m with values in a Banach space and an operator T:XL¹(m), where L¹(m) is the space of integrable functions with respect to m. We characterize when T can be factorized through the space L²(m) by means of a multiplication operator given by a function of L²(|m|), where |m| is the variation of m, extending in this way the Maurey–Rosenthal Theorem. We use this result to obtain information about the structure of the space L¹(m) when m is a sequential vector measure. In this case the space L¹(m) is an ℓ-sum of L¹-spaces.     

Best approximation in L(μ, X), II

The object of this paper is to prove the following theorem: If Y is a closed subspace of the Banach space X, then L¹(μ, Y) is proximinal in L¹(μ, X) if and only if L^p(μ, Y) is proximinal in L^p(μ, Y) for every p, 1 < p < ∞. As an application of this result we prove that if Y is either reflexive or Y is a separable proximinal dual space, then L¹(μ, Y) is proximinal in L¹(μ, X).     

Ordered representations of spaces of integrable functions

Let X be a Banach space, (Ω,Σ) a measurable space and let m : Σ → X be a (countably additive) vector measure. Consider the corresponding space of integrable functions L¹(m). In this paper we analyze the set of (countably additive) vector measures n satisfying that L¹(n) = L¹(m). In order to do this we define a (quasi) order relation on this set to obtain under adequate requirements the simplest representation of the space L¹(m) associated to downward directed subsets of the set of all the representations. This research has been partially supported by La Junta de Andalucía. The support of D.G.I. under project MTM2006–11690–C02 (M.E.C. Spain) and FEDER is gratefully acknowledged.     

Best simultaneous approximation in

Let X be a Banach space, (Ω,Σ,μ) a finite measure space, and L₁(μ,X) the Banach space of X-valued Bochner μ-integrable functions defined on Ω endowed with its usual norm. Let us suppose that Σ₀ is a sub-σ-algebra of Σ, and let μ₀ be the restriction of μ to Σ₀. Given a natural number n, let N be a monotonous norm in . It is shown that if X is reflexive then L₁(μ₀,X) is N-simultaneously proximinal in L₁(μ,X) in the sense of Fathi et al. [Best simultaneous approximation in L^p(I,E), J. Approx. Theory 116 (2002), 369–379]. Some examples and remarks related with N-simultaneous proximinality are also given.     

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.     

-Operator frames for a Banach space

In this paper, (p,Y)-Bessel operator sequences, operator frames and (p,Y)-Riesz bases for a Banach space X are introduced and discussed as generalizations of the usual concepts for a Hilbert space and of the g-frames. It is proved that the set of all (p,Y)-Bessel operator sequences for a Banach space X is a Banach space and isometrically isomorphic to the operator space B(X,ℓ^p(Y)). Some necessary and sufficient conditions for a sequence of operators to be a (p,Y)-Bessel operator sequence are given. Also, a characterization of an independent (p,Y)-operator frame for X is obtained. Lastly, it is shown that an independent (p,Y)-operator frame for X is just a (p,Y)-Riesz basis for X and has a unique dual (q,Y^*)-operator frame for X^*.     

On dualL 1-spaces and injective bidual Banach spaces

In a previous paper (Israel J. Math.28 (1977), 313–324), it was shown that for a certain class of cardinals τ,l ¹(τ) embeds in a Banach spaceX if and only ifL ¹([0, 1]^τ) embeds inX ^*. An extension (to a rather wider class of cardinals) of the basic lemma of that paper is here applied so as to yield an affirmative answer to a question posed by Rosenthal concerning dual ℒ₁-spaces. It is shown that ifZ ^* is a dual Banach space, isomorphic to a complemented subspace of anL ¹-space, and κ is the density character ofZ ^*, thenl ¹(κ) embeds inZ ^*. A corollary of this result is that every injective bidual Banach space is isomorphic tol ^∞(κ) for some κ. The second part of this article is devoted to an example, constructed using the continuum hypothesis, of a compact spaceS which carries a homogeneous measure of type ω₁, but which is such thatl ¹(ω₁) does not embed in ℰ(S). This shows that the main theorem of the already mentioned paper is not valid in the case τ = ω₁. The dual space ℰ(S)^* is isometric to , and is a member of a new isomorphism class of dualL ¹-spaces.     

RETRACTED ARTICLE: Some applications of BP-theorem in approximation theory

In this paper we apply Bishop-Phelps property to show that if X is a Banach space and G X is the maximal subspace so that G⊥ = {x* ∈ X*|x*(y) = 0; y∈ G} is an L-summand in X*, then L1(Ω,G) is contained in a maximal proximinal subspace of L1(Ω,X).     

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.     

Weak continuity of Riemann integrable functions in Lebesgue-Bochner spaces

In general, Banach space-valued Riemann integrable functions defined on [0, 1] （equipped with the Lebesgue measure） need not be weakly continuous almost everywhere. A Banach space is said to have the weak Lebesgue property if every Riemann integrable function taking values in it is weakly continuous almost everywhere. In this paper we discuss this property for the Banach space LX^1 of all Bochner integrable functions from [0, 1] to the Banach space X. We show that LX^1 has the weak Lebesgue property whenever X has the Radon-Nikodym property and X＊ is separable. This generalizes the result by Chonghu Wang and Kang Wan [Rocky Mountain J. Math., 31（2）, 697-703 （2001）] that L^1[0, 1] has the weak Lebesgue property.     

On the approximate behavior of the posterior distribution for an extreme multivariate observation

The behavior of the posterior for a large observation is considered. Two basic situations are discussed; location vectors and natural parameters.Let X = (X₁, X₂, …, X_n) be an observation from a multivariate exponential distribution with that natural parameter Θ = (Θ₁, Θ₂, …, Θ_n). Let θ_x^* be the posterior mode. Sufficient conditions are presented for the distribution of Θ − θ_x^* given X = x to converge to a multivariate normal with mean vector 0 as |x| tends to infinity. These same conditions imply that E(Θ | X = x) − θ_x^* converges to the zero vector as |x| tends to infinity.The posterior for an observation X = (X₁, X₂, …, X_n is considered for a location vector Θ = (Θ₁, Θ₂, …, Θ_n) as x gets large along a path, γ, in Rⁿ. Sufficient conditions are given for the distribution of γ(t) − Θ given X = γ(t) to converge in law as t → ∞. Slightly stronger conditions ensure that γ(t) − E(Θ | X = γ(t)) converges to the mean of the limiting distribution.These basic results about the posterior mean are extended to cover other estimators. Loss functions which are convex functions of absolute error are considered. Let δ be a Bayes estimator for a loss function of this type. Generally, if the distribution of Θ − E(Θ | X = γ(t)) given X = γ(t) converges in law to a symmetric distribution as t → ∞, it is shown that δ(γ(t)) − E(Θ | X = γ(t)) → 0 as t → ∞.     

A full-invariant theorem and some applications

Let (X,τ₁) and (Y,τ₂) be two Hausdorff locally convex spaces with continuous duals X′ and Y′, respectively, L(X,Y) be the space of all continuous linear operators from X into Y, K(X,Y) be the space of all compact operators of L(X,Y). Let WOT and UOT be the weak operator topology and uniform operator topology on K(X,Y), respectively. In this paper, we characterize a full-invariant property of K(X,Y); that is, if the sequence space λ has the signed-weak gliding hump property, then each λ-multiplier WOT-convergent series ∑_iT_i in K(X,Y) must be λ-multiplier convergent with respect to all topologies between WOT and UOT if and only if each continuous linear operator T :(X,τ₁)→(λ^β,σ(λ^β,λ)) is compact. It follows from this result that the converse of Kalton's Orlicz–Pettis theorem is also true.     

Best simultaneous approximation in L∞(μ, X)

Let Y be a reflexive subspace of the Banach space X, let (Ω, Σ, μ) be a finite measure space, and let L_∞(μ, X) be the Banach space of all essentially bounded μ ‐Bochner integrable functions on Ω with values in X, endowed with its usual norm. Let us suppose that Σ₀ is a sub‐σ ‐algebra of Σ, and let μ₀ be the restriction of μ to Σ₀. Given a natural number n, let N be a monotonous norm in ?ⁿ . We prove that L_∞(μ, Y) is N ‐simultaneously proximinal in L_∞(μ,X), and that if X is reflexive then L_∞(μ₀, X) is N ‐simultaneously proximinal in L_∞(μ, X) in the sense of Fathi, Hussein, and Khalil [3]. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

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.     

A Komlós Theorem for abstract Banach lattices of measurable functions

Consider a Banach function space X(μ) of (classes of) locally integrable functions over a σ-finite measure space (Ω,Σ,μ) with the weak σ-Fatou property. Day and Lennard (2010) [9] proved that the theorem of Komlós on convergence of Cesàro sums in L¹[0,1] holds also in these spaces; i.e. for every bounded sequence n(fn) in X(μ), there exists a subsequence k(fnk) and a function f∈X(μ) such that for any further subsequence j(hj) of k(fnk), the series converges μ-a.e. to f. In this paper we generalize this result to a more general class of Banach spaces of classes of measurable functions — spaces L¹(ν) of integrable functions with respect to a vector measure ν on a δ-ring — and explore to which point the Fatou property and the Komlós property are equivalent. In particular we prove that this always holds for ideals of spaces L¹(ν) with the weak σ-Fatou property, and provide an example of a Banach lattice of measurable functions that is Fatou but do not satisfy the Komlós Theorem.     

Renorming in the space of Bochner integrable functionsL 1(μ,X)

A sufficient condition is given when a subspaceL⊂L ₁(μ,X) of the space of Bochner integrable function, defined on a finite and positive measure space (S, Φ, μ) with values in a Banach spaceX, is locally uniformly convex renormable in terms of the integrable evaluations {∫ _A fdμ;f∈L}. This shows the lifting property thatL ₁(μ,X) is renormable if and only ifX is, and indicates a large class of renormable subspaces even ifX does not admit and equivalent locally uniformly convex norm.     

Universal spaces for the subdifferentials of sublinear operators with values in the spaces of continuous functions

Given a continuous sublinear operator P: V → C(X) from a Hausdorff separable locally convex space V to the Banach space C(X) of continuous functions on a compact set X we prove that the subdifferential ∂P at zero is operator-affinely homeomorphic to the compact subdifferential ∂ ^c Q, i.e., the subdifferential consisting only of compact linear operators, of some compact sublinear operator Q: ł² → C(X) from a separable Hilbert space ł², where the spaces of operators are endowed with the pointwise convergence topology. From the topological viewpoint, this means that the space L ^c (ł², C(X)) of compact linear operators with the pointwise convergence topology is universal with respect to the embedding of the subdifferentials of sublinear operators of the class under consideration.