Related papers: A generalization of a Baire theorem concerning bar…

We consider various collections of functions from the Baire space X into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings,…

A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working…

Let $T$ be a $C_0$--contraction on a separable Hilbert space. We assume that $I_H-T^*T$ is compact. For a function $f$ holomorphic in the unit disk $\DD$ and continuous on $\bar\DD$, we show that $f(T)$ is compact if and only if $f$…

We prove that on the Baire space $(D^{\kappa},\pi)$, $\kappa \geq \omega_0$ where $D$ is a uniformly discrete space having $\omega _1$-strongly compact cardinal and $\pi$ denotes the product uniformity on $D^\kappa$, there exists a…

A subset $B \subset Y$ is constructible if it is an element of the smallest family that contains all open sets and is stable under finite intersections and complements. A function $f : X \to Y$ is said to be piece-wise closed if $X$ can be…

It is shown that a set in product of $n$ metrizable spaces is the discontinuity points set of some separately continuous function if and only if this set can be represented as the union of a sequence of $F_{\sigma}$-sets which are locally…

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

In this paper, we establish the following result: Let $(T,{\cal F},\mu)$ be a $\sigma$-finite measure space, let $Y$ be a reflexive real Banach space, and let $\varphi, \psi:Y\to {\bf R}$ be two sequentially weakly lower semicontinuous…

We prove that every nonnegative continuous real-valued function on a given compact metric space is the uniform limit of some increasing sequence of nonnegative simple functions being linear combinations of indicators of open sets; here the…

If G is a Lie group, let D(G) be the space of compactly supported smooth functions on G. Consider the bilinear map B : D(G) x D(G) -> D(G), (f,g) |-> f*g which takes a pair of test functions to their convolution. We show that B is…

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…

Certain subclasses of $B_1(K)$, the Baire-1 functions on a compact metric space $K$, are defined and characterized. Some applications to Banach spaces are given.

We prove that if $X$ is a paracompact connected space and $Z=\prod_{s\in S}Z_s$ is a product of a family of equiconnected metrizable spaces endowed with the box topology, then for every Baire-one map $g:X\to Z$ there exists a separately…

Maps between spaces of measures on measurable spaces $(X,\Sigma_X)$ and $(Y, \Sigma_Y)$ are treated as generalized functions between $X$ and $Y$.

If $f : X\mapsto Y$ is a function having Baire property from a metric space $X$ into a separable metric space $Y$ , then $f$ is continuous except on a set of first category. Kuratowski asked whether the condition of separability could be…

Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to…

The Baire category theorem states that every complete pseudometric space is a Baire space. There are some results in metric spaces which have their analogue in uniform spaces, however this is not one of them. Nonetheless, since the Baire…

The set of continuous or Baire class 1 functions defined on a metric space $X$ is endowed with the natural pointwise partial order. We investigate how the possible lengths of well-ordered monotone sequences (with respect to this order)…

S-metric and b-metric spaces are metrizable, but it is still quite impossible to get an explicit form of the concerned metric function. To overcome this, the notion of $\phi$-metric is developed by making a suitable modification in triangle…

We investigate Baire-one functions whose graph is contained in a graph of usco mapping. We prove in particular that such a function defined on a metric space with values in $\mathbb{R}^d$ is the pointwise limit of a sequence of continuous…