Open Problems in Topology II

Open Problems in Topology II

Edited by Elliott Pearl

2007

ELSEVIERAmsterdam Boston New York Oxford Paris San Diego San Francisco Singapore Sydney Tokyo

ELSEVIER SCIENCE B.V.Sara Burgerhartstraat 25P.O. Box 211, 1000AE AmsterdamThe Netherlandsc 2007 Elsevier Science B.V. All right reserved.This work is protected under copyright by Elsevier Science, and the followingterms and conditions apply to its use:

PrefaceBlah, blah, blah.

Elliott Pearl, Toronto, July 2006

Contents

Part 1. General Topology 1

Chapter 1. Selected ordered space problems 3

Chapter 2. Problems on star-covering properties 9

Chapter 3. Function space topologies 15

Chapter 4. Spaces and mappings: special networks 23

Chapter 5. Extension problems of real-valued continuous functions 35

Chapter 6. L()-spaces 47

Chapter 7. Problems on (ir)resolvability 51

Chapter 8. Topological games and Ramsey theory 61

Chapter 9. Selection principles and special sets of reals 91

Part 2. Set-theoretic Topology 109

Chapter 10. Introduction: Twenty problems in set-theoretic topology 111

Chapter 11. Thin-tall spaces and cardinal sequences 115

Chapter 12. Sequential order 125

Chapter 13. On D-Spaces 129

Chapter 14. The fourth head of N 135

Chapter 15. Are stratifiable spaces M1? 143

Chapter 16. Perfect compacta and basis problems in topology 151

Chapter 17. Michaels selection problem 161

Chapter 18. Efimovs problem 171

Chapter 19. Completely separable MAD families 179

Chapter 20. Good, splendid and Jakovlev 185

Chapter 21. Homogeneous compacta 189

Chapter 22. Compact spaces with hereditarily normal squares 197

Chapter 23. The metrization problem for Frechet groups 201

vii

viii CONTENTS

Chapter 24. CechStone remainders of discrete spaces 207

Chapter 25. First countable, countably compact, noncompact spaces 217

Chapter 26. Linearly Lindelof problems 225

Chapter 27. Small Dowker spaces 233

Chapter 28. Reflection of topological properties to 1 241

Chapter 29. The ScarboroughStone problem 249

Part 3. Continuum Theory 259

Chapter 30. Questions in and out of context 261

Chapter 31. An update on the elusive fixed-point property 265

Chapter 32. Hyperspaces of continua 281

Chapter 33. Inverse limits and dynamical systems 291

Chapter 34. Indecomposable continua 305

Chapter 35. Open problems on dendroids 321

Chapter 36. 12 -homogeneous continua 337

Chapter 37. Thirty open problems in the theory of homogeneous continua 347

Part 4. Topological Algebra 359

Chapter 38. Problems about the uniform structures of topological groups 361

Chapter 39. On some special classes of continuous maps 369

Chapter 40. Dense subgroups of compact groups 379

Chapter 41. Selected topics from the structure theory of topological groups 391

Chapter 42. Recent results and open questions relating Chu duality andBohr compactifications of locally compact groups 405

Chapter 43. Topological transformation groups: selected topics 421

Chapter 44. Forty-plus annotated questions about large topological groups 437

Part 5. Dynamical Systems 449

Chapter 45. Minimal flows 451

Chapter 46. The dynamics of tiling spaces 461

CONTENTS ix

Chapter 47. Open problems in complex dynamics and complex topology 467

Chapter 48. The topology and dynamics of flows 477

Part 6. Topology in Computer Science 489

Chapter 49. Computational topology 491

Part 7. Functional Analysis 545

Chapter 50. Non-smooth Analysis, Optimisation theory and Banach spacetheory 547

Chapter 51. Topological structures of ordinary differential equations 559

Chapter 52. The interplay between compact spaces and the Banach spacesof their continuous functions 565

Chapter 53. Tightness and t-equivalence 579

Chapter 54. Topological problems in nonlinear and functional analysis 583

Chapter 55. Twenty questions on metacompactness in function spaces 591

Part 8. Dimension Theory 595

Chapter 56. Open problems in infinite-dimensional topology 597

Chapter 57. Classical dimension theory 621

Chapter 58. Questions on weakly infinite-dimensional spaces 633

Chapter 59. Some problems in the dimension theory of compacta 643

Part 9. Invited Problems 649

Chapter 60. Problems from the Lviv topological seminar 651

Chapter 61. Problems from the BizerteSfaxTunis Seminar 663

Chapter 62. Cantor set problems 669

Chapter 63. Problems from the Galway Topology Colloquium 673

Chapter 64. The lattice of quasi-uniformities 685

Chapter 65. Topology in North Bay: some problems in continuum theory,dimension theory and selections 691

Chapter 66. Moscow questions on topological algebra 705

x CONTENTS

Chapter 67. Some problems from George Mason University 721

Chapter 68. Some problems on generalized metrizable spaces 725

Chapter 69. Problems from the Madrid Department of Geometry andTopology 731

Chapter 70. Cardinal sequences and universal spaces 737

Index 741

Part 1

General Topology

Selected ordered space problems

Harold Bennett and David Lutzer

1. Introduction

A generalized ordered space (a GO-space) is a triple (X, ,

4 1. SELECTED ORDERED SPACE PROBLEMS

is known [2] that the following properties of a GO space X are equivalent: (a) Xis 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 ifx 6= 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 tocleavability of X over S: (a) X has a weaker separable metric topology; (b) X hasa 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 withthe 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:

Question 3. Characterize GO-spaces that are cleavable over S without imposing3?restrictions on the cardinal functions of X.

Question 4. Characterize GO-spaces that are divisible by open sets (in which4?the collection C mentioned in (c) above consists of open sets, but not necessarilycozero-sets).

Question 5. Characterize GO spaces that are cleavable over R, i.e., in which the5?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].

Question 6. Arhangelskii has asked whether a compact Hausdorff space X that67?is cleavable over some LOTS (or GO-space) L must itself be a LOTS. What if Xis zero-dimensional?

Arhangelskii proved that if a compact Hausdorff space X is cleavable overR, then X is embeddable in R. Buzyakova [11] showed the same is true if R isreplaced by the lexicographic product space R {0, 1}.Question 7 (Buzyakova). Is a compact Hausdorff space X that is cleavable over8?an infinite homogeneous LOTS L must be embeddable in L?

A topological space X is monotonically compact (resp., monotonically Lin-delof ) if for each open cover U it is possible to choose a finite (resp., countable)open refinement r(U) such that if U and V are any open covers of X with U refiningV , then r(U) refines r(V). It is known that any compact metric space is mono-tonically compact and that any second countable space is monotonically Lindelofand that any separable GO-space is hereditarily monotonically Lindelof [10].

Question 8. Is every every perfect monotonically Lindelof GO-space separable?912?Is every hereditarily monotonically Lindelof GO-space separable? If there is aSouslin line, is there a compact Souslin line that is hereditarily monotonicallyLindelof and is there is a Souslin line that is not monotonically Lindelof?

Question 9. If Y is a subspace of a perfect monotonically Lindelof GO-space X,13?must Y be monotonically Lindelof?

2. A FEW OF OUR FAVORITE THINGS 5

Question 10. (a) Is the lexicographic product space X = [0, 1]{0, 1} monoton- 1416?ically compact? (b) If X is a first-countable compact LOTS, is X monotonicallyLindelof? (c) If X is a first-countable monotonically compact LOTS, is X metriz-able?

Studying properties of a space X off of the diagonal means studying propertiesof the space X2 \. For example one can show that a GO-space X is separableif and only c(X2 \) = .Question 11 ([6]). Is it true that a GO-space is separable if X2 \ has a dense 1718?Lindelof subspace? If X is a Souslin space, can X2 \ have a dense Lindelofsubspace?

Question 12. In ZFC, is there a non-metrizable, Lindelof LOTS X that has a 19?

countable rectangular open cover of X2 \ (i.e., a collection {Un Vn : n < }of basic open sets in X2 with

{Un Vn : n < } = X2 \)?Under CH or b = 1 the answer to Question 12 is affirmative [5].

Question 13. Suppose X is a LOTS that is first-countable and hereditarily para- 2021?

compact off of the diagonal (i.e., X2 \ is hereditarily paracompact). Must Xhave a point-countable base? Is it possible that a Souslin space can be hereditarilyparacompact 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] constructedan uncountable dense-in-itself subset X of the Sorgenfrey line S such that X2

is Lindelof. Because S2 is perfect, X2 is perfect and Lindelof, i.e., hereditarilyLindelof. 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 X is domain-representable, being a G-subsetof the Sorgenfrey line. In fact, the Sorgenfrey line is representable using a Scottdomain [12].

Question 14. Is the G subspace PS of S also Scott-domain-representable? 22?

Question 15 (Suggested by R. Buzyakova). Suppose X is a GO-space that is 23?countably compact but not compact and that compact subset of X is a metrizableG-subspace of X. Must X have a base of countable order [18]?

Mary Ellen Rudin [17] proved that every compact monotonically normal spaceis a continuous image of a compact LOTS. Combining her result with results ofNikiel proves a generalized HahnMazurkiewicz theorem, namely that a topolog-ical space X is a continuous image of a compact, connected LOTS if and only ifX is compact, connected, locally connected, and monotonically normal.

Question 16. Is there an elementary submodels proof of the generalized Hahn 24?Mazurkiewicz theorem above?

A spaceX is weakly perfect if for each closed subset C X there is aG-subsetD of X with D C = clX(D).

6 1. SELECTED ORDERED SPACE PROBLEMS

Question 17 ([3]). Suppose Y is a subspace of a weakly perfect GO-space X.25?Must Y be weakly perfect?

Question 18 ([4]). Suppose that X is a Lindelof GO-space that has a small26?diagonal and that can be p-embedded in some LOTS. Must X be metrizable?

