English
Related papers

Related papers: A Kuratowski theorem revisited

200 papers

A classical theorem of Hurewicz characterizes spaces with the Hurewicz covering property as those having bounded continuous images in the Baire space. We give a similar characterization for spaces X which have the Hurewicz property…

General Topology · Mathematics 2014-09-02 Boaz Tsaban , Lyubomyr Zdomskyy

A dichotomy discovered by Solecki says that a Baire class 1 function from a Souslin space into a Polish space either can be decomposed into countably many continuous functions, or else contains one particular function which cannot be so…

General Topology · Mathematics 2009-08-12 Janusz Pawlikowski , Marcin Sabok

We prove that if X is a separable metric space with the Hurewicz covering property, then the Banach-Mazur game played on X is determined. The implication is not true when "Hurewicz covering property" is replaced with "Menger covering…

General Topology · Mathematics 2007-11-08 Marion Scheepers

Let $X$ and $Y$ be Banach or normed linear spaces and $F\subset X$ a closed set. We apply our recent extension theorem for vector-valued Baire one functions arXiv:1512.03717 to obtain an extension theorem for vector-valued functions…

Classical Analysis and ODEs · Mathematics 2017-01-24 Martin Koc , Jan Kolář

A sequence of functions f_n: X -> R from a Baire space X to the reals is said to converge in category iff every subsequence has a subsequence which converges on all but a meager set. We show that if there exists a Souslin Tree then there…

Logic · Mathematics 2008-02-03 Arnold W. Miller

A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is…

Category Theory · Mathematics 2019-10-22 Jiří Adámek , Stefan Milius , Lurdes Sousa , Thorsten Wißmann

We define and study an effective version of the Wadge hierarchy in computable quasi-Polish spaces which include most spaces of interest for computable analysis. Along with hierarchies of sets we study hierarchies of k-partitions which are…

Logic in Computer Science · Computer Science 2021-02-16 Victor Selivanov

The aim of this paper is to provide the results that answer the Kuratowski problem posed in 1935 concerning the existence of nonmeasurable sets. The Kuratowski problem was considered for partitions, here we provide a generalization to…

Logic · Mathematics 2023-03-30 Joanna Jureczko

We prove the following results. 1. If $X$ is a $\alpha$-favourable space, $Y$ is a regular space, in which every separable closed set is compact, and $f:X\times Y\to\mathbb R$ is a separately continuous everywhere jointly discontinuous…

General Topology · Mathematics 2016-01-14 V. V. Mykhaylyuk

We prove that for every function $f:X\to Y$, where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\in\tilde\mcA$ such that $f$ is Gateaux differentiable at all $x\in S(f)\setminus A$, where $S(f)$…

Functional Analysis · Mathematics 2007-05-23 Jakub Duda

Let $X,Y$ be topological vector spaces or metric spaces, and let {$f:X\times Y \to \Re $} be a real function lower semicontinuous in the first variable and upper semicontinuous in the second one. It is proved that $f$ is globally…

General Topology · Mathematics 2007-05-23 Antonio J. B. Lopes-Pinto , Diana Aldea Mendes

Let $X$ be a Polish space and $K$ a separable compact subset of the first Baire class on $X$. For every sequence $\bs$ dense in $\kk$, the descriptive set-theoretic properties of the set \[ \lbf=\{L\in[\nn]: (f_n)_{n\in L} \text{is…

Logic · Mathematics 2008-05-15 Pandelis Dodos

Let $w\in L^1\_{loc}(\R^n)$ be apositive weight. Assuming that a doubling condition and an $L^1$ Poincar\'e inequality on balls for the measure $w(x)dx$, as well as a growth condition on $w$, we prove that the compact subsets of $\R^n$…

Classical Analysis and ODEs · Mathematics 2015-10-14 Laurent Moonens , Emmanuel Russ , Heli Tuominen

By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space $X$ is covered by a $K_\sigma$ subset of $X$ if and only if it does not contain a closed-in-$X$ subset homeomorphic to the Baire space…

Logic · Mathematics 2016-11-18 Philipp Luecke , Luca Motto Ros , Philipp Schlicht

We want to give a construction as simple as possible of a Borel subset of a product of two Polish spaces. This introduces the notion of potential Wadge class. Among other things, we study the non-potentially closed sets, by proving…

Logic · Mathematics 2007-10-02 Dominique Lecomte

At the classical level the electromagnetic field can be well identified at the spatial infinity. Staruszkiewicz pointed out that the quantization of the electromagnetic field at spatial infinity is essentially unique and follows from the…

Mathematical Physics · Physics 2019-06-25 Jaroslaw Wawrzycki

Recall that a Hausdorff space $X$ is said to be Namioka if for every compact (Hausdorff) space $Y$ and every metric space $Z$, every separately continuous function $f:X\times{Y}\rightarrow{Z}$ is continuous on $D\times{Y}$ for some dense…

General Topology · Mathematics 2012-07-17 Zbigniew Piotrowski , Russell Waller

A famous theorem of Bers and Finn states that isolated singularities of solutions to the non-parametric minimal surface equation are removable. We show that this result remains valid, if the area functional is replaced by a general…

Analysis of PDEs · Mathematics 2022-06-02 Michael Bildhauer , Martin Fuchs

We prove that if a function $f$ is continuous in an open subset $U\subset\mathbb{C}$ and analytic in $U\setminus X$, where $X\subset U$ is a Polish space having characteristic system $(i,n)$, such that $i\in\{0,1\}$ and $n\in\mathbb{N}$,…

Complex Variables · Mathematics 2023-06-26 Cristian López Morales , Camilo Ramírez Maluendas

Let $X$ be a Polish space. We prove that the generic compact set $K\subseteq X$ (in the sense of Baire category) is either finite or there is a continuous gauge function $h$ such that $0<\mathcal{H}^{h}(K)<\infty$, where $\mathcal{H}^h$…

Classical Analysis and ODEs · Mathematics 2014-01-15 Richárd Balka , András Máthé