An extension of a theorem of Marcinkiewicz and Zygmund on differentiability

S. Mukhopadhyay; S. Mitra

Displaying similar documents to “An extension of a theorem of Marcinkiewicz and Zygmund on differentiability”

The homotopy groups of the L2 -localization of a certain type one finite complex at the prime 3

Yoshitaka Nakazawa, Katsumi Shimomura (1997)

Fundamenta Mathematicae

Similarity:

For the Brown-Peterson spectrum BP at the prime 3, $v_{2}$ denotes Hazewinkel’s second polynomial generator of $B P_{*}$ . Let $L_{2}$ denote the Bousfield localization functor with respect to $v_{2}^{- 1} B P$ . A typical example of type one finite spectra is the mod 3 Moore spectrum M. In this paper, we determine the homotopy groups $π_{*} (L_{2} M \land X)$ for the 8 skeleton X of BP.

Operators on C(ω^α) which do not preserve C(ω^α)

Dale Alspach (1997)

Fundamenta Mathematicae

Similarity:

It is shown that if α,ζ are ordinals such that 1 ≤ ζ < α < ζω, then there is an operator from $C (ω^{ω^{α}})$ onto itself such that if Y is a subspace of $C (ω^{ω^{α}})$ which is isomorphic to $C (ω^{ω^{α}})$ , then the operator is not an isomorphism on Y. This contrasts with a result of J. Bourgain that implies that there are uncountably many ordinals α for which for any operator from $C (ω^{ω^{α}})$ onto itself there is a subspace of $C (ω^{ω^{α}})$ which is isomorphic to $C (ω^{ω^{α}})$ on which the operator is an isomorphism.

Decomposing Baire class 1 functions into continuous functions

Saharon Shelah, Juris Steprans (1994)

Fundamenta Mathematicae

Similarity:

It is shown to be consistent that every function of first Baire class can be decomposed into $ℵ_{1}$ continuous functions yet the least cardinal of a dominating family in $^{ω} ω$ is $ℵ_{2}$ . The model used in the one obtained by adding $ω_{2}$ Miller reals to a model of the Continuum Hypothesis.

Property C'', strong measure zero sets and subsets of the plane

Janusz Pawlikowski (1997)

Fundamenta Mathematicae

Similarity:

Let X be a set of reals. We show that • X has property C" of Rothberger iff for all closed F ⊆ ℝ × ℝ with vertical sections $F_{x}$ (x ∈ X) null, $\cup_{x \in X} F_{x}$ is null; • X has strong measure zero iff for all closed F ⊆ ℝ × ℝ with all vertical sections $F_{x}$ (x ∈ ℝ) null, $\cup_{x \in X} F_{x}$ is null.

The exceptional set of Goldbach numbers (II)

Hongze Li (2000)

Acta Arithmetica

Similarity:

1. Introduction. A positive number which is a sum of two odd primes is called a Goldbach number. Let E(x) denote the number of even numbers not exceeding x which cannot be written as a sum of two odd primes. Then the Goldbach conjecture is equivalent to proving that E(x) = 2 for every x ≥ 4. E(x) is usually called the exceptional set of Goldbach numbers. In [8] H. L. Montgomery and R. C. Vaughan proved that $E (x) = O (x^{1 - Δ})$ for some positive constant Δ > 0 $. I n [3] C h e n a n d P a n p r o v e d t h a t o n e c a n t a k e Δ > 0.01 . I n [6], w e p r o v e d t h a t E (x) = O (x^{0.921})$ . In this paper we prove the following...

On sums of two cubes: an Ω₊-estimate for the error term

M. Kühleitner, W. G. Nowak, J. Schoissengeier, T. D. Wooley (1998)

Acta Arithmetica

Similarity:

The arithmetic function $r_{k} (n)$ counts the number of ways to write a natural number n as a sum of two kth powers (k ≥ 2 fixed). The investigation of the asymptotic behaviour of the Dirichlet summatory function of $r_{k} (n)$ leads in a natural way to a certain error term $P_{_{k}} (t)$ which is known to be $O (t^{1 / 4})$ in mean-square. In this article it is proved that $P_{₃} (t) = Ω ₊ (t^{1 / 4} {(l o g l o g t)}^{1 / 4})$ as t → ∞. Furthermore, it is shown that a similar result would be true for every fixed k > 3 provided that a certain set of algebraic numbers contains a...