Question 19 ([13]). Let < be the usual ordering of R. For which subsets X R2728?is there a tree T and linear orderings of the nodes of T so that (a) no node of Tcontains an order isomorphic copy of (X,

REFERENCES 7

[13] W. Funk and D. Lutzer, Branch space representations of lines, Topology Appl. 151 (2005),no. 1-3, 187214.

[14] W. Funk and D. Lutzer, Lexicographically ordered trees, Topology Appl. 152 (2005), no. 3,275300.

[15] E. Michael, Paracompactness and the Lindelof property in finite and countable Cartesianproducts, Compositio Math. 23 (1971), 199214.

[16] Y.-Q. Qiao and F. D. Tall, Perfectly normal non-metrizable non-Archimedean spaces aregeneralized Souslin lines, Proc. Amer. Math. Soc. 131 (2003), no. 12, 39293936.

[17] M. E. Rudin, Nikiels conjecture, Topology Appl. 116 (2001), no. 3, 305331.[18] J. M. Worrell, Jr. and H. H. Wicke, Characterizations of developable topological spaces,

Canad. J. Math. 17 (1965), 820830.

Problems on star-covering properties

Maddalena Bonanzinga and Mikhail Matveev

Introduction

In this chapter we consider some questions about properties defined in termsof stars with respect to open covers. If U is a cover of X , and A a subset ofX , then St(A,U) = St1(A,U) = {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 interms of stars (thus, paracompactness is equivalent to the requirement that everyopen cover has an open star refinement ([5], Theorem 5.1.12), and normalityis equivalent to the requirement that every finite open cover has an open starrefinement ([5], 5.1.A and 5.1.J)) we concentrate mostly on properties specificallydefined by means of stars.

All spaces are assumed to be Tychonoff unless a weaker axiom of separationis indicated. If A is an almost disjoint family of infinite subsets of , then (A)denotes the associated -space (see for example [25] or [3]). The reader is refereedto [24] 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 Xsuch 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 n 12 -starcompact if for every open cover U there is a finite O U suchthat Stn(

O,U) = X . This terminology is from [14]; in [25], n-starcompactspaces are called strongly n-starcompact, and n 12 -starcompact spaces are calledn-starcompact. A Hausdorff space is starcompact iff it is countably compact [6];a Tychonoff space is 2 12 -starcompact iff it is pseudocompact [25]. In general, none

of the implications (countably compact) 1 12 -starcompact 2-starcompact pseudocompact can be reversed (see [25], [14] for examples), but in special classesof spaces situation may be different.

Question 1 ([18], Problem 3.1). Is every 1 12 -starcompact Moore space compact? 32?

Under b = c, the answer is affirmative [18].

Question 2 ([23]). Does there exist a CCC pseudocompact space which is not 33?2-starcompact?

One can specify the previous question in this way:

Question 3. Does there exist a pseudocompact topological group which is not 34?2-starcompact?

Indeed, every pseudocompact topological group is CCC.

9

10 2. PROBLEMS ON STAR-COVERING PROPERTIES

Lindelof-type properties and cardinal functions

A space X is called star-Lindelof if for every open cover U there is a countableA X such St(A,U) = X . More generally, the star-Lindelof number of X isst-L(X) = min{ : for every open cover U there is A X such that |A| andSt(A,U) = X}. It is easily seen that for a T1 space X , st-L(X) e(X), this isthe reason why the star-Lindelof number is also called weak extent [7]. In [25],star-Lindelof spaces are called strongly star-Lindelof.

A Tychonoff star-Lindelof space can have arbitrarily large extent, but theextent of a normal star-Lindelof space can equal at most c, [15]; alternative proofswere later given by W. Fleissner (unpublished) and in [9]. Consistently, even aseparable normal space may have extent equal to c [10] (obviously, a separablespace is star-Lindelof), however these questions remain open:

Question 4 ([10]).3536?

(1) Does there exist in ZFC a normal star-Lindelof space having uncountableextent? . . . having extent equal to c?

(2) Is there, in ZFC or consistently, a normal star-Lindelof space having aclosed discrete subspace of cardinality c?

The next question is a natural generalization of the discussion of closed discretesubspaces.

Question 5. Which Tychonoff (normal) spaces can be represented as closed3738?subspaces of Tychonoff (normal) star-Lindelof spaces?

As noted by Ronnie Levy, every locally compact space is representable as aclosed subspace of a Tychonoff star Lindelof space. This follows from the fact that2 \ {point} is star-Lindelof for every [9].

Say that X is discretely star-Lindelof if every open cover U there is a count-able, closed and discrete subspace A X such St(A,U) = X .Question 6. How big can be the extent of a normal discretely star-Lindelof space?3940?Can it be uncountable within ZFC?

A -space is a consistent example [15].

Paracompactness-type properties

A space X is called sr-paracompact (G.M. Reed, [18]) if for every open coverU , the cover {St({x},U) : x X} has a locally finite open refinement.

More information on sr-paracompactness can be found in [18].These properties were introduced by V.I. Ponomarev: X is n-sr-paracompact

(where n = 1, 2, . . . ) if for every open cover U , the cover {Stn({x},U)x X} hasa locally finite open refinement; X is n+ 12 -sr-paracompact if for every open coverU , the cover {Stn(U,U) : U U} has a locally finite open refinement.Question 7 (V.I. Ponomarev). For which n one can construct an n-sr-paracompact41?

Tychonoff space which is not (n 12 )-sr-paracompact? (Here n is either 2, 3, . . .of the form m+ 12 where m = 1, 2, . . . ).

PROPERTY (a) 11

Property (a)

A space X has property (a) (or is an (a)-space) if for every open cover U andfor every dense subspace D X , there is a closed in X and discrete E D suchthat St(E,U) = X [13].

For countably compact spaces, closed and discrete means finite; a spaceX is called acc (which is abbreviation for absolutely countably compact) if forevery open cover U and for every dense subspace D X , there is a finite E Dsuch that St(E,U) = X [11]. Replacing finite with countable provides thedefinition of absolute star Lindelofness [1].

In many ways property (a) is similar to normality [13], [19], [8], [16] evenif there are exceptions, thus every Tychonoff space can be embedded into a Ty-chonoff (a)-space as a closed subspace [12] while normality is a closed-hereditaryproperty. Regular closed subspaces of (a)-spaces are discussed in [20]. A normalcountably compact space need not be acc [17]. Every monotonically normal spacehas property (a) [19].

Here is one parallel with normality: if X is a countably paracompact (a)-space, and Y a compact metrizable space, then XY has property (a) as well [8].A space X is called (a)-Dowker if X is has property (a) while X ( + 1) doesnot [13].

Question 8 ([8]). Do (a)-Dowker spaces exist? 42?

Another parallel with normality is the restriction on cardinalities of closeddiscrete subspace. The classical Jones lemma says that if D is a dense subspace,and H a closed discrete subspace in a space, then 2|H| 2|D|. The situationwith normality replaced by property (a) is discussed in [13], [22], [21], [4], [3]. Aseparable (a)-space cannot contain a closed discrete subspace of cardinality c [13].

Question 9 ([4]). Is it consistent that there is an (a)-space X having a closed 4344?

discrete subspace of cardinality + so that = d(X) and 2 < 2+

? In partic-ular, is it consistent with 2 < 21 that a separable (a)-space may contain anuncountable closed discrete subspace?

Question 10 ([4]). Is it consistent that there is an (a)-space X having a closed 4546?

discrete subspace of cardinality + so that = c(X)(X) and 2 < 2+

? Inparticular, is it consistent with 2 < 21 that a first countable CCC (a)-space maycontain an uncountable closed discrete subspace?

An interesting special case of the problem under consideration is property (a)for -spaces. It is easily seen that if A is a maximal almost disjoint family, then(A) is not an (a)-space. If |A| < p then (A) is an (a)-space, and there isa family A of cardinality p such that (A) is an (a)-space [22]. The questionwhether p can be substituted by d remains open [3]. A characterization of familiesA for which (A) is an (a)-space is given in [22]; it is shown in [4] that if thereis an uncountable A for which (A) is an (a)-space, then there is a dominatingfamily of cardinality c in 1. The question is open whether the converse is true.

12 2. PROBLEMS ON STAR-COVERING PROPERTIES

Question 11 ([3]). Must (A) be an (a)-space if it is normal or countably para-47?compact?

Here is another instance of the general problem:

Question 12 (Attributed to P. Szeptycki in [3]). Is there a characterization of48?those subspaces X of R for which the subspaces of the Niemytzki plane obtainedby removing the points outside of X in the bottom line are (a)-spaces?

The analogy between normality and property (a) suggests also these questions:

Question 13. Characterize Tychonoff spaces X for which the product X X4950?is an (a)-space (or an acc space).

Question 14. How big can be the extent of a star-Lindelof (a)-space?51?

The first question is motivated by Tamano theorem ([5], 5.1.38), the secondone by the results on the extent of normal star-Lindelof spaces mentioned above.

Naturally, Question 13 has this modification: characterize Tychonoff spacesX for which the product X cX is an (a)-space (or an acc space) for everycompactification cX . It is easily seen that 1 (1 + 1) is not acc [11]. Somepositive results can be found in [26]; thus, the product of an acc space and acompact sequential space is acc.

Acknowledgment. The authors express gratitude to Ronnie Levy, SamuelGomes Da Silva and Paul Szeptycki for useful discussions.

References

[1] M. Bonanzinga, Star-Lindelof and absolutely star-Lindelof spaces, Questions Answers Gen.Topology 16 (1998), no. 2, 79104.

[2] M. Bonanzinga and M. V. Matveev, Centered-Lindelofness versus star-Lindelofness, Com-ment. Math. Univ. Carolin. 41 (2000), no. 1, 111122.

[3] S. G. Da Silva, On the presence of countable paracompactness, normality and property (a)in spaces from almost disjoint families, Questions Answers Gen. Topology, To appear.

[4] S. G. Da Silva, Property (a) and dominating families, Comment. Math. Univ. Carolin. 46(2005), no. 4, 667684.

[5] R. Engelking, General topology, Heldermann Verlag, Berlin, 1989.[6] W. M. Fleischman, A new extension of countable compactness, Fund. Math. 67 (1970), 19.[7] R. E. Hodel, Combinatorial set theory and cardinal function inequalities, Proc. Amer. Math.

Soc. 111 (1991), no. 2, 567575.[8] W. Just, M. V. Matveev, and P. J. Szeptycki, Some results on property (a), Topology Appl.

100 (2000), no. 1, 6783.[9] G. Kozma, On removing one point from a compact space, Houston J. Math. 30 (2004),

no. 4, 11151126.[10] R. Levy and M. Matveev, Weak extent in normal spaces, Comment. Math. Univ. Carolin.

46 (2005), no. 3, 497501.[11] M. V. Matveev, Absolutely countably compact spaces, Topology Appl. 58 (1994), no. 1,

8192.[12] M. V. Matveev, Embeddings into (a)-spaces and acc spaces, Topology Appl. 80 (1997),

no. 1-2, 169175.[13] M. V. Matveev, Some questions on property (a), Questions Answers Gen. Topology 15

(1997), no. 2, 103111.

REFERENCES 13

[14] M. V. Matveev, A survey on star covering properties, 1998, Topology Atlas, Preprint No.330.

[15] M. V. Matveev, How weak is weak extent?, Topology Appl. 119 (2002), no. 2, 229232.[16] M. V. Matveev, O. I. Pavlov, and J. K. Tartir, On relatively normal spaces, relatively regular

spaces, and on relative property (a), Topology Appl. 93 (1999), no. 2, 121129.[17] O. Pavlov, A normal countably compact not absolutely countably compact space, Proc. Amer.

Math. Soc. 129 (2001), no. 9, 27712775.[18] G. M. Reed, Set-theoretic problems in Moore spaces, Open problems in topology, North-

Holland, Amsterdam, 1990, pp. 163181.[19] M. E. Rudin, I. S. Stares, and J. E. Vaughan, From countable compactness to absolute

countable compactness, Proc. Amer. Math. Soc. 125 (1997), no. 3, 927934.[20] W.-X. Shi, Y.-K. Song, and Y.-Z. Gao, Spaces embeddable as regular closed subsets into acc

spaces and (a)-spaces, Topology Appl. 150 (2005), no. 1-3, 1931.[21] P. J. Szeptycki, Soft almost disjoint families, Proc. Amer. Math. Soc. 130 (2002), no. 12,

37133717.[22] P. J. Szeptycki and J. E. Vaughan, Almost disjoint families and property (a), Fund. Math.

158 (1998), no. 3, 229240.[23] I. J. Tree, Constructing regular 2-starcompact spaces that are not strongly 2-star-Lindelof,

Topology Appl. 47 (1992), no. 2, 129132.[24] E. K. van Douwen, The integers and topology, Handbook of set-theoretic topology, North-

Holland, Amsterdam, 1984, pp. 111167.

[25] E. K. van Douwen, G. M. Reed, A. W. Roscoe, and I. J. Tree, Star covering properties,Topology Appl. 39 (1991), no. 1, 71103.

[26] J. E. Vaughan, On the product of a compact space with an absolutely countably compactspace, Papers on general topology and applications (Amsterdam, 1994), Ann. New YorkAcad. Sci., vol. 788, New York Acad. Sci., New York, 1996, pp. 203208.

Function space topologies

Dimitris N. Georgiou, Stavros D. Iliadis and Frederic Mynard

1. Splitting and admissible topologies

Let Y and Z be two fixed topological spaces. By C(Y, Z) we denote the setof all continuous maps from Y to Z. If t is a topology on the set C(Y, Z), thenthe corresponding topological space is denoted by Ct(Y, Z).

Let X be a space. To each map g : X Y Z which is continuous in y Yfor each fixed x X , we associate the map g : X C(Y, Z) defined as follows:for every x X , g(x) is the map from Y to Z such that g(x)(y) = g(x, y), y Y .Obviously, for a given map h : X C(Y, Z), the map h : X Y Z definedby h(x, y) = h(x)(y), (x, y) X Y , satisfies (h) = h and is continuous in yfor each fixed x X . Thus, the above association (defined in [19]) between themappings from X Y to Z that are continuous in y for each fixed x X, and themappings from X to C(Y, Z) is one-to-one.

In 1946, R. Arens [2] introduced the notion of an admissible topology: atopology t on C(Y, Z) is called admissible (1) if the map e : Ct(Y, Z) Y Z,called evaluation map, defined by e(f, y) = f(y), is continuous.

In 1951, R. Arens and J. Dugundji [1] introduced the notion of a splittingtopology: a topology t on C(Y, Z) is called splitting if for every space X , thecontinuity of a map g : X Y Z implies the continuity of the map g : X Ct(Y, Z) (

2). They also proved that a topology t on C(Y, Z) is admissible if andonly if for every space X , the continuity of a map h : X Ct(Y, Z) implies thatof the map h : X Y Z (3). If in the above definitions it is assumed that thespace X belongs to a fixed class A of topological spaces, then the topology t iscalled A-splitting or A-admissible, respectively (see [25]). We call two classes ofspaces A1 and A2 equivalent , in symbols A1 A2, if a topology t on C(Y, Z) isA1-splitting if and only if t is A2-splitting and t is A1-admissible if and only if tis A2-admissible (see [25]).

Each topology on a set X defines a topological convergence class , denotedhere by C(), consisting of all pairs (F , s) where F is a filter on X convergingtopologically to s X . A filter F on C(Y, Z) converges continuously to a functionf if e(F G) (where e : C(Y, Z) Y Z is the evaluation map) converges tof(x) in Z whenever G is a filter convergent to x in X (4). By C we denote the

1Such a topology is called jointly continuous or conjoining by some authors.2In [1] such a topology is called proper.3For the notions of splitting and admissible topologies see also the books [16], [17], and

[36].4Continuous convergence can alternatively be described in terms of convergence of nets in

C(X, Z), as given by O. Frink (see [20] and [32]): a net S = {f, } in C(Y, Z) convergescontinuously to f C(Y, Z) if and only if for every y Y and for every open neighborhood Wof f(y) in Z there exists an element 0 and an open neighborhood V of y in Y such thatfor every 0, we have f(V ) W . Notice that this is the description used in [1].

15

16 3. FUNCTION SPACE TOPOLOGIES

class of all pairs (F , f) such that F is a filter on C(Y, Z) converging continuouslyto f C(Y, Z). In general, the class C is not a topological convergence class(e.g., [1]). The topological modification of the continuous convergence, denotedhere by t(C), is obtained in a standard way, that is, a subset U of C(Y, Z) is openin t(C) if U F whenever (F , f) C (5). See [4], [3] for details on continuousconvergence.

It is well known (e.g., [1]) that a topology t on C(Y, Z) is splitting if andonly if C C(t). Also, a topology t on C(Y, Z) is admissible if and only ifC(t) C. Using the above characterizations, one can prove the following results(14) concerning topologies on C(Y, Z):

(1) Each splitting topology is contained in each admissible topology [1].(2) The topology t(C) is the greatest splitting topology.(3) The intersection of all admissible topologies coincides with the greatest

splitting topology (see [42] and [18]).(4) A topology t is simultaneously splitting and admissible if and only if C

is a topological convergence class, if and only if C(t) = C (see [1]).(5) There exist Y and Z such that the greatest splitting topology is not

admissible and, therefore, there does not always exists a simultaneouslysplitting and admissible topology. For example, such spaces are Y = Qand Z = R, where Q is the set of rational numbers and R is the set ofreal numbers with the usual topology (see [19] and [2]).

(6) If Z is a Ti-space, i = 0, 1, 2, then Ct(C)(Y, Z) is a Ti-space (see [16]).

Also, it is known that (see [25]):

(7) For every class A of spaces, there exists the greatest A-splitting topologywhich is denoted by t(A).

(8) If t is an A-splitting and A-admissible topology and Ct(Y, Z) A, thent = t(A).

(9) There exists a space X such that A T , where T is the class of allspaces and A the singleton {X}. Therefore, t(C) = t({X}).

(10) Let A be the class of spaces consisting of the Sierpinski space and allcompletely regular spaces with only one non-isolated point. ThenA T .Therefore, t(C) = t(A).

Problem 1 (See [1]). Characterize the greatest splitting topology t(C) on C(Y, Z)52?directly in terms of the topological structures of Y and Z.

Problem 2. Is the space Ct(C)(Y, Z) regular (respectively, Tychonoff) in the5354?case where Z is regular (respectively, Tychonoff)?

Problem 3 (See [25]). Characterize, in terms of the topological structures of Y55?and Z, spaces X such that the singleton {X} is equivalent to a well-known (orgiven) class of spaces.

In particular,

5In terms of nets, a subset U of C(Y, Z) is open in t(C) if and only if for every pair({f, }, f) C

, where f U , there exists 0 such that f U , for every 0.

2. THE GREATEST SPLITTING, COMPACT OPEN, AND ISBELL TOPOLOGIES 17

Problem 4. Characterize, in terms of the topological structures of Y and Z, 56?spaces X such that {X} T .Problem 5. Characterize classes A of spaces such that Ct(A)(Y, Z) A. 57?

Problem 6. Characterize classes A of spaces such that t(A) is A-admissible and 58?Ct(A)(Y, Z) A.

See [25] and [23] for more information and problems concerning A-splittingand A-admissible topologies.

2. The greatest splitting, compact open, and Isbell topologies

In this paper, by a compact space we mean a space such that each open coverhas a finite subcover. Also, by a locally compact space we mean a space suchthat each point of it has an open neighborhood with compact closure. In thesedefinitions we do not assume any separation axiom.

The compact open topology on C(Y, Z), denoted here by tco, was defined byR.H. Fox in 1945 (see [19]): a subbasis for tco is the family of all sets of the form

(K,U) = {f C(Y, Z) : f(K) U},where K is a compact subset of Y and U is an open subset of Z. It is well knownthat:

(1) The compact open topology is always splitting (see [19] and [1]).(2) If Y is a regular locally compact space (and, therefore, Y is a T1-space),

then the topology tco is admissible (see [19], [2], and [1]). In this case (asobserved in [1]), the compact open topology coincides with the greatestsplitting topology.

(3) If Z is regular (respectively, Tychonoff), then the space Ctco(Y, Z) isregular (respectively, Tychonoff) (see [2] and [16]).

In 1972, D. Scott defined a topology on a partially ordered set L which isknown as the Scott topology (see, for example, [27]). If L is the set O(Y ) of allopen sets of the space Y partially ordered by inclusion, then the Scott topologycoincides with a topology defined in 1970 by B.J. Day and G.M. Kelly (see [10]):a subset H of O(Y ) is an element of this topology (that is, the Scott topology)if and only if: () the conditions U H, V O(Y ), and U V imply V H,and () for every collection of open sets of Y , whose union belongs to H, there arefinitely many elements of this collection whose union also belongs to H. In [14]the elements of the Scott topology are called compact families.

The Isbell topology on C(Y, Z), denoted here by tIs, was defined by J.R. Isbellin 1975 (see [31], [36], and [27]): a subbasis for tIs is the family of all sets of theform

(H, U) = {f C(Y, Z) : f1(U) H},where H is an element of the Scott topology on O(Y ) and U is an open subset ofZ (see [33]).

18 3. FUNCTION SPACE TOPOLOGIES

Problem 7 (See [34] for the case of regular spaces). Is the space CtIs(Y, Z) regular5960?(respectively, Tychonoff) when Z is a regular (respectively, Tychonoff) space?

A subset B of a space X is called bounded or relatively compact (see, forexample, [34]) if every open cover of X contains a finite subcover of B. A spaceX is called corecompact if for every open neighborhood U of a point x X thereexists an open neighborhood V U of x such that V is bounded in the space U .(These spaces were introduced by various authors under different names: quasi-locally compact spaces in [45], spaces with property C in [10], semi-locally boundedspaces in [31], CL-spaces in [28], and corecompact spaces in [29]). It is knownthat:

(1) The compact open topology is contained in the Isbell topology (see, forexample, [36]), that is, tco tIs.

(2) The Isbell topology is always splitting (see, for example, [36], [34], and[43]), that is, tIs t(C).

(3) Let S = {0, 1} with the topology {, {0, 1}, {0}} be the Sierpinski space.The set C(Y,S) can be identified with O(Y ) (via the indicator functionsof open sets). Then, the Isbell topology on C(Y,S) is the Scott topologyon O(Y ), and tIs = t(C) for Z = S (see [10], [41], and [43]). If C(Y,S)is identified with the set C(Y ) of closed subsets of Y, then the Isbelltopology becomes the upper Kuratowski topology (see [14]).

(4) The space Y is corecompact if and only if the Isbell topology on C(Y, Z)is admissible, if Z = S (see, [29], [34], and [43]), or if Z is any topologicalspace containing S as a subspace (see [43]).

The notion of a consonant space and some of its properties were introducedin [14]. The following equivalent conditions can serve as a definition of consonantspaces:

(a) Y is consonant;(b) The compact open topology coincides with the Isbell topology on C(Y,S);(c) The compact open topology coincides with the Isbell topology on C(Y, Z)

for every space Z.

A space Y is called Z-consonant if the compact open topology coincides withthe Isbell topology on C(Y, Z) (6). Notice that consonance coincides with S-consonance.

Problem 8. For what spaces Z does Z-consonance imply consonance? In par-6162?ticular, is it the case if Z is locally finite and contains S? If Z is an Alexandroffspace (that is, a space each point of which has a minimal open neighborhood)?

A space Y is called Z-concordant if the Isbell topology coincides with thegreatest splitting t(C) topology on C(Y, Z). A space Y is called concordant if itis Z-concordant for every space Z. Of course, every space is S-concordant.

6This name was used for a different notion in [39], namely for what we call Z-harmonic inthe present paper.

2. THE GREATEST SPLITTING, COMPACT OPEN, AND ISBELL TOPOLOGIES 19

Problem 9. For what Z is the condition of Z-concordance trivial (satisifed by 6366?every topological space)? In particular, is it the case when Z is a finite space?A locally finite space? An Alexandroff space? A space containing the Sierpinskispace?

Problem 10. Is there a Z such that Z-concordance implies concordance? 67?

Note that if Y is corecompact (and Z is an arbitrary space), then the Isbelltopology on C(Y, Z) is admissible (e.g., [34] and [43]) and, therefore, coincideswith the greatest splitting topology. Hence, corecompact spaces are concordant. Aspace Y is called Z-harmonic if it is both Z-consonant and Z-concordant. A spaceY is called harmonic if it is Z-harmonic for every space Z. Note that regular locallycompact spaces are harmonic (e.g., [1]). Consonance is a well-studied notion forwhich most questions have been solved. For instance it is known that:

(1) A topological space Y is consonant if and only if every compact familyis compactly generated. (A compact family H of open subsets of Y iscalled compactly generated (see [14]) if there exists a family K of compactsubsets of Y such that H coincides with the set of all open subsets of Ycontaining an element of K.)

(2) Every Cech complete (that is, a Tychonoff space which is a G-subset ofone of its compactifications), every locally Cech complete, every regulark-space (that is, a space X for which there is a countable family {Ki :i } of compact subsets such that C X is closed if and only ifCKi is closed in Ki for every i ), and every regular locally k-spaceare consonant. In particular, every complete metric space is consonant(see [14], [40]).

(3) There exist non-consonant hereditarily Baire separable metric spaces,F-discrete metric spaces, regular -compact analytic first countablespaces (see [6]). The Sorgenfrey line and the set of rationals are notconsonant (see [5], [8]).

(4) The consonant spaces are exactly Q-covering images of regular locallycompact spaces, where f : X Y is called Q-covering (see [7]) if forevery compact family HY on Y , there exists a compact family HX on Xsuch that U HY whenever U is open in Y and f1(U) HX .

However, the following problem remains:

Problem 11 (See [6]). Is there in ZFC a metrizable consonant topological space 68?which is not completely metrizable? (There are consistent such examples; see [6].)

In contrast, very little is known on Z-consonance and Z-concordance for ageneral Z. However, we know:

(1) If Y is a completely regular and R-harmonic space, then Y is consonant(see [13], [39]). But the converse is false:

(2) The space N is consonant (in particular N-consonant) but not N-concordant,hence not N-harmonic [18]. Similarly, R is consonant (in particular R-consonant), but not R-concordant, hence not R-harmonic [22].

20 3. FUNCTION SPACE TOPOLOGIES

(3) Let P be a disjoint sum of countably many spaces Qi. Then P is not

P -harmonic (see [22]). If the spaces Qi are moreover Cech complete, P

is not even P -concordant (see [22]).

The (too) general problem is of course to characterize Z-consonance, Z-concordance and Z-harmonicity of a space Y in terms of the topologies of Yand Z. In particular:

Problem 12. Find sufficient conditions for R-harmonicity, R-consonance, and69?R-concordance.

Problem 13. Find completely regular R-harmonic spaces that are not locally7072?compact (or not even of point-countable type or not even a q-space (in the senseof E. Michael; see [37])).

Problem 14. Under what conditions on Y and Z, does Z-harmonicity of Y imply73?that Y is consonant?

Problem 15. Is there a completely regular space that is R-concordant but not74?consonant?

Problem 16. For a given Z, under what condition on Y does:7577?

(1) Z-consonance of Y imply that Y is consonant?(2) Z-concordance of Y imply that Y is concordant?(3) Z-harmonicity of Y imply that Y is harmonic?

Problem 17. Find a class of maps Q such that X is R-harmonic (R-consonant,7880?R-concordant) if and only if there exists a map f : Z X of Q with Z regularlocally compact.

[15], [25], [26], [24], [12], [11], [39], [38], and [44] are other papers relatedto these questions.

References

[1] R. Arens and J. Dugundji, Topologies for function spaces, Pacific J. Math. 1 (1951), 531.[2] R. F. Arens, A topology for spaces of transformations, Ann. of Math. (2) 47 (1946), 480495.[3] R. Beattie and H. P. Butzmann, Convergence structures and applications to functional

analysis, Kluwer Academic Publishers, 2002.[4] E. Binz, Continuous convergence on C(X), Springer, Berlin, 1975.[5] A. Bouziad, Borel measures in consonant spaces, Topology Appl. 70 (1996), no. 2-3, 125

132.[6] A. Bouziad, Consonance and topological completeness in analytic spaces, Proc. Amer. Math.

Soc. 127 (1999), no. 12, 37333737.[7] A. Bouziad, H-trivial spaces, Topology Appl. 132 (2003), no. 2, 159174.[8] C. Costantini and S. Watson, On the dissonance of some metrizable spaces, Topology Appl.

84 (1998), no. 1-3, 259268.[9] B. Day, A reflection theorem for closed categories, J. Pure Appl. Algebra 2 (1972), no. 1,

111.[10] B. Day and G. M. Kelly, On topologically quotient maps preserved by pullbacks or products,

Proc. Cambridge Philos. Soc. 67 (1970), 553558.[11] G. Di Maio, L. Hola, D. Holy, and R. A. McCoy, Topologies on the space of continuous

functions, Topology Appl. 86 (1998), no. 2, 105122.

REFERENCES 21

[12] G. Di Maio, E. Meccariello, and S. Naimpally, Hyper-continuous convergence in functionspaces, Questions Answers Gen. Topology 22 (2004), no. 2, 157162.

[13] S. Dolecki, G. H. Greco, and A. Lechicki, Sur la topologie de la convergence superieure deKuratowski, C. R. Acad. Sci. Paris Ser. I Math. 312 (1991), no. 12, 923926.

[14] S. Dolecki, G. H. Greco, and A. Lechicki, When do the upper Kuratowski topology (home-omorphically, Scott topology) and the co-compact topology coincide?, Trans. Amer. Math.Soc. 347 (1995), no. 8, 28692884.

[15] S. Dolecki and F. Mynard, Hyperconvergences, Appl. Gen. Topol. 4 (2003), no. 2, 391419.[16] J. Dugundji, Topology, Allyn and Bacon Inc., Boston, Mass., 1978.[17] R. Engelking, General topology, Heldermann Verlag, Berlin, 1989.[18] M. Escardo, J. Lawson, and A. Simpson, Comparing Cartesian closed categories of (core)

compactly generated spaces, Topology Appl. 143 (2004), no. 1-3, 105145.[19] R. H. Fox, On topologies for function spaces, Bull. Amer. Math. Soc. 51 (1945), 429432.[20] O. Frink, Jr., Topology in lattices, Trans. Amer. Math. Soc. 51 (1942), 569582.[21] D. N. Georgiou and S. D. Iliadis, On finest splitting and admissible topologies for some

function spaces, Sumbitted for publication.[22] D. N. Georgiou and S. D. Iliadis, On the compact open and finest splitting topologies, To

appear in Top. Appl.[23] D. N. Georgiou and S. D. Iliadis, Some problems concerning splitting and admissible topolo-

gies, Questions Answers Gen. Topology 23 (2005), no. 2, 101105.[24] D. N. Georgiou, S. D. Iliadis, and B. K. Papadopoulos, On dual topologies, Topology Appl.

140 (2004), no. 1, 5768.[25] D. N. Georgiou, S. D. Iliadis, and B. K. Papadopulos, Topologies of function spaces, Zap.

Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 208 (1993), no. Issled. poTopol. 7, 8297, 220.

[26] D. N. Georgiou and B. K. Papadopoulos, A note on the finest splitting topology, QuestionsAnswers Gen. Topology 15 (1997), no. 2, 137144.

[27] G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott, Continuouslattices and domains, Encyclopedia of Mathematics and its Applications, vol. 93, CambridgeUniversity Press, Cambridge, 2003.

[28] K. H. Hofmann, Continuous lattices, topology and topological algebra, Topology Proc. 2(1977), no. 1, 179212 (1978).

[29] K. H. Hofmann and J. D. Lawson, The spectral theory of distributive continuous lattices,Trans. Amer. Math. Soc. 246 (1978), 285310.

[30] S. D. Iliadis and B. K. Papadopoulos, The continuous convergence on function spaces,Panamer. Math. J. 4 (1994), no. 3, 3342.

[31] J. R. Isbell, Function spaces and adjoints, Math. Scand. 36 (1975), no. 2, 317339.[32] C. Kuratowski, Sur la notion de limite topologique densembles, Ann. Soc. Polon. Math. 21

(1948), 219225 (1949).[33] P. Th. Lambrinos, The bounded-open topology on function spaces, Manuscripta Math. 36

(1981/82), no. 1, 4766.[34] P. Th. Lambrinos and B. Papadopoulos, The (strong) Isbell topology and (weakly) contin-

uous lattices, Continuous lattices and their applications (Bremen, 1982), Lecture Notes inPure and Appl. Math., vol. 101, Dekker, New York, 1985, pp. 191211.

[35] J. D. Lawson and M. Mislove, Problems in domain theory and topology, Open problems intopology, North-Holland, Amsterdam, 1990, pp. 349372.

[36] R. A. McCoy and I. Ntantu, Topological properties of spaces of continuous functions, LectureNotes in Mathematics, vol. 1315, Springer, Berlin, 1988.

[37] E. Michael, A quintuple quotient quest, General Topol. Appl. 2 (1972), 91138.[38] F. Mynard, Coreflectively modified continuous duality applied to classical product theorems,

Appl. Gen. Topol. 2 (2001), no. 2, 119154.[39] F. Mynard, First-countability sequentiality and tightness of the upper Kuratowski conver-

gence, Rocky Mountain J. Math. 33 (2003), no. 3, 10111038.

22 3. FUNCTION SPACE TOPOLOGIES

[40] T. Nogura and D. Shakhmatov, When does the Fell topology on a hyperspace of closed setscoincide with the meet of the upper Kuratowski and the lower Vietoris topologies?, TopologyAppl. 70 (1996), no. 2-3, 213243.

[41] B. K. Papadopoulos, Proper topologies on the set SY , Glas. Mat. Ser. III 23(43) (1988),no. 1, 143146.

[42] H. Render, Nonstandard topology on function spaces with applications to hyperspaces, Trans.Amer. Math. Soc. 336 (1993), no. 1, 101119.

[43] F. Schwarz and S. Weck, Scott topology, Isbell topology, and continuous convergence, Con-tinuous lattices and their applications (Bremen, 1982), Lecture Notes in Pure and Appl.Math., vol. 101, Dekker, New York, 1985, pp. 251271.

[44] D. Scott, Continuous lattices, Toposes, algebraic geometry and logic (Halifax, N.S., 1971),Lecture Notes in Math., vol. 274, Springer, Berlin, 1972, pp. 97136.

[45] A. J. Ward, Problem, Proceedings of the International Symposium on Topology and itsApplications, (Herger-Novi 1968) (D. R. Kurepa, ed.), Beograd, 1969, p. 352.

[46] P. Wilker, Adjoint product and hom functors in general topology, Pacific J. Math. 34 (1970),269283.

Spaces and mappings: special networks

Chuan Liu and Yoshio Tanaka

Introduction

It has been over 40 years after Arhangelskii [1] published the seminal paperMappings and Spaces. The problems in the paper stimulated many develop-ments in General Topology. Some of these problems have been solved, and someare still open. In this chapter, we shall survey some results on various generaliza-tion of metric spaces and their quotient spaces in terms of k-networks, weak bases,and weak topologies. We pose some related problems that are interesting to theauthors.

A collection P of subsets of a space X is a network (or net) for X if, wheneverx U with U open, there is P P with x P U . A space is a -space if ithas a -locally finite network, and a cosmic space if it has a countable network.k-networks are particularly useful special networks. Recall that P is a k-networkif, whenever K U with K compact and U open, there is a finite P P withK P U . A base is a k-network. A space is an -space if it has a -locally-finite k-network, and an 0-space if it has a countable k-network.

k-networks have played an important role in the study of various kinds ofquotient spaces of metric spaces and of generalized metric spaces and their metriz-ability. For related surveys, see [29, 31, 73, 76, 78], etc. Readers may refer to[9, 10, 19] for unstated definitions and terminology in this paper.

All spaces are regular T1-spaces, and maps are continuous surjections.

Mappings

A collection P of subsets of a space X is point-countable (resp. compact-countable; star-countable) if each point (resp. compact subset; member in P)meets only countably many elements of P . Point-finite or compact-finite aredefined similarly. A family P = {A : I} is closure-preserving (abbr. CP) if forany J I , {A : J}=

{A : J}. P is hereditarily closure-preserving(abbr. HCP) if for any J I , {B : B A, J} is closure-preserving.

A cover P of X is a cs-network (resp. cs*-network) if, whenever L is a con-vergent sequence with the limit point x such that L{x} U with U open in X ,then for some P P , x P U , and L is eventually (resp. frequently) in P .

A space X is determined by a cover P [20], if X has the weak topology withrespect to P ; that is, G X is open in X if G P is open in P for each P P .Here, we can replace open by closed. For basic properties of weak topologies,see [9, 73, 80]. A space is sequential (resp. a k-space) if it is determined bycompact metric subsets (resp. compact subsets). As is well-known, sequentialspaces (resp. k-spaces) are characterized as quotient images of (locally compact)metric spaces (resp. locally compact spaces). A k-space X is sequential if eachpoint of X is a G-set [48], or X has a point-countable k-network [20]. A space is

23

24 4. SPACES AND MAPPINGS: SPECIAL NETWORKS

Frechet (or FrechetUrysohn) if whenever A X with x A, there is a sequencein A converging to the point x. Frechet spaces are sequential.

Let f : X Y be a map. Then f is an s-map (resp. compact map; Lindelof ;countable-to-one) if each fiber f1(y) is separable (resp. compact; Lindelof; count-able). Also, f is a compact-covering map if each compact subset of Y is an imageof some compact subset of X .

In 1966, Michael [47] characterized quotient (compact-covering) images ofseparable metric spaces as k-and-0-spaces. In [1], Arhangelskii posed an impor-tant problem: How does one characterize, in intrinsic terms, quotient s-images ofmetric spaces? Hoshina [23], Gruenhage, Michael and Tanaka [20] gave charac-terizations for this problems, and other topologists gave many characterizations forvarious kinds of quotient images of metric spaces. In 1987, Tanaka [72] obtaineda concise characterization by means of cs*-networks: A space X is a quotients-image of a metric space iff X is a sequential space with a point-countable cs*-network. On the other hand, Michael and Nagami [50] posed a classical problemrelated to quotient s-images of metric spaces: Is a quotient s-image of a met-ric space a quotient, compact-covering s-image of a metric space? Michael [49]showed that a space X is a quotient, compact-covering s-image of a metric space ifX is a k-space with a point-countable closed k-network. Lin and Liu [33] showedthat the same result also holds if X is a sequential space with a point-countablecs-network. Assuming the existence of the -set (in [61]), Chen [6] constructed aquotient s-image of a metric space that is not a quotient, compact-covering s-imageof a metric space. He also constructed a Hausdorff counterexample in [5].

Problem 1. Let X be a quotient s-image of a metric space. If X is Frechet, is81?X a compact-covering s-image of a metric space ?

Let us recall canonical quotient spaces, the sequential fan S and the Arensspace S2. For an infinite cardinal , S is the space obtained from the topologicalsum of many convergent sequences by identifying all limit points. While, S2is the space obtained from the topological sum of {Ln : n < }, Ln are theconvergent sequence {1/n : n N} {0}, by identifying each 1/n L0 with0 Ln (n 1).

The space S1 is a Frechet space which has a point-countable k-network, butdoes not have any point-countable cs*-network (in view of [71]). A quotient s-image of a metric space has a point-countable k-network, and contains no copyof S1 in view of [20], also it has a point-countable cs*-network, but the authorsdont even know whether the answer of the following problem is positive amongsequential spaces. If the answer is positive, then so is the answer to [20, Ques-tion 10.2].

Problem 2. Let X be a Frechet space with a point-countable k-network. If X82?contains no closed copy of S1 , does X have a point-countable cs*-network?

A collection B = {Bx(n) : x X,n N} of subsets ofX is an 0-weak base if(a) for each n, x X , Bx(n) is closed under finite intersections with x

Bx(n),and (b) U X is open iff for each x U , n N , there is Bx(n) Bx(n)

MAPPINGS 25

with x Bx(n) U . A space X is 0-weakly first-countable [67] (or weaklyquasi-first-countable [64]) if the Bx(n) is countable for each x X,n N . IfBx(n) = Bx(1) for each x X,n N , the collection B is a weak base as defined byArhangelskii [1], andX is weakly first-countable (or, g-first countable [65]) if Bx(1)is countable for each x X . A space X is symmetric (or symmetrizable) [1], ifthere is a real-valued function d defined on XX such that (a) d(x, y) = d(y, x) 0, here d(x, y) = 0 iff x = y, and (b) U X is open iff for each x U , {y X : d(x, y) < 1/n} U for some n N . A first-countable space or a symmetricspace is weakly first-countable, and a weakly first-countable space is 0-weaklyfirst-countable, hence sequential [64]. A space X is g-metrizable (resp. g-secondcountable) [65] if it has a -locally finite weak base (resp. a countable weak base).The space S2 is g-second countable, but not Frechet. The space S is a Frechetspace with a countable 0-weak base, but it is not g-first countable. A g-metrizablespace is symmetrizable, and a Frechet g-metrizable space is metrizable [65].

Problem 3. Let X be a Frechet space with a -locally finite 0-weak base. Is X 83?a closed countable-to-one image of a metric space?

Lasnev [26] gave the first characterization for closed images of metric spaces.Foged [12] characterized Lasnev spaces (= closed images of metric spaces) asFrechet spaces with a -HCP k-network. A space is a Frechet -space iff it is aclosed s-image of a metric spaces [17, 27]. Liu [35] characterized an 0-weaklyfirst-countable Lasnev space X as a closed, -compact image (i.e., each fiber is -compact) of a metric space. The above problem is equivalent to a question whetherevery closed, -compact image of a metric space is a closed countable-to-one imageof a metric space.

A space X is stratifiable (or an M3-space) if for each open subset U of X , thereis a sequence {S(U, n) : n N} of open subsets such that (a) U = {S(U, n) :n N} = {S(U, n) : n N}, and (b) if U V , then S(U, n) S(V, n) for alln N .

If in the above definition the sets S(U, n) are required to be closed insteadof open, then X is semi-stratifiable [7]. X is k-semistratifiable [45] if wheneverC U with C compact and U open in X , C S(U, n) for some n N . An M3-space, or a space with a -CP k-network is k-semistratifiable. A k-semistratifiablespace is a -space [16], and a -space is semi-stratifiable. A classical problemwhether a space with a -CP base (= M1-space) is equivalent to a space with a-cushioned pair-base (= M3-space) remains open. A space with a -CP network(= -space) need not be equivalent to a space with a -cushioned pair-network(= semi-stratifiable space); see [19]. A k-semistratifiable space is equivalent to aspace with a -cushioned pair-k-network [14, 15].

Problem 4. Is a Frechet M3-space (hence, M1-space) with a point-countable k- 84?network a Lasnev space?

A Lasnev space is a Frechet M3-space with a point-countable k-network. Apositive answer to the above problem implies an affirmative answer to Junnila and

26 4. SPACES AND MAPPINGS: SPECIAL NETWORKS

Yuns question [25]: Is every Frechet M3-space with a point-countable closed k-network an -space ?

In view of Fogeds characterization for Lasnev spaces, can we generalize thisto g-metrizable domains? Every closed image of an -space, in particular, g-metrizable space, has a -HCP k-network [72]. But, for the converse, the authorsdont even know whether a k-and-0-space is a closed image of a g-second count-able space.

Problem 5. Is a k-space with a -HCP k-network characterized as a a closed85?image of a g-metrizable space?

k-networks and weak bases

A Frechet k-semistratifiable space is an M3-space with a -CP k-network [14,15].

Problem 6 ([14]). Does a k-semistratifiable space have a -CP k-network?86?

A paracompact space with a -locally countable k-network is an -space. But,a g-metrizable (hence, k-semistratifiable) space need not be normal [13].

Problem 7 ([31]). Is a k-and-k-semistratifiable space with a -locally countable87?k-network an -space?

A space X is a g-metrizable space iff X is a weakly first-countable -space [11]iff X is a weakly first-countable space with a -HCP k-network [28, 74] iff X has a-HCP weak base [38] iffX has a -compact-finite weak base by closed subsets [36]iff X is a k-space with a -HCP k-network and contains no closed copy of S [39].

Problem 8.8889?

(1) Let X be a k-space with a -locally countable k-network. If X containsno closed copy of S, does X have a -locally countable weak base?

(2) ([31]) Does a k-and--space have a -CP weak base?For (1) in the above problem, it is positive if the k-network is -locally finite,

and X has a -locally countable base if X contains no closed copy of S andno S2, in particular, X is first-countable. A weakly first-countable space (hence,it contains no copy of S) with a -compact-finite k-network need not have apoint-countable weak base [34].

Problem 9. Let X be a weakly first-countable space. Is any weak base for X a90?k-network?

Liu [38] showed that not every weak base is a k-network. But, in most cases,a weak base is a k-network. Among spaces whose every compact subset is Frechet(e.g., spaces whose points are G-sets), any weak base is a k-network [76]. Theauthors dont even know whether a weak base is a k-network among sequentialspaces.

Problem 10. Let Y be an open and closed image of a (compact) weakly first-91?countable space. Is Y weakly first-countable?

SPACES DETERMINED OR DOMINATED BY CERTAIN COVERS 27

A compact symmetrizable space is metrizable [1], but a compact weakly first-countable space need not be first-countable under CH [24].

It was asked in [75] whether a weak first-countability (or symmetrizability) ispreserved by open and closed maps. If every point of the domain is a G-set, weakfirst-countability and symmetrizability are preserved by open and closed maps [75].A perfect image of a first-countable symmetrizable space need not be weakly first-countable. Liu and Lin [40] showed that an open (resp. open compact) imageof a countable g-second countable space (resp. symmetrizable space) need not beweakly first-countable. A similar counterexample is also obtained by Sakai [59].

Problem 11. Is a space with a -compact-finite weak base g-metrizable? 92?

A space with a -compact-finite weak base by closed subsets is g-metrizable.Under CH, a separable space with a -compact-finite weak base is g-metrizable [37],but the authors dont know whether this is true in ZFC.

A space is meta-Lindelof if every open cover has a point-countable open re-finement.

Problem 12. Let X be a space with a -compact-finite weak base (generally, a 9394?k-space with a -compact finite k-network). Is X meta-Lindelof, or a -space ?

The above problem for the parenthetic part was posed in [43]. For this prob-lem, if X is a quotient Lindelof image of a locally 1-compact

1 (in particular, if Xis locally 1-compact), then X is a paracompact -space. If the character (X)of X is less than or equal to 1 (e.g., X is locally separable under CH), then X ishereditarily meta-Lindelof . A k-space with a -HCP k-network, in particular, ag-metrizable space is hereditarily meta-Lindelof [58]. Lin [32] improved this resultby showing that a k-and-k-semistratifiable space is hereditarily meta-Lindelof.

Problem 13. Let X be a space with -compact-finite weak base. Is X k-semistratifiable,95?or every point of X a G-set?

Spaces determined or dominated by certain covers

For a cover P of a space X , let us call P a determining cover [68] if Xis determined by P . An open cover is a determining cover. A spaces with adetermining cover by sequential spaces (resp. k-spaces) is a sequential space (resp.k-space). For a closed cover F of a space X , X is dominated by F [46] if F is aCP cover, and any P F is a determining cover of the union of P . Let us callthe closed cover F a dominating cover [68]. A HCP closed cover, or an increasingdetermining closed cover {Fn : n N} is a dominating cover. A CW-complex hasa dominating cover by compact metric spaces. A space with a dominating coverby paracompact spaces (resp. normal spaces) is paracompact (resp. normal) [46,52], and similar presevations also hold for M3-spaces [3], -spaces [69], etc. Forsummaries on determining or dominating covers in terms of their preservations bymaps, subsets, or products, see [68]. A space with a point-countable determining

1A space X is 1-compact if any uncountable subset has an accumulation point in X.

28 4. SPACES AND MAPPINGS: SPECIAL NETWORKS

cover by k-and--spaces, generally, a quotient Lindelof image of a k-and--spacehas a point-countable k-network [72], and a space with a dominating cover by-spaces has a -CP k-network [78]. A space with a point-finite determiningcover by metric spaces, generally, a quotient compact image of a metric space issymmetric.

We shall recall a classical problem of whether closed subsets (or points) in asymmetric space X are G-sets, which was raised in 1966 by E. Michael. (Forsome questions on symmetric spaces, see [4], etc.). Michaels problem is positive(actually, X is hereditarily Lindelof) if X is 1-compact [55], and is also positive(points in X are G-sets) if (X) 1 [66]. The problem below was posed around1980 by Y. Tanaka. The answer to (a) and (c) of this problem are negative underXbeing Hausdorff [2]. In 1978, Davis, Gruenhage and Nyikos [8] answered Michaelsproblem negatively. They gave a symmetric space X which has a point-finitedetermining closed cover by metric spaces (thus, X is a quotient compact imageof a metric space), but X is not countably metacompact, thus X has a closedset which is not a G-set, and it is not submetacompact (= -refinable) (also,see [19]), and they gave also a Hausdorff symmetric space which has a point-finitedetermining closed cover by metric spaces, but it has a point which is not a G-set. A separable space with a point-finite determining cover by compact metricspaces need not be normal, or meta-Lindelof [20]. Also, every first-countablespace with a point-finite determining closed and open cover by metric spaces neednot be normal. Let X be a space with a point-countable determining cover bycosmic spaces (e.g., X is a quotient s-image of a locally separable metric space),or a space with a point-countable determining closed cover by -spaces. Then,points of X are G-sets if (X) 1, and X is a -space if X is 1-compact, orsubmetacompact with (X) 1.

Problem 14. Let X be a quotient compact image of a locally compact metric9699?space (equivalently, a space with a point-finite determining cover by compact metricsubsets).

(a) Is each closed subset of X a G-set?(b) Is each point of X a G-set?(c) Is X a subparacompact space (or, -space)?

Let X be a k-space. When X has a star-countable k-network, X has a dom-inating cover by 0-spaces [60], so X is a paracompact -space. When X has a-HCP k-network, generally, X is a k-semistratifiable space, X is meta-Lindelof.When X is a topological group with a point-countable k-network, then X is metriz-able if the sequential order of X is countable [63]. When X is a topological groupwith a point-countable k-network (or a point-countable determining cover) bycosmic spaces, X is the topological sum of cosmic spaces [42]. A space X has a-compact-finite k-network if X has a star-countable or -HCP k-network, or Xhas a dominating cover by spaces with a -compact-finite k-network [43] (or [78]).

PRODUCTS OF k-SPACES HAVING CERTAIN k-NETWORKS 29

Problem 15. Let G be a topological group which is a k-space with a -compact- 100101?finite k-network, or a point-countable determining cover by metric spaces. Is Gparacompact (or, meta-Lindelof ) ?

A space X is an A-space [51], if, whenever {An : n N} is a decreasingsequence with x An \ {x} for all n N , there exist Bn An such that

{Bn :n N} is not closed in X , and X is an inner-closed A-space if the Bns are closedin X . A weakly first-countable space is an A-space, and a countably bi-quasi-k-spaces (of [48]) is an inner-closed A-space [51]. In terms of the spaces S and S2,let us review some results stated in [78] mainly. Let X be a sequential space. ThenX is an A-space iff it contains no (closed) copy of S. When points of X are G-sets, or X has a point-countable k-network, X is Frechet iff it contains no (closed)copy of S2. Let X be a k-space with a point-countable k-network. Then X has apoint-countable base iff X contains no closed copy of S and no S2, equivalently,X is an inner-closed A-space. When X is symmetric, X has a point-countable base(equivalently, X is developable [22]) iff X is Frechet. A k-space X is metrizableif X is an M -space with a point-countable k-network, or an inner-closed A-spacehaving a point-countable k-network by separable subsets or a -compact-finitek-network. For a space X having a dominating cover by metric spaces or a point-countable determining cover by locally separable metric spaces, X is metrizableif it is an inner-closed A-space. Let G be a topological group (thus, G contains aclosed copy of S iff it contains a closed copy of S2). Then G is metrizable if itis a weakly first-countable space [56], or a k-and-A-space (or Frechet-space) witha point-countable k-network. For a topological group G having a dominating orpoint-countable determining closed cover P by bi-sequential spaces (of [48]) (e.g.,first-countable spaces), G is metrizable if G is a Frechet space or an A-space. If inthe above statement the cover P is a point-countable determining cover, the pointsare G-sets, and G is an A-space then G is again metrizable. G is also metrizableif the cover P is a point-finite determining cover [57]. For the following problem,it is positive if P is point-finite or closed in (a), and so is if all elements of P aremetric, or cosmic in (b).

Problem 16. Let X be a space with a point-countable determining cover P. If 102?the following (a) or (b) holds, is X metrizable?

(a) X is paracompact first-countable, and the elements of P are metric.(b) X is a topological group which is an A-space, and the elements of P are

first-countable spaces, ([57]).

Products of k-spaces having certain k-networks

k-networks are countably productive [20]. Weak bases need not be produc-tive, but these are (countably) productive if the product spaces are sequential.Symmetric spaces (resp. sequential spaces) are countably productive if the prod-uct spaces are k-spaces [56] (resp. [68]). A pair (X,Y ) of spaces satisfies theTanaka condition [29, 31] if one of the following holds: (a) both X and Y arefirst-countable, (b) either X or Y is locally compact, and (c) both X and Y are

30 4. SPACES AND MAPPINGS: SPECIAL NETWORKS

locally k-spaces. Here, a space X is a k-space if it has a countable determiningcover by compact subsets (equivalently, X is a quotient image of a locally com-pact Lindelof space). Every space with a countable determining closed cover bylocally compact subsets is locally k [77]. For a pair (X,Y ) satisfying the Tanakacondition, X Y is a k-space, assuming X is a k-space for Y being locally com-pact, and vice versa in (b). Tanaka [70] proved that for k-and--spaces X,Y , theproduct X Y is a k-and--spaces iff (X,Y ) satisfies the Tanaka condition. Gru-enhage [18] proved that a set-theoretic axiom b = 1 (i.e., BF(2) is false) weakerthan CH is equivalent to the statement that for Lasnev spaces X,Y , the productX Y is a k-space iff (X,Y ) satisfies the Tanaka condition. Liu and Tanaka [44]improved Gruenhages result by showing the result is valid for k-spaces with acompact-countable k-network. Lin and Liu [33] proved that for sequential spacesX,Y with a point-countable cs-network (e.g., X,Y are k-and--spaces), X Y isa sequential space iff (X,Y ) satisfies the Tanaka condition, and they gave a coun-terexample that under b > 1, there exist quotient finite-to-one images X,Y oflocally compact metric spaces with X Y sequential, but (X,Y ) does not satisfythe Tanaka condition. Under CH, Shibakov [62] also obtained a counterexamplefor spaces with a point-countable closed k-network. Tanaka [77] gave analogouscharacterizations forXY to be a k-space ifX,Y have point-countable k-networkssuch that -compact closed subsets are 0-spaces (e.g., spaces with a compact-countable k-network, or spaces with a point-countable cs-network) in terms ofTanaka condition, and X2 is a k-space iff X is first-countable or locally k.

Problem 17.103?

(1) Let X be a quotient s-image of a metric space, in particular let X bea space with a point-countable determining cover by (compact) metricsubsets. If X2 is a k-space, is X first-countable or locally k?

(2) Let X be a k-space with a point-countable k-network. What is a necessaryand sufficient condition for X2 to be a k-space?

A bi-k-space [48] is a generalization of first-countable spaces and locally com-pact spaces. For sequential spaces X,Y which are closed images of paracompactbi-k-spaces, Gruenhages result remains valid, but replace first-countable by bi-k in the Tanaka condition, and X2 is a k-space iff X is bi-k or locally k [79].(Some questions on products of k-spaces were posed in [79]). For a sequentialspace X and a bi-k-space Y , XY is a k-space iff X is a Tanaka space 2 (in [54]),or Y is locally countably compact (cf. [53, 54]). For products of weak topologies,see [81, 68].

For a space X with a point-countable determining cover by cosmic spaces,(X) 2c, c = 2. But, for each , there is a symmetric space X with apoint-finite determining closed cover by metric spaces such that (X) > , and(X) > c when we replace metric spaces by compact metric spaces. Let

2A space X is a Tanaka space if for a decreasing sequence {An : n N} with x An \ {x}for all n N , there exist xn An such that the sequence {xn : n N} converges to some pointin X.

PRODUCTS OF k-SPACES HAVING CERTAIN k-NETWORKS 31

X be a space with a point-countable k-network. When X2 is a k-space, X isfirst-countable or locally -compact (in view of [77]), thus (X) c. When Xis a k-space, X is first-countable [30, 44]. Now, let X be a symmetric spacehaving property (): any separable closed subset is a space whose points are G-sets. A symmetric space has () under CH, or it is meta-Lindelof or collectionwiseHausdorff3. When X2 is a k-space, (X) 2c. When X is a k-space, X is first-countable. The authors dont know whether a symmetric space Y which containsno (closed) copy of the space S2 is first-countable (here, Y is first-countable whenY has ()). If this is positive, then the above results hold without ().Problem 18. 104105?

(1) Let X2 be a symmetric space. Is (X) c (or (X) 2c)?(2) Let X be a symmetric space. Is X first-countable?

A space X has countable tightness if whenever x A, there is a countablesubset C A with x C. A space has countable tightness iff it has a determiningcover by countable subsets [48]. A sequential space or a hereditarily separablespace has countable tightness. For spaces X,Y having countable tightness, ifX Y is a k-space, then X Y has countable tightness, and the converse holdswhen X,Y have a dominating cover by locally compact spaces. While, for a closedmap f : X Y with X strongly collectionwise Hausdorff, let Y 2 have countabletightness, then each boundary f1(y) is c-compact (1-compact if Y is sequen-tial) [21]. Every product of spaces with a countable determining cover by locallyseparable metric subsets has countable tightness. But a product of a space with apoint-finite determining cover (or a dominating cover) by 1 many compact metricsubsets does not have countable tightness. Liu and Lin [41] proved that the axiomb = 1 is equivalent to the assertion that for k-spaces X,Y with a point-countablek-network by cosmic subsets (e.g., X,Y have a point-countable determining coverby locally separable metric subsets), XY has countable tightness iff one of X,Yis first-countable, or both X,Y are locally cosmic, and X2 has countable tightnessiff X is locally cosmic. They also showed that the axiom is equivalent to the as-sertion that for spaces X,Y with a dominating cover by metric subsets, if X Yhas a countable tightness, then one of X,Y is first-countable, or both X,Y havea countable dominating cover by metric subsets (equivalently, X,Y are -spaces).The converse of this assertion holds if the answer to (1) in the following problemis positive.

Problem 19. 106107?

(1) Let X be a space with a countable determining closed cover by metricsubsets. Does X2 have countable tightness?

(2) Let X be a k-space with a point-countable k-network, in particular, letX be a (Frechet) space with a point-countable (countable) determining

3A space X is (strongly) collectionwise Hausdorff if whenever {x : A} is a closeddiscrete subset of X, there is a (discrete) disjoint collection {U : A} of open subsets withx U.

32 4. SPACES AND MAPPINGS: SPECIAL NETWORKS

closed cover by metric subsets. What is a necessary and sufficient con-dition for X2 to have countable tightness?

References

[1] A. V. Arhangelski, Mappings and spaces, Russian Math. Surveys 21 (1966), no. 4, 115162.[2] D. A. Bonnett, A symmetrizable space that is not perfect, Proc. Amer. Math. Soc. 34 (1972),

560564.[3] C. J. R. Borges, On stratifiable spaces, Pacific J. Math. 17 (1966), 116.[4] D. K. Burke and S. W. Davis, Questions on symmetrizable spaces, Questions Answers Gen.

Topology 1 (1983), no. 2, 113118.[5] H. Chen, Weak neighborhoods and Michael-Nagamis question, Houston J. Math. 25 (1999),

no. 2, 297309.[6] H. Chen, Compact-covering maps and k-networks, Proc. Amer. Math. Soc. 131 (2003),

no. 8, 26232632.[7] G. D. Creede, Concerning semi-stratifiable spaces, Pacific J. Math. 32 (1970), 4754.[8] S. W. Davis, G. Gruenhage, and P. J. Nyikos, G sets in symmetrizable and related spaces,

General Topology Appl. 9 (1978), no. 3, 253261.[9] J. Dugundji, Topology, Allyn and Bacon Inc., Boston, Mass., 1966.

[10] R. Engelking, General topology, Heldermann Verlag, Berlin, 1989.[11] L. Foged, On g-metrizability, Pacific J. Math. 98 (1982), no. 2, 327332.[12] L. Foged, A characterization of closed images of metric spaces, Proc. Amer. Math. Soc. 95

(1985), no. 3, 487490.[13] L. Foged, Normality in k-and- spaces, Topology Appl. 22 (1986), no. 3, 223240.[14] G. Gao, On k-networks and bases, J. Suzhou University 2 (1986), 107111.[15] Z. M. Gao, A result on k-semistratifiable spaces, Questions Answers Gen. Topology 3

(1985/86), no. 2, 137143.[16] Z. M. Gao, The closed images of metric spaces and Frechet -spaces, Questions Answers

Gen. Topology 5 (1987), no. 2, 281291.[17] Z. M. Gao and Y. Hattori, A characterization of closed s-images of metric spaces, Questions

Answers Gen. Topology 4 (1986/87), no. 2, 147151.[18] G. Gruenhage, k-spaces and products of closed images of metric spaces, Proc. Amer. Math.

Soc. 80 (1980), no. 3, 478482.[19] G. Gruenhage, Generalized metric spaces, Handbook of set-theoretic topology, North-Holland,

Amsterdam, 1984, pp. 423501.[20] G. Gruenhage, E. Michael, and Y. Tanaka, Spaces determined by point-countable covers,

Pacific J. Math. 113 (1984), no. 2, 303332.[21] G. Gruenhage and Y. Tanaka, Products of k-spaces and spaces of countable tightness, Trans.

Amer. Math. Soc. 273 (1982), no. 1, 299308.[22] R. W. Heath, On spaces with point-countable bases, Bull. Acad. Polon. Sci. Ser. Sci. Math.

Astronom. Phys. 13 (1965), 393395.[23] T. Hoshina, On the quotient s-images of metric spaces, Sci. Rep. Tokyo Kyoiku Daigaku

Sect. A 10 (1970), 265268 (1970).[24] N. N. Jakovlev, On the theory of o-metrizable spaces, Dokl. Akad. Nauk SSSR 229 (1976),

no. 6, 13301331.[25] H. Junnila and Z. Q. Yun, -spaces and spaces with -hereditarily closure-preserving k-

network, Topology Appl. 44 (1992), no. 1-3, 209215.[26] N. Lasnev, Closed images of metric spaces, Dokl. Akad. Nauk SSSR 170 (1966), 505507.[27] S. Lin, Mapping theorems on -spaces, Topology Appl. 30 (1988), no. 2, 159164.[28] S. Lin, On g-metrizable spaces, Chinese Ann. Math. Ser. A 13 (1992), no. 3, 403409.[29] S. Lin, Guangyi duliang kongjian yu yingshe, Kexue Chubanshe (Science Press), Beijing,

1995.

REFERENCES 33

[30] S. Lin, A note on the Arens space and sequential fan, Topology Appl. 81 (1997), no. 3,185196.

[31] S. Lin, Point-countable coverings and sequence-covering maps, Chinese Science Press, Bei-jing, 2002.

[32] S. Lin, Covering properties of k-semistratifiable spaces, Topology Proc. 29 (2005), no. 1,199206.

[33] S. Lin and C. Liu, On spaces with point-countable cs-networks, Topology Appl. 74 (1996),no. 1-3, 5160.

[34] S. Lin and Y. Tanaka, Point-countable k-networks, closed maps, and related results, Topol-ogy Appl. 59 (1994), no. 1, 7986.

[35] C. Liu, Notes on closed maps, Houston J. Math., To appear.[36] C. Liu, Spaces with a -compact finite k-network, Questions Answers Gen. Topology 10

(1992), no. 1, 8187.[37] C. Liu, Notes on g-metrizable spaces, Topology Proc. 29 (2005), no. 1, 207215.[38] C. Liu, On weak bases, Topology Appl. 150 (2005), no. 1-3, 9199.[39] C. Liu and M. M. Dai, g-metrizability and S , Topology Appl. 60 (1994), no. 2, 185189.[40] C. Liu and S. Lin, On countable-to-one maps, Topology Appl., To appear.[41] C. Liu and S. Lin, On the countable tightness of product spaces, Acta Math. Sin. (Engl.

Ser.) 21 (2005), no. 4, 929936.[42] C. Liu, M. Sakai, and Y. Tanaka, Topological groups with a certain point-countable cover,

Topology Appl. 119 (2002), no. 2, 209217.

[43] C. Liu and Y. Tanaka, Spaces having -compact-finite k-networks, and related matters,Topology Proc. 21 (1996), 173200.

[44] C. Liu and Y. Tanaka, Star-countable k-networks, compact-countable k-networks, and re-lated results, Houston J. Math. 24 (1998), no. 4, 655670.

[45] D. J. Lutzer, Semimetrizable and stratifiable spaces, General Topology and Appl. 1 (1971),no. 1, 4348.

[46] E. Michael, Continuous selections. I, Ann. of Math. (2) 63 (1956), 361382.[47] E. Michael, 0-spaces, J. Math. Mech. 15 (1966), 9831002.[48] E. Michael, A quintuple quotient quest, General Topol. Appl. 2 (1972), 91138.[49] E. Michael, 0-spaces and a function space theorem of R. Pol, Indiana Univ. Math. J. 26

(1977), no. 2, 299306.[50] E. Michael and K. Nagami, Compact-covering images of metric spaces, Proc. Amer. Math.

Soc. 37 (1973), 260266.[51] E. Michael, R. C. Olson, and F. Siwiec, A-spaces and countably bi-quotient maps, Disserta-

tiones Math. 133 (1976), 43.[52] K. Morita, On spaces having the weak topology with respect to closed coverings. II, Proc.

Japan Acad. 30 (1954), 711717.[53] F. Mynard, Strongly sequential spaces, Comment. Math. Univ. Carolin. 41 (2000), no. 1,

143153.[54] F. Mynard, More on strongly sequential spaces, Comment. Math. Univ. Carolin. 43 (2002),

no. 3, 525530.[55] S. Nedev, Symmetrizable spaces and final compactness, Dokl. Akad. Nauk SSSR 175 (1967),

532534.[56] S. I. Nedev, o-metrizable spaces, Trudy Moskov. Mat. Obshch. 24 (1971), 201236.[57] T. Nogura, D. Shakhmatov, and Y. Tanaka, Metrizability of topological groups having weak

topologies with respect to good covers, Topology Appl. 54 (1993), no. 1-3, 203212.[58] L.-X. Peng, The hereditarily Metalindelof property of k-spaces with -HCP closed k-networks,

Topology Proc. 26 (2001/02), no. 1, 307310.[59] M. Sakai, Counterexamples on generalized metric spaces, Sci. Math. Jpn., To appear.[60] M. Sakai, On spaces with a star-countable k-network, Houston J. Math. 23 (1997), no. 1,

4556.

34 4. SPACES AND MAPPINGS: SPECIAL NETWORKS

[61] M. Sakai, A special subset of the real line and regularity of weak topologies, Topology Proc.23 (1998), no. Spring, 281287.

[62] A. Shibakov, Sequentiality of products of spaces with point-countable k-networks, TopologyProc. 20 (1995), 251270.

[63] A. Shibakov, Metrizability of sequential topological groups with point-countable k-networks,Proc. Amer. Math. Soc. 126 (1998), no. 3, 943947.

[64] R. Sirois-Dumais, Quasi- and weakly-quasi-first-countable spaces, Topology Appl. 11 (1980),no. 2, 223230.

[65] F. Siwiec, On defining a space by a weak base, Pacific J. Math. 52 (1974), 233245.[66] R. M. Stephenson, Jr., Symmetrizable, F-, and weakly first countable spaces, Canad. J.

Math. 29 (1977), no. 3, 480488.[67] S. A. Svetlichny, Intersection of topologies and metrizability in topological groups, Vestnik

Moskov. Univ. Ser. I Mat. Mekh. (1989), no. 4, 7981.[68] Y. Tanaka, Determining covers and dominating covers, Questions Answers Gen. Topology,

To appear.[69] Y. Tanaka, On local properties of topological spaces, Sci. Rep. Tokyo Kyoiku Daigaku Sect.

A 11 (1972), 106116.[70] Y. Tanaka, A characterization for the products of k- and 0-spaces and related results, Proc.

Amer. Math. Soc. 59 (1976), no. 1, 149155.[71] Y. Tanaka, Closed maps on metric spaces, Topology Appl. 11 (1980), no. 1, 8792.[72] Y. Tanaka, Point-countable covers and k-networks, Topology Proc. 12 (1987), no. 2, 327

349.[73] Y. Tanaka, Metrization II, Topics in general topology, North-Holland Mathematical Library,

vol. 41, North-Holland, Amsterdam, 1989, pp. 275314.[74] Y. Tanaka, -hereditarily closure-preserving k-networks and g-metrizability, Proc. Amer.

Math. Soc. 112 (1991), no. 1, 283290.[75] Y. Tanaka, Closed maps and symmetric spaces, Questions Answers Gen. Topology 11

(1993), no. 2, 215233.[76] Y. Tanaka, Theory of k-networks, Questions Answers Gen. Topology 12 (1994), no. 2, 139

164.[77] Y. Tanaka, Products of k-spaces having point-countable k-networks, Topology Proc. 22

(1997), no. Spring, 305329.[78] Y. Tanaka, Theory of k-networks. II, Questions Answers Gen. Topology 19 (2001), no. 1,

2746.[79] Y. Tanaka, Products of k-spaces, and questions, Comment. Math. Univ. Carolin. 44 (2003),

no. 2, 335345.[80] Y. Tanaka, Quotient spaces and decompositions, Encyclopedia of General Topology (K. P.

Hart, J. Nagata, and J. E. Vaughan, eds.), Elsevier Science, 2004, pp. 4346.[81] Y. Tanaka, Products of weak topologies, Topology Proc. 29 (2005), no. 1, 361376.

Extension problems of real-valued continuousfunctions

Haruto Ohta and Kaori Yamazaki

1. Introduction

By a space we mean a completely regular T1-space. A subset A of a space X issaid to be C-embedded in X if every real-valued continuous function on A extendscontinuously over X , and A is said to be C-embedded in X if every boundedreal-valued continuous function on A extends continuously over X . The aim ofthis paper is to collect some open questions concerning C-, C-embeddings and ex-tension properties which can be described by extensions of real-valued continuousfunctions.

Let N, Q, R and I denote the sets of natural numbers, rationals, reals, andthe closed unit interval, respectively, with the usual topologies. Let be thefirst infinite cardinal. For undefined terms on generalized metric spaces, see [8].General terminology and notation will be used as in [5].

2. C-embedding versus C-embedding

This section overlaps partly with the survey [27]; here, we update informationabout status of the questions and add some new questions. It is not difficult toconstruct an example of a closed set which is C-embedded but not C-embedded(for example, see [25, Construction 2.3]). It is, however, interesting to ask ifC-embedding implies C-embedding under certain circumstances.

Question 1. Is every C-embedded subset of a first countable space C-embedded? 108?

Note that every C-embedded subset of a first countable space is closed.KuleszaLevyNyikos [17] proved that if b = s = c, then there exists a maxi-mal almost disjoint family R of infinite subsets of N such that every countableset of nonisolated points of the space N R is C-embedded. Since every setof nonisolated points of N R is discrete and N R is pseudocompact, thosecountable sets are not C-embedded. Thus, Question 1 has a negative answer un-der b = s = c, but it remains open whether there exists a counterexample inZFC. KuleszaLevyNyikos [17] also proved that, assuming the Product MeasureExtension Axiom (PMEA), there exists no infinite discrete C-embedded subsetof a pseudocompact space of character less than c. Since every C- but not C-embedded subset contains an infinite discrete C-embedded subset, this impliesthat no pseudocompact space, in particular, no space N R, can be a counterex-ample to Question 1 under PMEA (see [16] for related results). On the other hand,

Research of the second author is partially supported by the Ministry of Education,Science, Sports and Culture, Grant-in-Aid for Young Scientists (B), No. 16740028.

35

36 5. EXTENSION PROBLEMS OF REAL-VALUED CONTINUOUS FUNCTIONS

by Tietzes extension theorem, no normal space can also be a counterexample toQuestion 1. Thus, it is natural to ask if typical examples of first countable, non-normal spaces contain C-embedded subsets which are not C-embedded. In [27]the first author proved that every C-embedded subset of the Niemytzki plane NPis C-embedded and asked the following questions, which have been unanswered asyet.

Question 2. Is every C-embedded subset of the square S2 of the Sorgenfrey line109?C-embedded in S2?

Question 3. Is every C-embedded subset of the product RQN of the Michael110?line with the space of irrationals C-embedded in RQ N?

It was proved in [27] that if a space X contains a pair of disjoint closed sets,one of which is countable discrete, which cannot be separated by disjoint opensets, then the absolute E(X) of X contains a closed C-embedded subset whichis not C-embedded. Hence, the absolutes E(NP), E(S2) and E(RQ N) of theNiemytzki plane, the Sorgenfrey plane and Michaels product space, respectively,contain C- but not C-embedded closed sets.

Another interesting case of the relationship between C- and C-embeddingsis a closed rectangle in a product. Indeed, the next question asked in [27] and theone after next are still open.

Question 4. Let A be a C-embedded closed subset of a space X and Y a space111?such that AY is C-embedded in XY . Then, is AY C-embedded in XY ?Question 5. Let A (resp. B) be a C-embedded closed subset of a space X (resp. Y )112?such that AB is C-embedded in XY . Then, is AB C-embedded in XY ?

It is known that the answer to Question 4 (resp. 5) is positive in each of thefollowing cases (1)(4) (resp. (5) and (6)):

(1) Y is the product of a -locally compact (i.e., the union of countablymany locally compact closed subspaces), paracompact space with a met-ric space ([27, Corollary 4.10]). In particular, Y is either -locally com-pact, paracompact ([44, Theorem 1.1]) or a metric space ([10, Theo-rem 1.1]).

(2) Y Y 2 and Y contains an infinite compact set ([15, Theorem 2.1]).(3) X is a normal P -space and Y is a paracompact -space ([44, Theo-

rem 1.2]).(4) X is a normal weak P ()-space and Y is K-analytic ([43, Theorem 4.2]).(5) Y is locally compact and paracompact (combine [20, Theorem 4] with [44,

Theorem 1.1]).(6) Y is a metric space (combine [10, Theorem 1.1] with [37, Theorem 4]).

Question 4 is a special case of Question 5, and the authors do not know ifthe answer to Question 5 is positive in each of the cases (1)(4) above. As foranother candidate for positive cases, the following question naturally arises; thecase where Y is a paracompact M -space was asked by Gutev and the first authorin [10, Problem 1].

2. C-EMBEDDING VERSUS C-EMBEDDING 37