The $G_δ$-topology and K-analytic spaces without perfect compact sets

Jose L. Blasco

Displaying similar documents to “The $G_{δ}$ -topology and K-analytic spaces without perfect compact sets”

The Lindelöf property and σ-fragmentability

B. Cascales, I. Namioka (2003)

Fundamenta Mathematicae

Similarity:

In the previous paper, we, together with J. Orihuela, showed that a compact subset X of the product space ${[- 1, 1]}^{D}$ is fragmented by the uniform metric if and only if X is Lindelöf with respect to the topology γ(D) of uniform convergence on countable subsets of D. In the present paper we generalize the previous result to the case where X is K-analytic. Stated more precisely, a K-analytic subspace X of ${[- 1, 1]}^{D}$ is σ-fragmented by the uniform metric if and only if (X,γ(D)) is Lindelöf, and if this is...

Perfect set properties in models of ZF

Carlos Augusto Di Prisco, Franklin C. Galindo (2010)

Fundamenta Mathematicae

Similarity:

We study several perfect set properties of the Baire space which follow from the Ramsey property $ω \to {(ω)}^{ω}$ . In particular we present some independence results which complete the picture of how these perfect set properties relate to each other.

Perfect set theorems

Otmar Spinas (2008)

Fundamenta Mathematicae

Similarity:

We study splitting, infinitely often equal (ioe) and refining families from the descriptive point of view, i.e. we try to characterize closed, Borel or analytic such families by proving perfect set theorems. We succeed for $G_{δ}$ hereditary splitting families and for analytic countably ioe families. We construct several examples of small closed ioe and refining families.

The structure of Eberlein, uniformly Eberlein and Talagrand compact spaces in Σ( $R^{r}$ )

V. Farmaki (1987)

Fundamenta Mathematicae

Similarity:

Finite-to-one continuous s-covering mappings

Alexey Ostrovsky (2007)

Fundamenta Mathematicae

Similarity:

The following theorem is proved. Let f: X → Y be a finite-to-one map such that the restriction $f | f^{- 1} (S)$ is an inductively perfect map for every countable compact set S ⊂ Y. Then Y is a countable union of closed subsets $Y_{i}$ such that every restriction $f | f^{- 1} (Y_{i})$ is an inductively perfect map.

Factors of a perfect square

Tsz Ho Chan (2014)

Acta Arithmetica

Similarity:

We consider a conjecture of Erdős and Rosenfeld and a conjecture of Ruzsa when the number is a perfect square. In particular, we show that every perfect square n can have at most five divisors between $\sqrt n - ∜ n {(l o g n)}^{1 / 7}$ and $\sqrt n + ∜ n {(l o g n)}^{1 / 7}$ .

Separately analytic functions and envelopes of holomorphy of some lower dimensional subsets of $C^{n}$

J. Siciak (1969)

Annales Polonici Mathematici

Similarity:

Consistency of the Silver dichotomy in generalised Baire space

Sy-David Friedman (2014)

Fundamenta Mathematicae

Similarity:

