Open Problems in Topology II

723 Pages·2007·5.158 MB·English

by  Elliott M. Pearl

OPEN PROBLEMS IN TOPOLOGY II

Edited By
Elliott Pearl, Toronto, Canada

Description
This volume is a collection of surveys of research problems in topology and its applications.
The topics covered include general topology, set-theoretic topology, continuum theory,
topological algebra, dynamical systems, computational topology and functional analysis.

Contents

Part 1. General Topology
1. Selected ordered space problems (H. Bennett and D. Lutzer) 2. Problems on star-covering
properties (M. Bonanzinga and M. Matveev) 3. Function space topologies (D.N. Georgiou,
S.D. Iliadis and F. Mynard) 4. Spaces and mappings: special networks (C. Liu and Y.
Tanaka) 5. Extension problems of real-valued continuous functions (H. Ohta and K.
Yamazaki) 6. LE(k)-spaces (O. Okunev) 7. Problems on (ir) resolvability (O. Pavlov) 8.
Topological games and Ramsey theory (M. Scheepers) 9. Selection principles and special
sets of reals (B. Tsaban)

Part 2. Set-theoretic Topology
10. Introduction: Twenty problems in set-theoretic topology (M. Hrusak and J.T. Moore) 11.
Thin-tall spaces and cardinal sequences (J. Bagaria) 12. Sequential order (A. Dow) 13. On
D-spaces (T. Eisworth) 14. The fourth head of BN (I. Farah) 15. Are stratifiable spaces M1?
(G. Gruenhage) 16. Perfect compacta and basis problems in topology (G. Gruenhage and
J.T. Moore) 17. Selection problems for hyperspaces (V. Gutev and T. Nogura) 18. Efimov's
problem (K.P. Hart) 19. Completely separable MAD families (M. Hrusak and P. Simon) 20.
Good, splendid and Jakovlev (I. Juhasz and W.A.R. Weiss) 21. Homogeneous compacta (J.
van Mill) 22. Compact spaces with hereditarily normal squares (J.T. Moore) 23. The
metrization problem for Frechet groups (J.T. Moore and S. Todorcevic) 24. Cech-Stone
remainders of discrete spaces (P.J. Nyikos) 25. First countable, countably compact,
noncompact spaces (P.J. Nyikos) 26. Linearly Lindelof problems (E. Pearl) 27. Small
Dowker spaces (P.J. Szeptycki) 28. Reflection of topological properties to N1 (F.D. Tall)
29. The Scarborough-Stone problem (J.E. Vaughan)

Part 3. Continuum Theory
30. Questions in and out of context (D.P. Bellamy) 31. An update on the elusive fixed-point
property (C.L. Hagopian) 32. Hyperspaces of continua (A. Ilanes) 33. Inverse limits and
dynamical systems (W.T. Ingram) 34. Indecomposable continua (W. Lewis) 35. Open
problems on dendroids (V. Martinez-de-la-Vega and J.M. Martinez-Montejano) 36. ?-
Homogeneous continua (S.B. Nadler, Jr.) 37. Thirty open problems in the theory of
homogeneous continua (J.R. Prajs)

Part 4. Topological Algebra
38. Problems about the uniform structures of topological groups (A. Bouziad and J-P.
Troallic) 39. On some special classes of continuous maps (M.M. Clementino and D.
Hofmann) 40. Dense subgroups of compact groups (W.W. Comfort) 41. Selected topics
from the structure theory of topological groups (D. Dikranjan and D. Shakhmatov) 42.
Recent results and open questions relating Chu duality and Bohr compactifications of
locally compact groups (J. Galindo, S. Hernandez and T-S. Wu) 43. Topological
transformation groups: selected topics (M. Megrelishvili) 44. Forty-plus annotated questions
about large topological groups (V. Pestov)

Part 5. Dynamical Systems
45. Minimal flows (W.F. Basener, K. Parwani and T. Wiandt) 46. The dynamics of tiling
spaces (A. Clark) 47. Open problems in complex dynamics and "complex" topology (R.L.
Devaney) 48. The topology and dynamics of flows (M.C. Sullivan)

