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).     

Cone characterization of Grothendieck spaces and Banach spaces containing <Emphasis Type="Italic">c</Emphasis><Subscript>0</Subscript>

In this article we study the embeddability of cones in a Banach space X. First we prove that c ₀ is embeddable in X if and only if its positive cone c₀⁺{c_0^+} is embeddable in X and we study some properties of Banach spaces containing c ₀ in the light of this result. So, unlike with the positive cone of ℓ ₁ which is embeddable in any non-reflexive space, c₀⁺{c_0^+} has the same behavior as the whole space c ₀. In the second part of this article we give a characterization of Grothendieck spaces X according to the geometry of cones of X*. By these results we give a partial positive answer to a problem of J.H. Qiu concerning the geometry of cones.     

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.     

A Note on <Emphasis Type="Italic">b</Emphasis>-Weakly Compact Operators

We consider a continuous operator T: E → X where E is a Banach lattice and X is a Banach space. We characterize the b-weak compactness of T in terms of its mapping properties.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis>,<Emphasis Type="Italic">q</Emphasis></Subscript>-Cohomology and Normal Solvability

We consider some problems concerning the L _p,q -cohomology of Riemannian manifolds. In the first part, we study the question of the normal solvability of the operator of exterior derivation on a surface of revolution M considered as an unbounded linear operator acting from L_p^k (M) into L^k+1_q (M). In the second part, we prove that the first L _p,q-cohomology of the general Heisenberg group is nontrivial, provided that p < q. Received: 17 January 2006 Supported by INTAS (Grant 03–51–3251) and the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grants NSh 311.2003.1, NSh 8526.2006.1).     

Generalization of the Kneser theorem on zeros of solutions of the equation <Emphasis Type="Italic">y</Emphasis>″ + <Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">t</Emphasis>)<Emphasis Type="Italic">y</Emphasis> = 0

We establish conditions for the oscillation of solutions of the equation y″ + p(t)Ay = 0 in a Banach space, where A is a bounded linear operator and p: ℝ+ → ℝ+ is a continuous function. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 4, pp. 571–576, April, 2007.     

<Emphasis Type="Italic">K</Emphasis>th Roots of <Emphasis Type="Italic">p</Emphasis>-Hyponormal Operators are Subscalar Operators of Order 4<Emphasis Type="Italic">k</Emphasis>

In this paper, we consider the special case of the question raised by Halmos (see below). In particular, we show that if T^k is p-hyponormal, then T is a subscalar operator of order 4k. As a corollary, we obtain that if T^k is p-hyponormal and σ(T) has nonempty interior in the plane, then T has a nontrivial invariant subspace.     

On the Theory of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>)-Banach Lattices

Given 1≤ p,q < ∞, let BL_pL_q be the class of all Banach lattices X such that X is isometrically lattice isomorphic to a band in some L_p(L_q)-Banach lattice. We show that the range of a positive contractive projection on any BL_pL_q-Banach lattice is itself in BL_pL_q. It is a consequence of this theorem and previous results that BL_pL_q is first-order axiomatizable in the language of Banach lattices. By studying the pavings of arbitrary BL_pL_q-Banach lattices by finite dimensional sublattices that are themselves in this class, we give an explicit set of axioms for BL_pL_q. We also consider the class of all sublattices of L_p(L_q)-Banach lattices; for this class (when p/q is not an integer) we give a set of axioms that are similar to Krivine’s well-known axioms for the subspaces of L_p-Banach spaces (when p/2 is not an integer). We also extend this result to the limiting case q = ∞.     

Joint continuity of <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">h</Emphasis></Subscript><Emphasis Type="Italic">C</Emphasis>-functions with values in moore spaces

We introduce the notion of categorical cliquish mapping and show that, for each K _h C-mapping f: X × Y → Z, where X is a topological space, Y is a space with the first axiom of countability, and Z is a Moore space, with categorical-cliquish horizontal y-sections f _y , the sets C _y (f) are residual G _δ-type sets in X for every y ∈ Y. Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 11, pp. 1539–1547, November, 2008.     

On noncommutative weighted local ergodic theorems on <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-spaces

In the present paper we consider a von Neumann algebra M with a faithful normal semi-finite trace τ, and {α _t }, a strongly continuous extension to L ^p (M, τ) of a semigroup of absolute contractions on L ¹(M, τ). By means of a non-commutative Banach Principle we prove for a Besicovitch function b and x ∊ L ^p (M, τ), that the averages 1/T ∫₀ ^T b(t)α _t (x)dt converge bilateral almost uniformly in L ^p (M, τ) as T → 0. Communicated by Dénes Petz     

Generating Random Vectors in (ℤ/<Emphasis Type="Italic">p</Emphasis>ℤ)<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript> via an Affine Random Process

This paper considers some random processes of the form X _n+1=T X _n +B _n (mod p) where B _n and X _n are random variables over (ℤ/pℤ) ^d and T is a fixed d×d integer matrix which is invertible over the complex numbers. For a particular distribution for B _n , this paper improves results of Asci to show that if T has no complex eigenvalues of length 1, then for integers p relatively prime to det (T), order (log p)² steps suffice to make X _n close to uniformly distributed where X ₀ is the zero vector. This paper also shows that if T has a complex eigenvalue which is a root of unity, then order p ^b steps are needed for X _n to get close to uniformly distributed for some positive value b≤2 which may depend on T and X ₀ is the zero vector.     

