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

Remarks on WDC sets

Dušan Pokorný, Luděk Zajíček (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We study WDC sets, which form a substantial generalization of sets with positive reach and still admit the definition of curvature measures. Main results concern WDC sets $A \subset ℝ^{2}$ . We prove that, for such $A$ , the distance function $d_{A} = dist (\cdot, A)$ is a “DC aura” for $A$ , which implies that each closed locally WDC set in $ℝ^{2}$ is a WDC set. Another consequence is that compact WDC subsets of $ℝ^{2}$ form a Borel subset of the space of all compact sets.

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

About $w c s$ -covers and $w c s^{*}$ -networks on the Vietoris hyperspace $ℱ (X)$

Luong Quoc Tuyen, Ong V. Tuyen, Phan D. Tuan, Nguzen X. Truc (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We study some generalized metric properties on the hyperspace $ℱ (X)$ of finite subsets of a space $X$ endowed with the Vietoris topology. We prove that $X$ has a point-star network consisting of (countable) $w c s$ -covers if and only if so does $ℱ (X)$ . Moreover, $X$ has a sequence of $w c s$ -covers with property $(P)$ which is a point-star network if and only if so does $ℱ (X)$ , where $(P)$ is one of the following properties: point-finite, point-countable, compact-finite, compact-countable, locally finite, locally countable....

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.

On almost everywhere differentiability of the metric projection on closed sets in $l^{p} (ℝ^{n})$ , $2 < p < \infty$

Tord Sjödin (2018)

Czechoslovak Mathematical Journal

Similarity:

Let $F$ be a closed subset of $ℝ^{n}$ and let $P (x)$ denote the metric projection (closest point mapping) of $x \in ℝ^{n}$ onto $F$ in $l^{p}$ -norm. A classical result of Asplund states that $P$ is (Fréchet) differentiable almost everywhere (a.e.) in $ℝ^{n}$ in the Euclidean case $p = 2$ . We consider the case $2 < p < \infty$ and prove that the $i$ th component $P_{i} (x)$ of $P (x)$ is differentiable a.e. if $P_{i} (x) \neq x_{i}$ and satisfies Hölder condition of order $1 / (p - 1)$ if $P_{i} (x) = x_{i}$ .

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.

Monotonically normal $e$ -separable spaces may not be perfect

John E. Porter (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A topological space $X$ is said to be $e$ -separable if $X$ has a $σ$ -closed-discrete dense subset. Recently, G. Gruenhage and D. Lutzer showed that $e$ -separable PIGO spaces are perfect and asked if $e$ -separable monotonically normal spaces are perfect in general. The main purpose of this article is to provide examples of $e$ -separable monotonically normal spaces which are not perfect. Extremely normal $e$ -separable spaces are shown to be stratifiable.

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.

On perfect powers in $k$ -generalized Pell sequence

Zafer Şiar, Refik Keskin, Elif Segah Öztaş (2023)

Mathematica Bohemica

Similarity:

Let $k \geq 2$ and let ${(P_{n}^{(k)})}_{n \geq 2 - k}$ be the $k$ -generalized Pell sequence defined by $P_{n}^{(k)} = 2 P_{n - 1}^{(k)} + P_{n - 2}^{(k)} + \dots + P_{n - k}^{(k)}$ for $n \geq 2$ with initial conditions $P_{- (k - 2)}^{(k)} = P_{- (k - 3)}^{(k)} = \dots = P_{- 1}^{(k)} = P_{0}^{(k)} = 0, P_{1}^{(k)} = 1 .$ In this study, we handle the equation $P_{n}^{(k)} = y^{m}$ in positive integers $n$ , $m$ , $y$ , $k$ such that $k, y \geq 2,$ and give an upper bound on $n .$ Also, we will show that the equation $P_{n}^{(k)} = y^{m}$ with $2 \leq y \leq 1000$ has only one solution given by $P_{7}^{(2)} = 13^{2} .$

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”