On Asymptotically Isometric Copies of lβ (0 《β《1)

We get the characterizations of the family of all nonnegative,subadditive,β-absolutely homogeneous and continuous functionals defined on X,when the β-normed space X contains an asymptotically isometric copy of lβ.Moreover,it is proved that if a closed bounded β-convex subset K of a β-normed space contains an asymptotically isometric lβ-basis,then K contains a closed β-convex subset C which fails the fixed point property.     

Asymptotically Isometric Copy of lβ (0 ＜β ＜ 1) in Spaces of Bounded Linear Operators

Assume X is a normed space, every x* ∈ S(X*) can reach its norm at some point in B(X), and Y is a β-normed space. If there is a quotient space of Y which is asymptotically isometric to lβ, then L(X, Y) contains an asymptotically isometric copy of lβ. Some sufficient conditions are given under which L(X, Y) fails to have the fixed point property for nonexpansive mappings on closed bounded β-convex subsets of L(X, Y).     

具有β-中点性质的非β-凸集(0<β<1)

首先给出具有中点性质1/2x+1/2y∈A,x,y∈A的开集或者闭集均是凸集的完整证明,接着通过给出满足β-中点性质1/(2~(1/β))x+1/(2~(1/β))y∈A,x,y∈A(0β1),但非β-凸集的开集与闭集的例子各一个,从中点性质是否蕴涵相应凸性的角度揭示了集合的β-凸性与通常凸性之间的另一显著差异.     

On the structural properties of the weight space L p(x),ω for 0 < p(x) < 1

The main purpose of this paper is to study the weight space L _p(x),ω for 0 < p(x) < 1 as well as the topology of this space. Embeddings between different Lebesgue spaces with variable exponent of summability are established. In particular, it is proved that the set of all linear continuous functionals over L _p(x),ω for 0 < p(x) < 1 consists only of the zero functional.     

On complexity reduction of Σ<Subscript>1</Subscript> formulas

 For a fixed q  ℕ and a given Σ₁ definition φ(d,x), where d is a parameter, we construct a model M of 1 Δ₀ + ? exp and a non standard d  M such that in M either φ has no witness smaller than d or phgr; is equivalent to a formula ϕ(d,x) having no more than q alternations of blocks of quantifiers. Received: 29 September 1998 / Revised version: 7 November 2001 Published online: 10 October 2002 RID="⋆" ID="⋆" Research supported in part by The State Committee for Scientific Research (Poland), KBN, grant number 2 PO3A 018 13. RID="⋆" ID="⋆" Research supported in part by The State Committee for Scientific Research (Poland), KBN, grant number 2 PO3A 018 13.     

On the quantifier complexity of Δ<Subscript> n+1</Subscript> (T)– induction

In this paper we continue the study of the theories I _n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that I _n+1 (T) is _n+2 –axiomatizable. In particular, I _n+1 (I _n+1 ) gives an axiomatization of Th _n+2 (I _n+1 ) and is not finitely axiomatizable. This fact relates the fragment I _n+1 (I _n+1 ) to induction rule for _n+1 –formulas. Our arguments, involving a construction due to R. Kaye (see [9]), provide proofs of Parsons conservativeness theorem (see [16]) and (a weak version) of a result of L.D. Beklemishev on unnested applications of induction rules for _n+2 and _n+1 formulas (see [2]).Research partially supported by grant PB96–1345 (Spanish Goverment)Mathematics Subject Classification (2000): 03F30, 03H15     

On the order of approximation to functions ofH p (R) (0<p≦1) by certain means of Fourier integrals

H ^P (R ₊ ² ) — R ₊ ² ={zC: Imz>0} ^p (R) — H ^p (R ₊ ² ). P ^k (f,x) — ë- — ,W ^k (f,x) — — R ^k, (f,x) — f H (R) (. §1,1)–3)); _k (, f) _p — - . , fH ^p (R) 0<p1,kN; (1+)^–1<p1, 0<<,kN.     

(l~(β_1))_(β_2)~*的次表示定理与l~(β_1)的非局部β_2-凸性(0＜β_1＜β_2≤1)(英文)

对0<β_1<β_2≤1,本文得到l~(β_1)的β_2-共轭锥的次表示定理(l~(β_1))_(β_2)~*■m~+×m~+,证明l~(β_1)不是局部β_2-凸空间.     

Density of the Medvedev lattice of Π<Superscript>0</Superscript><Subscript>1</Subscript> classes

The partial ordering of Medvedev reducibility restricted to the family of ⁰₁ classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a ⁰₁ class, which we call a ``c.e. separating class'. We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublattice generated by the c.e. separating classes. Mathematics Subject Classification (2000): 03D30, 03D25     

On linear isometries of Banach lattices in <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>(Ω)-spaces

