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

Petr Holický; Jiří Spurný

Displaying similar documents to “ $F_{σ}$ -mappings and the invariance of absolute Borel classes”

Infinite-Dimensionality modulo Absolute Borel Classes

Vitalij Chatyrko, Yasunao Hattori (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

For each ordinal 1 ≤ α < ω₁ we present separable metrizable spaces $X_{α}$ , $Y_{α}$ and $Z_{α}$ such that (i) $f X_{α}, f Y_{α}, f Z_{α} = ω ₀$ , where f is either trdef or ₀-trsur, (ii) $A (α) - t r i n d X_{α} = \infty$ and $M (α) - t r i n d X_{α} = - 1$ , (iii) $A (α) - t r i n d Y_{α} = - 1$ and $M (α) - t r i n d Y_{α} = \infty$ , and (iv) $A (α) - t r i n d Z_{α} = M (α) - t r i n d Z_{α} = \infty$ and $A (α + 1) \cap M (α + 1) - t r i n d Z_{α} = - 1$ . We also show that there exists no separable metrizable space $W_{α}$ with $A (α) - t r i n d W_{α} \neq \infty$ , $M (α) - t r i n d W_{α} \neq \infty$ and $A (α) \cap M (α) - t r i n d W_{α} = \infty$ , where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

Borel classes of uniformizations of sets with large sections

Petr Holický (2010)

Fundamenta Mathematicae

Similarity:

We give several refinements of known theorems on Borel uniformizations of sets with “large sections”. In particular, we show that a set B ⊂ [0,1] × [0,1] which belongs to $Σ ⁰_{α}$ , α ≥ 2, and which has all “vertical” sections of positive Lebesgue measure, has a $Π ⁰_{α}$ uniformization which is the graph of a $Σ ⁰_{α}$ -measurable mapping. We get a similar result for sets with nonmeager sections. As a corollary we derive an improvement of Srivastava’s theorem on uniformizations for Borel sets with $G_{δ}$ sections. ...

Failure of the Factor Theorem for Borel pre-Hilbert spaces

Tadeusz Dobrowolski, Witold Marciszewski (2002)

Fundamenta Mathematicae

Similarity:

In every infinite-dimensional Fréchet space X, we construct a linear subspace E such that E is an $F_{σ δ σ}$ -subset of X and contains a retract R so that $R \times E^{ω}$ is not homeomorphic to $E^{ω}$ . This shows that Toruńczyk’s Factor Theorem fails in the Borel case.

Hyperspaces of Finite Sets in Universal Spaces for Absolute Borel Classes

Kotaro Mine, Katsuro Sakai, Masato Yaguchi (2005)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

By Fin(X) (resp. $F i n^{k} (X)$ ), we denote the hyperspace of all non-empty finite subsets of X (resp. consisting of at most k points) with the Vietoris topology. Let ℓ₂(τ) be the Hilbert space with weight τ and $ℓ ₂^{f} (τ)$ the linear span of the canonical orthonormal basis of ℓ₂(τ). It is shown that if $E = ℓ ₂^{f} (τ)$ or E is an absorbing set in ℓ₂(τ) for one of the absolute Borel classes $_{α} (τ)$ and $_{α} (τ)$ of weight ≤ τ (α > 0) then Fin(E) and each $F i n^{k} (E)$ are homeomorphic to E. More generally, if X is a connected E-manifold then Fin(X)...

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

Diagonals of separately continuous functions of $n$ variables with values in strongly $σ$ -metrizable spaces

Olena Karlova, Volodymyr Mykhaylyuk, Oleksandr Sobchuk (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove the result on Baire classification of mappings $f : X \times Y \to Z$ which are continuous with respect to the first variable and belongs to a Baire class with respect to the second one, where $X$ is a $P P$ -space, $Y$ is a topological space and $Z$ is a strongly $σ$ -metrizable space with additional properties. We show that for any topological space $X$ , special equiconnected space $Z$ and a mapping $g : X \to Z$ of the $(n - 1)$ -th Baire class there exists a strongly separately continuous mapping $f : X^{n} \to Z$ with the diagonal $g$ . For wide classes...

Complete pairs of coanalytic sets

Jean Saint Raymond (2007)

Fundamenta Mathematicae

Similarity:

Let X be a Polish space, and let C₀ and C₁ be disjoint coanalytic subsets of X. The pair (C₀,C₁) is said to be complete if for every pair (D₀,D₁) of disjoint coanalytic subsets of $ω^{ω}$ there exists a continuous function $f : ω^{ω} \to X$ such that $f^{- 1} (C ₀) = D ₀$ and $f^{- 1} (C ₁) = D ₁$ . We give several explicit examples of complete pairs of coanalytic sets.

Effective decomposition of σ-continuous Borel functions

Gabriel Debs (2014)

Fundamenta Mathematicae

Similarity:

We prove that if a Δ¹₁ function f with Σ¹₁ domain X is σ-continuous then one can find a Δ¹₁ covering ${(A ₙ)}_{n \in ω}$ of X such that $f_{| A ₙ}$ is continuous for all n. This is an effective version of a recent result by Pawlikowski and Sabok, generalizing an earlier result of Solecki.

Selivanovski hard sets are hard

Janusz Pawlikowski (2015)

Fundamenta Mathematicae

Similarity:

Let $H \subseteq Z \subseteq 2^{ω}$ . For n ≥ 2, we prove that if Selivanovski measurable functions from $2^{ω}$ to Z give as preimages of H all Σₙ¹ subsets of $2^{ω}$ , then so do continuous injections.

On a problem concerning quasianalytic local rings

Hassan Sfouli (2014)

Annales Polonici Mathematici

Similarity:

Let (ₙ)ₙ be a quasianalytic differentiable system. Let m ∈ ℕ. We consider the following problem: let $f \in_{m}$ and f̂ be its Taylor series at $0 \in ℝ^{m}$ . Split the set $ℕ^{m}$ of exponents into two disjoint subsets A and B, $ℕ^{m} = A \cup B$ , and decompose the formal series f̂ into the sum of two formal series G and H, supported by A and B, respectively. Do there exist $g, h \in_{m}$ with Taylor series at zero G and H, respectively? The main result of this paper is the following: if we have a positive answer to the above problem for some...

An irrational problem

Franklin D. Tall (2002)

Fundamenta Mathematicae

Similarity:

Given a topological space ⟨X,⟩ ∈ M, an elementary submodel of set theory, we define $X_{M}$ to be X ∩ M with topology generated by $U \cap M : U \in \cap M$ . Suppose $X_{M}$ is homeomorphic to the irrationals; must $X = X_{M}$ ? We have partial results. We also answer a question of Gruenhage by showing that if $X_{M}$ is homeomorphic to the “Long Cantor Set”, then $X = X_{M}$ .

A characterization of complex $L_{1}$ -preduals via a complex barycentric mapping

Petr Petráček, Jiří Spurný (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We provide a complex version of a theorem due to Bednar and Lacey characterizing real $L_{1}$ -preduals. Hence we prove a characterization of complex $L_{1}$ -preduals via a complex barycentric mapping.

Equidistribution towards the Green current

Vincent Guedj (2003)

Bulletin de la Société Mathématique de France

Similarity:

Let $f : ℙ^{k} \to ℙ^{k}$ be a dominating rational mapping of first algebraic degree $λ \geq 2$ . If $S$ is a positive closed current of bidegree $(1, 1)$ on $ℙ^{k}$ with zero Lelong numbers, we show – under a natural dynamical assumption – that the pullbacks $λ^{- n} {(f^{n})}^{*} S$ converge to the Green current $T_{f}$ . For some families of mappings, we get finer convergence results which allow us to characterize all $f^{*}$ -invariant currents.

$Σ_{s}$ -products revisited

Reynaldo Rojas-Hernández (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that any $Σ_{s}$ -product of at most $𝔠$ -many $L Σ (\leq ω)$ -spaces has the $L Σ (\leq ω)$ -property. This result generalizes some known results about $L Σ (\leq ω)$ -spaces. On the other hand, we prove that every $Σ_{s}$ -product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every $Σ_{s}$ -product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

Spaces with property $(D C (ω_{1}))$

Wei-Feng Xuan, Wei-Xue Shi (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that if $X$ is a first countable space with property $(D C (ω_{1}))$ and with a $G_{δ}$ -diagonal then the cardinality of $X$ is at most $𝔠$ . We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$ .

General position properties in fiberwise geometric topology

Taras Banakh, Vesko Valov

Similarity:

General position properties play a crucial role in geometric and infinite-dimensional topologies. Often such properties provide convenient tools for establishing various universality results. One of well-known general position properties is DDⁿ, the property of disjoint n-cells. Each Polish $L C^{n - 1}$ -space X possessing DDⁿ contains a topological copy of each n-dimensional compact metric space. This fact implies, in particular, the classical Lefschetz-Menger-Nöbeling-Pontryagin-Tolstova embedding...

On strong measure zero subsets of $^{κ} 2$

Aapo Halko, Saharon Shelah (2001)

Fundamenta Mathematicae

Similarity:

We study the generalized Cantor space $^{κ} 2$ and the generalized Baire space $^{κ} κ$ as analogues of the classical Cantor and Baire spaces. We equip $^{κ} κ$ with the topology where a basic neighborhood of a point η is the set ν: (∀j < i)(ν(j) = η(j)), where i < κ. We define the concept of a strong measure zero set of $^{κ} 2$ . We prove for successor $κ = κ^{< κ}$ that the ideal of strong measure zero sets of $^{κ} 2$ is $_{κ}$ -additive, where $_{κ}$ is the size of the smallest unbounded family in $^{κ} κ$ , and that the generalized Borel...

Variations on a question concerning the degrees of divisors of $x^{n} - 1$

Lola Thompson (2014)

Journal de Théorie des Nombres de Bordeaux

Similarity:

In this paper, we examine a natural question concerning the divisors of the polynomial $x^{n} - 1$ : “How often does $x^{n} - 1$ have a divisor of every degree between $1$ and $n$ ?” In a previous paper, we considered the situation when $x^{n} - 1$ is factored in $ℤ [x]$ . In this paper, we replace $ℤ [x]$ with $𝔽_{p} [x]$ , where $p$ is an arbitrary-but-fixed prime. We also consider those $n$ where this condition holds for all $p$ .

On a result by Clunie and Sheil-Small

Dariusz Partyka, Ken-ichi Sakan (2012)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

In 1984 J. Clunie and T. Sheil-Small proved ([2, Corollary 5.8]) that for any complex-valued and sense-preserving injective harmonic mapping $F$ in the unit disk $𝔻$ , if $F (𝔻)$ is a convex domain, then the inequality $| G (z_{2}) - G (z_{1}) | < | H (z_{2}) - H (z_{1}) |$ holds for all distinct points $z_{1}, z_{2} \in 𝔻$ . Here $H$ and $G$ are holomorphic mappings in $𝔻$ determined by $F = H + \bar{G}$ , up to a constant function. We extend this inequality by replacing the unit disk by an arbitrary nonempty domain $Ω$ in $ℂ$ and improve it provided $F$ is additionally a quasiconformal mapping...

Hardness of embedding simplicial complexes in $ℝ^{d}$

Jiří Matoušek, Martin Tancer, Uli Wagner (2011)

Journal of the European Mathematical Society

Similarity:

Let ${𝙴𝙼𝙱𝙴𝙳}_{k \to d}$ be the following algorithmic problem: Given a ﬁnite simplicial complex $K$ of dimension at most $k$ , does there exist a (piecewise linear) embedding of $K$ into $ℝ^{d}$ ? Known results easily imply polynomiality of ${𝙴𝙼𝙱𝙴𝙳}_{k \to 2}$ ( $k = 1, 2$ ; the case $k = 1, d = 2$ is graph planarity) and of ${𝙴𝙼𝙱𝙴𝙳}_{k \to 2 k}$ for all $k \geq 3$ . We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${𝙴𝙼𝙱𝙴𝙳}_{d \to d}$ and ${𝙴𝙼𝙱𝙴𝙳}_{(d - 1) \to d}$ are undecidable for each $_{d} \geq 5$ . Our main result is NP-hardness of ${𝙴𝙼𝙱𝙴𝙳}_{2 \to 4}$ and, more generally, of ${𝙴𝙼𝙱𝙴𝙳}_{k \to d}$ for all...

Convolution operators with anisotropically homogeneous measures on $ℝ^{2 n}$ with n-dimensional support

E. Ferreyra, T. Godoy, M. Urciuolo (2002)

Colloquium Mathematicae

Similarity:

Let $α_{i}, β_{i} > 0$ , 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t • x = (t^{α ₁} x ₁, . . ., t^{α ₙ} x ₙ)$ , $t \circ x = (t^{β ₁} x ₁, . . ., t^{β ₙ} x ₙ)$ and $| | x | | = \sum_{i = 1}^{n} {| x_{i} |}^{1 / α_{i}}$ . Let φ₁,...,φₙ be real functions in $C^{\infty} (ℝ ⁿ - 0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on $ℝ^{2 n}$ given by $μ (E) = \int_{ℝ ⁿ} χ_{E} {(x, φ (x)) | | x | |}^{γ - α} d x$ , where $α = \sum_{i = 1}^{n} α_{i}$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{μ} f = μ * f$ and let $| | T_{μ} {| |}_{p, q}$ be the operator norm of $T_{μ}$ from $L^{p} (ℝ^{2 n})$ into $L^{q} (ℝ^{2 n})$ , where the $L^{p}$ spaces are taken with respect to the Lebesgue measure. The type set $E_{μ}$ is defined by $E_{μ} = (1 / p, 1 / q) : | | T_{μ} {| |}_{p, q} < \infty, 1 \leq p, q \leq \infty$ . In the case $α_{i} \neq β_{k}$ for 1 ≤ i,k ≤ n we characterize the...

On operators from $ℓ_{s}$ to $ℓ_{p} \otimes ̂ ℓ_{q}$ or to $ℓ_{p} \hat{\otimes ̂} ℓ_{q}$

Christian Samuel (2010)

Colloquium Mathematicae

Similarity:

We show that every operator from $ℓ_{s}$ to $ℓ_{p} \otimes ̂ ℓ_{q}$ is compact when 1 ≤ p,q < s and that every operator from $ℓ_{s}$ to $ℓ_{p} \hat{\otimes ̂} ℓ_{q}$ is compact when 1/p + 1/q > 1 + 1/s.

Displaying similar documents to “ F σ -mappings and the invariance of absolute Borel classes”

Displaying similar documents to “ $F_{σ}$ -mappings and the invariance of absolute Borel classes”