Filter descriptive classes of Borel functions

Gabriel Debs; Jean Saint Raymond

Displaying similar documents to “Filter descriptive classes of Borel functions”

Filter factors of truncated TLS regularization with multiple observations

Iveta Hnětynková, Martin Plešinger, Jana Žáková (2017)

Applications of Mathematics

Similarity:

The total least squares (TLS) and truncated TLS (T-TLS) methods are widely known linear data fitting approaches, often used also in the context of very ill-conditioned, rank-deficient, or ill-posed problems. Regularization properties of T-TLS applied to linear approximation problems $A x \approx b$ were analyzed by Fierro, Golub, Hansen, and O’Leary (1997) through the so-called filter factors allowing to represent the solution in terms of a filtered pseudoinverse of $A$ applied to $b$ . This paper focuses...

Guessing clubs in the generalized club filter

Bernhard König, Paul Larson, Yasuo Yoshinobu (2007)

Fundamenta Mathematicae

Similarity:

We present principles for guessing clubs in the generalized club filter on $_{κ} λ$ . These principles are shown to be weaker than classical diamond principles but often serve as sufficient substitutes. One application is a new construction of a λ⁺-Suslin-tree using assumptions different from previous constructions. The other application partly solves open problems regarding the cofinality of reflection points for stationary subsets of ${[λ]}^{ℵ ₀}$ .

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

$P_{λ}$ -sets and skeletal mappings

Aleksander Błaszczyk, Anna Brzeska (2013)

Colloquium Mathematicae

Similarity:

We prove that if the topology on the set Seq of all finite sequences of natural numbers is determined by $P_{λ}$ -filters and λ ≤ , then Seq is a $P_{λ}$ -set in its Čech-Stone compactification. This improves some results of Simon and of Juhász and Szymański. As a corollary we obtain a generalization of a result of Burke concerning skeletal maps and we partially answer a question of his.

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

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

Cardinalities of DCCC normal spaces with a rank 2-diagonal

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

Mathematica Bohemica

Similarity:

A topological space $X$ has a rank 2-diagonal if there exists a diagonal sequence on $X$ of rank $2$ , that is, there is a countable family ${𝒰_{n} : n \in ω}$ of open covers of $X$ such that for each $x \in X$ , ${x} = ⋂ {{St}^{2} (x, 𝒰_{n}) : n \in ω}$ . We say that a space $X$ satisfies the Discrete Countable Chain Condition (DCCC for short) if every discrete family of nonempty open subsets of $X$ is countable. We mainly prove that if $X$ is a DCCC normal space with a rank 2-diagonal, then the cardinality of $X$ is at most $𝔠$ . Moreover, we prove that if $X$ is a first...

Products of topological spaces and families of filters