On a discrete version of the antipodal theorem

Krzysztof Oleszkiewicz (1996)

Fundamenta Mathematicae

Similarity:

The classical theorem of Borsuk and Ulam [2] says that for any continuous mapping $f : S^{k} \to ℝ^{k}$ there exists a point $x \in S^{k}$ such that f(-x) = f(x). In this note a discrete version of the antipodal theorem is proved in which $S^{k}$ is replaced by the set of vertices of a high-dimensional cube equipped with Hamming’s metric. In place of equality we obtain some optimal estimates of $i n f_{x} | | f (x) - f (- x) | |$ which were previously known (as far as the author knows) only for f linear (cf. [1]).

Strongly almost disjoint familes, revisited

A. Hajnal, Istvan Juhász, Saharon Shelah (2000)

Fundamenta Mathematicae

Similarity:

The relations M(κ,λ,μ) → B [resp. B(σ)] meaning that if $A \subset {[κ]}^{λ}$ with |A|=κ is μ-almost disjoint then A has property B [resp. has a σ-transversal] had been introduced and studied under GCH in [EH]. Our two main results here say the following: Assume GCH and let ϱ be any regular cardinal with a supercompact [resp. 2-huge] cardinal above ϱ. Then there is a ϱ-closed forcing P such that, in $V^{P}$ , we have both GCH and $M (ϱ^{(+ ϱ + 1)}, ϱ^{+}, ϱ) ↛ B$ [resp. $M (ϱ^{(+ ϱ + 1)}, λ, ϱ) ↛ B (ϱ^{+})$ for all $λ \leq ϱ^{(+ ϱ + 1)}]$ . These show that, consistently, the results of [EH] are sharp....

A forcing construction of thin-tall Boolean algebras

Juan Martínez (1999)

Fundamenta Mathematicae

Similarity:

It was proved by Juhász and Weiss that for every ordinal α with $0 < α < ω_{2}$ there is a superatomic Boolean algebra of height α and width ω. We prove that if κ is an infinite cardinal such that $κ^{< κ} = κ$ and α is an ordinal such that $0 < α < κ^{+ +}$ , then there is a cardinal-preserving partial order that forces the existence of a superatomic Boolean algebra of height α and width κ. Furthermore, iterating this forcing through all $α < κ^{+ +}$ , we obtain a notion of forcing that preserves cardinals and such that in the corresponding...

Ergodic averages and free $ℤ^{2}$ actions

Zoltán Buczolich (1999)

Fundamenta Mathematicae

Similarity:

If the ergodic transformations S, T generate a free $ℤ^{2}$ action on a finite non-atomic measure space (X,S,µ) then for any $c_{1}, c_{2} \in ℝ$ there exists a measurable function f on X for which ${(N + 1)}^{- 1} \sum_{j = 0}^{N} f (S^{j} x) \to c_{1}$ and ${(N + 1)}^{- 1} \sum_{j = 0}^{N} f (T^{j} x) \to c_{2} µ$ -almost everywhere as N → ∞. In the special case when S, T are rationally independent rotations of the circle this result answers a question of M. Laczkovich.

The Zahorski theorem is valid in Gevrey classes

Jean Schmets, Manuel Valdivia (1996)

Fundamenta Mathematicae

Similarity:

Let Ω,F,G be a partition of $ℝ^{n}$ such that Ω is open, F is $F_{σ}$ and of the first category, and G is $G_{δ}$ . We prove that, for every γ ∈ ]1,∞[, there is an element of the Gevrey class Γγ which is analytic on Ω, has F as its set of defect points and has G as its set of divergence points.

Spaces of upper semicontinuous multi-valued functions on complete metric spaces

Katsuro Sakai, Shigenori Uehara (1999)

Fundamenta Mathematicae

Similarity:

Let X = (X,d) be a metric space and let the product space X × ℝ be endowed with the metric ϱ ((x,t),(x’,t’)) = maxd(x,x’), |t - t’|. We denote by $U S C C_{B} (X)$ the space of bounded upper semicontinuous multi-valued functions φ : X → ℝ such that each φ(x) is a closed interval. We identify $φ \in U S C C_{B} (X)$ with its graph which is a closed subset of X × ℝ. The space $U S C C_{B} (X)$ admits the Hausdorff metric induced by ϱ. It is proved that if X = (X,d) is uniformly locally connected, non-compact and complete, then $U S C C_{B} (X)$ is homeomorphic...

How to recognize a true Σ^0_3 set

Etienne Matheron (1998)

Fundamenta Mathematicae

Similarity:

Let X be a Polish space, and let ${(A_{p})}_{p \in ω}$ be a sequence of $G_{δ}$ hereditary subsets of K(X) (the space of compact subsets of X). We give a general criterion which allows one to decide whether $\cup_{p \in ω} A_{p}$ is a true $\sum_{3}^{0}$ subset of K(X). We apply this criterion to show that several natural families of thin sets from harmonic analysis are true $\sum_{3}^{0}$ .

A function space Cp(X) not linearly homeomorphic to Cp(X) × ℝ

Witold Marciszewski (1997)

Fundamenta Mathematicae

Similarity:

We construct two examples of infinite spaces X such that there is no continuous linear surjection from the space of continuous functions $c_{p} (X)$ onto $c_{p} (X)$ × ℝ $. I n p a r t i c u l a r,$ cp(X) $i s n o t l i n e a r l y h o m e o m o r p h i c t o$ cp(X) $\times ℝ$ . One of these examples is compact. This answers some questions of Arkhangel’skiĭ.

Shift spaces and attractors in noninvertible horseshoes

H. Bothe (1997)

Fundamenta Mathematicae

Similarity:

As is well known, a horseshoe map, i.e. a special injective reimbedding of the unit square $I^{2}$ in $ℝ^{2}$ (or more generally, of the cube $I^{m}$ in $ℝ^{m}$ ) as considered first by S. Smale [5], defines a shift dynamics on the maximal invariant subset of $I^{2}$ (or $I^{m}$ ). It is shown that this remains true almost surely for noninjective maps provided the contraction rate of the mapping in the stable direction is sufficiently strong, and bounds for this rate are given.

The space of ANR’s in $ℝ^{n}$

Tadeusz Dobrowolski, Leonard Rubin (1994)

Fundamenta Mathematicae

Similarity:

The hyperspaces $A N R (ℝ^{n})$ and $A R (ℝ^{n})$ in $2^{ℝ^{n}} (n \geq 3)$ consisting respectively of all compact absolute neighborhood retracts and all compact absolute retracts are studied. It is shown that both have the Borel type of absolute $G_{δ σ δ}$ -spaces and that, indeed, they are not $F_{σ δ σ}$ -spaces. The main result is that $A N R (ℝ^{n})$ is an absorber for the class of all absolute $G_{δ σ δ}$ -spaces and is therefore homeomorphic to the standard model space $Ω_{3}$ of this class.

Strongly meager sets and subsets of the plane

Janusz Pawlikowski (1998)

Fundamenta Mathematicae

Similarity:

Let $X \subseteq 2^{w}$ . Consider the class of all Borel $F \subseteq X \times 2^{w}$ with null vertical sections $F_{x}$ , x ∈ X. We show that if for all such F and all null Z ⊆ X, $\cup_{x \in Z} F_{x}$ is null, then for all such F, $\cup_{x \in X} F_{x} \neq 2^{w}$ . The theorem generalizes the fact that every Sierpiński set is strongly meager and was announced in [P].

A generalization of Zeeman’s family

Michał Sierakowski (1999)

Fundamenta Mathematicae

Similarity:

E. C. Zeeman [2] described the behaviour of the iterates of the difference equation $x_{n + 1} = R (x_{n}, x_{n - 1}, . . ., x_{n - k}) / Q (x_{n}, x_{n - 1}, . . ., x_{n - k})$ , n ≥ k, R,Q polynomials in the case $k = 1, Q = x_{n - 1}$ and $R = x_{n} + α$ , $x_{1}, x_{2}$ positive, α nonnegative. We generalize his results as well as those of Beukers and Cushman on the existence of an invariant measure in the case when R,Q are affine and k = 1. We prove that the totally invariant set remains residual when the coefficients vary.