Silver’s fundamental dichotomy in the classical theory of Borel reducibility states that any Borel (or even co-analytic) equivalence relation with uncountably many classes has a perfect set of classes. The natural generalisation of this to the generalised Baire space $κ^{κ}$ for a regular uncountable κ fails in Gödel’s L, even for κ-Borel equivalence relations. We show here that Silver’s dichotomy for κ-Borel equivalence relations in $κ^{κ}$ for uncountable regular κ is however consistent (with...

Radii of p-valence of certain analytic functions of order $α$ with negative coefficients

M. K. Aouf (1989)

Matematički Vesnik

Similarity:

The analytic $α$ -capacity and the Cauchy integral

K. Adžievski (1986)

Matematički Vesnik

Similarity:

Less than $2^{ω}$ many translates of a compact nullset may cover the real line

Márton Elekes, Juris Steprāns (2004)

Fundamenta Mathematicae

Similarity:

We answer a question of Darji and Keleti by proving that there exists a compact set C₀ ⊂ ℝ of measure zero such that for every perfect set P ⊂ ℝ there exists x ∈ ℝ such that (C₀+x) ∩ P is uncountable. Using this C₀ we answer a question of Gruenhage by showing that it is consistent with ZFC (as it follows e.g. from $c o f () < 2^{ω}$ ) that less than $2^{ω}$ many translates of a compact set of measure zero can cover ℝ.

Rudin-like sets and hereditary families of compact sets

Étienne Matheron, Miroslav Zelený (2005)

Fundamenta Mathematicae

Similarity:

We show that a comeager Π₁¹ hereditary family of compact sets must have a dense $G_{δ}$ subfamily which is also hereditary. Using this, we prove an “abstract” result which implies the existence of independent ℳ ₀-sets, the meagerness of ₀-sets with the property of Baire, and generalizations of some classical results of Mycielski. Finally, we also give some natural examples of true $F_{σ δ}$ sets.

On the group of real analytic diffeomorphisms

Takashi Tsuboi (2009)

Annales scientifiques de l'École Normale Supérieure

Similarity:

The group of real analytic diffeomorphisms of a real analytic manifold is a rich group. It is dense in the group of smooth diffeomorphisms. Herman showed that for the $n$ -dimensional torus, its identity component is a simple group. For $U (1)$ fibered manifolds, for manifolds admitting special semi-free $U (1)$ actions and for 2- or 3-dimensional manifolds with nontrivial $U (1)$ actions, we show that the identity component of the group of real analytic diffeomorphisms is a perfect group.

Possibly there is no uniformly completely Ramsey null set of size $2^{ω}$

Andrzej Nowik (2002)

Colloquium Mathematicae

Similarity:

We show that under the axiom $C P A_{c u b e}$ there is no uniformly completely Ramsey null set of size $2^{ω}$ . In particular, this holds in the iterated perfect set model. This answers a question of U. Darji.

On the closure of Baire classes under transfinite convergences

Tamás Mátrai (2004)

Fundamenta Mathematicae

Similarity:

Let X be a Polish space and Y be a separable metric space. For a fixed ξ < ω₁, consider a family $f_{α} : X \to Y (α < ω ₁)$ of Baire-ξ functions. Answering a question of Tomasz Natkaniec, we show that if for a function f: X → Y, the set $α < ω ₁ : f_{α} (x) \neq f (x)$ is finite for every x ∈ X, then f itself is necessarily Baire-ξ. The proof is based on a characterization of $Σ ⁰_{η}$ sets which can be interesting in its own right.

Measure preserving analytic diffeomorphisms of countable dense sets in $C^{n}$ and $R^{n}$

Michał Morayne (1987)

Colloquium Mathematicae

Similarity:

Functions of Baire class one

Denny H. Leung, Wee-Kee Tang (2003)

Fundamenta Mathematicae

Similarity:

Let K be a compact metric space. A real-valued function on K is said to be of Baire class one (Baire-1) if it is the pointwise limit of a sequence of continuous functions. We study two well known ordinal indices of Baire-1 functions, the oscillation index β and the convergence index γ. It is shown that these two indices are fully compatible in the following sense: a Baire-1 function f satisfies $β (f) \leq ω^{ξ ₁} \cdot ω^{ξ ₂}$ for some countable ordinals ξ₁ and ξ₂ if and only if there exists a sequence (fₙ) of Baire-1...

On the complexity of subspaces of $S_{ω}$

Carlos Uzcátegui (2003)

Fundamenta Mathematicae

Similarity:

Let (X,τ) be a countable topological space. We say that τ is an analytic (resp. Borel) topology if τ as a subset of the Cantor set $2^{X}$ (via characteristic functions) is an analytic (resp. Borel) set. For example, the topology of the Arkhangel’skiĭ-Franklin space $S_{ω}$ is $F_{σ δ}$ . In this paper we study the complexity, in the sense of the Borel hierarchy, of subspaces of $S_{ω}$ . We show that $S_{ω}$ has subspaces with topologies of arbitrarily high Borel rank and it also has subspaces with a non-Borel topology....

Local analytic solutions of the functional equation $Φ (z) = H (z; Φ [f_{1} (z)], . . ., Φ [f_{m} (z)])$

Wilhelmina Smajdor (1970)

Annales Polonici Mathematici

Similarity:

On the index of an odd perfect number

Feng-Juan Chen, Yong-Gao Chen (2014)

Colloquium Mathematicae

Similarity:

Suppose that N is an odd perfect number and $q^{α}$ is a prime power with $q^{α} | | N$ . Define the index $m = σ (N / q^{α}) / q^{α}$ . We prove that m cannot take the form $p^{2 u}$ , where u is a positive integer and 2u+1 is composite. We also prove that, if q is the Euler prime, then m cannot take any of the 30 forms q₁, q₁², q₁³, q₁⁴, q₁⁵, q₁⁶, q₁⁷, q₁⁸, q₁q₂, q₁²q₂, q₁³q₂, q₁⁴ q₂, q₁⁵q₂, q₁²q₂², q₁³q₂², q₁⁴q₂², q₁q₂q₃, q₁²q₂q₃, q₁³q₂q₃, q₁⁴q₂q₃, q₁²q₂²q₃, q₁²q₂²q₃², q₁q₂q₃q₄, q₁²q₂q₃q₄, q₁³q₂q₃q₄, q₁²q₂²q₃q₄, q₁q₂q₃q₄q₅, q₁²q₂q₃q₄q₅,...

Decomposing Borel functions using the Shore-Slaman join theorem

Takayuki Kihara (2015)

Fundamenta Mathematicae

Similarity:

Jayne and Rogers proved that every function from an analytic space into a separable metrizable space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each $F_{σ}$ set under that function is again $F_{σ}$ . Many researchers conjectured that the Jayne-Rogers theorem can be generalized to all finite levels of Borel functions. In this paper, by using the Shore-Slaman join theorem on the Turing degrees, we show the following variant of the Jayne-Rogers...

On certain subclasses of analytic functions associated with the Carlson–Shaffer operator

Jagannath Patel, Ashok Kumar Sahoo (2014)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

The object of the present paper is to solve Fekete-Szego problem and determine the sharp upper bound to the second Hankel determinant for a certain class $R^{λ} (a, c, A, B)$ of analytic functions in the unit disk. We also investigate several majorization properties for functions belonging to a subclass ${\tilde{R}}^{λ} (a, c, A, B)$ of $R^{λ} (a, c, A, B)$ and related function classes. Relevant connections of the main results obtained here with those given by earlier workers on the subject are pointed out.

$F_{σ}$ -mappings and the invariance of absolute Borel classes

Petr Holický, Jiří Spurný (2004)

Fundamenta Mathematicae

Similarity:

It is proved that $F_{σ}$ -mappings preserve absolute Borel classes, which improves results of R. W. Hansell, J. E. Jayne and C. A. Rogers. The proof is based on the fact that any $F_{σ}$ -mapping f: X → Y of an absolute Suslin metric space X onto an absolute Suslin metric space Y becomes a piecewise perfect mapping when restricted to a suitable $F_{σ}$ -set $X_{\infty} \subset X$ satisfying $f (X_{\infty}) = Y$ .

A hit-and-miss topology for $2^{X}$ , Cₙ(X) and Fₙ(X)

Benjamín Espinoza, Verónica Martínez-de-la-Vega, Jorge M. Martínez-Montejano (2009)

Colloquium Mathematicae

Similarity:

A hit-and-miss topology ( $τ_{H M}$ ) is defined for the hyperspaces $2^{X}$ , Cₙ(X) and Fₙ(X) of a continuum X. We study the relationship between $τ_{H M}$ and the Vietoris topology and we find conditions on X for which these topologies are equivalent.

Displaying similar documents to “The G δ -topology and K-analytic spaces without perfect compact sets”

Displaying similar documents to “The $G_{δ}$ -topology and K-analytic spaces without perfect compact sets”