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

In this paper, we mainly prove that if $H$ is a closed strong subgyrogroup of a strongly topological gyrogroup $G$ and $H$ is neutral, then (1) $G/H$ is biradial if and only if $G/H$ is nested; (2) $G/H$ is metrizable if and only if $G/H$…

Suppose $X$ and $Y$ are Banach spaces, $K$ is a compact Hausdorff space, $\Sigma$ is the $\sigma$-algebra of Borel subsets of $K$, $C(K,X)$ is the Banach space of all continuous $X$-valued functions (with the supremum norm), and…

We prove several theorems on sigma-bounded and sigma-compact pointsets. We start with a known theorem by Kechris, saying that any lightface \Sigma^1_1 set of the Baire space either is effectively sigma-bounded (that is, covered by a…

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

In this article, we continue our study of Baire one functions on a topological space $X$, denoted by $B_1(X)$ and extend the well known M. H. Stones's theorem from $C(X)$ to $B_1(X)$. Introducing the structure space of $B_1(X)$, it is…

We relax the continuity assumption in Bloom's uniform convergence theorem for Beurling slowly varying functions \phi. We assume that \phi has the Darboux property, and obtain results for \phi measurable or having the Baire property.

Let $\I$ be an ideal on $\N$ which is either analytic or coanalytic. Assume that $(f_n)$ is a sequence of functions with the Baire property from a Polish space $X$ into a complete metric space $Z$, which is divergent on a comeager set. We…

It is known that for $X$ a nowhere locally compact metric space, the set of bounded continuous, nowhere locally uniformly continuous real-valued functions on $X$ contains a dense $G_\delta$ set in the space $C_b(X)$ of all bounded…

For a Tychonoff space $X$, $B_1(X)$ denotes the space of all Baire-one functions on $X$ endowed with the pointwise topology. We prove that the following assertions are equivalent: (1) $B_1(X)$ is a (semi-)Montel space, (2) $B_1(X)$ is a…

We prove that, for every n, the topological space {\omega}_n^{\omega} (where {\omega}_n has the discrete topology) can be partitioned into {\omega}_n copies of the Baire space. Using this fact, the authors then prove two new theorems about…

Let $X$ be a rearrangement-invariant space over a non-atomic $\sigma$-finite measure space $(\mathscr{R},\mu)$ and let $\alpha\in(0,\infty)$. We define the functional \begin{equation*} \|f\|_{X^{\langle \alpha \rangle}} =…

We prove a model theoretic Baire category theorem for $\tilde\tau_{low}^f$-sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in…

We examine conditions on a (compact metrizable) space $X$ such that for any space $Y$ and closed subspace $Z$, the set of continuous functions from $Z$ to $X$ which extend to $Y$ is either open or closed in the set of continuous functions…

Let $[a,b]\subset\mathbb{R}$ be a non empty and non singleton closed interval and $P=\{a=x_0<\cdots<x_n=b\}$ is a partition of it. Then $f:I\to\mathbb{R}$ is said to be a function of $r$-bounded variation, if the expression…

According to Kiyoshi Igusa a generalized Morse function on an n-dimensional manifold M is a smooth function with only Morse and birth-death singularities and a framed function is a generalized Morse function with an additional structure: a…

We prove that every usco multimap $\Phi:X\to Y$ from a metrizable separable space $X$ to a GO-space $Y$ has an $F_\sigma$-measurable selection. On the other hand, for the split interval $\ddot{\mathbb I}$ and the projection $P:\ddot{\mathbb…

We have defined almost separable space. We show that like separability, almost separability is $c$ productive and converse also true under some restrictions. We establish a Baire Category theorem like result in Hausdorff, Pseudocompacts…

We give a short proof, that can be used in an introductory real analysis course, that if a function that is defined on the set of real numbers is continuous on a countable dense set, then it is continuous on an uncountable set. This is done…

For the Frechet space E=C^{\infty}(S^1) and for a smooth \phi: R to R, we prove that the associated map E to E given by x mapsto\phi\circ x satisfies the continuous B\Gamma--differentiability condition in Yamamuro's inverse function theorem…

Let f:X -> Y be an onto map between compact spaces such that all point-inverses of f are zero-dimensional. Let A be the set of all functions u:X -> I=[0,1] such that $u[f^\leftarrow(y)]$ is zero-dimensional for all y in Y. Do almost all…