Paolo Lipparini (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that, under suitably general formulations, covering properties, accumulation properties and filter convergence are all equivalent notions. This general correspondence is exemplified in the study of products. We prove that a product is Lindelöf if and only if all subproducts by $\leq ω_{1}$ factors are Lindelöf. Parallel results are obtained for final $ω_{n}$ -compactness, $[λ, μ]$ -compactness, the Menger and the Rothberger properties.

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.

The 4-string braid group $B_{4}$ has property RD and exponential mesoscopic rank

Sylvain Barré, Mikaël Pichot (2011)

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

Similarity:

We prove that the braid group $B_{4}$ on 4 strings, its central quotient $B_{4} / 〈 z 〉$ , and the automorphism group $Aut (F_{2})$ of the free group $F_{2}$ on 2 generators, have the property RD of Haagerup–Jolissaint. We also prove that the braid group $B_{4}$ is a group of intermediate mesoscopic rank (of dimension 3). More precisely, we show that the above three groups have exponential mesoscopic rank, i.e., that they contain exponentially many large flat balls which are not included in flats.

Factorization of CP-rank- $3$ completely positive matrices

Jan Brandts, Michal Křížek (2016)

Czechoslovak Mathematical Journal

Similarity:

A symmetric positive semi-definite matrix $A$ is called completely positive if there exists a matrix $B$ with nonnegative entries such that $A = B B^{⊤}$ . If $B$ is such a matrix with a minimal number $p$ of columns, then $p$ is called the cp-rank of $A$ . In this paper we develop a finite and exact algorithm to factorize any matrix $A$ of cp-rank $3$ . Failure of this algorithm implies that $A$ does not have cp-rank $3$ . Our motivation stems from the question if there exist three nonnegative polynomials of degree at...

Banach spaces of bounded Szlenk index

E. Odell, Th. Schlumprecht, A. Zsák (2007)

Studia Mathematica

Similarity:

For a countable ordinal α we denote by $_{α}$ the class of separable, reflexive Banach spaces whose Szlenk index and the Szlenk index of their dual are bounded by α. We show that each $_{α}$ admits a separable, reflexive universal space. We also show that spaces in the class $_{ω^{α \cdot ω}}$ embed into spaces of the same class with a basis. As a consequence we deduce that each $_{α}$ is analytic in the Effros-Borel structure of subspaces of C[0,1].

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.

On the real $X$ -ranks of points of $ℙ^{n} (ℝ)$ with respect to a real variety $X \subset ℙ^{n}$

Edoardo Ballico (2010)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

Let $X \subset ℙ^{n}$ be an integral and non-degenerate $m$ -dimensional variety defined over $ℝ$ . For any $P \in ℙ^{n} (ℝ)$ the real $X$ -rank $r_{X, ℝ} (P)$ is the minimal cardinality of $S \subset X (ℝ)$ such that $P \in 〈 S 〉$ . Here we extend to the real case an upper bound for the $X$ -rank due to Landsberg and Teitler.

The effective Borel hierarchy

M. Vanden Boom (2007)

Fundamenta Mathematicae

Similarity:

Let K be a subclass of Mod() which is closed under isomorphism. Vaught showed that K is $Σ_{α}$ (respectively, $Π_{α}$ ) in the Borel hierarchy iff K is axiomatized by an infinitary $Σ_{α}$ (respectively, $Π_{α}$ ) sentence. We prove a generalization of Vaught’s theorem for the effective Borel hierarchy, i.e. the Borel sets formed by union and complementation over c.e. sets. This result says that we can axiomatize an effective $Σ_{α}$ or effective $Π_{α}$ Borel set with a computable infinitary sentence of the same complexity....

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

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

Coherent ultrafilters and nonhomogeneity

Jan Starý (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We introduce the notion of a coherent $P$ -ultrafilter on a complete ccc Boolean algebra, strengthening the notion of a $P$ -point on $ω$ , and show that these ultrafilters exist generically under $𝔠 = 𝔡$ . This improves the known existence result of Ketonen [On the existence of $P$ -points in the Stone-Čech compactification of integers, Fund. Math. 92 (1976), 91–94]. Similarly, the existence theorem of Canjar [On the generic existence of special ultrafilters, Proc. Amer. Math. Soc. 110 (1990), no. 1,...

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.

On the rigidity of webs

Michel Belliart (2007)

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

Similarity:

Plane $d$ -webs have been studied a lot since their appearance at the turn of the 20th century. A rather recent and striking result for them is the theorem of Dufour, stating that the measurable conjugacies between 3-webs have to be analytic. Here, we show that even the set-theoretic conjugacies between two $d$ -webs, $d \geq 3$ are analytic unless both webs are analytically parallelizable. Between two set-theoretically conjugate parallelizable $d$ -webs, however, there always exists a nonmeasurable conjugacy;...

On preimages of ultrafilters in ZF

Horst Herrlich, Paul Howard, Kyriakos Keremedis (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that given infinite sets $X, Y$ and a function $f : X \to Y$ which is onto and $n$ -to-one for some $n \in ℕ$ , the preimage of any ultrafilter $ℱ$ of $Y$ under $f$ extends to an ultrafilter. We prove that the latter result is, in some sense, the best possible by constructing a permutation model $ℳ$ with a set of atoms $A$ and a finite-to-one onto function $f : A \to ω$ such that for each free ultrafilter of $ω$ its preimage under $f$ does not extend to an ultrafilter. In addition, we show that in $ℳ$ there exists an ultrafilter compact...

Simultaneous stabilization in $A_{ℝ} ()$

Raymond Mortini, Brett D. Wick (2009)

Studia Mathematica

Similarity:

We study the problem of simultaneous stabilization for the algebra $A_{ℝ} ()$ . Invertible pairs $(f_{j}, g_{j})$ , j = 1,..., n, in a commutative unital algebra are called simultaneously stabilizable if there exists a pair (α,β) of elements such that $α f_{j} + β g_{j}$ is invertible in this algebra for j = 1,..., n. For n = 2, the simultaneous stabilization problem admits a positive solution for any data if and only if the Bass stable rank of the algebra is one. Since $A_{ℝ} ()$ has stable rank two, we are faced here with a different...

$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 Hankel matrix acting on Hardy and Bergman spaces

Petros Galanopoulos, José Ángel Peláez (2010)

Studia Mathematica

Similarity:

Let μ be a finite positive Borel measure on [0,1). Let $ℋ_{μ} = {(μ_{n, k})}_{n, k \geq 0}$ be the Hankel matrix with entries $μ_{n, k} = \int_{[0, 1)} t^{n + k} d μ (t)$ . The matrix $_{μ}$ induces formally an operator on the space of all analytic functions in the unit disc by the fomula $ℋ_{μ} (f) (z) = \sum_{n = 0}^{\infty} i (\sum_{k = 0}^{\infty} μ_{n, k} a_{k}) z ⁿ$ , z ∈ , where $f (z) = \sum_{n = 0}^{\infty} a ₙ z ⁿ$ is an analytic function in . We characterize those positive Borel measures on [0,1) such that $ℋ_{μ} (f) (z) = \int_{[0, 1)} f (t) / (1 - t z) d μ (t)$ for all f in the Hardy space H¹, and among them we describe those for which $ℋ_{μ}$ is bounded and compact on H¹. We also study the analogous problem for the Bergman space A². ...

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

M. K. Aouf (1989)

Matematički Vesnik

Similarity:

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.

Properties of functions concerned with Caratheodory functions

Mamoru Nunokawa, Emel Yavuz Duman, Shigeyoshi Owa (2013)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

Let $𝒫_{n}$ denote the class of analytic functions $p (z)$ of the form $p (z) = 1 + c_{n} z^{n} + c_{n + 1} z^{n + 1} + \dots$ in the open unit disc $𝕌$ . Applying the result by S. S. Miller and P. T. Mocanu (J. Math. Anal. Appl. 65 (1978), 289-305), some interesting properties for $p (z)$ concerned with Caratheodory functions are discussed. Further, some corollaries of the results concerned with the result due to M. Obradovic and S. Owa (Math. Nachr. 140 (1989), 97-102) are shown.

On Hattori spaces

A. Bouziad, E. Sukhacheva (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

For a subset $A$ of the real line $ℝ$ , Hattori space $H (A)$ is a topological space whose underlying point set is the reals $ℝ$ and whose topology is defined as follows: points from $A$ are given the usual Euclidean neighborhoods while remaining points are given the neighborhoods of the Sorgenfrey line. In this paper, among other things, we give conditions on $A$ which are sufficient and necessary for $H (A)$ to be respectively almost Čech-complete, Čech-complete, quasicomplete, Čech-analytic and weakly separated...

Divisors in global analytic sets

Francesca Acquistapace, A. Díaz-Cano (2011)

Journal of the European Mathematical Society

Similarity:

We prove that any divisor $Y$ of a global analytic set $X \subset ℝ^{n}$ has a generic equation, that is, there is an analytic function vanishing on $Y$ with multiplicity one along each irreducible component of $Y$ . We also prove that there are functions with arbitrary multiplicities along $Y$ . The main result states that if $X$ is pure dimensional, $Y$ is locally principal, $X / Y$ is not connected and $Y$ represents the zero class in $H_{q - 1}^{\infty} (X, ℤ_{2})$ then the divisor $Y$ is globally principal.