On the π-function for nonconvex <Emphasis Type="Italic">l</Emphasis><Subscript>2,<Emphasis Type="Italic">p</Emphasis></Subscript>-circle discs

For 0 < p < 1, circle numbers π(p) are defined to reflect the Euclidean area-content property A _p(r) = π(p)r ² and circumference property {ie332-01} of the l _2,p -circle discs with p-generalized radius r, where the arc-length measure {ie332-02} is based upon the nonconvex star-shaped set {ie332-03} with p** > 0 satisfying {ie332-04}. The resulting π-function extends the function p → π(p) recently defined in [2] from the case of convex discs, p ⩾ 1, to the nonconvex case 0 < p < 1. This function is continuous, increasing, and takes values in (0, 2). The presented approach can be considered as reflecting a modified method of indivisibles in the sense that the indivisibles are the l _2,p -circles and that integrating their S(p**)-arc-lengths is equivalent to measuring the Euclidean area content.     

On <Emphasis Type="Italic">l</Emphasis><Subscript>2,<Emphasis Type="Italic">p</Emphasis></Subscript>-circle numbers

Circle numbers are defined to reflect the Euclidean area-content and, for p ≠ 2, suitably defined non-Euclidean circumference properties of the l _2,p -circles, p ∈ [1, ∞]. The resulting function is continuous, increasing, and takes all values from [2, 4]. The actually chosen dual l _2,p -geometry for measuring the arc-length is closely connected with a generalization of the method of indivisibles of Cavalieri and Torricelli in the sense that integrating such arc-lengths means measuring area content. Moreover, this approach enables one to look in a new way into the co-area formula of measure theory which says that integrating Euclidean arc-lengths does not yield area content except for p = 2. The new circle numbers play a natural role, e.g., as norming constants in geometric measure representation formulae for p-generalized uniform probability distributions on l _2,p -circles.     

Lacunary Strong (<Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">σ</Emphasis></Subscript><Emphasis Type="Italic">, p</Emphasis>)-Convergence

The definition of lacunary strongly convergence is extended to the definition of lacunary strong (A _σ , p)-convergence with respect to invariant mean when A is an infinite matrix and p = (p _i ) is a strictly positive sequence. We study some properties and inclusion relations.     

Maximal regularity for evolution equations in weighted <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-spaces

Let X be a Banach space and let A be a closed linear operator on X. It is shown that the abstract Cauchy problem enjoys maximal regularity in weighted L _p -spaces with weights , where , if and only if it has the property of maximal L _p -regularity. Moreover, it is also shown that the derivation operator admits an -calculus in weighted L _p -spaces. Received: 26 February 2003     

On the completeness of algebraic polynomials in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(ℝ, <Emphasis Type="Italic">d</Emphasis>μ)

We prove that the theorem on the incompleteness of polynomials in the space C ₀ ^w established by de Branges in 1959 is not true for the space L _p (ℝ, dμ) if the support of the measure μ is sufficiently dense.     

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)     

<Emphasis Type="Italic">∂</Emphasis>-operations and <Emphasis Type="Italic">H</Emphasis><Subscript><Emphasis Type="Italic">V</Emphasis></Subscript>-fields

The hyperoperations, called theta-operations （δ）, are motivated from the usual property, which the derivative has on the derivation of a product of functions. Using any map on a set, one can define δ-operations. In this paper, we continue our study on the δ-operations on groupoids, rings, fields and vector spaces or on the corresponding hyperstructures. Using δ-operations one obtains, mainly, Hwstructures, which form the largest class of the hyperstructures. For representation theory of hyperstructures, by hypermatrices, one needs special Hv-rings or Hy-fields, so these hyperstructures can be used. Moreover, we study the relation of these δ-structures with other classes of hyperstructures, especially with the Hv-structures.     

The <Emphasis Type="Italic">p</Emphasis>-rank of Ext<Subscript>ℤ</Subscript>(<Emphasis Type="Italic">G</Emphasis>, ℤ) in certain models of <Emphasis Type="Italic">ZFC</Emphasis>

We prove that if the existence of a supercompact cardinal is consistent with ZFC, then it is consistent with ZFC that the p-rank of Ext _ℤ(G, ℤ) is as large as possible for every prime p and for any torsion-free Abelian group G. Moreover, given an uncountable strong limit cardinal μ of countable cofinality and a partition of Π (the set of primes) into two disjoint subsets Π₀ and Π₁, we show that in some model which is very close to ZFC, there is an almost free Abelian group G of size 2^μ = μ⁺ such that the p-rank of Ext _ℤ(G, ℤ) equals 2^μ = μ⁺ for every p ∈ Π₀ and 0 otherwise, that is, for p ∈ Π₁. Number 874 in Shelah’s list of publications. Supported by the German-Israeli Foundation for Scientific Research & Development project No. I-706-54.6/2001. Supported by a grant from the German Research Foundation DFG. __________ Translated from Algebra i Logika, Vol. 46, No. 3, pp. 369–397, May–June, 2007.