Part 6. Computer Science
49. Computational topology (D. Blackmore and T.J. Peters)

Part 7. Functional Analysis
50. Non-smooth analysis, optimisation theory and Banach space theory (J.M. Borwein and
W.B. Moors) 51. Topological structures of ordinary differential equations (V.V. Filippov)
52. The interplay between compact spaces and the Banach spaces of their continuous
functions (P. Koszmider) 53. Tightness and t-equivalence (O. Okunev) 54. Topological
problems in nonlinear and functional analysis (B. Ricceri) 55. Twenty questions on
metacompactness in function spaces (V.V. Tkachuk)

Part 8. Dimension Theory
56. Open problems in infinite-dimensional topology (T. Banakh, R. Cauty and M.
Zarichnyi) 57. Classical dimension theory (V.A. Chatyrko) 58. Questions on weakly
infinite-dimensional spaces (V.V. Fedorchuk) 59. Some problems in the dimension theory
of compacta (B.A. Pasynkov)

Part 9. Invited Papers
60. Problems from the Lviv topological seminar (T. Banakh, B. Bokalo, I. Guran, T. Radul
and M. Zarichnyi) 61. Problems from the Bizerte-Sfax-Tunis Seminar (O. Echi, H.
Marzougui and E. Salhi) 62. Cantor set problems (D.J. Garity and D. Repovs) 63. Problems
from the Galway Topology Colloquium (C. Good, A. Marsh, A. McCluskey and B.
McMaster) 64. The lattice of quasi-uniformities (E.P. de Jager amd H-P.A. Kunzi) 65.
Topology in North Bay: some problems in continuum theory, dimension theory and
selections (A. Karasev, M. Tuncali and V. Valov) 66. Moscow questions on topological
algebra (K.L. Kozlov, E.A. Reznichenko and O.V. Sipacheva) 67. Some problems from
George Mason University (J. Kulesza, R. Levy and M. Matveev) 68. Some problems on
generalized metrizable spaces (S. Lin) 69. Problems from the Madrid Department of
Geometry and Topology (J.M.R. Sanjurjo) 70. Cardinal sequences and universal spaces (L.
Soukup)

List of contributors Index

