Generalized condensation points. (English) Zbl 0178.25601

From the introduction: H. BIumberg [Duke Math. J. 11, 671–685 (1944; Zbl 0063.00470); Trans. Am. Math. Soc. 24, 113–128 (1923; JFM 49.0176.04)] introduced the concept of a set inexhaustibly approaching a point. This was generalized by B. Cargal [Proc. Iowa Acad. Sci. 60 (1953), 477–481 (1954; https://scholarworks.uni.edu/pias/vol60/iss1/60/)] and H. D. Block and B. Cargal [Proc. Am. Math. Soc. 3, 937–941 (1952; Zbl 0048.03402)] to a point which is \(\lambda\) approached by a set. These ideas appear very closely connected with limit points of a set. In this paper we shall attempt to set these approach properties in a topological setting so that if \(x\) is “approached” by a set, it will be a limit point of this set in an appropriate topology.
A point \(x\) in the reals might be said to be non-denumerably approached by a set \(E\) if every neighbourhood of \(x\) intersects \(E\) in a non-denumerable set. If this is the case, then \(x\) is a condensation point of \(E\). A point \(x\) might be termed a point of non-null approach by \(E\) if every neighborhood of \(x\) intersects \(E\) in a set of positive outer Lebesgue measure. If this is the case, \(E\) is metrically dense at \(x\), and \(x\) could be thought of as a generalized condensation point.
These ideas are generalized and unified in the following way: With a given topological space we assume there is given a family of subsets satisfying certain conditions. Then a generalized condensation point of a set \(E\) will be a point such that each neighbourhood of the point intersects \(E\) in a set contained in the family. We show that a topology can be defined in terms of the original topology and the family so that the generalized condensation points of a set are exactly the set of limit points of the set in the new topology. Some properties of this new topology are obtained and it is shown, Theorem 4, that the classes of continuous functions on both the new and old topological spaces to a regular space coincide. In case the original topological space is either the reals or complex numbers with the usual topology, it is shown that the classes of differentiable functions coincide.


54-XX General topology


Full Text: DOI