A note on <Emphasis Type="Italic">f</Emphasis><Subscript><Emphasis Type="Italic">I</Emphasis></Subscript>-sets and <Emphasis Type="Italic">f</Emphasis><Subscript><Emphasis Type="Italic">I</Emphasis></Subscript> -continuous functions

Summary In [6] we introduced and investigated the notions of f_I -sets and f_I -continuous functions in ideal topological spaces. In this paper, we investigate their further important properties.     

On <Emphasis Type="Italic">k</Emphasis>-Spaces and <Emphasis Type="Italic">k</Emphasis><Subscript><Emphasis Type="Italic">R</Emphasis></Subscript>-Spaces

In this note we study the relation between k _R -spaces and k-spaces and prove that a k _R -space with a σ-hereditarily closure-preserving k-network consisting of compact subsets is a k-space, and that a k _R -space with a point-countable k-network consisting of compact subsets need not be a k-space. This work was supported by the NSF of China (10271056).     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-mixed intersection bodies

In this paper the author first introduce a new concept of L _p -dual mixed volumes of star bodies which extends the classical dual mixed volumes. Moreover, we extend the notions of L _p intersection body to L _p -mixed intersection body. Inequalities for L _p -dual mixed volumes of L _p -mixed intersection bodies are established and the results established here provide new estimates for these type of inequalities. This work was supported by the Natural Science Foundation of Zhejiang Province of China (Grant No. Y605065) and the Foundation of the Education Department of Zhejiang Province of China (Grant No. 20050392)     

<Emphasis Type="Italic">Q</Emphasis>-measures on <Emphasis Type="Italic">Q</Emphasis><Subscript><Emphasis Type="Italic">κ</Emphasis></Subscript>λ

 We give a characterization of strongly compact cardinals in terms of Q _κ λ. We also prove that weakly normal Q-measures on Q _κ λ are ⊂κ-normal. Received: 29 September 2000 / Revised version: March 2002 Published online: 5 November 2002 This project is supported by the New Zealand Marsden Fund. The author wishes to thank the referee for numerous comments and suggestions which have been incorporated into this version of the paper.     

Localization of <Emphasis Type="Italic">LM</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-algebras

The aim of this paper is to define the localization LM _n -algebra of an LM _n —algebra L with respect to a topology F on L; in Section 5 we prove that the maximal LM _n -algebra of fractions (defined in [3]) and the LM _n -algebra of fractions relative to an Λ—closed system (defined in Section 2) are LM _n -algebras of localization.     

Finiteness conditions and PD<Subscript><Emphasis Type="Italic">r</Emphasis></Subscript>-group covers of PD<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-complexes

We show that an infinite cyclic covering space M′ of a PD _n -complex M is a PD _n-1-complex if and only if χ(M) = 0, M′ is homotopy equivalent to a complex with finite [(n−1)/2]-skeleton and π₁(M′) is finitely presentable. This is best possible in terms of minimal finiteness assumptions on the covering space. We give also a corresponding result for covering spaces M _ν with covering group a PD _r -group under a slightly stricter finiteness condition.      

A new multivariable <Subscript><Emphasis Type="BoldItalic">6</Emphasis></Subscript><Emphasis Type="BoldItalic">ψ</Emphasis><Subscript><Emphasis Type="BoldItalic">6</Emphasis></Subscript> summation formula

By multidimensional matrix inversion, combined with an A _r extension of Jackson’s ₈ φ ₇ summation formula by Milne, a new multivariable ₈ φ ₇ summation is derived. By a polynomial argument this ₈ φ ₇ summation is transformed to another multivariable ₈ φ ₇ summation which, by taking a suitable limit, is reduced to a new multivariable extension of the nonterminating ₆ φ ₅ summation. The latter is then extended, by analytic continuation, to a new multivariable extension of Bailey’s very-well-poised ₆ ψ ₆ summation formula. Partly supported by FWF Austrian Science Fund grants P17563-N13, and S9607 (the second is part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number Theory”).     

Lifting elementary embeddings <Emphasis Type="Italic">j</Emphasis>: <Emphasis Type="Italic">V</Emphasis><Subscript>λ</Subscript> → <Emphasis Type="Italic">V</Emphasis><Subscript>λ</Subscript>

We describe a fairly general procedure for preserving I₃ embeddings j: V _λ → V _λ via λ-stage reverse Easton iterated forcings. We use this method to prove that, assuming the consistency of an I₃ embedding, V = HOD is consistent with the theory ZFC + WA where WA is an axiom schema in the language {∈, j} asserting a strong but not inconsistent form of “there is an elementary embedding V → V”. This improves upon an earlier result in which consistency was established assuming an I₁ embedding.      

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.     

3-Selmer groups for curves <Emphasis Type="Italic">y</Emphasis><Superscript>2</Superscript> = <Emphasis Type="Italic">x</Emphasis><Superscript>3</Superscript> + <Emphasis Type="Italic">a</Emphasis>

We explicitly perform some steps of a 3-descent algorithm for the curves y ² = x ³ + a, a a nonzero integer. In general this will enable us to bound the order of the 3-Selmer group of such curves.     

Exact order of relative widths of classes <Emphasis Type="Italic">W</Emphasis><Stack><Subscript>1</Subscript><Superscript>r</Superscript></Stack> in the space <Emphasis Type="Italic">L</Emphasis><Subscript>1</Subscript>

We determine the exact order of relative widths of classes W ₁ ^r of periodic functions in the space L ₁ as n → ∞ under restrictions on higher derivatives of approximating functions. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 10, pp. 1409–1417, October, 2005.     

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.     

<Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-nearest neighbor estimators of entropy

For estimating the entropy of an absolutely continuous multivariate distribution, we propose nonparametric estimators based on the Euclidean distances between the n sample points and their k _n -nearest neighbors, where {k _n : n = 1, 2, …} is a sequence of positive integers varying with n. The proposed estimators are shown to be asymptotically unbiased and consistent.      

SOME NEW PROPERTIES ON L^p（Ω, H^n）

Let L^p（Ω, H^n） indicate the L^P-space of the maps for Heisenberg group target. In this paper some new properties are obtained for the space L^p（Ω, H^n）     

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

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.     

Embedding of non-commutative <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-spaces: <Emphasis Type="Italic">p</Emphasis> < 1

If (N,t) ({\cal N},\tau) is a finite von Neumann algebra and if (M,n) ({\cal M},\nu) is an infinite von Neumann algebra, then L_p(M,n) L_{p}({\cal M},\nu) does not Banach embed in L_p(N,t) L_{p}({\cal N},\tau) for all p ? (0,1) p\in (0,1) . We also characterize subspaces of $ L_{p}({\cal N},\tau),\ 0< p <1 $ L_{p}({\cal N},\tau),\ 0< p <1 containing a copy of l_p.     

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