Consider the space C0(Ω) endowed with a Banach lattice-norm ‖ · ‖ that is not assumed to be the usual spectral norm ‖ · ‖_∞ of the supremum over Ω. A recent extension of the classical Banach-Stone theorem establishes that each surjective linear isometry U of the Banach lattice (C ₀(Ω), ‖ · ‖) induces a partition Π of Ω into a family of finite subsets S ⊂ Ω along with a bijection T: Π → Π which preserves cardinality, and a family [u(S): S ∈ Π] of surjective linear maps u(S): C(T(S)) → C(S) of the finite-dimensional C*-algebras C(S) such that

Copies of $$c_0(\Gamma )$$ c 0 ( Γ ) in the space of bounded linear operators

Archiv der Mathematik - The space $${{\mathcal {L}}}(X, Y)$$ stands for the Banach space of all bounded linear operators from X to Y endowed with the operator norm. It is shown that $$c_{0}(\Gamma...     

Banach Spaces Which are Isometric to Subspaces of c_0(Γ)

In this paper, we give a number of characterizations for a Banach space X which is isometric to a subspace of c_0, or, c_0(Γ), successively, in terms of extreme points of its dual unit ball BX~*, Fréchet and Gateaux derivatives of its norm, or, in terms of w~*-strongly exposed points and w~*-exposed points of BX~*.     

Asymptotically Optimal in Reliability Circuits in Two Bases Under Failures of 0 (<Emphasis Type="Italic">k</Emphasis> − 1) Type at the Outputs of Elements

We consider a problem of the realization of k-valued logics functions (k ≥ 3) by circuits in two bases: in the Rosser–Turkett basis and in its dual basis. We assume that the basis gates are exposed to faults at outputs: only of type 0 or only of type k ? 1, and they pass into faulty states independently of each other. We describe a constructive method for the synthesis of an asymptotically optimal reliable circuit for almost any function of k-valued logic, we found the upper and lower bounds of circuits unreliability and the class of functions for which the lower bounds are true.     

On n-term approximations with respect to frames bounded in L p (0, 1), 2 < p < ∞

In this paper, best canonical n-term approximations in the norm of the spaces L ²(0, 1) of the family I of characteristic functions of intervals are studied.     

Eisenstein series associated with Γ<Subscript>0</Subscript>(2)

In this paper, we define the normalized Eisenstein series ℘, e, and associated with Γ₀(2), and derive three differential equations satisfied by them from some trigonometric identities. By using these three formulas, we define a differential equation depending on the weights of modular forms on Γ₀(2) and then construct its modular solutions by using orthogonal polynomials and Gaussian hypergeometric series. We also construct a certain class of infinite series connected with the triangular numbers. Finally, we derive a combinatorial identity from a formula involving the triangular numbers.      

On Lagrange interpolation for |<Emphasis Type="Italic">X</Emphasis>|<Superscript><Emphasis Type="Italic">α</Emphasis></Superscript> (0 < <Emphasis Type="Italic">α</Emphasis> < 1)

We study the optimal order of approximation for |x| ^α (0 < α < 1) by Lagrange interpolation polynomials based on Chebyshev nodes of the first kind. It is proved that the Jackson order of approximation is attained. Supported by the NSFC, 10601065.     

Strong approximation of Riesz means at critical index on Hp(T) (0<p≤1)

This paper is a continuation of [3]. Suppose f∈H^p(T), 0σ _r ^σ f,σ=1/p?1. When p=1, it is just the partial Fourier sums S_kf. In this paper we establish the sharp estimations on the degree of approximation: $$\left\{ { - \frac{1}{{logR}}\int\limits_1^R {\left\| {\sigma _r^\delta f - f} \right\|_{H^p (T)}^p \frac{{dr}}{r}} } \right\}^{1/p} \leqq C{\mathbf{ }}{}_p\omega \left( {f,{\mathbf{ }}( - \frac{1}{{logR}})^{1/p} } \right)_{H^p (T)} ,0< p< 1,$$ and \(\frac{1}{{\log L}}\sum\limits_{k - 1}^L {\frac{{\left\| {S_k f - f} \right\|_H 1_{(T)} }}{k} \leqq Cp\omega (f; - \frac{1}{{\log L}})_H 1_{(T)} } \) Where $$\omega (f,{\mathbf{ }}h)_{H^p (T)} \begin{array}{*{20}c} { = Sup} \\ {0 \leqq \left| u \right| \leqq h} \\ \end{array} \left\| {f( \cdot + u) - f( \cdot )} \right\|_{H^p (T).} $$ .     

On the <Emphasis Type="Italic">ω</Emphasis><Subscript>1</Subscript> limits of subsets of the real line

We point out that it is consistent with ZFC that 2 ^ω > ℵ₁ and every subset of ℝ is the ω ₁ limit of a sequence of G _δ sets in ℝ. We prove also that assuming cov ( ) > ℵ₁, not every set in ℝ is the ω ₁ limit of a sequence of measurable sets. This solves two problems of T. Natkaniec and J. Wesołowska.