Separately continuous functions: approximations, extensions, and restrictions.
We consider the following problem: Characterize the pairs ⟨A,B⟩ of subsets of ℝ which can be separated by a function from a given class, i.e., for which there exists a function f from that class such that f = 0 on A and f = 1 on B (the classical separation property) or f < 0 on A and f > 0 on B (a new separation property).
I discuss the number of iterations of the elementary sequential closure operation required to achieve the full sequential closure of a set in spaces of the form .
We show that the Sharkovskiĭ ordering of periods of a continuous real function is also valid for every function with connected graph. In particular, it is valid for every DB₁ function and therefore for every derivative. As a tool we apply an Itinerary Lemma for functions with connected graph.
Let Z be an uncountable Polish space. It is a classical result that if I ⊆ ℝ is any interval (proper or not), f: I → ℝ and then f ○ g ∈ for every if and only if f is continuous on I, where stands for the αth class in Baire’s classification of Borel measurable functions. We shall prove that for the classes in Sierpiński’s classification of Borel measurable functions the analogous result holds where the condition that f is continuous is replaced by the condition that f is locally Lipschitz...
Let () be the -ring of all (bounded) real-measurable functions on a -measurable space , let be the family of all such that is compact, and let be all that is compact for any . We introduce realcompact subrings of , we show that is a realcompact subring of , and also is a realcompact if and only if is a compact measurable space. For every nonzero real Riesz map , we prove that there is an element such that for every if is a compact measurable space. We confirm...
Some properties of the Hausdorff distance in complete metric spaces are discussed. Results obtained in this paper explain ideas used in the theory of measures of noncompactness.
Let X be a completely regular Hausdorff topological space and the space of continuous real-valued maps on X endowed with the pointwise topology. A simple and natural argument is presented to show how to construct on the space , if X contains a homeomorphic copy of the closed interval [0,1], real-valued maps which are everywhere discontinuous but continuous on all compact subsets of .
In the present paper we introduce a convergence condition and continue the study of “not distinguish” for various kinds of convergence of sequences of real functions on a topological space started in [2] and [3]. We compute cardinal invariants associated with introduced properties of spaces.
In this paper we extend the notion of quasinormal convergence via ideals and consider the notion of -quasinormal convergence. We then introduce the notion of space as a topological space in which every sequence of continuous real valued functions pointwise converging to , is also -quasinormally convergent to (has a subsequence which is -quasinormally convergent to ) and make certain observations on those spaces.