Based on some earlier findings on Banach Category Theorem for some “nice” $\sigma$-ideals by J. Kaniewski, D. Rose and myself I introduce the $h$ operator ($h$ stands for “heavy points”) to refine and generalize kernel constructions of A. H. Stone. Having obtained in this way a generalized Kuratowski’s decomposition theorem I prove some characterizations of the domains of functions having “many” points of $h$-continuity. Results of this type lead, in the case of the $\sigma$-ideal of meager sets, to important statements...

We study when a topological space has a weaker connected topology. Various sufficient and necessary conditions are given for a space to have a weaker Hausdorff or regular connected topology. It is proved that the property of a space of having a weaker Tychonoff topology is preserved by any of the free topological group functors. Examples are given for non-preservation of this property by “nice” continuous mappings. The requirement that a space have a weaker Tychonoff connected topology is rather...

It is shown that if $X$ is a first-countable countably compact subspace of ordinals then $C_p\left(X\right)$ is Lindelöf. This result is used to construct an example of a countably compact space $X$ such that the extent of $C_p\left(X\right)$ is less than the Lindelöf number of $C_p\left(X\right)$. This example answers negatively Reznichenko’s question whether Baturov’s theorem holds for countably compact spaces.

Given a metric continuum $X$ and a positive integer $n$, $F_n\left(X\right)$ denotes the hyperspace of all nonempty subsets of $X$ with at most $n$ points endowed with the Hausdorff metric. For $K\in F_n\left(X\right)$, $F_n(K,X)$ denotes the set of elements of $F_n\left(X\right)$ containing $K$ and $F_n^K\left(X\right)$ denotes the quotient space obtained from $F_n\left(X\right)$ by shrinking $F_n(K,X)$ to one point set. Given a map $f:X\to Y$ between continua, $f_n:F_n\left(X\right)\to F_n\left(Y\right)$ denotes the induced map defined by $f_n\left(A\right)=f\left(A\right)$. Let $K\in F_n\left(X\right)$, we shall consider the induced map in the natural way $f_{n,K}:F_n^K\left(X\right)\to F_n^{f\left(K\right)}\left(Y\right)$. In this paper we consider the maps $f$, $f_n$, $f_{n,K}$ for some $K\in F_n\left(X\right)$ and $f_{n,K}$ for...

We prove that a compact family of bounded condensing multifunctions has bounded condensing set-theoretic union. Compactness is understood in the sense of the Chebyshev uniform semimetric induced by the Hausdorff distance and condensity is taken w.r.t. the Hausdorff measure of noncompactness. As a tool, we present an estimate for the measure of an infinite union. Then we apply our result to infinite iterated function systems.

A family of subsets of a set is called a $\sigma$-topology if it is closed under arbitrary countable unions and arbitrary finite intersections. A $\sigma$-topology is perfect if any its member (open set) is a countable union of complements of open sets. In this paper perfect $\sigma$-topologies are characterized in terms of inserting lower and upper measurable functions. This improves upon and extends a similar result concerning perfect topologies. Combining this characterization with a $\sigma$-topological version of Katětov-Tong...

Necessary and sufficient conditions in terms of lower cut sets are given for the insertion of a Baire-$.5$ function between two comparable real-valued functions on the topological spaces that $F_{\sigma }$-kernel of sets are $F_{\sigma }$-sets.

In the shape from shading problem of computer vision one attempts to recover the three-dimensional shape of an object or landscape from the shading on a single image. Under the assumptions that the surface is dusty, distant, and illuminated only from above, the problem reduces to that of solving the eikonal equation |Du|=f on a domain in ${ℝ}^2$. Despite various existence and uniqueness theorems for smooth solutions, we show that this problem is unstable, which is catastrophic for general numerical algorithms. ...