On Ψ direct sums of Banach spaces and convexity

2003 ◽  
Vol 75 (3) ◽  
pp. 413-422 ◽  
Author(s):  
Mikio Kato ◽  
Kichi-Suke Saito ◽  
Takayuki Tamura

AbstractLet X1, X2, …, XN be Banach spaces and ψ a continuous convex function with some appropriate conditions on a certain convex set in RN−1. Let (X1⊕X2⊕…⊕XN)Ψ be the direct sum of X1, X2, …, XN equipped with the norm associated with Ψ. We characterize the strict, uniform, and locally uniform convexity of (X1 ⊕ X2 ⊕ … ⊕ XN)Ψ; by means of the convex function Ψ. As an application these convexities are characterized for the ℓp, q-sum (X1 ⊕ X2 ⊕ … ⊕ XN)p, q (1 < q ≤ p ≤ ∈, q < ∞), which includes the well-known facts for the ℓp-sum (X1 ⊕ X2 ⊕ … ⊕ XN)p in the case p = q.

2019 ◽  
Vol 2019 ◽  
pp. 1-12
Author(s):  
Shaoqiang Shang ◽  
Yunan Cui

In this paper, we prove that if C⁎⁎ is a ε-separable bounded subset of X⁎⁎, then every convex function g≤σC is Ga^teaux differentiable at a dense Gδ subset G of X⁎ if and only if every subset of ∂σC(0)∩X is weakly dentable. Moreover, we also prove that if C is a closed convex set, then dσC(x⁎)=x if and only if x is a weakly exposed point of C exposed by x⁎. Finally, we prove that X is an Asplund space if and only if, for every bounded closed convex set C⁎ of X⁎, there exists a dense subset G of X⁎⁎ such that σC⁎ is Ga^teaux differentiable on G and dσC⁎(G)⊂C⁎. We also prove that X is an Asplund space if and only if, for every w⁎-lower semicontinuous convex function f, there exists a dense subset G of X⁎⁎ such that f is Ga^teaux differentiable on G and df(G)⊂X⁎.


2013 ◽  
Vol 63 (4) ◽  
Author(s):  
Beata Rothkegel

AbstractIn the paper we formulate a criterion for the nonsingularity of a bilinear form on a direct sum of finitely many invertible ideals of a domain. We classify these forms up to isometry and, in the case of a Dedekind domain, up to similarity.


1975 ◽  
Vol 12 (1) ◽  
pp. 155-158 ◽  
Author(s):  
M. Goldstein

Let X1, X2, · ··, Xn be independent random variables such that ai ≦ Xi ≦ bi, i = 1,2,…n. A class of upper bounds on the probability P(S−ES ≧ nδ) is derived where S = Σf(Xi), δ > 0 and f is a continuous convex function. Conditions for the exponential convergence of the bounds are discussed.


2017 ◽  
Vol 60 (4) ◽  
pp. 791-806 ◽  
Author(s):  
Chunlan Jiang

AbstractA C*-algebra Ahas the ideal property if any ideal I of Ais generated as a closed two-sided ideal by the projections inside the ideal. Suppose that the limit C*-algebra A of inductive limit of direct sums of matrix algebras over spaces with uniformly bounded dimension has the ideal property. In this paper we will prove that A can be written as an inductive limit of certain very special subhomogeneous algebras, namely, direct sum of dimension-drop interval algebras and matrix algebras over 2-dimensional spaces with torsion H2 groups.


2015 ◽  
Vol 3 (1) ◽  
Author(s):  
Brendan Goldsmith ◽  
Ketao Gong

AbstractNecessary and sufficient conditions to ensure that the direct sum of two Abelian groups with zero entropy is again of zero entropy are still unknown; interestingly the same problem is also unresolved for direct sums of Hopfian and co-Hopfian groups.We obtain sufficient conditions in some situations by placing restrictions on the homomorphisms between the groups. There are clear similarities between the various cases but there is not a simple duality involved.


1994 ◽  
Vol 17 (4) ◽  
pp. 661-666
Author(s):  
Mahmoud Ahmed Kamal

In this paper we show that a direct decomposition of modulesM⊕N, withNhomologically independent to the injective hull ofM, is a CS-module if and only ifNis injective relative toMand both ofMandNare CS-modules. As an application, we prove that a direct sum of a non-singular semisimple module and a quasi-continuous module with zero socle is quasi-continuous. This result is known for quasi-injective modules. But when we confine ourselves to CS-modules we need no conditions on their socles. Then we investigate direct sums of CS-modules which are pairwise relatively inective. We show that every finite direct sum of such modules is a CS-module. This result is known for quasi-continuous modules. For the case of infinite direct sums, one has to add an extra condition. Finally, we briefly discuss modules in which every two direct summands are relatively inective.


1981 ◽  
Vol 33 (4) ◽  
pp. 817-825 ◽  
Author(s):  
Paul Hill

All groups herein are assumed to be abelian. It was not until the 1940's that it was known that a subgroup of an infinite direct sum of finite cyclic groups is again a direct sum of cyclics. This result rests on a general criterion due to Kulikov [7] for a primary abelian group to be a direct sum of cyclic groups. If G is p-primary, Kulikov's criterion presupposes that G has no elements (other than zero) having infinite p-height. For such a group G, the criterion is simply that G be the union of an ascending sequence of subgroups Hn where the heights of the elements of Hn computed in G are bounded by some positive integer λ(n). The theory of abelian groups has now developed to the point that totally projective groups currently play much the same role, at least in the theory of torsion groups, that direct sums of cyclic groups and countable groups played in combination prior to the discovery of totally projective groups and their structure beginning with a paper by R. Nunke [11] in 1967.


Sign in / Sign up

Export Citation Format

Share Document