Around a quotient space of Bennett-Lutzer's space.
Let be a locally connected, -compact metric space and a closed subset of . Let be the space of all continuous real-valued functions defined on some closed subsets of . We prove the equivalence of the and topologies on , where is the so called Attouch-Wets topology, defined in terms of uniform convergence of distance functionals, and is the topology of Kuratowski convergence on compacta.
The goal of this paper is to characterize the family of averages of comparable (Darboux) quasi-continuous functions.
We consider various collections of functions from the Baire space into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings, and functions which are nonexpansive or Lipschitz with respect to suitable complete ultrametrics on (compatible with its standard topology). We analyze the degree-structures induced by such sets of functions when used as reducibility notions between subsets of...
We characterize Baire-like spaces Cc(X,E) of continuous functions defined on a locally compact and Hewitt space X into a locally convex space E endowed with the compact-open topology.
We show that if is a subspace of a linearly ordered space, then is a Baire space if and only if is Choquet iff has the Moving Off Property.
We investigate Baire-one functions whose graph is contained in the graph of a usco mapping. We prove in particular that such a function defined on a metric space with values in is the pointwise limit of a sequence of continuous functions with graphs contained in the graph of a common usco map.
We prove that any Baire-one usco-bounded function from a metric space to a closed convex subset of a Banach space is the pointwise limit of a usco-bounded sequence of continuous functions.
Via the Bousfield-Gugenheim realization functor, and starting from the Brown-Szczarba model of a function space, we give a functorial framework to describe basic objects and maps concerning the rational homotopy type of function spaces and its path components.