Hardbound, 776 pages, publication date: MAR-2007
ISBN-13: 978-0-444-52208-5
ISBN-10: 0-444-52208-5
Preface
This new book follows the 1990 volume Open Problems in Topology edited
by J. van Mill and G.M. Reed. It builds on the success of original volume by
presenting currently active research topics in topology. The contributions in this
book are entirely new even though some (many?) of its problems may have been
raised in other sources. As with the original volume, the intent is to provide a
source of dissertation problems and to challenge the research community within
and beyond topology. This volume covers a broad range of topics related to
topologyandexaminessometopicsingreaterdepth. Theproblemsinthisvolume
are supposed to reflect the main trends in general topology and its applications
since 1990 and I hope that they will help direct further research.
Thisvolumewaspreparedwiththeinvaluablehelpofseveraleditorialadvisors.
They are Fr´ed´eric Mynard (General Topology), Michael Hruˇs´ak and Justin Tatch
Moore (Set-theoretic Topology), Alejandro Illanes (Continuum Theory), Dikran
Dikranjan(TopologicalAlgebra),JohnC.Mayer(DynamicalSystems),ThomasJ.
Peters (Computer Science), Biagio Ricceri (Functional Analysis), and Vitalij A.
Chatyrko (Dimension Theory). The advisors helped with the selection of contrib-
utors and the review of manuscripts in the respective parts of the volume.
Thisvolumehasaninthpart,Invited Problems,whichisnotorganizedbyany
particular topic. Here I invited several research groups to contribute problems
representative of their interests.
The journal Topology and its Applications will continue to publish regular
reportsonthestatusofproblemsfromtheoriginalbookandfromthisnewvolume.
Please contribute information on solutions to the respective authors and editors.
I want to thank Jan van Mill for his help in getting this project started. I
thank the Fields Insititute in Toronto for their hospitality during the preparation
of this volume.
Elliott Pearl, Toronto, September 2006
v
Open Problems in Topology II – Edited by E. Pearl
© 2007 Elsevier B.V. All rights reserved
Selected ordered space problems
Harold Bennett and David Lutzer
1. Introduction
A generalized ordered space (a GO-space) is a triple (X,τ,<) where (X,<)
is a linearly ordered set and τ is a Hausdorff topology on X that has a base of
order-convex sets. If τ is the usual open interval topology of the order <, then we
saythat(X,τ,<)isalinearly ordered topological space (LOTS).Besidestheusual
real line, probably the most familiar examples of GO-spaces are the Sorgenfrey
line, the Michaelline, the Alexandroff double arrow, andvarious spaces ofordinal
numbers. In this paper, we collect together some of our favorite open problems
in the theory of ordered spaces. For many of the questions, space limitations
restricted us to giving only definitions and references for the question. For more
detail,see[7]. Notablyabsentfromourlistareproblemsaboutorderability,about
products of special ordered spaces, about continuous selections of various kinds,
andaboutCp-theory,andforthatweapologize. Throughoutthepaper,wereserve
thesymbolsR,P,andQfortheusualsetsofreal,irrational,andrationalnumbers
respectively.
2. A few of our favorite things
The most important open question in GO-space theory is Maurice’s problem,
whichQiaoandTallshowed[16]iscloselyrelatedtoseveralotheroldquestionsof
Heath and Nyikos [7]. Maurice asked whether there is a ZFC example of a perfect
GO-space that does not have a σ-closed-discrete dense subset. A recent paper [9]
has shown that a ZFC example, if there is one, cannot have local density ≤ ω ,
1
and what remains is:
Question 1. Let κ>ω1 be a cardinal number. Is it consistent with ZFC that any 1–2?
perfect GO-space with local density ≤ κ must have a σ-closed-discrete dense set?
Equivalently, is it consistent with ZFC that every perfect non-Archimedean space
with local density ≤ κ is metrizable? Is it consistent with ZFC that every perfect
GO-space with local density ≤κ and with a point-countable base is metrizable?
The following question is closely related to Question 1; see [7] for details.
Question 2 (The GO-embedding problem). Let κ > ω1 be a cardinal number. 3?
Is it consistent with ZFC that every perfect GO-space X with local density ≤ κ
embeds in some perfect LOTS? (Note: the embedding map h is not required to be
monotonic and h[X] is not required to be open, or closed, or dense, in the perfect
LOTS.)
LetMbetheclassofallmetrizablespaces. AspaceX iscleavableoverM[1]
ifforeachsubsetA⊆X,thereisacontinuousfA fromX intosomememberofM
suchthatfA(x)(cid:4)=fA(y)foreachx∈Aandy ∈X\A. Thepropertycleavableover
3
4 §1. BennettandLutzer,Selectedorderedspaceproblems
S isanalogouslydefined,whereS istheclassofallseparablemetrizablespaces. It
is known [2] that the following properties of a GO-space X are equivalent: (a) X
is cleavable over M; (b) X has a weaker metrizable topology; (c) X has a Gδ-
diagonal; (d) there is a σ-discrete collection C of cozero subsets of X such that if
x(cid:4)=y are points of X, then some C ∈C has |C∩{x,y}|=1.
For a GO-space X with cellularity ≤ c, each of the following is equivalent
to cleavability of X over S: (a) X has a weaker separable metrizable topology;
(b) X has a countable, point-separating cover by cozero sets; (c) X is divisible
by cozero sets, i.e., for each A ⊆ X, there is a countable collection CA of cozero
subsets of X with the property that given x∈A and y ∈X\A, some C ∈CA has
x∈C ⊆Y \{y}. However, for each κ>c there a LOTS X that is cleavable over
S and has c(X)=κ (Example 4.8 of [2]). Therefore we have:
4? Question 3. Characterize GO-spaces that are cleavable over S without imposing
restrictions on the cardinal functions of X.
5? Question 4. Characterize GO-spaces that are divisible by open sets (in which
the collection C mentioned in (c) above consists of open sets, but not necessarily
cozero-sets).
6? Question 5. Characterize GO-spaces that are cleavable over R, i.e., in which the
cleaving functions fA can always be taken to be mappings into R.
Cleavability over P and Q has already been characterized in [2]. For compact,
connected LOTS, see [11].
7–8? Question 6. Arhangel(cid:2)ski˘ı has asked whether a compact Hausdorff space X that
is cleavable over some LOTS (or GO-space) L must itself be a LOTS. What if X
is zero-dimensional?
Arhangel(cid:2)ski˘ı proved that if a compact Hausdorff space X is cleavable over
R, then X is embeddable in R. Buzyakova [11] showed the same is true if R is
replaced by the lexicographic product space R×{0,1}.
9? Question 7 (Buzyakova). Is it true that a compact Hausdorff space X that is
cleavable over an infinite homogeneous LOTS L must be embeddable in L?
A topological space X is monotonically compact (resp., monotonically Lin-
delo¨f) if for each open cover U it is possible to choose a finite (resp., countable)
openrefinementr(U)suchthatifU andV areanyopencoversofX withU refining
V,thenr(U)refinesr(V). Itisknownthatanycompactmetrizablespaceismono-
tonicallycompact,andthatanysecondcountablespaceismonotonicallyLindel¨of,
and that any separable GO-space is hereditarily monotonically Lindelo¨f [10].
10–13? Question 8. Is every every perfect monotonically Lindelo¨f GO-space separable?
Is every hereditarily monotonically Lindel¨of GO-space separable? If there is a
Souslin line, is there a compact Souslin line that is hereditarily monotonically
Lindel¨of and is there is a Souslin line that is not monotonically Lindel¨of?
Afewofourfavoritethings 5
Question 9. If Y is a subspace of a perfect monotonically Lindelo¨f GO-space X, 14?
must Y be monotonically Lindelo¨f?
Question 10. (a) Is the lexicographic product space X =[0,1]×{0,1} monoton- 15–17?
ically compact? (b) If X is a first-countable compact LOTS, is X monotonically
Lindel¨of? (c) If X is a first-countable monotonically compact LOTS, is X metriz-
able?
Studying properties of a space X off of the diagonal Δ = {(x,x) : x ∈ X}
means studying properties of the space X2\Δ. For example one can show that a
GO-space X is separable if and only c(X2\Δ)=ω.
Question 11 ([6]). Is it true that a GO-space is separable if X2\Δ has a dense 18–19?
Lindel¨of subspace? If X is a Souslin space, can X2 \Δ have a dense Lindel¨of
subspace?
Question 12. In ZFC, is there a non-metrizable, Lindel¨of LOTS X that has a 20?
countable rectangular open cov(cid:2)er of X2\Δ (i.e., a collection {Un×Vn : n < ω}
of basic open sets in X2 with {Un×Vn :n<ω}=X2\Δ)?
Under CH or b=ω the answer to Question 12 is affirmative [5].
1
Question 13. Suppose X is a LOTS that is first-countable and hereditarily para- 21–22?
compact off of the diagonal (i.e., X2 \Δ is hereditarily paracompact). Must X
have a point-countable base? Is it possible that a Souslin space can be hereditarily
paracompact off of the diagonal?
We note that if one considers GO-spaces rather than LOTS in Question 13,
then there is a consistently negative answer. Under CH, Michael [15] constructed
an uncountable dense-in-itself subset X of the Sorgenfrey line S such that X2
is Lindelo¨f. Because S2 is perfect, X2 is perfect and Lindelo¨f, i.e., hereditarily
Lindelo¨f. But X cannot have a point-countable base.
Let PS be the set of irrational numbers topologized as a subspace of the Sor-
genfrey line. It is known [8] that PS is domain-representable, being a Gδ-subset
of the Sorgenfrey line. In fact, the Sorgenfrey line is representable using a Scott
domain [12].
Question 14. Is the Gδ subspace PS of S also Scott-domain-representable? 23?
Question 15 (Suggested by R. Buzyakova). Suppose X is a GO-space that is 24?
countablycompactbutnotcompactandthateverycompactsubsetofX isametriz-
able Gδ-subspace of X. Must X have a base of countable order?
MaryEllenRudin[17]provedthateverycompactmonotonicallynormalspace
is a continuous image of a compact LOTS. Combining her result with results of
Nikiel proves a generalized Hahn–Mazurkiewicz theorem, namely that a topolog-
ical space X is a continuous image of a compact, connected LOTS if and only if
X is compact, connected, locally connected, and monotonically normal.
Question 16. Is there an elementary submodels proof of the generalized Hahn– 25?
Mazurkiewicz theorem above?
6 §1. BennettandLutzer,Selectedorderedspaceproblems
AspaceX isweaklyperfect ifforeachclosedsubsetC ⊆X thereisaGδ-subset
D of X with D ⊆C =clX(D).
26? Question 17 ([3]). Suppose Y is a subspace of a weakly perfect GO-space X.
Must Y be weakly perfect?
27? Question 18 ([4]). Suppose that X is a Lindelo¨f GO-space that has a small
diagonal and that can be p-embedded in some LOTS. Must X be metrizable?
28–29? Question 19 ([13]). Let < be the usual ordering of R. For which subsets X ⊆R
is there a tree T and linear orderings of the nodes of T so that (a) no node of T
contains an order-isomorphic copy of (X,<), and (b) (X,<) is order-isomorphic
to the branch space of T? (Both R and P are representable in this way, but Q is
not.) Which Fσδ-subsets of R are order-isomorphic to the branch space of some
countable tree?
An Aronszajn line is a linearly ordered set that has cardinality ω , contains
1
no order-isomorphic copy of ω , no copy of ω with the reverse order, and no
1 1
order-isomorphiccopyofanuncountablesetofrealnumbers. Suchthingsexistin
ZFC.
30–31? Question 20 ([14]). Can an Aronszajn line be Lindel¨of in its open interval
topology without containing a Souslin line? If an Aronszajn line has countable
cellularity in its open interval topology, must the Aronszajn tree from which the
line comes contain a Souslin tree?
32? Question 21 (Gruenhage and Zenor). Suppose X is a LOTS with a σ-closed-
discrete dense set and a continuous function Ψ: (X2\Δ)×X → R such that if
x (cid:4)= y are points of X, then Ψ(x,y)(x) (cid:4)= Ψ(x,y)(y). (Note that this is weaker
than the existence of a continuous separating family.) Must X be metrizable?
References
[1] A. V. Arhangel(cid:2)ski˘ı, The general concept of cleavability of a topological space, Topology
Appl.44(1992),27–36.
[2] H.Bennett,R.Byerly,andD.Lutzer,Cleavabilityinorderedspaces,Order18(2001),no.1,
1–17.
[3] H. Bennett, R. W. Heath, and D. Lutzer, GO-spaces with σ-closed discrete dense subsets,
Proc.Amer.Math.Soc.129(2001),no.3,931–939.
[4] H.BennettandD.Lutzer,Diagonalconditionsinorderedspaces,Fund.Math.153(1997),
no.2,99–123.
[5] H. Bennett and D. Lutzer, Off-diagonal metrization theorems, Topology Proc. 22 (1997),
Spring,37–58.
[6] H.BennettandD.Lutzer,Continuousseparatingfamiliesinorderedspacesandstrongbase
conditions,TopologyAppl.119(2002),no.3,305–314.
[7] H. Bennett and D. Lutzer, Recent developments in the topology of ordered spaces, Recent
progressingeneraltopology,II,North-Holland,Amsterdam,2002,pp.83–114.
[8] H. Bennett and D. Lutzer, Domain-representable spaces, Fund. Math. 189 (2006), no. 3,
255–268.
[9] H.BennettandD.Lutzer,OnaquestionofMaartenMaurice,TopologyAppl.153(2006),
1631–1638.
References 7
[10] H.Bennett,D.Lutzer,andM.Matveev,The monotone Lindelo¨f property and separability
in ordered spaces,TopologyAppl.151(2005),180–186.
[11] R. Z. Buzyakova, On cleavability of continua over LOTS, Proc. Amer. Math. Soc. 132
(2004),no.7,2171–2181.
[12] K.DukeandD.Lutzer,Scott-domain-representabilityofcertainorderedspaces,Submitted.
[13] W.FunkandD.Lutzer,Branchspacerepresentationsoflines,TopologyAppl.151(2005),
187–214.
[14] W.FunkandD.Lutzer,Lexicographically ordered trees,TopologyAppl.152(2005),no.3,
275–300.
[15] E. Michael, Paracompactness and the Lindelo¨f property in finite and countable Cartesian
products,CompositioMath.23(1971),199–214.
[16] Y.-Q. Qiao and F. D. Tall, Perfectly normal non-metrizable non-Archimedean spaces are
generalized Souslin lines,Proc.Amer.Math.Soc.131(2003),no.12,3929–3936.
[17] M.E.Rudin,Nikiel’s conjecture,TopologyAppl.116(2001),no.3,305–331.
Open Problems in Topology II – Edited by E. Pearl
© 2007 Elsevier B.V. All rights reserved
Problems on star-covering properties
Maddalena Bonanzinga and Mikhail Matveev
Introduction
In this chapter we consider some questions about properties defined in terms
of stars with respect to open covers. If U is a cover of X, and A a subset of
X, then St(A,U) = St1(A,U) = S{U ∈ U : U ∩ A 6= ∅}. For n = 1,2,...,
Stn+1(A,U) = St(Stn(A,U),U). Even if many properties can be characterized
in terms of stars (thus, paracompactness is equivalent to the requirement that
everyopencoverhasanopenstarrefinement([5],Theorem5.1.12),andnormality
is equivalent to the requirement that every finite open cover has an open star
refinement ([5], 5.1.A and 5.1.J)) we concentrate mostly on properties specifically
defined by means of stars.
All spaces are assumed to be Tychonoff unless a weaker axiom of separation
is indicated. If A is an almost disjoint family of infinite subsets of ω, then Ψ(A)
denotes the associated Ψ-space (see for example [4] or [8]). The reader is referred
to [3] for the definitions of small uncountable cardinals such as b, d or p.
Compactness-type properties
A space X is starcompact [6] if for every open cover U there is a finite A⊂X
such that St(A,U)=X. More generally, X is n-starcompact (where n=1,2,...)
if for every open cover U there is a finite A ⊂ X such that Stn(A,U) = X;
X is n1-starcompact if for every open cover U there is a finite O ⊂ U such
that Stn2(SO,U) = X. This terminology is from [16]; in [4], n-starcompact
spaces are called strongly n-starcompact, and n1-starcompact spaces are called
2
n-starcompact. A Hausdorff space is starcompact iff it is countably compact [6];
a Tychonoff space is 21-starcompact iff it is pseudocompact [4]. In general, none
2
of the implications (countably compact) ⇒ 11-starcompact ⇒ 2-starcompact ⇒
2
pseudocompact can be reversed (see [4, 16] for examples), but in special classes
of spaces the situation may be different.
Question 1 ([20], Problem 3.1). Is every 11-starcompact Moore space compact? 33?
2
Under b=c, the answer is affirmative [20].
Question 2 ([25]). Does there exist a ccc pseudocompact space which is not 2- 34?
starcompact?
One can specify the previous question in this way:
Question 3. Does there exist a pseudocompact topological group which is not 35?
2-starcompact?
The first named author acknowledges GNSAGA-CNR, Italy for financial support.
9