Download Topology Proceedings 38 (2011) pp. 301-308: Almost H

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Grothendieck topology wikipedia , lookup

Fundamental group wikipedia , lookup

Covering space wikipedia , lookup

General topology wikipedia , lookup

Transcript
Volume 38, 2011
Pages 301–308
http://topology.auburn.edu/tp/
Almost H-Closed
by
Jack Porter
Electronically published on November 5, 2010
Topology Proceedings
Web:
Mail:
E-mail:
ISSN:
http://topology.auburn.edu/tp/
Topology Proceedings
Department of Mathematics & Statistics
Auburn University, Alabama 36849, USA
[email protected]
0146-4124
c by Topology Proceedings. All rights reserved.
COPYRIGHT ⃝
http://topology.auburn.edu/tp/
TOPOLOGY
PROCEEDINGS
Volume 38 (2011)
Pages 301-308
E-Published on November 5, 2010
ALMOST H-CLOSED
JACK PORTER
Abstract. This paper develops an example of a non-H-closed,
Urysohn space with the property that for every chain of nonempty sets, the intersection of the πœƒ-closures of the sets is
nonempty, every infinite set has a πœƒ-complete accumulation
point, and every πœ…-sequence has a πœƒ-cluster point for every
infinite cardinal πœ…. This shows that three of the characterizations of compactness cannot be extended directly to H-closed
spaces.
1. Introduction
In 1924, Paul Alexandroff and Paul Urysohn [1] established a
number of characterizations of compactness including these two: a
space is compact if and only if every chain of nonempty closed sets
has nonempty intersection if and only if every infinite subset has a
complete accumulation point. Also in [1], Alexandroff and Urysohn
introduced and characterized the concept of H-closed spaces. The
chain characterization plays an important role in proving spaces
are compact; for example, one major result connecting compactness
and H-closure is that a space is compact if every closed subset is
H-closed. Both M. H. Stone [9] and Miroslav Katětov [4] prove this
result by showing that every chain of nonempty H-closed sets has
nonempty intersection.
2000 Mathematics Subject Classification. 54D25, 54D30.
Key words and phrases. H-closed spaces, πœ…-nets, πœ…-sequences, πœƒ-closure, πœƒcluster.
c
⃝2010
Topology Proceedings.
301
302
J. PORTER
There are two natural paths to extend the chain condition to
characterize H-closed spaces. Both extended conditions are satisfied
in H-closed spaces. This paper develops a relatively simple example
that shows neither extended condition is enough to prove H-closure.
In [1], Alexandroff and Urysohn extended the complete accumulation point characterization of compactness to H-closure by
proving that for each infinite subset 𝐴 of an H-closed space 𝑋,
there is a point 𝑝 ∈ 𝑋 such that for each neighborhood π‘ˆ of 𝑋,
∣𝐴 ∩ 𝑐𝑙𝑋 π‘ˆ ∣ = ∣𝐴∣. In 1960, G. A. Kirtadze [5] showed that the
converse is not true. Our simple example also shows the converse
is not true.
Recently, in an excellent paper about πœ…-nets, R. E. Hodel [3]
characterized H-closed spaces in terms of πœ…-nets. Hodel asks if
a Hausdorff space 𝑋 remains H-closed if πœ…-nets in his H-closed
characterization are replaced by a weaker notion of πœ…-sequence. We
show this is not true, too.
All spaces considered in this paper are Hausdorff, and for a space
𝑋, let 𝜏 (𝑋) denote the set of open subsets of 𝑋.
2. Example 1
Recall (see [8, 4.8(e)]) that in a space 𝑋, a subset 𝐴 βŠ† 𝑋 is
regular closed if 𝐴 = 𝑐𝑙𝑋 𝑖𝑛𝑑𝑋 𝐴. In 1940, Katětov [4] proved that
a Hausdorff space 𝑋 is H-closed if and only if every filter base of
regular closed subsets has nonempty intersection. One natural path
of extending the chain condition to H-closed spaces would be to determine if a Hausdorff space is H-closed if every chain of nonempty
regular closed sets has nonempty intersection. We show this is false
with an example of a non-H-closed, Tychonoff, extremally disconnected space 𝔹.
We need some preliminary results.
Lemma 1. Let π›½πœ” be the Stone-Čech compactification of the countable discrete space πœ”.
(a) ([2, 9H.2]) If 𝐴 is an infinite closed subset of π›½πœ”, then ∣𝐴∣ =
βˆ£π›½πœ”βˆ£ = 2𝔠 .
(b) ([2, 6S.8]) If 𝐴 is a nonempty G𝛿 subset of π›½πœ”βˆ–πœ”, then
π‘–π‘›π‘‘π›½πœ”βˆ–πœ” 𝐴 βˆ•= βˆ….
Lemma 2. Let π’ž be a chain of infinite clopen sets of π›½πœ”. Then
∣ ∩ π’žβˆ£ = 2𝔠 .
ALMOST H-CLOSED
303
Proof: There is an ordinal 𝛽 and a cofinal, well-ordered subchain
π’ž β€² = {𝐢𝛼 : 𝛼 < 𝛽} βŠ† π’ž such that 𝐢𝛼 βŠƒ 𝐢𝛼+1 for 𝛼 + 1 < 𝛽. As
π’ž β€² is cofinal, βˆ©π’ž = βˆ©π’ž β€² . If 𝛽 is not a limit ordinal, then πΆπ›½βˆ’1 =
βˆ©π’ž β€² , βˆ£πΆπ›½βˆ’1 ∣ = 2𝔠 , and we are done. So, we can assume that 𝛽
is a limit ordinal. Note that for 𝛼 < 𝛽, 𝐢𝛼 = π‘π‘™π›½πœ” (𝐢𝛼 ∩ πœ”) βŠƒ
𝐢𝛼+1 = π‘π‘™π›½πœ” (𝐢𝛼+1 ∩ πœ”). It follows that 𝐢𝛼 ∩ πœ” βŠƒ 𝐢𝛼+1 ∩ πœ”. Thus,
{(𝐢𝛼 βˆ–πΆπ›Ό+1 ) ∩ πœ” : 𝛼 < 𝛽} is a family of pairwise disjoint subsets of
πœ”. So, 𝛽 is a countable limit ordinal and 𝑐𝑓 (𝛽) = πœ”. There is a
cofinal subfamily π’Ÿ = {𝐷𝑛 : 𝑛 ∈ πœ”} of π’ž β€² . But ∩{𝐷𝑛 βˆ–{𝑛} : 𝑛 ∈ πœ”}
is a G𝛿 set in π›½πœ”βˆ–πœ” and has nonempty interior. Hence, ∣ ∩ {𝐷𝑛 βˆ–πœ” :
β–‘
𝑛 ∈ πœ”}∣ = 2𝔠 .
Fact 3. Let 𝑝 ∈ π›½πœ”βˆ–πœ” and 𝔹 = π›½πœ”βˆ–{𝑝}. If π’ž is a chain of nonempty
regular closed sets in 𝔹, then βˆ©π’ž =
βˆ• βˆ….
Proof: First, note that 𝔹 is extremally disconnected as 𝔹 is a
dense subspace of the extremally disconnected space π›½πœ”. Thus,
the regular closed subsets of 𝔹 are clopen sets. If 𝐢 ∈ π’ž, then
𝐢 = 𝑐𝑙𝔹 (𝐢 ∩ πœ”) = π‘π‘™π›½πœ” (𝐢 ∩ πœ”)βˆ–{𝑝} and π‘π‘™π›½πœ” (𝐢 ∩ πœ”) = π‘π‘™π›½πœ” 𝐢 is
clopen in π›½πœ”. Also, βˆ©π’ž = ∩{π‘π‘™π›½πœ” 𝐢 : 𝐢 ∈ π’ž}βˆ–{𝑝}. By Lemma 2,
∣ ∩ {π‘π‘™π›½πœ” 𝐢 : 𝐢 ∈ π’ž}∣ = 2𝔠 . Thus, βˆ©π’ž =
βˆ• βˆ….
β–‘
We have shown that the Tychonoff, extremally disconnected space
𝔹 has the property that every chain of nonempty regular closed sets
has nonempty intersection. Since a regular H-closed space is compact (see [8, 4.8(c)]), 𝔹 is not H-closed.
3. Example 2
For 𝐴 βŠ† 𝑋, let π‘π‘™πœƒ 𝐴 = {𝑝 ∈ 𝑋 : for 𝑝 ∈ π‘ˆ ∈ 𝜏 (𝑋), 𝑐𝑙𝑋 π‘ˆ ∩ 𝐴 βˆ•=
βˆ…}; if there is the possibility of confusion, we will denote π‘π‘™πœƒ 𝐴 by
π‘π‘™πœƒπ‘‹ 𝐴. In 1968, N. V. Veličko [10] proved
∩ that a space is H-closed
if and only if for each filter base β„±,
𝐹 βˆˆβ„± π‘π‘™πœƒ 𝐹 βˆ•= βˆ…. In this
section, we develop a Hausdorff, non-H-closed space
∩ 𝕋 with the
property that for every chain π’ž of nonempty sets, πΆβˆˆπ’ž π‘π‘™πœƒ 𝐢 βˆ•= βˆ….
Surprisingly, the space 𝕋 has other nice properties and answers a
question by Hodel [3].
(1) The description of our space starts with a variation of the
Tychonoff plank. Let 𝑆 denote the Tychonoff plank (πœ”1 + 1) × (πœ” +
1)βˆ–{(πœ”1 , πœ”)} – the product space without the corner point; 𝑆 is a
zero-dimensional, Tychonoff space. Let 𝑅 = {(πœ”1 , 𝑛) : 𝑛 ∈ πœ”} be
304
J. PORTER
the right-hand edge and π‘ˆ = {(𝛼, πœ”) : 𝛼 ∈ πœ”1 } be the upper edge.
Sometimes, we will need to consider a one-point extension of 𝑆,
namely 𝑆 βˆͺ {π‘Ž}. The subspace 𝑆 is dense and open in 𝑆 βˆͺ {π‘Ž} and
{𝑉𝛽,π‘˜ : 𝛽 ∈ πœ”1 , π‘˜ ∈ πœ”} is an open neighborhood base at the point π‘Ž
where 𝑉𝛽,π‘˜ (π‘Ž) = {π‘Ž} βˆͺ (𝛽, πœ”1 ) × (π‘˜, πœ”). (Note that this is the same
space as enlarging the product topology (πœ”1 +1)×(πœ” +1) by adding
the set {(πœ”1 , πœ”)} βˆͺ πœ”1 × πœ”.) The extension 𝑆 βˆͺ {π‘Ž} is H-closed (use
4.8(h)(8) in [8]) and Urysohn but not compact.
Note that for 𝛼 < πœ”1 , the subspace (𝛼 + 1) × (πœ” + 1) of 𝑆 is
compact.
uπ‘Ž
(𝛽,rπœ”)
π‘ˆ
𝑉𝛽,π‘˜ (π‘Ž)
Space 𝑆 βˆͺ {π‘Ž}
e
r(πœ”1 , π‘˜)
𝑅
(2) Let π‘Œ denote 𝑆 ×{0, 1, 2} ({0, 1, 2} has the discrete topology)
with these points identified: (πœ”1 , π‘˜, 0) = (πœ”1 , π‘˜, 1) for each π‘˜ ∈ πœ”
and (𝛽, πœ”, 1) = (𝛽, πœ”, 2) for 𝛽 ∈ πœ”1 . For 𝑖 ∈ {0, 1, 2}, let 𝑆𝑖 =
𝑆×{𝑖}, π‘ˆπ‘– = π‘ˆ ×{𝑖}, and 𝑅𝑖 = 𝑅×{𝑖}. Finally, let 𝕋 = π‘Œ βˆͺ{π‘Ž0 , π‘Ž2 }.
For 𝑖 ∈ {0, 2}, an open neighborhood base for π‘Žπ‘– is {𝑉𝛽,π‘˜ (π‘Žπ‘– ) × {𝑖} :
𝛽 ∈ πœ”1 , π‘˜ ∈ πœ”}. Note that 𝑆0 βˆͺ{π‘Ž0 } and 𝑆2 βˆͺ{π‘Ž2 } are homeomorphic
to 𝑆 βˆͺ{π‘Ž} and are H-closed subspaces of 𝕋 and that π‘π‘™πœƒ (𝑆0 βˆͺ{π‘Ž0 }) =
𝑆0 βˆͺ {π‘Ž0 } and π‘π‘™πœƒ (𝑆2 βˆͺ {π‘Ž2 }) = 𝑆2 βˆͺ {π‘Ž2 }.
π‘Ž2
Space 𝕋
π‘Ž0 u
𝑆0
𝑆2
u
e
(𝛽, πœ”, 1) =r (𝛽, πœ”, 2)
r
𝑆1
(πœ”1 , π‘˜, 0) = (πœ”1 , π‘˜, 1)
ALMOST H-CLOSED
305
Property A. The space 𝕋 has the property that for every chain
π’ž of nonempty sets, the chain {π‘π‘™πœƒ 𝐢 : 𝐢 ∈ π’ž} has nonempty intersection.
Proof:
∩ Assume there is a chain π’ž of nonempty sets in 𝕋 such
that {π‘π‘™πœƒ 𝐢 : 𝐢 ∈ π’ž} = βˆ…. Let 𝑃 denote the H-closed subspace
𝑆0 βˆͺ {π‘Ž0 }. If 𝐢 ∩ 𝑃 βˆ•= βˆ… for each 𝐢 ∈ π’ž, then π’ž0 = {𝐢 ∩ 𝑃 : 𝐢 ∈ π’ž}
is a chain of nonempty sets in the H-closed subspaceβˆ©π‘ƒ . As π’ž0 is a
filter base on 𝑃 , it follows from Veličko’s result that {π‘π‘™πœƒπ‘ƒ (𝐢 ∩ 𝑃 ) :
𝐢 ∈ π’ž} =
βˆ• βˆ…. However, π‘π‘™πœƒπ‘ƒ (𝐢 ∩ 𝑃 ) = π‘π‘™πœƒπ•‹ (𝐢 ∩ 𝑃 ) in 𝕋. This is a
∩
contradiction as {π‘π‘™πœƒπ•‹ 𝐢 : 𝐢 ∈ π’ž} = βˆ…. So, there is a 𝐢 ∈ π’ž such
that 𝐢 ∩(𝑆0 βˆͺ{π‘Ž0 }) = βˆ…. A similar argument yields there is a 𝐢 ∈ π’ž
such that 𝐢 ∩(𝑆2 βˆͺ{π‘Ž2 })
βˆͺ = βˆ…. We can suppose that for each 𝐢 ∈ π’ž,
𝐢 βŠ† 𝑆1 βˆ–(π‘ˆ1 βˆͺ 𝑅1 ) βŠ† {πœ”1 × {𝑛} × {1} : 𝑛 ∈ πœ”}. In particular,
𝕋
{π‘Ž0 , π‘Ž2 } ∩ π‘π‘™πœƒπ•‹ 𝐢 = βˆ… for
∩ each 𝐢 ∈ π’ž. Hence, π‘π‘™πœƒ 𝐢 = 𝑐𝑙𝕋 𝐢 and our
assumption becomes {𝑐𝑙𝕋 𝐢 : 𝐢 ∈ π’ž} = βˆ…. Note that for each 𝑛 ∈
πœ” and 𝐢 ∈ π’ž, 𝑐𝑙𝕋 𝐢 ∩ ((πœ”1 + 1) × {𝑛} × {1}) is compact. So, for each
𝑛 ∈ πœ”, there is 𝐢𝑛 ∈ π’ž such
∩ that 𝑐𝑙𝕋 𝐢𝑛 ∩ ((πœ”1 + 1) × {𝑛} × {1}) = βˆ…
and 𝐢𝑛 βŠ‡ 𝐢𝑛+1 . Thus, {𝑐𝑙𝕋 𝐢𝑛 : 𝑛 ∈ πœ”} =βˆ©βˆ…. For each 𝑛 ∈ πœ”, let
π‘₯𝑛 ∈ πΆβˆ©π‘› ; {π‘₯𝑛 : 𝑛 ∈ πœ”} is an infinite set as {𝑐𝑙𝕋 𝐢𝑛 : 𝑛 ∈ πœ”} = βˆ….
Also, {𝑐𝑙𝕋 {π‘₯π‘š : π‘š β‰₯ 𝑛} : 𝑛 ∈ πœ”} = βˆ…. There is an 𝛼 ∈ πœ”1
such that {π‘₯𝑛 : 𝑛 ∈ πœ”} βŠ† (𝛼 + 1) × (πœ” + 1) × {1} = 𝑍. As 𝑍 is
compact, 𝑐𝑙𝕋 {π‘₯π‘š : π‘š β‰₯ 𝑛} βŠ† 𝑍 for each 𝑛 ∈ πœ”. This shows that
∩
{𝑐𝑙𝕋 {π‘₯π‘š : π‘š β‰₯ 𝑛} : 𝑛 ∈ πœ”} =
βˆ• βˆ…, a contradiction.
β–‘
Property B. It is easy to verify that the space 𝕋 is Urysohn.
Consider the open filter base β„± = {(𝛼, πœ”1 ) × (𝑛, πœ”)} × {1}
∩ :𝛼 ∈
πœ”1 , 𝑛 ∈ πœ”} on 𝕋. The open filter β„± has the property that {𝑐𝑙𝕋 𝐹 :
𝐹 ∈ β„±} = βˆ…. This shows that 𝕋 is not H-closed. Combining these
two results with that of Property A, we have that 𝕋 is a Urysohn,
non-H-closed space with
the property that for every chain π’ž of
∩
nonempty sets in 𝕋, {π‘π‘™πœƒ 𝐢 : 𝐢 ∈ π’ž} =
βˆ• βˆ….
Our next goal is to show that the Urysohn, non-H-closed space
𝕋 has the property that for every infinite subset 𝐴 of 𝕋, there is a
point 𝑝 ∈ 𝕋 such that ∣𝐴 ∩ π‘π‘™πœƒ π‘ˆ ∣ = ∣𝐴∣ for all 𝑝 ∈ π‘ˆ ∈ 𝜏 (𝕋); we say
that 𝑝 is a πœƒβˆ’complete accumulation point of 𝐴. In the following
result we will use Alexandroff and Urysohn’s result [1] that every
infinite subset of an H-closed space has a πœƒ-complete accumulation
point.
306
J. PORTER
Property C. Every infinite set 𝐴 of 𝕋 has a πœƒ-complete accumulation point.
Proof: Let 𝐴 be an infinite subset of 𝕋. If ∣𝐴∩ (𝑆0 βˆͺ {π‘Ž0 })∣ = ∣𝐴∣,
then, as 𝑆0 βˆͺ {π‘Ž0 } is H-closed, 𝐴 has a πœƒ-complete accumulation
point in 𝑆0 βˆͺ {π‘Ž0 }. But a πœƒ-complete accumulation point in 𝑆0 βˆͺ
{π‘Ž0 } is also a πœƒ-complete accumulation point in 𝕋. A similar result
holds for the H-closed subspace 𝑆2 βˆͺ {π‘Ž2 }. We can suppose that
𝐴
βˆͺ βŠ† 𝑆1 βˆ–(π‘ˆ1 βˆͺ 𝑅1 ) and, as noted in Property A, 𝑆1 βˆ–(π‘ˆ1 βˆͺ 𝑅1 ) βŠ†
{πœ”1 × {𝑛} × {1} : 𝑛 ∈ πœ”}. If 𝐴 is a countable set, there is
some 𝛼 < πœ”1 such that 𝐴 is contained in the compact subspace
(𝛼 + 1) × (πœ” + 1) × {1}. Thus, 𝐴 has a complete accumulation point
in 𝕋. Next, let 𝐴 be an infinite subset such that ∣𝐴∣ = πœ”1 . There
is some 𝑛 ∈ πœ”, such that ∣𝐴 ∩ ((πœ”1 + 1) × {𝑛} × {1})∣ = πœ”1 . As
(πœ”1 + 1) × {𝑛} × {1} is compact for each 𝑛 ∈ πœ”, 𝐴 has a complete
accumulation point in 𝕋.
β–‘
For an infinite cardinal πœ… and a space π‘Œ , a function 𝑓 : πœ…<πœ” β†’ π‘Œ
is called a πœ…-net (see [3]); the πœ…-net is denoted as ⟨π‘₯𝐹 : 𝐹 ∈ πœ…<πœ” ⟩
where 𝑓 (𝐹 ) = π‘₯𝐹 . A point 𝑝 ∈ π‘Œ is a πœƒ-cluster point of ⟨π‘₯𝐹 : 𝐹 ∈
πœ…<πœ” ⟩ if for 𝑝 ∈ π‘ˆ ∈ 𝜏 (π‘Œ ) and 𝐹 ∈ πœ…<πœ” , there is 𝐺 ∈ πœ…<πœ” such
that 𝐹 βŠ† 𝐺 and π‘₯𝐺 ∈ π‘π‘™π‘Œ π‘ˆ . The concept of πœ…-nets fits somewhere
between nets and filters. Hodel [3] proves that a Hausdorff space
𝑋 is H-closed if and only if every πœ…-net has a πœƒ-cluster point in 𝑋.
A sequence ⟨π‘₯𝛼 : 𝛼 ∈ πœ…βŸ© in a space π‘Œ has a πœƒ-cluster point 𝑝 ∈ π‘Œ
if for each 𝛼 ∈ πœ… and 𝑝 ∈ π‘ˆ ∈ 𝜏 (π‘Œ ), there is some 𝛽 ∈ πœ… such that
𝛼 < 𝛽 and π‘₯𝛽 ∈ 𝑐𝑙𝕋 π‘ˆ . Let 𝑆(𝛼) = {𝛽 ∈ πœ… : 𝛼 < 𝛽}. Hodel [3]
shows that in an H-closed space, every πœ…-sequence has a πœƒ-cluster
point and asks if a Hausdorff space π‘Œ in which every πœ…-sequence
has a πœƒ-cluster point in π‘Œ for each πœ… is necessarily H-closed. We
answer this question by showing that our space 𝕋 has the property
that every πœ…-sequence has a cluster point. First, notice that a πœ…sequence ⟨π‘₯𝛼 : 𝛼
∩ ∈ πœ…βŸ© in a space π‘Œ has a πœƒ-cluster point 𝑝 ∈ π‘Œ if
and only if 𝑝 ∈ {π‘π‘™πœƒ 𝑆(𝛼) : 𝛼 ∈ πœ…}.
Property D. The non-H-closed space 𝕋 has the property that
every πœ…-sequence has a πœƒ-cluster point in 𝕋. Let ⟨π‘₯𝛼 : 𝛼 ∈ πœ…βŸ© be
a πœ…-sequence in 𝕋 for some infinite cardinal πœ…. The family of sets
{𝑆(𝛼) : 𝛼 ∈ πœ…} of 𝕋 is a chain
∩ of nonempty sets. By Property
A, there is some point 𝑝 ∈ {π‘π‘™πœƒ 𝑆(𝛼) : 𝛼 ∈ πœ…}. By the above
comment, 𝑝 is a πœƒ-cluster point in 𝕋.
ALMOST H-CLOSED
307
Comment:
By Property A, for every chain π’ž of nonempty sets
∩
in 𝕋, {π‘π‘™πœƒ 𝐢 : 𝐢 ∈ π’ž} =
βˆ• βˆ…. If π’ž β€² is a chain of nonempty regular
closed sets in 𝕋, then for each 𝐢 ∈ π’ž β€² , π‘π‘™πœƒ 𝑖𝑛𝑑𝕋 𝐢 = 𝑐𝑙𝕋 𝑖𝑛𝑑𝕋 𝐢 = 𝐢.
Thus,∩{𝑖𝑛𝑑𝕋 𝐢 : 𝐢 ∈ π’ž}∩is a chain of nonempty open sets. It follows
that {𝐢 : 𝐢 ∈ π’ž} = π‘π‘™πœƒ 𝑖𝑛𝑑𝕋 𝐢 : 𝐢 ∈ π’ž} =
βˆ• βˆ…. That is, the space
𝕋 has the chain property of the space 𝔹 in section 2. However, the
space 𝔹 is Tychonoff, whereas the space 𝕋 is only Urysohn. If 𝑋
is a regular space satisfying the property that for every chain π’ž of
nonempty sets in 𝑋, ∩{π‘π‘™πœƒ 𝐢 : 𝐢 ∈ π’ž} =
βˆ• βˆ…, then 𝑋 is compact
because in a regular space, π‘π‘™πœƒ 𝐴 = 𝑐𝑙𝑋 𝐴 for each subset 𝐴 of 𝑋.
For this reason, the space 𝔹 is also included.
Note: Another application of the chain characterization of compactness is in [7] where it is shown that an H-closed space in which
every closed set is the πœƒ-closure of another set is compact.
Many of the ideas in this paper are connected by this very nice
result from [3]. We are indebted to the referee for many helpful
comments and for suggesting that this result be added.
Theorem 4 ([3]). The following are equivalent for any space 𝑋
and infinite cardinal πœ…:
(1) every πœ†-sequence {π‘₯𝛼 : 𝛼 < πœ†} with πœ† ≀ πœ… has a πœƒ-cluster
point;
(2) if {𝐹𝛼 : 𝛼 < πœ†} is a decreasing sequence of nonempty subsets
of 𝑋 with πœ† ≀ πœ…, then βˆ©π‘π‘™πœƒ (𝐹𝛼 ) βˆ•= βˆ…;
(3) if π’ž is a chain of nonempty subsets of 𝑋 with βˆ£π’žβˆ£ ≀ πœ…, then
βˆ©π‘π‘™πœƒ (𝐢) βˆ•= βˆ…; and
(4) if 𝐴 is an infinite subset of 𝑋 with ∣𝐴∣ ≀ πœ… and ∣𝐴∣ regular,
then 𝐴 has a πœƒ-complete accumulation point.
References
[1] Paul Alexandroff and Paul Urysohn, Zur theorie der topologischen raüme,
Math. Ann. 92 (1924), 258–262.
[2] Leonard Gillman and Meyer Jerison, Rings of Continuous Functions. The
University Series in Higher Mathematics. Princeton, N.J.-Toronto-LondonNew York: D. Van Nostrand Co., Inc., 1960
[3] R. E. Hodel, A theory of convergence and cluster points based on πœ…-nets,
Topology Proc. 35 (2010), 291–330.
308
J. PORTER
[4] Miroslav Katětov, Über H-abgeschlossene und bikompakte räume, Časopis
Pěst. Mat. Fys. 69 (1940), 36–49.
[5] G. A. Kirtadze, Different types of completeness of topological spaces (Russian), Mat. Sb. (N.S.) 50 (92) (1960), 67–90.
[6] A. V. Osipov, Weakly 𝐻-closed spaces, Proc. Steklov Inst. Math. 2004,
Topol. Math. Control Theory Differ. Equ. Approx. Theory, suppl. 1, S15–
S17.
[7] Jack Porter and Mohan Tikoo, On Katětov spaces, Canad. Math. Bull. 32
(1989), no. 4, 425–433.
[8] Jack R. Porter and R. Grant Woods, Extensions and Absolutes of Hausdorff
Spaces. New York: Springer-Verlag, 1988.
[9] M. H. Stone, Applications of the theory of Boolean rings to general topology,
Trans. Amer. Math. Soc. 41 (1937), no. 3, 375–481.
[10] N. V. Veličko, H-closed topological spaces, Amer. Math. Soc. Transl. 70(2)
(1968), 103–118.
Department of Mathematics; University of Kansas; Lawrence, KS
66045
E-mail address: [email protected]