Caractérisation d'espaces polonais d'après des travaux récents de J. P. R. Christensen et D. Preiss
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 such that and . We give several explicit examples of complete pairs of coanalytic sets.
On étudie les fonctions de deux variables réelles qui sont séparément analytiques sur un ouvert du plan. On montre que ces fonctions sont analytiques en tout point du domaine de définition hors d’un fermé de ce domaine dont les projections sur chacun des deux axes de coordonnées sont des ensembles polaires. Inversempent, pour tout tel fermé , on construit une fonction séparément analytique dont le domaine d’analyticité est le complémentaire de .
On étudie les espaces vectoriels topologiques localement convexes métrisables qui sont image linéaire continue d’un espace de Fréchet séparable. On détermine la classe de Baire de ces espaces dans leur complété, ainsi que la classe de Baire des formes linéaires boréliennes sur ces espaces, en construisant pour chacun une suite transfinie dénombrable d’espaces de Fréchet séparables qui lui est canoniquement associée.
A tree T on ω is said to be cofinal if for every there is some branch β of T such that α ≤ β, and quasi-bounded otherwise. We prove that the set of quasi-bounded trees is a complete Σ¹₁-inductive set. In particular, it is neither analytic nor co-analytic.
Page 1 Next