Errata to “The Dirichlet series of $ζ(s)ζ^α(s+1)f(s+1)$: On an error term associated with its coefficients” (Acta Arith. 75 (1996), 39-69)

U. Balakrishnan; Y.-F. S. Pétermann

Displaying similar documents to “Errata to “The Dirichlet series of $ζ (s) ζ^{α} (s + 1) f (s + 1)$ : On an error term associated with its coefficients” (Acta Arith. 75 (1996), 39-69)”

Entropy and growth of expanding periodic orbits for one-dimensional maps

A. Katok, A. Mezhirov (1998)

Fundamenta Mathematicae

Similarity:

Let f be a continuous map of the circle $S^{1}$ or the interval I into itself, piecewise $C^{1}$ , piecewise monotone with finitely many intervals of monotonicity and having positive entropy h. For any ε > 0 we prove the existence of at least $e^{(h - ε) n_{k}}$ periodic points of period $n_{k}$ with large derivative along the period, $| {(f^{n_{k}})}^{'} | > e^{(h - ε) n_{k}}$ for some subsequence $n_{k}$ of natural numbers. For a strictly monotone map f without critical points we show the existence of at least $(1 - ε) e^{h n}$ such points.

Analytic determinacy and 0# A forcing-free proof of Harrington’s theorem

Ramez Sami (1999)

Fundamenta Mathematicae

Similarity:

We prove the following theorem: Given a⊆ω and $1 \leq α < ω_{1}^{C K}$ , if for some $η < ℵ_{1}$ and all u ∈ WO of length η, a is $Σ_{α}^{0} (u)$ , then a is $Σ_{α}^{0}$ . We use this result to give a new, forcing-free, proof of Leo Harrington’s theorem: $Σ_{1}^{1}$ -Turing-determinacy implies the existence of $0$ .

Chaotic continua of (continuum-wise) expansive homeomorphisms and chaos in the sense of Li and Yorke

Hisao Kato (1994)

Fundamenta Mathematicae

Similarity:

A homeomorphism f : X → X of a compactum X is expansive (resp. continuum-wise expansive) if there is c > 0 such that if x, y ∈ X and x ≠ y (resp. if A is a nondegenerate subcontinuum of X), then there is n ∈ ℤ such that $d (f^{n} (x), f^{n} (y)) > c$ (resp. $d i a m f^{n} (A) > c$ ). We prove the following theorem: If f is a continuum-wise expansive homeomorphism of a compactum X and the covering dimension of X is positive (dim X > 0), then there exists a σ-chaotic continuum Z = Z(σ) of f (σ = s or σ = u), i.e. Z is a nondegenerate...

A note on Tsirelson type ideals

Boban Veličković (1999)

Fundamenta Mathematicae

Similarity:

Using Tsirelson’s well-known example of a Banach space which does not contain a copy of $c_{0}$ or $l_{p}$ , for p ≥ 1, we construct a simple Borel ideal $I_{T}$ such that the Borel cardinalities of the quotient spaces $P (ℕ) / I_{T}$ and $P (ℕ) / I_{0}$ are incomparable, where $I_{0}$ is the summable ideal of all sets A ⊆ ℕ such that $\sum_{n \in A} 1 / (n + 1) < \infty$ . This disproves a “trichotomy” conjecture for Borel ideals proposed by Kechris and Mazur.

Sierpiński's hierarchy and locally Lipschitz functions

Michał Morayne (1995)

Fundamenta Mathematicae

Similarity:

Let Z be an uncountable Polish space. It is a classical result that if I ⊆ ℝ is any interval (proper or not), f: I → ℝ and $α < ω_{1}$ then f ○ g ∈ $B_{α} (Z)$ for every $g \in B_{α} (Z) \cap^{Z} I$ if and only if f is continuous on I, where $B_{α} (Z)$ stands for the αth class in Baire’s classification of Borel measurable functions. We shall prove that for the classes $S_{α} (Z) (α > 0)$ in Sierpiński’s classification of Borel measurable functions the analogous result holds where the condition that f is continuous is replaced by the condition that f is locally...

Convexity ranks in higher dimensions

Menachem Kojman (2000)

Fundamenta Mathematicae

Similarity:

A subset of a vector space is called countably convex if it is a countable union of convex sets. Classification of countably convex subsets of topological vector spaces is addressed in this paper. An ordinal-valued rank function ϱ is introduced to measure the complexity of local nonconvexity points in subsets of topological vector spaces. Then ϱ is used to give a necessary and sufficient condition for countable convexity of closed sets. Theorem. Suppose that S is a closed subset of a...

On elementary abelian 2-Sylow K₂ of rings of integers of certain quadratic number fields

P. E. Conner, J. Hurrelbrink (1995)

Acta Arithmetica

Similarity:

A large number of papers have contributed to determining the structure of the tame kernel $K ₂_{F}$ of algebraic number fields F. Recently, for quadratic number fields F whose discriminants have at most three odd prime divisors, 4-rank formulas for $K ₂_{F}$ have been made very explicit by Qin Hourong in terms of the indefinite quadratic form x² - 2y² (see [7], [8]). We have made a successful effort, for quadratic number fields F = ℚ (√(±p₁p₂)), to characterize in terms of positive definite binary quadratic...

Borel partitions of unity and lower Carathéodory multifunctions

S. Srivastava (1995)

Fundamenta Mathematicae

Similarity:

We prove the existence of Carathéodory selections and representations of a closed convex valued, lower Carathéodory multifunction from a set A in $A (ℰ \otimes ℬ (X))$ into a separable Banach space Y, where ℰ is a sub-σ-field of the Borel σ-field ℬ(E) of a Polish space E, X is a Polish space and A is the Suslin operation. As applications we obtain random versions of results on extensions of continuous functions and fixed points of multifunctions. Such results are useful in the study of random differential...

Gδ -sets in topological spaces and games

Winfried Just, Marion Scheepers, Juris Steprans, Paul Szeptycki (1997)

Fundamenta Mathematicae

Similarity:

Players ONE and TWO play the following game: In the nth inning ONE chooses a set $O_{n}$ from a prescribed family ℱ of subsets of a space X; TWO responds by choosing an open subset $T_{n}$ of X. The players must obey the rule that $O_{n} \subseteq O_{n + 1} \subseteq T_{n + 1} \subseteq T_{n}$ for each n. TWO wins if the intersection of TWO’s sets is equal to the union of ONE’s sets. If ONE has no winning strategy, then each element of ℱ is a $G_{δ}$ -set. To what extent is the converse true? We show that: (A) For ℱ the collection of countable subsets of X: 1....

Parametrized Cichoń's diagram and small sets

Janusz Pawlikowski, Ireneusz Recław (1995)

Fundamenta Mathematicae

Similarity:

We parametrize Cichoń’s diagram and show how cardinals from Cichoń’s diagram yield classes of small sets of reals. For instance, we show that there exist subsets N and M of $w^{w} \times 2^{w}$ and continuous functions $e, f : w^{w} \to w^{w}$ such that • N is $G_{δ}$ and $N_{x} : x \in w^{w}$ , the collection of all vertical sections of N, is a basis for the ideal of measure zero subsets of $2^{w}$ ; • M is $F_{σ}$ and $M_{x} : x \in w^{w}$ is a basis for the ideal of meager subsets of $2^{w}$ ; • $\forall x, y N_{e (x)} \subseteq N_{y} \Rightarrow M_{x} \subseteq M_{f (y)}$ . From this we derive that for a separable metric space X, •if for all Borel (resp. $G_{δ}$ ) sets...

Ergodicity for piecewise smooth cocycles over toral rotations

Anzelm Iwanik (1998)

Fundamenta Mathematicae

Similarity:

Let α be an ergodic rotation of the d-torus $𝕋^{d} = ℝ^{d} / ℤ^{d}$ . For any piecewise smooth function $f : 𝕋^{d} \to ℝ$ with sufficiently regular pieces the unitary operator Vh(x) = exp(2π if(x))h(x + α) acting on $L^{2} (𝕋^{d})$ is shown to have a continuous non-Dirichlet spectrum if the gradient of f has nonzero integral. In particular, the resulting skew product $S_{f} : 𝕋^{d + 1} \to 𝕋^{d + 1}$ must be ergodic. If in addition α is sufficiently well approximated by rational vectors and f is represented by a linear function with noninteger coefficients then the spectrum...

If it looks and smells like the reals...

Franklin Tall (2000)

Fundamenta Mathematicae

Similarity:

Given a topological space ⟨X,T⟩ ∈ M, an elementary submodel of set theory, we define $X_{M}$ to be X ∩ M with topology generated by U ∩ M:U ∈ T ∩ M. We prove that if $X_{M}$ is homeomorphic to ℝ, then $X = X_{M}$ . The same holds for arbitrary locally compact uncountable separable metric spaces, but is independent of ZFC if “local compactness” is omitted.

The Dugundji extension property can fail in ωµ -metrizable spaces

Ian Stares, Jerry Vaughan (1996)

Fundamenta Mathematicae

Similarity:

We show that there exist $ω_{μ}$ -metrizable spaces which do not have the Dugundji extension property ( $2^{ω_{1}}$ with the countable box topology is such a space). This answers a question posed by the second author in 1972, and shows that certain results of van Douwen and Borges are false.

The dimension of X^n where X is a separable metric space

John Kulesza (1996)

Fundamenta Mathematicae

Similarity:

For a separable metric space X, we consider possibilities for the sequence $S (X) = d_{n} : n \in ℕ$ where $d_{n} = d i m X^{n}$ . In Section 1, a general method for producing examples is given which can be used to realize many of the possible sequences. For example, there is $X_{n}$ such that $S (X_{n}) = n, n + 1, n + 2, . . .$ , $Y_{n}$ , for n >1, such that $S (Y_{n}) = n, n + 1, n + 2, n + 2, n + 2, . . .$ , and Z such that S(Z) = 4, 4, 6, 6, 7, 8, 9,.... In Section 2, a subset X of $ℝ^{2}$ is shown to exist which satisfies $1 = d i m X = d i m X^{2}$ and $d i m X^{3} = 2$ .

Strong Fubini properties of ideals

Ireneusz Recław, Piotr Zakrzewski (1999)

Fundamenta Mathematicae

Similarity:

Let I and J be σ-ideals on Polish spaces X and Y, respectively. We say that the pair ⟨I,J⟩ has the Strong Fubini Property (SFP) if for every set D ⊆ X× Y with measurable sections, if all its sections $D_{x} = y : ⟨ x, y ⟩ \in D$ are in J, then the sections $D^{y} = x : ⟨ x, y ⟩ \in D$ are in I for every y outside a set from J (“measurable" means being a member of the σ-algebra of Borel sets modulo sets from the respective σ-ideal). We study the question of which pairs of σ-ideals have the Strong Fubini Property. Since CH excludes this...

Rigid $ℵ_{ε}$ -saturated models of superstable theories

Ziv Shami, Saharon Shelah (1999)

Fundamenta Mathematicae

Similarity:

In a countable superstable NDOP theory, the existence of a rigid $ﬡ_{ε}$ -saturated model implies the existence of $2^{λ}$ rigid $ﬡ_{ε}$ -saturated models of power λ for every $λ > 2^{ﬡ_{0}}$ .

Normal numbers and subsets of N with given densities

Haseo Ki, Tom Linton (1994)

Fundamenta Mathematicae

Similarity:

For X ⊆ [0,1], let $D_{X}$ denote the collection of subsets of ℕ whose densities lie in X. Given the exact location of X in the Borel or difference hierarchy, we exhibit the exact location of $D_{X}$ . For α ≥ 3, X is properly $D_{ξ} (Π_{α}^{0})$ iff $D_{X}$ is properly $D_{ξ} (Π_{1 + α}^{0})$ . We also show that for every nonempty set X ⊆[0,1], $D_{X}$ is $Π_{3}^{0}$ -hard. For each nonempty $Π_{2}^{0}$ set X ⊆ [0,1], in particular for X = x, $D_{X}$ is $Π_{3}^{0}$ -complete. For each n ≥ 2, the collection of real numbers that are normal or simply normal to base n is $Π_{3}^{0}$ -complete. Moreover,...

On ergodicity of some cylinder flows

Krzysztof Frączek (2000)

Fundamenta Mathematicae

Similarity:

We study ergodicity of cylinder flows of the form $T_{f} : T \times ℝ \to T \times ℝ$ , $T_{f} (x, y) = (x + α, y + f (x))$ , where $f : T \to ℝ$ is a measurable cocycle with zero integral. We show a new class of smooth ergodic cocycles. Let k be a natural number and let f be a function such that $D^{k} f$ is piecewise absolutely continuous (but not continuous) with zero sum of jumps. We show that if the points of discontinuity of $D^{k} f$ have some good properties, then $T_{f}$ is ergodic. Moreover, there exists $ε_{f} > 0$ such that if $v : T \to ℝ$ is a function with zero integral such that $D^{k} v$ is of bounded...

Co-H-structures on equivariant Moore spaces

Martin Arkowitz, Marek Golasiński (1994)

Fundamenta Mathematicae

Similarity:

Let G be a finite group, $𝕆_{G}$ the category of canonical orbits of G and $A : 𝕆_{G} \to 𝔸$ b a contravariant functor to the category of abelian groups. We investigate the set of G-homotopy classes of comultiplications of a Moore G-space of type (A,n) where n ≥ 2 and prove that if such a Moore G-space X is a cogroup, then it has a unique comultiplication if dim X < 2n - 1. If dim X = 2n-1, then the set of comultiplications of X is in one-one correspondence with $E x t^{n - 1} (A, A \otimes A)$ . Then the case $G = ℤ_{p^{k}}$ leads to an example of...

Displaying similar documents to “Errata to “The Dirichlet series of ζ ( s ) ζ α ( s + 1 ) f ( s + 1 ) : On an error term associated with its coefficients” (Acta Arith. 75 (1996), 39-69)”

Displaying similar documents to “Errata to “The Dirichlet series of $ζ (s) ζ^{α} (s + 1) f (s + 1)$ : On an error term associated with its coefficients” (Acta Arith. 75 (1996), 39-69)”