Advanced Search

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

Cited in: Zbl 1234.54005 Zbl 1199.54003 Zbl 1174.54300 Zbl 0924.54006 Zbl 0924.54029 Zbl 0790.54013 Zbl 0768.54017

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal Journal Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Advanced Search

Zentralblatt MATH Berlin [Germany]