Language:   Search:   Contact
Zentralblatt MATH has released its new interface!
For an improved author identification, see the new author database of ZBMATH.

Query:
Fill in the form and click »Search«...
Format:
Display: entries per page entries
Zbl 0723.54005
Janković, Dragan; Hamlett, T.R.
New topologies from old via ideals.
(English)
[J] Am. Math. Mon. 97, No.4, 295-310 (1990). ISSN 0002-9890

Let (X,$\tau$) be a topological space, with ${\cal I}$ an ideal of subsets of X. Then $\beta$ (${\cal I}):=\{U\setminus I:$ $I\in {\cal I}\}$ is a basis of open sets for a finer topology $\tau$ (${\cal I})$ on X. The authors explore this time-honored method of refining topologies, surveying past results, proving some new results, and improving on old ones. The treatment is tutorial in nature, and includes many examples. As the authors suggest, the paper is suitable for use as a supplement to a general topology course. \par The first three sections of the paper deal with the closure and derived set operators for $\tau$ (${\cal I})$. (Actually this topology is introduced using a closure operator.) In Section 4, {\it O. Njåstad}'s notion of compatibility'' is introduced: The topology $\tau$ is compatible with the ideal ${\cal I}$ ($\tau\sim {\cal I})$ if $A\in {\cal I}$ whenever it is the case that for all $x\in A$, $U\cap A\in {\cal I}$ for some neighborhood U of x. The authors show that $\tau\sim {\cal I}$ whenver ${\cal I}$ is the ideal of $\tau$-nowhere dense subsets of X, and recast the Banach category theorem (that any union of meager open sets is meager) as the statement that $\tau\sim {\cal I}$ whenever ${\cal I}$ is the ideal of ${\cal T}$-meager subsets of X. A nice result is that $\tau$ is a hereditarily Lindelöf topology iff $\tau$ is compatible with the ideal of countable subsets of X. Also there is Njåstad's result that $\beta$ (${\cal I})=\tau ({\cal I})$ whenever $\tau\sim {\cal I}.$ \par A highlight of Section 5 is {\it G. Freud}'s generalization of the Cantor-Bendixson theorem (that any second countable (even hereditarily Lindelöf) space is the union of a perfect subset and a countable subset), namely: If $\tau\sim {\cal I}$ and ${\cal I}$ contains the singleton subsets of X, then every $\tau$ (${\cal I})$-closed subset is the union of a $\tau$-perfect set and a set that is in ${\cal I}$. Also the authors prove that $\tau\sim {\cal I}$ and ${\cal I}$ contains all the singletons iff all $\tau$ (${\cal I})$-scattered subsets of X are in ${\cal I}.$ \par In Section 6 the authors consider the case when no nonempty $\tau$-open set is in ${\cal I}$, and show that this condition implies that both $\tau$ and $\tau$ (${\cal I})$ have the same semiregularization. The authors also state {\it P. Samuels}' theorem that, under this condition, a function from X to a regular space is continuous with respect to $\tau$ iff that function is continuous with respect to $\tau$ (${\cal I}).$ \par Finally, in Section 7 there are some applications. One such is the ease with which anticompact'' spaces (those containing no infinite compact subsets) can be produced. For example, if $\tau$ is a Hausdorff topology compatible with ${\cal I}$, and if ${\cal I}$ contains all the singleton subsets of X, then $\tau$ (${\cal I})$ is anticompact. Other applications involving continuity and $\theta$-continuity are also given.
[P.Bankston (Milwaukee)]
MSC 2000:
*54A10 Several topologies on one set

Keywords: refinement of topology; ideal of subsets

Highlights
Master Server