This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
n
0.
If a = 8, we have
s ( R ( 4 ’ ) n R(a 0 0)’
=
U{C,lS E r(a)>\U{W,IB E
=
0.
W)}
Hence, (6) is satisfied. Pick an a E A, and an (x, y) E R(a)\U4,,+,. In case 4 U { W, I y E r@)}, clearly (x, y) E R(u 0 8). So we can assume x E W, for . an i < ma some y E T(a). Take 6 E A(y) with y E L,. Assume x E 17,Find with x E UaSi.Then we have
x
ua,i x La c U6.i x Va E c @,+I, which contradicts (x, y ) 4 U@,+l. Hence it follows that (x, Y ) E
(x, Y ) E ((W,\Vd n
W)’) x L6 = R(a 0 6).
Thus (7) is satisfied. Now, we set 4 = U,,, I 4,,. By (1) and (2), 4 is a c-locally finite collection of cozero rectangles such that each U x V E % is contained in some G E Y. It remains to show that 4 covers X x Y.
Claim. I f {a,} is a sequence such that a,, E A , and (u,,)- = a,-, for each n 2 1, where a, = 8, then nn,IR(a,,)’= 8. It follows from ( 5 ) and (6) that R(a,,)’ = R(a,,-,)’ and s(R(u,,-,)’)n R(a,)’ = 0 for each n 2 1. This implies that the sequence ( s ( X ) , R(a,)’, s(R(a,)’),. . . , s(R(u,,-,)’),R(a,)’, . . .) is a play of G(DC, X). Player I necessarily wins this play. Hence, we have n,,,,R(a,)’ = 8. Assume that 4 does not cover X x Y. Pick some (x, y ) E X x Y\U%. Notice that (x, y ) E X x Y = R(0).Since (x, y ) 4 U%,,+,for each n 2 0, by
546
Y. Yajima
(7), one can inductively choose an infinite sequence (aI,a*, . . .) such that a, = (aI,. . . , a,) E A, and ( x , y ) E R(a,) for each n 2 1. So we have x E I R(a,)’, which contradicts the above claim. 0
n,,
By Corollary 3.4 and Theorem 4.1, we have this corollary. I f X is a paracompact space with a a-closure-preserving cover by compact sets, then X x Y is paracompact for every paracompact space Y.
4.2. Corollary.
4.3. Theorem (Yajima [1983b]). I f X is a regular subparacompact space and
Player I has a winning strategy in G(DC, X ) , then X x Y is subparacompact for every subparacompact space Y.
Proof. Lets be a stationary winning strategy for Player I in G(DC, X). Let Y be any open cover of X x Y. It suffices to prove that Y has a a-locally finite refinement by closed rectangles in X x Y. Let So= {O}, A . = (8) and R(O) = X x Y. For each n 2 1, we shall construct two collections 9, and { R ( a )I a = (a,, . . . , a,) E A,} of closed rectangles, satisfying the following conditions (1)-(7): For each n 2 I , (1) 9, is a-discrete in X x Y, (2) each D x L in 9, is contained in some G E Y, (3) { R ( a ) l aE A,} is a-discrete in X x Y. For each a E A, and n 2 I, (4) a- E A,-l, (5) R ( 4 = W - ) , (6) s(R(a-)’) n R(a)’ = 8, (7) R(a)\U~,+, = U@(a 0 @ ) l a6 a E A,+, 1. Assume that and { R ( a )1 a E A i } satisfying (1)-(7) have been constructed for each i < n. Pick an a E A,. Let { C, I y E T ( a ) } be a discrete collection of compact sets in R(a)’ such that @(a)’) = U {C, I y E r ( a ) } . Since R(a)’ is subparacompact and {R(a)’\U{C, I B E T ( a )with /I# y } I y E T ( a ) }is an open cover of R(a)’, ‘thereexists a a-discrete closed cover I y E T ( a )and k 2 l} of R(a)’ such that each Fyqk is disjoint from C, if fl # y , where {Fy,k I y E T ( a ) }is discrete in X for each k 2 1. Using subparacompactness of R(a)”, it is easily seen that for each y E T ( a ) and k 2 1 there exists a a-discrete collection SYsk =
{o,,ix L61i = 1, . . . , maand 6
of closed rectangles, satisfying (i) each U6,iis open in FYsk, (ii) C, n Fy,k c U, = U{U,,il i
E
A(y, k ) }
< m,} for each 6 E A(?, k),
Topological Games and Applications
541
(iii) each Dh,ix L6 is contained in some G E 9, (iv) {La16 E A(y, k)} is a a-discrete closed cover of R(a)”. Here, we set 9,+1 = U { 9 J y E T(a), a E A, and k 2 l} and A,+I = { a @ 616 E A(y, k), y E T(a), a E A, and k 2 l}.
For each a @ 6 E A,+I, where 6 E A(y, k), we put R(a @ 6) = (F7,k\UJ x La. Then it is similarly checked that 9,+1 and {R(a)la E A,,,} satisfy (1)-(7). Now, we set 5 = UnrI 9”. By (1) and (2), 9is a a-discrete collection of closed rectangles such that each D x L E 9 is contained in some G E Y. Moreover, in the same way as above, we can show from (5)-(7) that 9covers X x Y. 0 4.4. Corollary. If X is a paracompact (regular subparacompact) C-scattered space, then X x Y is paracompact (subparacompact)for every paracompact
(subparacompact) space Y.
This follows from Theorems 2.3, 4.1 and 4.3. 4.5. Theorem (Yajima [1983b]). I f X is a regular metacompact P-space and Player I has a winning strategy in G(DC, X ) , then X x Y is metacompact for
every metacompact space Y .
Proof. Lets be a stationary winning strategy for Player I in G(DC, X ) and p be a function from u,s1(2x)” into 2’ described in Definition 3.5. Let B be any open cover of X x Y. It suffices to prove that Y has a point-finite refinement by open rectangles. Let 42, = {O}, A, = (0)and R(0) = H(0) = X x Y. For each n 2 1, we shall construct a collection @n of open rectangles and a collection {{R(a), H(a)}I a = (aI, . . . , a,) E A,} of pairs consisting of a closed x open rectangle R(a) and an open rectangle H(a), satisfying the following conditions (1)-(9): For each n 2 1, (I) a,, is point-finite in X x Y, (2) each U x V in 42, is contained in some G E Y, (3) {H(a)laE A,} is point-finite in X x Y, (4) U@n c U{H(a)Ia E An-,}. For each a E A, and n 2 1, ( 5 ) a- E A,- I , (6) R(a) c R ( a - ) and R(a) c H(a) c H(a-), (7) s(R(a-)’) n R(a)’ = 0, (8) R(a)\U%+i c U{R(a @ a) l a @ E An+t 1,
548
Y . Yajima
(9) p(R(a1 l)’, . . . ,R(a I n - l)’, R(a)’)n H(a)’ = 8 (see the Introduction for the notation of a 1 i). Assume that 9i and {R(a), H ( a ) } , a E A i , satisfying (1)-(9) have been constructed for each i < n. Pick an a E A,. Let { C, I y E T(a)} be a discrete collection of compact sets in R(a)’ such that @(a)’) = U{C,I y E T(a)}.Since X is regular metacompact, it follows from Chapter 5, Theorem 7.17 that there exist two point-finite E T(a)} of open sets in X such that collections { W, I y E T ( a ) }and (0, c 0, c H(a)’\U{Csl p E
C, c W, c
T ( a ) with p # y}
for each y E T(a). Since Y is metacompact and R(a)” is open in Y , for each y E T ( a ) there exists a collection x &li = I,
%? =
. . . , m, and 6 E A(y)}
of open rectangles, satisfying (i) C, c U, = U{U,,ili < m,} c W, for each 6 E A(?), (ii) each U,,i x & is contained in some G E Y, (iii) { & 1 6 E A(y)} is a point-finite open cover of R(a)”. Here, we similarly set 9,+, = U ( 9 , I y E r(a)and a E A,} and A,+I = { a @ 616EA(y),yET(a)andaEA,} u { a @ O I a E A , } .
Pick an a @ a E A,,,. Observe that a1 i some 6 E A(y) and y E r(a),we put R(a 0 6 ) =
E
Ai for each i
<(q\u,> n R(a)’) x
< n. In case a
= 6 for
&,
H(a 0 6 ) = (O,\p(R(aI I)’, . . . , R(aln)’, R ( a 8 6)’)) x
6.
In case a = 8, we put
~
(
o el o e) 0
=
(RW\U{
w,I Y E r(m x RW”,
= ( ~ ( a ) ’ \ p ( ~I iy, (a
. . . ,~
o
( in)’, a ~ ( a e)’)) x ~ ( a ) ” .
Then it can be verified similarly that and { { R ( a ) ,H(a)}I a E A,,,} satisfy (1)-(9). Now, we set $2 = Un2,9,. By (2), 9 is a collection of open rectangles in X x Y such that each U x V E 9 is contained in some G E Y. In the same way as in the proof of Theorem 4.1, we can show from (6)-(8) that 9covers X x Y. It remains to show that 9 is point-finite in X x Y. Claim 1. If {a,} is a sequence such that a, E A , and n 2 1, where a,, = 8, then H(a,)’ = 8.
(0,)-
=
for each
Topological Games and Applications
549
By the proof of the Claim in the one of Theorem 4.1, we have T\,> ,R(a,,)’= 0. So U,,,,p(R(a,)’,. . . , R(a,)’) = X. By (9), we obtain the desired one. Claim 2. nnbl(UXfl) = 8, where Xn = { H ( a ) l a E A,,}. Assuming the contrary, pick a zo E T\,,,,(UX,,). Let A,(z,) = { a E A , I zo E H(a)}for each n 3 0. By (3), each A,,(z,) is finite. By (5) and (6), a E A,,(zo)implies a- E A,,-, (z,). It follows from Lemma 2.8 that there exists an infinite sequence (a,, a2, . . .) such that a,, = (cq, . . . , a,) E A,(z,) for each n 2 1. Then we have zo E H(a,,),which contradicts Claim 1. Pick any z E X x Y. By Claim 2, find an m 2 1 such that z r$ UXm. Observe from (5) and (6) that UX,,, c UXnfor each n 2 1. Since z 4 UX,, for each n 2 m, it follows from (4) that z $ U9,, whenever n m. Therefore, by (l), 9 is point-finite at z. Thus, 9 is point-finite in X x Y. 0
n,, , ,
=-
From Corollary 3.4, Proposition 3.6, Theorems 4.3 and 4.5, we get the following corollary. 4.6. Corollary. If X is a regular metacompact (subparacompact)space with a a-closure-preserving cover by compact sets, then X x Y is metacompact (subparacompact)for every metacompact (subparacompact)space Y. Unfortunately, we do not have an analogical result to include the 8-refinability in Corollary 4.6. So we raise the following question. 4.7. Question. Let X be a regular space with a (a-)closure-preservingcover by compact sets. Is X x Y O-refinable for every O-refinable space Y? 4.8. Remark. Quite recently, Gruenhage and Yajima [198-] have given an affirmative answer to this question. In fact, they have proved that the analogue of Theorem 4.3 is valid for O-refinability (and metacompactness).
5. The games in product spaces In this section, for two classes K , and K2 of spaces, we define a new class K , x K2. Assuming that Player I has winning strategies in G ( K , ,X) and G(K2,Y). We consider the question of whether he has a winning strategy in G(D(K, x K2),X x Y). For this question, we introduce the concept of
550
Y. Yajima
D-products. The result obtained here will be applied to dimension theory in the next section. For two classes K,and K2 of spaces, we put Kl x K2 = U { 2 X x Y I XKl~ and Y E Kz}.
That is, it consists of all product spaces X x Y such that X E K,and Y E K2 and all closed subsets of them. Here, the concept of closed rectangle, which is defined in the previous section, plays an important role.
5.1. Definition. A product space X x Y is called a D-product if for any disjoint pair {E, F } of a closed rectangle E and a closed set Fin X x Y there exists a a-discrete collection W of closed rectangles such that F c UW c X x Y\E. It is easy to see that each closed rectangle in a D-product is also a D-product. As a typical D-product, from the proof of Theorem 4.3, we get the following proposition.
5.2. Proposition. If X is a regular subparacompact space and Player I has a winning strategy in G(DC, X ) , then X x Y is a D-product for any subparacompact space Y. Here we need some more notations: Let Ni = (3n + il n 2 0 } for i = 0, 1, 2. So, w u (0) is decomposed into No, N I and Nz. For each z = ( k , , . . . , k,,) E d"' n 2 1, let Xz = kl * * * k,,. Identify z = 8 with T = (0), so that Xp = 0. For each z = ( k , , . . . , k,,) E a",n 2 1, with k, 4 No,we put z* = (kl, . . . , ki)if k,,, . . . , ki+,E N, EN^) and ki4 N, (#Nz)for some i c n. If k,,, . . . , k, E N, EN^), put z* = 8 = (0).
+
+
5.3. Theorem (Yajima [1983a]). Let X x Y be a D-product. ZfPlayer I has winning strategies in G ( K l ,X ) and G(Kz, Y ) , then he has a winning strategy in G(D(K, x K2),X x Y ) .
Proof. Let s, and s2 be stationary winning strategies for Player I in G(K,, X ) and G(Kz, Y ) respectively. From Proposition 1.4, it is sufficient to construct a winning strategy t for Player I in G(L, X x Y ) , where L = x Kz)l*
mwl
55 I
Topological Games and Applications
Let El = t(X x Y ) = sl(X) x s,(Y). Let AB = {8},B(8) = {X x Y} and Fo = R(8) = X x Y. Player I1 chooses any F, E 2’“ disjoint from E l . Now, assume that we have already constructed an admissible sequence ( E l , F,,. . . , Em, F,) in G(L, X x Y) such that Ei = t(Fo, F,,. . . ,K - , ) for each i < m and there exists a discrete collection {R(a)I a = (a,, . . . , a,,, a,,+,) E A,@&}of closed rectangles for each t E w“, n 2 0, with Ct < m - 1 and k 2 1, satisfying the following conditions (1)-(3): (I) a @ a E Are&implies a E A,. (2) For each a E A,, R(a) n q X r ) + l
= U { R ( a @ a)la @ a E Are&and k
3 I } c R(a).
(3) For each a @ a E ATek,where t = ( k , ,. . . , k,,)E w“, n 2 0, and k 2 1, (i) s,(R(a)’)n R(a €I3 a)‘ = 8 if k,, k E Nou N,, (ii) s2(R(a)”)n R(a €I3 a)” = 8 if k,,, k E Nou N,, (iii) s,(R(a*)’) n R(a a)’ = 8 if k, E N, and k E Nou N,, (iv) s,(R(a*)”)n R(a @ a)” = 8 if k,, E N, and k E Nou N,, where a* = a I i E A,. if a E A, and t* E w’. In case of t = 8, consider k, = 0 E No. Pick a t = ( k , , . . . , k,,) E w”, n 3 0, with Ct = m. Note that R(r) has been constructed since t = T- @ k,, and Ct- = m - k,, < m - 1. For each a E A,, we put E(a) = s,(R(a)‘)x s,(R(a)”)
if k,, E No,
E(a) = s,(R(a)’)x (s,(R(a*)”)n R(a)”) if k,, E NI,
E(a)
=
(s,(R(a*)’)n R(a)’) x s,(R(a)”) if k,, E N,.
Then E(a) E K, x K,.We set Em+, = t(Fo, Fl,
. . . , F,)
= (U{E(a)I a E A,
and t E Un20w“with CT = m})n F,.
Since {R(a)I a E A,} is discrete in X x Y, Em+,belongs to L. Player I1 chooses any F,+, E 2’” such that F,,, c F, and Em+,n F,+, = 8. Pick again a t E U,,20wn, with CT = m,and an a E A,. Since R(a)is a D-product and E(a) is a closed rectangle in R(a) with E(a) n F,+, = 8,there exists a collection {R(a @ a) I a E B(a, k) and k 2 l} of closed rectangles in R(a) such that { R ( a a) I a E B(a, k)} is discrete in R(a) for each k 3 1 and R(a) n F,,, c U { R ( a @ a) I a E B(a, k) and k 2 l} c R(a)\E(a).
552
Y. Yajima
Since E(a) and R(a @ a) are disjoint rectangles in X x Y, we may assume that, for each a E B(a, k),
E(a)’ n R(a @ a)’ = 0 and E(a)” n R(a @ a)” = 0 implies k
E
No,
E(a)’ n R(a @ a)’ = 0 and E(a)” n R(a @ a)” # 0 implies k
E
N, ,
E(a)’ n R(a @ a)’ # 0 and E(a)” n R(a 8 a)” = 0 implies k
E
Nz.
We set AT@k= { a 0 aim E B(a, k) and a E A,} for each k 2 1. It is easy to check that {R(b)I b E A,,,} is discrete in X x Y and (1)-(3) are satisfied. We show that t is the desired winning strategy. Since Player I1 has arbitrarily chosen each F,, it suffices to show that &,, I F, = 0. Assuming the contrary, pick (x, y ) E Om,,F,. Notice that (x, y) E X x Y = R(0). By (2), one can inductively choose some ( k i ,k z , . . .) E wo and ( a I ,a2, . . .) such that a, = ( a I ,. . . , a,) E A,,, where t, = (kl, . . . , k,), and ( x , y) E R(a,) for each n 3 1. Then x E I R(a,)’ and y E I R(a,)”. Assume that (kl, k,, . . .) contains the infinite subsequence (ki(l),ki(,),. . .) consisting of all natural numbers k, belonging to Nou N l . Let r(0) = a(0) = 0. Let t ( j ) = t i ( j = ) ( k i , . . . , k i ( j ) )and a ( j ) = q j )= (a1,. . . , a i ( j ) )for eachj 2 1. Let us show
n,
(4)
s , ( R ( a ( j ) ) ’ )n R ( a ( j
n,,
+ 1))’ = 0
for eachj 2 0.
+
Case ki(j)+l E Nou N,: Since ki(j)+l= ki(j+l), we have ~ ( j 1) = ~ ( j@) k i ( j + l ) .Hence a ( j 1) = a ( j ) @ ai(j+I) E A , ( j + l ) .So, (4) follows from
+
(3) (9. Cuseki(j)+lE N,: Letm = i ( j + 1). Leta = t ( j + 1)- = (kl, . . . , k,-l) and b = a ( j 1)- = ( a l , . . . , a,-1). Then t ( j + 1) = a @ k,, k, E Nou N, and a ( j 1) = b 0 a,,,. Since k,-l, . . . , ki(j)+lE N,, we have . a* = (kl, . . . , k i ( j ) )= ~ ( j ) Hence, b* = (a1,. . . , aiCj,)= a ( j ) E An.. Thus (4)follows from (3) (iii). BY (2) and (4), the sequence (sl(X), R(u(l))’,sl(R(a(l))’), R(a(2))’, sl(R(a(2))’),. . .) is a play of G(K,, X). Hence we have n j , l R ( a ( j ) ) ’ = 0, which contradicts x E n j a 1 R ( a ( j ) ) ’On . the other hand, if ( k , , k,, . . .) contains the infinite subsequence &(,,, ki(2),. . .) consisting of all natural numbers k, belonging to Nou N,, the same way of reasoning yields a contradiction. In this case, (3)(ii) and (3)(iv) are used instead of (3)(i) and (3)(iii), respectively. 0
+
+
A product space X x Y is called a C-product if for any disjoint pair {E, F} of a closed rectangle E and a closed set F i n X x Y there exists a countable COkCtiOn {Rklk 2 1} Of Closed reCbngleS such that F C UkalRk C X X Y\E.
Topological Games and Applications
553
5.4. Proposition. Let X x Y be a C-product. If Player I has winning strategies in G ( K l ,X ) and G(K2,Y ) ,then he has a winning strategy in G(K, x K,, X x Y ) . The proof is quite parallel to that of Theorem 5.3. In fact, we only have to replace a discrete collection {R(a) I a E A , } of closed rectangles with a closed rectangle R ( T )for each T E U n r O w n .
5.5. Remark. Let X = [0, wl) be the discrete space. Let Y = [0, wI]be the space such that w1has the nbd base {(x, w , ]I x < wl}and each x < wIis an isolated point in Y. Then it is easy to verify that the product space X x Y is a D-product but not a C-product. The author has been informed of the following question by Telgarsky. Let X and Y be completely regular spaces. If Player I has winning strategies in G(DC, X) and G(DC, Y), does he have a winning strategy in G(DC, X x Y)? 5.6. Question.
If X and Y are regular subparacompact spaces, the above question is answered in the affirmative. Since D(DC x DC) = DC, this immediately follows from Proposition 5.2 and Theorem 5.3. Next, note that if X x Y is regular Lindelof, then it is a C-product. So it follows from Telgarsky [1975a, Corollary 14.141and our Proposition 5.4 that if Player I has winning strategies in C(C, X) and G(C, Y), then he has one in G(C, X x Y ) .
6. Applications to dimension theory
In this section, we deal with the application of topological games to the sum and product theorems in dimension theory. We omit (by the restriction on the number of pages) the proofs of several basic theorems and lemmas in dimension theory. First, we give a closure-preserving sum theorem for dim and Ind, and then we deal with the product theorem for dim and Ind. 6.1. Definition. For a normal space X , we say that dim X < n (the covering dimension G n) if every finite open cover 42 of X has a (finite) open refinement 9-such that ord,V < n + 1 for each x E X .
5 54
Y. Yajima
6.2. Theorem (The countable sum theorem for dim). Zfa normal space X has a countable closed cover {Xk I k 2 I } such that dim Xk < n for each k 2 I , then dim X < n.
6.3. Theorem (The locally finite sum theorem for dim). I f a normal space X has a locallyfinite closed cover 9such that dim F < n for each F E 9,then dim X < n. 6.4. Lemma. Let X be a normal space and E a closed subset of X with dim E < n. For each finite open cover { U, I i < k} of X, there exist a finite open cover Y = { V, I i < k} of X and an open set G containing E such that (i) V, c V, for each i < k, and (ii) ord,TY< n 1 for each x E G.
+
Proof. It follows from Pears [1975, Proposition 3.1.61 that there exists a closed cover 9 = (41i < k} of E such that each 4 is contained in U, n E and o r d , 9 < n I for each x E E. Moreover, it follows from Engelking [1977, Theorem 7.1.41 that there exists a finite collection W = { i < k} of open sets such that 6.c 4 c Q for each i < k and ord,W < n + 1 for each x E X. Take an open set G in X such that E c G c G c U i G k K. Put V, = u (U,\G) for each i < k. Then Y = { V,l i < k} and G are desired ones. 0
+
vl
Let Dim, denote the class of all normal spaces with covering dimension that X E Dim, implies 2' c Dim, (cf. Pears [1975, Proposition 3.1.51). We can generalize the countable sum theorem in terms of topological games as follows.
< n. Note
6.5. Theorem (Telgarsky and Yajima [1980]). Let X be a normal space. I f Player I has a winning strategy in G(Dim,, X ) , then dim X < n.
Proof. The proof is a modification of that of Engelking [1977, Lemma 7.2.11. Lets be a stationary winning strategy for Player I in G(Dim,, X). Let { V, I j < k} be a finite open cover of X. For each i 2 0, we construct a finite open cover 4?, = { U,,jlJ < k} of X and an open set Gi in X , satisfying the following conditions: For each i 2 I , ( I ) V;.j c U,.-,,j c V,, wherej = 1 , . . . , k, (2) ord,42i < n + 1 for each x E G,, (3) s(X\G,-,) u Gi-, c G,.
Topological Games and Applications
555
Let Uo,j = V, for eachj 6 k and Go = 8. Assume that aiand Gi have been constructed for each i 6 m. Let E = s(X\G,,,). Then dim E < n. Applying Lemma 6.4 to E and Q,, we can take a finite open cover 9,,,+ I = { Um+l.j Ij 6 k} of X and an open set G containing E such that Um+l,jc Umvjfor each j 6 k and ord,Qm+I 6 n + 1 for each x E e. Since Xis normal, it may be assumed that~,,,+,vj c U,,,,jforeachj 6 k.LetG,,,+, = G,,, v G.Then9,,,+,andG,,,+, satisfy (1)-(3). Let 4 = q.,jfor each j 6 k. Pick an x E X . Since each ajis a finite cover of X , we can choose j(x) 6 k such that x E Q,jcx, for infinitely many i. By (I), we have x E U,jcx,= F/c,,. Hence 9 = (41j 6 k} is a closed cover of X such that 5 t V, for each j 6 k. From (3), {Gjli 2 l } covers .'A Take i,, 2 1 such that x E Gb. By (2), we have o r d x 9 6 ord,eb 6 n + 1. Hence o r d , f 6 n + 1 for each x E X . It follows from Pears [1975, Proposition 3.1.61 that dim X 6 n. 0
ni,,
ni,,
By Theorem 6.3, we have D(Dim,) = Dim,. So Theorems 3.3 and 6.5 yield the following corollary. 6.6. Corollary (Closure-preservingsum theorem for dim).
Ifa normal space
X has a closure-preservingclosed cover % such that C is countably compact and dim C 6 n for each C E V, then dim X 6 n. 6.7. Definition. Let Ind 8 = - 1. For a normal space X , we say that Ind X 6 n (the large inductive dimension < n ) if for each closed set E and each open set Vwith E c V there exists an open set U such that E c U c V and Ind aU 6 n - 1, where aU denotes the boundary of U. 6.8. Definition. A normal space X is said to be totally normal if for each open set U in X there exists an open cover 9 of U such that (i) each member of Q is an F,-set in X , (ii) 9 is locally finite in U .
Clearly, perfectly normal spaces are totally normal. Note that every subspace of a totally normal space is totally normal (cf. Pears [1975, Remark 1.4.121). 6.9. Theorem (The countable sum theorem for Ind). If a totally normal space X has a countable closed cover {xk I k 2 l } such that Ind Xk 6 n for each k 2 1 , then Ind X 6 n.
556
Y. Yajima
6.10. Theorem (The locally finite sum theorem for Ind). Zfa totally normal space X has a locally finite closed cover 9 such that Ind F < n for each F E 9,then Ind X < n. Let Ind, denote the class of all normal spaces with the large inductive dimension < n. Again, note that X E Ind, implies 2' c Ind, (cf. Pears [1975, Proposition 4.2.51). 6.1 1. Lemma. Let X be a totally normal space and E a closed subset in X with Ind E < n. Zf Ind F < n for each closed subset F in X disjoint from E, then Ind X < n. For example, this is found in Pears [1975, Proposition 4.4.111.
6.12. Theorem (Yajima [1979]). Let X be a totally normal space. I has a winning strategy in G(Ind,, X ) , then Ind X < n.
If Player
Proof. Lets be a stationary winning strategy for Player I in G(Ind,, X). Let A, = (0) and F0= (F(0)) = {X}. For each T E U n B O w n we, construct a collection 9, = {F(a)I a = (a,, . . . , a,,) E A,} of closed sets in Xsatisfying, for each a E A,, (1)
a- € A , - ,
(2)
{F(b)I b E A,,, each k 2 1,
(3)
U { F ( b ) ( bE A,,,
with b- = a } is locally finite in F(a)\s(F(a)) for and k 2 1 with b-
=
a } = F(a)\s(F(a)).
Assume that 9, has been constructed as above for each T E UiGmwi.Pick and an a E A,. Since F(a) is totally normal and F(a)\s(F(a)) is open a T E urn in F(a), there exists a collection @(a) = { U , I /I E B(a)} of open F,-sets in F(a) such that @(a)is locally finite in F(a)\s(F(a)) and (J@(a)= F(a)\s(F(a)). Since U pis an F, in F(a) E 2', there exists a sequence {Fp,k}of closed sets in X such that U, = U k 3 FB,, , for each 8 E B(a). Here we set A,,,
= {a
0 a Ia
=
(8, k), 8 E B(a) and a E A,}
for each k 2 1. Moreover, we set F(a 0 a ) = F,,, for each a 0 a E A,,, with a = (8, k) and Frek = {F(a 0 a)la 0 a E A,,,} for each k 2 1. Then (1)-(3) are satisfied. For each T E w m , m 2 0, we set X ( T ) = u { s ( F ( a ) ) l aE A T l i and 0 < i < m}.Using induction on m,it is not difficult to show from (1) and
Topological Games and Applications
551
(2) that
(4)
9, is locally finite in X \ X ( r - ) and UF, c X \ X ( t - ) for each t E wn.
u
nT I
So, in particular, we have (4')
{s(F(a))I a E A,} is locally finite in X\ X ( t _ ) for each T
E
u w".
" 2I
Note that X ( 8 ) = s ( X ) and X ( r ) = u{s(F(a))Ia E A,} u A'(?-) for each t E U n 2 1 ~ Assuming ". that X ( L ) is closed in X , by ( 4 ) ,X ( t ) is closed in X . Hence, (5)
X ( r ) is closed in X for each t E
u w".
n20
Clearly, Ind X(8) = Ind s ( X ) < n. Assume Ind X ( K ) < n. Let H be a closed set in X ( t ) disjoint from X ( t - ) . By (4'), {s(F(a))n HI a E A,} is a locally finite closed cover of H. Since Ind(s(F(a)) n H) < n, it follows from Theorem 6.10 that Ind H < n. Therefore, by Lemma 6.1 I , we have (6)
Ind X ( r )
< n for each t E
u w".
"20
Assume that we can pick some x E X \ U { X ( t ) I t E UnbOwn}. By Fo= {X} and (3), one can Inductively choose some (k,,k,, . . .) E wo and ( a I ,a,, . . .) such that a,,, = ( a l , . . . , a,) E A,, where z, = ( k l ,. . . , k,), and x E F(a,) for each m 2 1. By (3) again, we have F(a,+,) c F(a,) and s(F(a,,,)) n F(a,+,) = 8 for each m 2 0, where a, = 8. Hence nrnblF(a,,,)= 8. This contradicts x E n,,,,,F(a,). We have shown
If follows from (5)-(7) and Theorem 6.9 that Ind X
< n.
0
By Theorem 6.10, we have D(Ind,) = Ind,. So, Theorems 3.3 and 6.12 yield this corollary. 6.13. Corollary (Closure-preservingsum theorem for Ind). r f a totally normal space X has a closure-preserving closed cover V such that C is countably compact and Ind C < n for each C E V, then Ind X < n.
6.14. Question.
lary 6.6 or 6.13?
Is it possible to remove the "countably compact" in Corol-
558
Y. Yajima
6.15. Remark. Under the CH assumption, Ciesielski [I9851 gave a negative answer to this question. On the other hand, we can show the following: If a normal, semistratifiable space X has a closed cover {FAI A < 11) such that U,
+
Various kinds of product spaces are rectangular; see Pasynkov [1975]. In particular, the following are typical rectangular products. 6.18. Proposition. A product space X x Y is rectangular i f either (a) X is compact, or (b) X is nondiscrete metrizable and X x Y is normal. Taking together the above, Theorem 2.3, Corollary 3.4 and the proof of Theorem 4.1 get the following proposition. 6.19. Proposition. For paracompact spaces X and Y, the product space X x Y is rectangular i f either (a) X is C-scattered, or (b) X has a closure-preserving cover by compact sets. Thus, Theorem 6.17 can unify a number of product theorems for dim which had been proved before. Recall that a closed set L in a space X is called a partition between E and F if there exist disjoint open sets U and V such that E c U, F c V and X\L = u u v.
Topological Games and Applications
559
The following lemma is well-known (cf. Engelking [1978, Lemma 2.3.161); one can prove it with a standard method. 6.20. Lemma. Let E and F be disjoint closed sets in a space X . If V is a a-locally finite open cover of Xsuch that P n A = 8 or P n B = 8for each V E V , then there exists a partition L between E and F such that L c U{av: V E V } .
We say that the a-locallyfinite finite) sum theorem for Ind holds in a normal space X if Ind(U5) f sup{Ind F I F E F}for every a-locally finite (finite) collection F of closed sets in X . Note that is also normal. Concerning rectangular products, the product theorem for Ind was proved earlier than Theorem 6.17. Using the above lemma, we can give a simple proof of it. 6.21. Theorem (Nagata [1967]). Let X x Y be a normal and rectangular product. If the a-locally finite sum theorem for Ind holds in X x Y, then Ind X x Y f Ind X Ind Y.
+
Proof. We prove it by induction on Ind X + Ind Y. If Ind X + Ind Y = - 1, then it is clear. Assume that it is true if Ind X + Ind Y f n + m - 1. Let Ind X f n and Ind Y f m. Let E and F be disjoint closed sets in X x Y. Since X x Y is normal and rectangular, there exists a a-locally finite cover { U, I a E A} of X x Y of cozero rectangles such that U, n E = 8 or U, n F = 8 for each a E A. It is not difficult to see that there exists a a-locally finite cover { V, I B E B} of X x Y of open rectangles such that, for each B E B, (i) 5 is contained in some U,, (ii) Ind 8% f n - 1 and Ind 8V; f m - 1, where we recall that V, = y x Vs”. By (i), we have V, n E = 0 or 5 n F = 8. It follows from Lemma 6.20 that there exists a partition L between E and F such that L c U{8V ,I /3 E B}. Note that 8 5 = (8v x Ti) u (Pi x 8Vs”). By (ii) and the inductive assumption, we have Ind 8 V, f n + m - 1. Note that { 8V, I fi E B} is also a-locally finite in X x Y. So the assumption of our theorem gives Ind L f Ind(U{8Valb E B}) f
Hence Ind X x Y
f
sup{Ind 8 V , ( pB~) f n
n
+ m.
+ m - 1. 0
560
Y . Yajima
6.22. Remark. Pasynkov [1975] announced that “the 0-locally finite sum
theorem” in Theorem 6.21 can be replaced by “the finite sum theorem”. As far as the author knows, the proof has not been published. However, Basmanov [1981] proved that if the finite sum theorem for Ind holds in normal spaces X and Y, then ind(X x Y) < Ind X + Ind Y. Applying Theorem 5.3, we can obtain another product theorem. 6.23. Theorem (Yajima [1983a]). Let X and Y be subparacompact spaces such that the product space X x Y is (totally) normal. If either (a) X is C-scattered, or (b) X has a closure-preserving cover by compact sets, then dim X x Y < dim X dim Y (Ind X x Y < Ind X Ind Y).
+
+
Proof. Let dim X < n and dim Y < m. Now, assume that X x Y is normal. It follows from Corollaries 2.4 and 3.4 that Player I has a winning strategy in G(DC, X). So we can consider that he has winning strategies in G(DC n Dim,, X) and G(Dim,, Y). By Proposition 5.2, X x Y is a D-product. It follows from Theorem 5.3 that he has a winning strategy in G(DL, X x Y ) , where L = (DC n Dim,) x Dim,,,.Take a product E x F E L . Let {C,1 ct E A} be a discrete closed cover of E by compact sets. So Theorem 6.17 and Proposition 6.18(a) give dim C, x F
< dim C, + dim F < n + m.
Since {C, x F I tl E A} is a discrete closed cover of E x F, we have dim E x F < n m. Hence L c Dim,,,. This implies DL c Dim,,,,,. Thus, Player I has a winning strategy in G(Dim,+,,,,X x Y). By Theorem 6.5, we have dim X x Y < n m. The proof for dim is complete. In the same way as above, we can show the parenthetic part for Ind. 0
+
+
6.24. Remark. Ohta [1981] proved the following: If a (perfectly) normal space Y is not paracompact, then there exists a paracompact scattered space X with a closure-preserving cover by finite sets such that X x Y is (perfectly) normal but not rectangular. Since there exists a subparacompact, perfectly normal and nonparacompact space (e.g., Bing [1951, Example HI), Theorem 6.23 cannot be reduced to Theorem 6.17.
References Basmanov, V. N. [I9811 Inductive dimensions of products of spaces, Vesrnik Moskov. Univ. Ser. I Mat. Mekh. 36. 17-20.
Topological Games and Applicarions
56 I
Bing, R. H. [I9511 Metrization of topological spaces, Canad. J. Math. 3, 175-186. Ciesielski, K. [I9851 L-space without any uncountable 0-dimensional subspace, Fund. Math. 125, 231-235. Engelking, R. [ 19771 General Topology (Polish Scientific Publishers, Warszawa). [ 19781 Dimension Theory (North-Holland, Amsterdam). Galvin, F. [I9791 Indeterminacy of point-open games, Bull. Acad. Polon. Sci. Ser. Math. 26, 4 4 5 4 9 . Galvin, F. and R. Telgfrsky [I9861 Stationary strategies in topological games, Topology Appl. 22, 51-69. Gruenhage, G. and Y. Yajima (198.1 A filter property of submetacompactness and its application to products, Topology Appl., to appear. Hattori, Y. [1985] A note on infinite dimensional spaces defined by topological games, Proc. A M S 94, 360-362. Junnila, H. J. K. [1978a] Stratifiable pre-images of topological spaces, in: A. Csaszar, ed., Colloquia Mathematica Societas Janos Bolyai 23 (North-Holland, Amsterdam) 689-703. [1978b] On submetacompactness, Topology Proc. 3, 375-403. [ 19791 Metacompactness, paracompactness and interior-preserving covers, Trans. A M S 249, 373-385. Junnila, H. J. K., T. Nogura and R. Telgarsky [1987] A singular space related to the point-open game, Proc. AMS 99, 568-570. Junnila, H. J. K., J. C. Smith and R. Telgarsky [ 19861 Closure-preserving covers by small sets, Topology Appl. 23, 237-262. Katuta, Y. (19711 On the normality of the product of a normal space with a paracompact space, General Topology Appl. 1, 295-319. [ 19741 On spaces which admit closure-preserving covers by compact sets, Proc. Japan Acad. 50, 826-828. Michael, E. [I9551 Point-finite and locally finite coverings, Canad. J. Math. 7 , 275-279. Morita, K. [1964] Products of normal spaces with metric spaces, Math. Ann. 154, 365-382. Nagami, K. [I9571 Some theorems in dimension theory for non-separable spaces, J. Math. SOC.Japan 9, 80-92. Nagata, J. (19671 Product theorems in dimension theory, Bull. Acad. Polon. Sci. Ser. Math. 15, 4 3 9 4 8 . [1985] Modern General Topo/ogy (North-Holland, Amsterdam). Nogura, T. [I9831 A compact-like space which does not have a countable cover by C-scattered closed subsets, Proc. Japan Acad. 59, 83-84.
562
Y. Yajima
Nyikos, P. [ 19771 Covering properties on o-scattered spaces, Topology Proc. 2, 509-542. Ohta, H. [I9811 On normal, non-rectangular products, Quart. J. Math. Oxford 32, 339-344. Pasynkov, B. A. [I9751 On the dimension of rectangular products, Soviet Math. Dokl. 16, 344-347. [I9811 Factorization theorems in dimension theory, Russian Math. Surveys 36, 175-209. Pears, A. R. [ 19751 Dimension Theory of General Spaces (Cambridge Univ. Press). Peregudov, S. A. [I9741 On normal spaces which admit a closure-preserving cover by bicompact sets, Vestnik Moskov. Vniv. Ser. I Mat. Mekh. 5, 40-42. Potocny, H.B. [I9721 A non-paracompact space which admits a closure-preserving cover of compact sets, Proc. A M S 32, 309-3 11. [19731 Closure-preserving families of compact sets, General Topology Appl. 3, 243-248. Potocmy, H.and H. Junnila [ 19751 Closure-preserving families and metacompactness, Proc. A M S 53, 523-529. Tamano, H. [I9621 On compactifications, J. Math. Kyoto Univ. 1, 161-193. [I9711 A characterization of paracompactness, Fund. Math. 72, 189-201. Telgarsky, R. [I9711 C-scattered and paracompact spaces, Fund. Math. 73, 59-74. [ 19741 Closure-preserving covers, Fund. Math. 85, 165-1 75. [1975a] Spaces defined by topological games, Fund. Math. 88, 193-223. [l975b] A characterization of P-spaces, Proc. Japan Acad. 51, 802-807. [I9761 Concerning two covering properties, Colloq. Math. 36, 57-61. [I9831 Spaces defined by topological games 11, Fund. Math. 116, 189-207. [I9871 Topological games: On the 50th Anniversary of the Banach-Mazur game, Rocky Mountain J . Math. 17, 227-276. Telgarsky, R. and Y. Yajima [I9801 On order locally finite and closure-preserving covers, Fund. Math. 109, 21 1-216. Yajima, Y. [I9771 On spaces which have a closure-preserving cover by finite sets, Pacific J. Math. 69, 571-578. [I9791 On order star-finite and closure-preserving covers, Proc. Japm. Acad. 55, 19-21. [I9791 A note on order locally finite and closure-preservingcovers, Bull. Acad. Polon. Sci. Ser. Math. 27, 401-405. [I9811 Topological games and products I, Fund. Math. 113, 141-153. [1983a] Topological games and products 11, Fund. Math. 117, 47-60. [1983b] Topological games and products 111, Fund. Math. 117, 223-238. [I9841 Notes on topological games, Fund. Math. 121, 31-40.
K. Morita, J. Nagata, Eds., Topics in General Topology 0Elsevier Science Publishers B.V.(1989)
CHAPTER 14
CATEGORICAL TOPOLOGY
Ryosuke NAKAGAWA Institute of Maihemaiics, Universiiy of Tsukuba, Ibaraki, 305 Japan
Contents I. 2. 3. 4. 5.
6. 7. 8. 9. 10.
1 I. 12. 13.
Introduction . . . . . . . . . . . . Categories and functors . . . . . . . Monomorphisms and epimorphisms . . Diagrams and limits. . . . . . . . . Complete categories . . . . . . . . . Factorizations of morphisms . . . . . Reflective subcategories . . . . . . . Characterization theorem . . . . . . (E, M)-categories. . . . . . . . . . Epireflective vs. bireflective in Top. . . Separation axioms and connectedness . Simplicity of epireflective subcategories Topological functors. . . . . . . . . Topological categories . . . . . . . . References. . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. .... . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . .
. . . .. . . . .. . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . .
. . . .
. . . . , . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . .. .. . . . . . . . . .
. . . . . .
563 565 569 575 579 582 588 592 598 602 606 61 I 614 618 622
Introduction In this chapter we will show the first steps of categorical topology. We start from the definitions of category and functor (Section 1) and proceed to the characterization theorem of epireflective subcategories (Section 7). In the course of proving this theorem, several standard methods in categorical topology will be given. Roughly speaking, the characterization theorem is a categorical version of the theory of Stone-Cech compactification. As is well known, the notions of embedding and product play the essential role in the construction of the compactifications of Tychonoff spaces. Hence we first
564
R. Nakagawa
define the notion of extremal monomorphism in abstract category which corresponds to that of embedding in Top, the category of all topological spaces (Section 2). Then we consider the notions of diagram and limit, which include the notion of product (Sections 3 and 4). For a given continuous map f :X + Y, there is a factorization (Z, g, h ) o f f such that g : X + 2 is a surjection, h : Z + Y is an embedding andf = h 0 g. This fact is also used in the construction of the compactifications. Hence factorization structures of categories are discussed in Section 5 , and in Section 8 again with more general treatments. The universality of the Stone-Cech compactification corresponds to the notion of reflective subcategory, which will be introduced in Section 6. Then we arrive at the characterization theorem (Sections 7 and 8). Although the proof is essentially easy, the result is very powerful. In fact, other universal type theorems, such as abelianization of groups, completion of uniform spaces and Hewitt realcompactification of Tychonoff spaces are also special cases of the above result. The purely categorical treatment provides this power. Moreover, it follows by this treatment that the dual statement is also valid. We add some topics in the succeeding sections. In Section 9, we deal with the structure of thc collection of all epireflective subcategories of Top. In Section 10, we introduce a new notion which induces both separation axioms and connectedness. Section 11 is devoted to the classical problem concerning the special epireflective subcategories of Top. In recent developments of categorical topology, the investigations of topology functors and topological categories are most important. To conclude this chapter we shall demonstrate their definitions and several fundamental results (Sections 12 and 13). There exist good text books for category theory, e.g., Freyd [1964], Mitchell [1965], MacLane [1971] and Herrlich and Strecker [1979]. The last one is standard for students who want to learn categorical topology. There are also some surveying papers, e.g., Herrlich [1971], Wyler [I9711 and Nel [1976]. Herrlich [1983a] gave a wide survey of this area with a complete list of papers published in 1971-1980. Although I intend to give a brief and rudimentary introduction for those who are not familiar with category theory, the contents may be too narrow. For example, though the notion of reflective subcategory is a special case of that of adjoint functor, the general theory of adjoint functors is not discussed. The references are also incomplete. They do not contain the valuable papers which contributed to the theorems treated here. I would like to express my gratitude for indebtedness to all authors in this area. I hope that readers will obtain some interests in categorical topology and proceed to study it.
Categorical Topology
565
1. Categories and functors We consider the collection of all sets or the collection of all topological spaces. As is well known, these collections cannot be considered as sets. Hence we need the notion of classes. However, it is not necessary for us to take a strictly formal axiomatic treatment of set and class theory. A class is considered to be a collection of sets. If P is a “property”, then there exists a class consisting precisely of those sets which have the property P. This is called the class of all sets with property P and is denoted by { x I x is a set and P ( x ) } . Sets can be considered as classes and are called small classes. Those classes which are not sets are called proper classes. For given families of classes, we can construct several kinds of new classes, such as, unions, intersections, Cartesian products and disjoint unions. We can also consider functions between classes, relations and equivalence relations on classes and so forth. The axiom of choice for classes is also assumed, i.e., every equivalence relation on a class has a system of representation. 1.1. Definition. A category A consists of two classes 0 and M, two functions dom and cod from A4 into 0 and a function 0 from D = {(f, g)lf, g E M and cod f = dom g} into M satisfying the following conditions: ( I ) If (f,g) E D, then dom(g 0f ) = dom f and cod(g 0f ) = cod g, where gof denotes o ( f , g) and is called the composition off and g. (2) If (f,g), (g, h) E D,then h 0 (g of 1 = (h 0 g) of. (3) For each X E 0, there exists an element e E M such that dom e = cod e = X , f o e = f, whenever dom f = X and eog = g, whenever cod g = X . (4) For any pair ( X , Y) with X , Y E 0 the class [ X , Y] = { f I f € M , d o m f = X a n d c o d f = Y}isaset. Elements of 0 are called objects of A (or A-objects) and those of M are called morphisms of A (or A-morphisms). The class 0 is denoted by Ob A and M by Mor A . If it is needed, we use the notations dom,, Cod,, o , , DA and [ , 1., For an object X of A the morphism e given in (3) is uniquely determined and is called the A-identity of X and denoted by I,. For a morphismf, dom f is called the domain off and cod f is called the codomain off. f E [ X , Y], is expressed by f : X --+ Y. It is noted that if A is a category, the class Ob A can be considered as a subclass of Mor A consisting of all identities, and that categories can be defined as classes of morphisms satisfying several conditions.
R. Nakagawa
566
1.2. Definition. There is a category A such that Mor A is the empty class, which will be called the empty category. If a category A has only one object X , Mor A is a set which has the structure of a semigroup with the unit 1,. Conversely, a semigroup with a unit can be considered as a category with only one object. A category A is said to be small when Mor A is a set (or, equivalently, Ob A is a set). A category A is said to be discrete when every morphism in A is an identity of some object in A, in other words, when Ob A = Mor A. 1.3. Example. (1) Set: the category of sets. Ob Set is the class of all sets, Mor Set is the class of all functions between sets, and the functions dom, cod and are defined as usual as domains, codomains and composition of functions between sets respectively. (2) Grp: the category of groups. Ob Grp is the class of all groups, Mor Grp is the class of all homomorphisms between groups, and dom, cod and are equal to those in (1). (3) Top: the category of topological spaces. Ob Top is the class of all topological spaces, Mor Top is the class of all continuous functions between topological spaces, and dom, cod and are equal to those in (1). (4) pTop: the category of pointed topological spaces. Ob pTop is the class of all pairs of the form ( X , x,), where X is a topological space and x, is an element of X called base point, Mor pTop is the class of all base-point preserving continuous functions, and dom, cod and are equal to those in (I). ( 5 ) Products of categories: Let A and B be categories. Then the product category A x B of A and B consists of Ob(A x B) = Ob A x Ob B, Mor(A x B) = Mor A x Mor B, dom = dom, x dorn,, cod = cod, x cod, and is defined by (h, k) V; g ) = (h o A f , k 0,g) for (f,g), (h, k) E Mor(A x B) with (f, h) E DA and (8, k ) E D,. 0
0
0
0
0
0
1.4. Definition. Let A and B be categories. B is said to be a subcategory of A if the following conditions are satisfied: (1) There exists an inclusion i: Ob B --t Ob A. (2) There exists an inclusion j : Mor B --t Mor A. (3) i*dom, = dom,*j, i*cod, = cod,*j and j - 0 , = o A - k , where means compositions of functions between classes and k is a function from DB into DA defined by k ( f , g ) = (j(f), j(g)). (4) For each X E Ob B, j(B-identity of X) = A-identity of i ( X ) . A subcategory B of a category A is said to be full if, for all X , Y E Ob B, j(iX,
ylB)
=
rX,
y],4.
Categorical Topology
567
1.5. Example. (1) The category of abelian groups, denoted by Ab, is the full subcategory of Grp whose class of objects is that of all abelian groups. (2) The category of q-spaces, denoted by Top,, is the full subcategory of Top whose class of objects is that of all T,-spaces for i = 0, 1, 2, 3. (3) Intersections of categories: Let A be a category, A a class, and A, be a subcategory of A for each 1 E A. Then we can define an intersection niE,,A, of the class ( A l ) l , A of subcategories such that Ob(n,,,A,) = n,,,Ob Ai and Mor(nAe,,Al) = nlphMOr A,. 1.6. Definition. Let C and D be categories. D is said to be a quotient category of C if the following conditions are satisfied: (1) Ob D = Ob C. (2) There exists a surjection m: Mor C --+ Mor D. (3) dom,*m = dom,, cod,-m = cod, and m.0, = o D * n , where n is a function from D, into Do defined by n(f, g) = (m(f), m(g)).
The homotopy category of topological spaces, hTop, is a quotient category of Top with Ob hTop = Ob Top and Mor hTop = the quotient class of Mor Top by the equivalence relation “homotopic”. 1.7. Definition. Let A and B be categories. B is said to be a dual (or an opposite) category of A if the following conditions are satisfied: (1) Ob B = Ob A. (2) Mor B = Mor A. (3) For the identity i : Mor B --* Mor A, dom, = COdA*iand cods = dOmA i. (4) For the function j : Ds DA defined by j ( f , g) = (i(g), i( f)), --+
i*oB
= oAmj.
For any category A, the dual category B of A can be constructed by the = A. above conditions and will be denoted by A’. Obviously, (A’‘)’ 1.8. Definition. Let A and B be categories. A functor Ffrom A to B is a function F from Mor A into Mor B satisfying the following conditions: (1) If cod, f = domAg,then cod,F(f) = dom,F(g). (2) F * o A = oB*F’,where F’ is a function from DA into DB defined by F’(f, g) = (F(f), F(g)). (3) If e is an A-identity of X E Ob A, then F(e) is a B-identity of Y = dom,F(e).
568
R. Nakagawa
A functor from A to B will be denoted by F : A + B and A and B are called a domain and a codomain of F respectively. For any X E Ob A , dom,F(l,) is denoted by F(X). Then we have a function F from Ob A into Ob B. A functor F : A + B may be defined as a pair of two functions F : Ob A + Ob B and F : Mor A 3 Mor B satisfying the following conditions: (1) F o r f : X + Y E Mor A , F(f): F(X) + F(Y) E Mor B. (2) F o r f : X + Y a n d g : Y + Z i n M o r A , F(g0,f) = F(g)o,F(f)in Mor B. (3) W,) = IF(,). For two functors F : A 3 B and G : B + C,we can define a functor G 0 F : A + C by the function G F : Mor A + Mor C.The functor G F will be called the composition of F and G . If B is a subcategory of A with the inclusions i: Ob B + Ob A and j : Mor B .+ Mor A , j satisfies the conditions (l), (2) and (3) in Definition 1.8. Then we have a functor j : B + A , called the inclusion functor. If B = A , the inclusion functorj: B 3 A will be called an identityfunctor and denoted by 1A . 0
1.9. Example. Letf : X Y be a continuous function between topological spaces X and Y and I f 1 : I XI + I Y I be a function between their underlying sets. Then a function F: Mor Top + Mor Set defined by F(f) = If1 induces a functor F : Top -, Set, which is called the forgetful functor.
1.10. Definition. Let A and B be categories. A contravariant functor F : A + B is a function F from Mor A into Mor B satisfying the following conditions: (1) If Cod, f = dom,g, then dom,F(f) = cod,F(g). (2) F * o A = oB*F”,where F” is a function from DA into DB such that F“(Lg) = (F(g), F(f)>. (3) If e is an A-identity of X E Ob A , then F(e) is a B-identity of Y = dom,F(e). If F : A + B and G : B -P C are contravariant functors, then the composition G.F of the functions F : Mor A + Mor B and G :Mor B + Mor C induces a functor Go F : A -, C.When one of F and G is a functor and another a contravariant functor, we have a contravariant functor G 0 F. If Aop is a dual category of A , an identity function i :Mor A + Mor Aop induces a contravariant functor i : A --* Aop. For any contravariant functor F : A .+ B, we have a functor F’ : Aop + B such that F = F 0 i.
Categorical Topology
569
1.11. Example. Let A be an arbitrary category, X E O b A and g E [ Y , Z ] , . For YE [ X , Y ] , , let F,(g)(f) = go, f :X + Z . Then we have a function F,(g): [ X , Y ] , + [ X , Z ] , , which is a morphism in Set. Thus we obtained a functor F, : A + Set. If we define a function G * ( g ) : [Z, X I , + [ Y , X I , by G X ( g ) ( h )= h 0 g : Y + X for h E [ Z , XI,, we obtain a contravariant functor G X :A + Set.
2. Monomorphisms and epimorphisms 2.1. Definition. A morphism f :X + Y of a category A is said to be an isomorphism in A (or A-isomorphism) if there exists an A-morphism g : Y + X such that gof = 1, andfog = 1,. f : X + Y is said to be a section in A if there exists an A-morphism g : Y + Xsuch thatgof = I,. f:X + Y is said to be a retraction in A if there exists an A-morphism g : Y + Xsuch thatfog = 1,.
If f : X + Y is an isomorphism, a morphism g : Y -+ X satisfying g c>f = 1, andfog = 1 is uniquely determined. Hence g is called an inverse ojfand denoted b y f - ’ . Iff is both a section and a retraction, thenfis an isomorphism. An object X of A is said to be A-isomorphic with an A-object Y (denoted by X x Y ) if there exists an A-isomorphismf: X -, Y . The relation “A-isomorphic” is an equivalence relation on the class Ob A. 2.2. Definition. A morphism f:X + Y of A is said to be a monomorphism in A if, for any pair of A-morphisms u, v : Z + X such that fo u = f o v, it follows that u = v. A morphism f :X + Y of A is said to be an epimorphism in A if, for any pair of A-morphisms u, v : Y + Z such that u o f = v o f , it follows that u = v.
2.3. Proposition. Suppose that f : X + Y , g : Y -, Z and h :X + Z are morphisms of a category A such that h = g o $ (1) Iff and g are monomorphisms in A, then h is a monomorphism in A. ( 2 ) Iff and g are epimorphisms in A, then h is an epimorphism in A. ( 3 ) If h is a monomorphism in A, then f is a monomorphism in A. (4) Ifh is an epimorphism in A, then g is an epimorphism in A.
R. Nakagawa
570
2.4. Definition. A morphism of A is said to be a bimorphism in A if it is both a monomorphism and an epimorphism in A. In any category each isomorphism is a bimorphism, but the converse does not hold in general. A category A is said to be balanced if each bimorphism in A is an isomorphism in A. By the propositions below, we have that the categories Set, Grp and Ab are balanced and that Top and Top, are not balanced for each i = 0, 1, 2, 3. 2.5. Proposition. For the categories Set, Grp and Ab, (1) a morphism f : X + Y is a monomorphism i r it is injective; ( 2 )f is an epimorphism it is surjective.
Proof. We will show that epimorphisms in Grp are surjective. Other implications are easily shown. Suppose thatf: X + Y is not surjective. Then f (X) is a proper subgroup of Y. Let S be a set { y f (X) 1 y E Y } u { P }consisting of all left f (X)-cosets of Y and another element P, and let Z be the set of all bijective functions a : S + S. For a, /l E 2, define a multiplication a/l by the composition a 0 8. Then Z becomes a group with this multiplication. Define elements cto, r( y), s( y ) E Z for y E Y as follows: ao(P) = f W ) ,
ao(f(X)) = p,
ao( Y ’ f ( X ) ) = y ’ f ( X ) for Y’
~ ( Y ) ( P= ) P, S(Y)
=
# f( X ) ,
r ( y ) ( y l f ( X ) ) = Y Y X X ) fory’ E Y and
aor(Y)G’.
Then we have homomorphisms r, s : Y + Z such that r 0f = s ofand r # s. This implies that f is not an epimorphism. 0 2.6. Proposition. In any full subcategory of Top, (1) a morphism is an isomorphism iff it is a homeomorphism; ( 2 ) a morphism is a monomorphism iflit is injective. The proof is easy. 2.7. Proposition. ( I ) In Top and Top,, a morphism is an epimorphism iff it is surjective. (2) In Top, and Top,, a morphism f : X + Y is an epimorphism it is a dense map, i.e., f ( X ) is a dense subset of Y.
ir
Categorical Topology
571
(3) In Top,, a morphismf : X + Y is an epimorphism ifffor any y E Y, every neighborhood of y intersects f ( X ) n C1( y} (Baron [1968]). Proof. We shall prove (3). (1) and (2) can be shown similarly. Letf :X -, Y be a morphism in Top, and b( f (X)) = { y E Y I every neighborhood of y intersects f ( X ) n Cl{ y}}. Then b( f (X))3 f ( X ) . Suppose that b ( f ( X ) )is a proper subset of Y. Let {P, Q} be a discrete space with two points, Z the product space Y x (P, Q } and j , k : Y -,Z the continuous maps defined byj( y) = ( y, P) and k( y) = ( y , Q). Consider an equivalence relation on Z such that
-
Let Z’ = Z / - be the quotient space and q : Z + Z’ be the quotient map. Then we can show that Z’ is a T,-space. For morphisms r = q o j , s = q k : Y + Z’ in Top,, we have that r f = s f and r # s. This implies that f is not an epimorphism. Next, suppose that b(f(X)) = Y and u, v : Y -+ W are Top,-morphisms with u f = v of. If there exists an element y E Y with u( y ) # v( y), we may assume that there exists an open set U in Wsuch that u( y) E U and v ( y) 4 U . Then u - ’ ( U ) is a neighborhood o f y and there is an element y’ E u - ’ ( U ) n f(X) n CI{ y}. Hence, u ( y ’ ) = v ( y ’ ) E v(Cl{ y}) c Cl{v( y)}. On the other hand, u( y’) E U and v ( y) 4 U and this is a contradiction. Hence, u = v and f is an epimorphism. 0 0
0
0
0
For an injective continuous map f : X + Y between topological spaces, let Z be a subspace of Y with the underlying set f (X). Then we have a surjective continuous map g : X --f Z and an embedding h :Z + Y such that f = h 0 g. fcan be considered as an embedding if and only if g is a homeomorphism. This induces the following definition. + Y of a category A is said to be an extremal monomorphism in A when f is such that iff = h 0 g with an epimorphism g : X + Z and a morphism h : Z + Y , then g must be an isomorphism. An epimorphism f : X + Y of A is said to be an extremal epimorphism in A whenf is such that iff = h 0 g with a morphism g : X + Z and a monomorphism h : Z + Y, then h must be an isomorphism.
2.8. Definition. A monomorphism f : X
572
R. Nakagawa
In balanced categories, every monomorphism is an extremal monomorphism and every epimorphism is an extremal epimorphism. 2.9. Proposition. (1) In Top and Top,, a morphism is an extremal monomorphism iff it is an embedding. (2) In Top, and Top,, a morphism is an extremal monomorphism iff it is a closed embedding. (3) In Top,, a morphism f : X + Y is an extremal monomorphism i f f it is a front closed embedding, i.e., an embedding satisfying the following condition: Ifany neighborhood of y E Y intersects f ( X ) n C1{ y } ,y E f ( X ) (Nel-Wilson [ 19721). (4) In Top and Top,for i = 0,1,2,3, a morphism is an extremal epimorphism iff it is a quotient map. Proof. (3): Suppose that f : X + Y is a front closed embedding in Top,, i.e., b( f ( X ) ) = f ( X ) ,and suppose that f = h g with an epimorphism g : X -, Z and a morphism h : Z + Y in Top,. For z E Z and for any neighborhood U of h(z) in Y , there exists an element z’ E h.’(U) n g ( X ) n Cl{z}. Then h(z’) E U n f ( X ) n Cl{h(z)}and hence, h(z) E b( f ( X ) ) = f ( X ) . Since f is injective, we have a function k : Z + X between sets such that h = f o k . It is easily shown that k is a morphism in Top, and k o g = Ix. Hence, g is an isomorphism and f is an extremal monomorphism in Top,. Next, suppose that f : X + Y is an extremal monomorphism in Top,. For a subspace Z = b( f ( X ) ) of Y , there exist an epimorphism g : X 4 Z and a morphism h : Z + Y such that f = hog. Then g is an isomorphism and hence b ( f( X I ) = f (XI. (I), (2) and (4)are proved similarly. 0 0
2.10. Remark (Duality Principle). Let B be a dual category of a category A and denote the identities by i : Ob B 4 Ob A and i : Mor B + Mor A . It is easily verified that f : X + Y is an epimorphism in B if and only if i ( f ): Y + X is a monomorphism in A . In fact, the definition of epimorphisms can be obtained by reversing all arrows of morphisms in that of monomorphisms. In general, for a statement S concerning objects and morphisms, we can construct a statement Sopby reversing all arrows of morphisms in S. If a statement S defines a property P for objects and morphisms, then Sopalso defines a property for objects and morphisms, which is denoted by Popand is called a dual property of P . Sometimes, the dual property of P is named by co-P, e.g., sections will be called coretractions from now on. If a statement S holds for all categories, then Sopalso holds for all categories. These facts
573
Categorical Topology
are called the duality principle for categories. For example, the notion of extremal epimorphism can be given by stating that it is the dual notion of extremal monomorphism. After this, the dual of each notion will be given only by its name, and the dual of a proposition or a theorem will be frequently omitted but used freely. 2.11. Definition. An equalizer in a category A of morphisms u, v : X -+ Y is a pair ( Z ,f ) (or A in brief) consisting of an object Z and a morphism f : Z -, X satisfying the following conditions: (1) uof = v o f ; (2) for any pair ( Z ’ ,f ‘) of an object Z ’ and a morphism f ’ : Z’ + X with uof ‘ = v of’, there exists a unique morphism cp : Z’ + Z such that f‘ =fop
z‘ Dual: coequalizer. 2.12. Proposition. If(Z,f ) is an equalizer of u and v , thenf is a monomorphism. This follows from the uniqueness of cp in the definition of equalizers. 2.13. Definition. A morphism f : X + Y of a category A is said to be a regular monomorphism if there exist morphisms u and v such that ( X ,f ) is an equalizer of u and v . Dual: regular epimorphism. 2.14. Proposition. For a morphism in any category thefollowing implications hold: isomorphism * coretraction => regular monomorphism * extremal monomorphism, isomorphism * retraction * regular epimorphism * extremal epimorphism.
Proof. Suppose that f : X -+ Y and g : Y + X satisfy g f = 1,. Then we have that f is an equalizer of 1 and f g . This shows that any coretraction is a regular monomorphism. Next, we will show that any regular monomorphism is an extremal monomorphism. Let f : X -+ Y be an equalizer of u, v : Y + Z . It was shown in Proposition 2.12 that f is a monomorphism. Let 0
0
R. Nakagawa
514
f = h 0 g with an epimorphism g : X + Wand a morphism h : W + Y. Then u h o g = v 0 hog. Since g is an epimorphism, u o h = v 0 h. Since f is an equalizer of u and v , there exists a morphism cp : W + Xsuch thatfo cp = h. Then f 0 cp 0 g = f. By the definition of equalizers, cp og = l X and hence, go cp og = g. Since g is an epimorphism, g o cp = 1w. Thus we have that g is an isomorphism and that f is an extremal monomorphism. 0
W.
’
2.15. Corollary. In any category the following statements on a morphism f are equivalent: (1) f is an isomorphism. (2)f is both an epimorphism and a coretraction. ( 3 )f is both an epimorphism and an extremal monomorphism. (4) f is both a monomorphism and a retraction. ( 5 ) f is both a monomorphism and an extremal epimorphism. 2.16. Proposition. In Top and Top,for i = 0, 1, 2, 3, each extremal monomorphism is a regular monomorphism. This follows from Proposition 2.9 and the proof of Proposition 2.7. 2.17. Definition. For an object X of a category A, a monomorphism f : Y --* Xis called a monomorphism into Xor sometimes a subobject of X. Let M ( X ) be a class of all monomorphisms into X, andf : Y + X and g :Z + X be two elements of M ( X ) . f i s said to be isomorphic with g if there exists an isomorphism rp : Y + Z such that f = go cp. It is clear that “isomorphic” is an equivalence relation on M ( X ) . (Each equivalence class is called a subobject of X by some authors.) A subclass R of M ( X ) is said to be a representative set of monomorphisms into X if it is a set and for any f E M ( X ) there exists an element g E R such that g is isomorphic withf. A category A is said to be well-powered (or locally small) if each object X of A has the representative set of monomorphisms into X. If for each object X of A the class of all extremal monomorphisms into X has a representative set of extremal monomorphisms into X,then A is said to be (Exmono)-wellpowered. Well-powered categories are (Ex mono)-well-powered.
Categorical Topology
575
Dual: representative set of epimorphismsfrom X , co-well-powered, (Ex epi)-cowell-powered. Small categories are obviously well-powered and co-well-powered. Set, Grp, Ab, Top and Top, for i = 0, 1 , 2 , 3 are not small, but we can show that they are well-powered and co-well-powered.
3. Diagrams and limits 3.1. Definition. A functor D : K + A from a small category K to a category A is called a diagram D in A over K.
LetK,beacategorywithObK,= {1,2}andMorK2= { l , , 1 2 , a : l+2}. For a morphism f : X + Y in a category A, define a functor D : K2 + A by D(l) = X , D(2) = Y and D(a) = f. Then we have a diagram D : K2 + A, which is expressed by X
L
Y
Sometimes we do not need the specific contents of objects and morphisms of a small category K. In this case, K is called a diagram scheme of D. We shall express a small category with a few morphisms by showing all objects and all morphisms except identities, e.g., the category K2 is expressed by "l2 The diagram scheme K2 is also expressed by
3.2. Definition. Let D : K + A be a diagram in A over K. A pair (X, (ai)iGObK) of an A-object Xand a family of A-morphisms a i : X + D ( i )for i E Ob K is said to be a natural source for D if for any K-morphism a :i +j , D(a)Oa, = a j .
(natural source)
(natural sink)
R. Nakagawa
516
Dual: A pair ( X , ( a i ) i & b K ) of an A-object X and a family of A-morphisms a i : D ( i ) + X for i E Ob K is said to be a natural sink for D if for any K-morphism a : i + j , ai = uj0 D(a). 3.3. Definition. For a diagram D in A over K, a natural source ( X , ( a i ) i e O b X ) for D is said to be a limit for D provided that the following holds: For any natural source ( Y , ( f i , ) i e O b X ) for D , there exists a unique morphism cp : Y + X in A such that pi = uio cp for any i E Ob K.
a connecting morphism from the natural source ( y , ( f i i ) i s O b X ) to the limit (x, (ai)ieObK)* Dual: colimit for a diagram D . cp will be called
The following example shows the motive for this naming: For a directed set (A, <), we shall construct a category. For each 1 E A, consider an object 1 and for each pair (1,p) of A, p E A such that A < p, consider a morphism pi.p:p --* 1.Then classes of these objects and morphisms form a small category, which will be denoted by A. Let A be the category Set, Grp or Top. A functor D : A -+ A defines an inverse system ( X i , A+) in A by X , = D(1) and & = D(p,,). Then ( X , ( f l ) i & b A ) is a limit for the diagram D if and ony if ( X , (A);,€,,) is an inverse limit of the inverse system ( X i ,A,+)in A. 3.4. Proposition. For a diagram D in a category A over a small category K, a limit ( X , ( a i ) i E O b K ) is uniquely determined up to isomorphism. Proof. Suppose that ( X , ( r x i ) i E O b K ) and ( Y , ( f i i ) i s O b K ) are limits for D. Then there exist connecting morphisms cp: Y + X and $ : X + Y such that fii = aiocpandui = f i i 0 $ f o r i ~ O b K . H e n c e , u i o c p o $= a i f o r i ~ O b K and this implies that cp $ is a connecting morphism from ( X , ( t l i ) i & b K ) to itself. By the uniqueness of connecting morphism, we have that cp $ = 1,. Similarly, cp = I ,,and this means that ( X , ( a i ) i & b K ) and ( Y , ( f i i ) i & K ) are isomorphic natural sources. 0 0
0
$ 0
577
Categorical Topology
3.5. Proposition. For a category A each notion of thefollowing can be deJined us the limit for a suitable diagram D in A over a suitable diagram scheme K: equalizer, pullback, product, terminal object, intersection, multiple pullback, multiple equalizer.
-
Proof. ( I ) Equalizer: Let K be a category expressed by 1 2. For a pair of morphisms J g : X + Y in A, let D : K -+ A be a functor such that D(a) = f and D(b) = g. Then the limit for D is an equalizer off and g defined in Definition 2.1 1. (2) Pullback: Let K be a category with Ob K = { I , 2, 3} and Mor K = { I I , 1 2 , I,, a : 1 + 3, b : 2 -+ 3). For a pair of morphisms f : X -+ 2 and g : Y + 2 in A, let D :K -+ A be a functor such that D ( a ) = f and D(b) = g. Then the limit ( W , (a,, a2, a j ) ) for D is called a pullback of the pair ( J g). Since a3 = f al = go a2,a3is usually omitted. In other words, ( W , (aI,a 2 ) ) is a pullback of ( J g ) if and only if the following hold: (a)fo@l = goa2; (b) for any triple ( V , (/II, /I2)) such thatfo /II = g /I2, there exists a unique morphism rp : V -, W such that /I, = a, rp and p2 = a2 rp. 0
0
0
r-
0
2
( 3 ) Product: Let I be a set and K be a discrete category with Ob K = I. For a family of objects in a category A, define a diagram D :K -+ A by D ( i ) = X, for i E I. Then the limit ( X , ( p i ) i c lfor ) D is called a product of a family (A&, and each morphism p i : X -+ is called a projection. X will be denoted by l I i s l X , . (4) Terminal object: In the definition of product, suppose that I is the empty set. Then the limit for D consists of an object X such that for any object Y in A, there exists exactly one morphism rp : Y -+ X. X is called a terminal object of A. ( 5 ) Intersection: Let I be a set, 0 4 I and K be a category with Ob K = I u {0} and Mor K = { l i l i E I } u ( 1 , ) u { a i : i + O l i ~ l } For . a family (f;:X, -, Y ) i s l of monomorphisms in a category A, define a diagram D : K -+ A by D ( i ) = D(0) = Y and D(ai) = f;. Then the limit (X,((gi:X-+ g,:X + Y ) ) (or go) for D is called an intersection of
xi
xi,
578
R. Nakagawa
( f ; ) i s l . By the uniqueness of connecting morphism, we have that go is an A-monomorphism. X is denoted by nislX,.
(6)Multiplepullback: In the above definition, if we do not assume that each A-morphismf; is a monomorphism, the limit ( X , ((gi)iEI, go))for D is called It is noted that if I is a set { 1, 2}, the multiple a multiple pullback of (&,. pullback of a pair (f,,fi) coincides with its pullback. (7) Multiple equalizer: Let I be a set and K be a category with . a family Ob K = (1, 2) and Mor K = { l , , 1 2 } u {ai:1 + 2 1 i ~ I ) For ( f ; : X + Y ) i p lof A-morphisms, define a diagram D : K + A by D(ai) = f;, i E I. Then the limit (Z, ( g :Z + X , h :Z + Y)) for D (or (Z, g), in brief) is called a multiple equalizer of ( j J i s , . 0 3.6. Proposition. Suppose that ( W , (a,, a2)) is a pullback of ( f : X + Z, g : Y + Z ) and that f is a monomorphism in A. Then a2 is a monomorphism in A, which is called an inverse image off by g. The proof follows from the uniqueness of connecting morphism.
Dual: coequalizer, pushout, coproduct, initial object, cointersection, multiple pushout, multiple coequalizer, co-(inverse image). Notions of unions and images in category theory are also defined (Mitchell [1965]), but they are not the dual notions of intersections and inverse images
respectively. The following shows that it is useful to construct new categories from given data. The proof is easy and so omitted. 3.7. Proposition. Suppose that D : K + A is a diagram in a category A over a small category K and &fine a category (0)as follows: Ob (0)h the class of all natural sources ( X , (ai)i&bK)for D, andfor ( X , (ai)),( Y , (pi)) E Ob ( D ) the set of (D)-morphisms [(X, (ai)), ( Y , (pi))](D,consists of all A-morphisms f:X -, Y such that ai = pioffor each i E Ob K. Then ( X , (ai)ieObK) is a limit for D i f it is a terminal object in ( D ) .
Categorical Topology
519
3.8. Example. ( I ) In Ab, the product is the direct product and the coproduct is the direct sum, while in Grp the product is the direct product and the coproduct is the free product. In both categories, the terminal object coincides with the initial object (called zero object, in general). Set and Top do not have zero objects. (2) In Top, the product is the topological product and the coproduct is the topological sum. For morphismsf, g : X + Y, let Z = { x E XI f ( x ) = g ( x ) } be the subspace of X and h : Z + X be the embedding map. Then (2,h) is the equalizer off and g . Next, for morphismsf, g : X + Y, define a relation on Y as follows: For y, y’ E Y, y y’ iff there exists an element x E X such that y = f ( x ) and y’ = g ( x ) . Then the relation generates an equivalence relation on Y. The quotient map h : Y + Z = Y / - is the coequalizer of f and g . The terminal object is a space consisting of exactly one point, and the initial object is the empty space. For morphismsf : X + Z and g : Y + Z, let (X x Y , ( p x ,p , ) ) be the product of X and Y and (W. (a, : W + X , a*: W Y)) be the equalizer of f o p x and g o p , . Then (W, (a,, a*)) is the pullback of (f,g). We can show that in any category, pullbacks are constructed from products and equalizers in this way. In the next section we will show several relations among special limits in general categories.
-
-
-
-
4. Complete categories 4.1. Definition. Let K be a small category. A category A is said to be K-complete if for any diagram D: K + A in A over K, there exists a limit for D. A is said to be complete if, for any small category K,A is K-complete. A is called finitely complete if for any finite category K (i.e., Mor K is a finite set), A is K-complete. Dual: K-cocomplete, cocomplete,Jiniteb cocomplete. If A is K-complete for a diagram scheme K expressed by m A is said to have equalizers (see Proposition 3.5(1)) and so forth. 4.2. Theorem. For a category A , the following are equivalent. ( I ) A is complete. ( 2 ) A has multiple pullbacks and terminal objects. ( 3 ) A has products and pullbacks. (4) A has products and inverse images. (5) A has products andjnite intersections.
i
then
R. Nakagawa
580
(6) A has products and equalizers. (7) A has products and intersections. Proof. (1)=42) follows from Proposition 3.5. (2)*(3) follows from Lemma 4.3 below, which is easily verified. be 4.3. Lemma. Let T be a terminal object in A, I a nonempty set and T ) )is a multiple pullback a family of A-objects. ( X , ( ( p i :X -+ X , ) i E l , tx : X of ( t i : X ,+ T ) i c l fi and only if ( X , ( p i ) i s l )is a product of (X,)iEI, where ti : X, + T, i E I and t,: X -+ T are morphisms determined uniquely by the property of terminal object. -+
Proof of Theorem 4.2 (continued). (3)*(4) is obvious. (4)=45): For a family ( f ; : X , -+ Y ) i c l of A-monomorphisms with I = { I , 2}, an intersection ( X , ( ( g i : X X,)iEI, g,:X Y ) ) of ( J , f , )is obtained by the formation of a pullback of ( J ,fi), i.e., by that of an inverse can be obtained image offi byf,. For a finite set I, an intersection of by iterating the formation of inverse images. (5)-(6) follows from Lemma 4.4 below, which is easily verified. -+
-+
4.4. Lemma. Suppose that A hasfinite products. For a pair CI; g ) of morphisms -+ Y there exists a pair ( f ’, g‘) of morphisms f ’, g‘ : X -+ X x Y such that pxOf’ = l,, pYOf’ =f, pxog’ = 1, and puog‘ = g. I f ( Z , ((h, k :2 X ) , 1 : 2 -+ X x Y ) )is an intersection of ( f ’, g’), then h = k and ( Z , h) is an equalizer of (f,g). I f ( Z , h) is an equalizer of (f,g), then (2, ((h, h),f ’ h)) is an intersection of ( f ’, g’).
f, g :X
-+
0
Z
h
X
X g f X x Y
In order to prove (6)=.(1) lemma.
of Theorem 4.2, we shall show the following
4.5. Lemma. I f A has products and equalizers, it has intersections of regular monomorphisms. Proof. Let Z be a set and, for each i E Z,let hi:Zi + X be an equalizer off;, gi:X -+ Y,. For a product (Y, ( p i :Y -+ Y,)iEI)of the family there
58 I
Calegorical Topology
exist morphismsf, g : X + Y such that pi"f = f; and pi 0 g = gi for each i E I. Let ( W, h : W -+ X) be an equalizer of (f,8).Then we have thatf; 0 h = gi 0 h and that there exists a morphism cpi: W --+ Z, such that h = hio (pi for each i E I. Thus we can verify that (W, ( ( ~ p ~ ) ~ ~ ,h)) , is an intersection of (hi)is,. 0
W
-r
Proof of Theorem 4.2 (conclusion). Now we will return to the proof of (6)*(1). Let K be an arbitrary small category and D :K A a diagram in A over K. We shall construct a limit for D. Let (X, ( p i :X D(i)),,,,,) be a product of the family (D(i))isObK. For each K-morphism a : i -+ j , let ( Z o ,h, :Z , -, X) be an equalizer in A of D(a)" p i and p,. Then there exists ~ ~ of ~ , (hu)aEMorK. We can show that an intersection (Z, ( ( ( P , ) , ~ ~h)) (Z, (pi" h : Z + D(i))icObK) is a limit for D. ( 1 ) 4 7 ) and (7)*(5) are obvious and we complete the proof of Theorem 4.2. 0 -+
-+
4.6. Theorem. For a category A , the following are equivalent. (1) A is finitely complete. (2) A has pullbacks and terminal objects. ( 3 ) A has finite products and pullbacks. (4) A has finite products and inverse images. ( 5 ) A has finite products and finite intersections. (6) A has finite products and equalizers. 4.7. Example. The categories Set, Grp and Top are complete and cocomplete. The full subcategory of Set consisting of all finite sets is finitely complete and finitely cocomplete but it is neither complete nor cocomplete.
R. Nakagawa
582
5. Factorizations of morphisms For a continuous mapf :X + Y between topological spaces, let Z = f ( X ) be a subspace of Y. Then we have a continuous and surjective map g :X -+ Z and an embedding h :Z + Y such thatf = h 0 g. In other words, a morphism fin Top has a factorization (Z,g, h ) with an epimorphism g and an extremal monomorphism h. If Z’ = f ( X ) is a quotient space of X,we have a factorization (Z’, g’, h’) with an extremal epimorphism g’ and a monomorphism h’. From the point of view of category theory, these are very important properties of the category Top. In this section we discuss general categories which have such properties.
5.1. Proposition. Suppose that a category A is well-powered and has intersections and equalizers. Then, for any morphism f : X -+ Y, there exists a triple ( Z , g, h ) consisting of an object Z, an extremal epimorphism g :X -+ Z and a monomorphism h :Z -+ Y such that f = h 0 g. Proof. Let J be a class of all triples j = (Z,, g,, h,) consisting of an object Z,, a morphism gj:X + Z, and a monomorphism h, : Z, -+ Y such that f = hjogj. If h, = hi. for j , j’ E J , then gj = gi. and hence j = j’. Since A is well-powered, the class {hjlj E J } has a representative set {hiI i E I } , which contains 1 y : Y -+ Y. Let ( Z , ((ki:Z -+ Z i ) i a fh, : Z -+ Y ) )be an intersection of (hi:Zi -+ Y ) i , f .Then h is a monomorphism and there exists a morphism g : X -+ Z such that f = hog. In order to show that (Z, g, h) is a desired triple, it is sufficient to prove that g is an extremal epimorphism. Suppose that r, s :Z + Ware morphisms such that r 0 g = s 0 g. For an equalizer I : V + Z of r and s, there exists a morphism cp : X + V such that g = 1 0 cp. Then f = h 10 cp. Since h 0 1 is a monomorphism, the triple ( V , cp, h 0 I ) belongs to J and there exist an element i = ( Z i ,gi, hi) E I and an isomorphism m : Z i + V such that hi = h0l.m. Then h o l o m o k i = hioki = h = ho I, and hence 10 m 0 ki = I,. By Corollary 2.15, I is an isomorphism and hence r = s. Thus we have obtained that g is an epimorphism. Similarly, we can show that g is an extremal epimorphism. 0 0
583
Categorical Topology
5.2. Proposition. Suppose that a category A has pullbacks and that an extrema1 epimorphkm f:W + X, morphkms g : W + Y, h :X + Z and a monomorphism k : Y + Z satisfy that h f = k 0 g. Then there exists a morphism d : X + Y such that g = dof and h = k o d . 0
k
’
Z
y-
k
’Z
Proof. Let (V, ( I : V + X , m : V + Y)) be a pullback of (h, k). Then 1 is a monomorphism and there exists a morphism cp : W + V such that f = 10 cp and g = m cp. Sincefis an extremal epimorphism, I is an isomorphism. Thus we can obtain a desired morphism d : X + Y putting by d = m I - ’ . 0 0
0
5.3. Definition. A category A is said to be (Ex epi, Mono)-factorizable if, for each morphism f :X + Y , there exists a triple (Z, g , h ) consisting of an object Z, an extremal epimorphism g : X + Z and a monomorphism h : Z + Y such that f = h og. ( Z ,g , h ) is called an (Ex epi, Mono)-factorization off. A is said to be uniquely (Ex epi, Mono)-factorizable if it is (Ex epi, Mono)-factorizable and for two (Ex epi, Mono)-factorizations (Z, g, h) and (Z’, g’, h‘) of each morphismf, there exists an isomorphism cp :Z + Z’ such that h = h’ 0 cp (or, equivalently, g’ = cp 08).
A is said to have the (Ex epi, Mono)-diagonalization property provided that whenever an extremal epimorphism f :W + X , morphisms g: W + Y , h :X + Z and a monomorphism k : Y + Z satisfy h of = k o g, there exists a morphism d : X + Y such that g = dof and h = k d. d is called a diagonal 0
morphism (or a diagonal) of the square (f,g, h, k ) .
584
R. Nakagawa
5.4. Proposition. I f a category A is (Ex epi, Mono)-factorizable and has the (Ex epi, Mono)-diagonalization property, then it is uniquely (Ex epi, Mono)factorizable.
Dual: (Epi, Ex mono)-factorizable, (Epi, Ex mono)-factorization, uniquely (Epi, Ex mono)-factorizable, (Epi, Ex mono)-diagonalization property. 5.5. Theorem (Factorization Theorem I). If a category A is well-powered and has intersections andfinite products, then A is uniquely (Ex epi, Mono)factorizable. This follows from Propositions 5.1, 5.2, 5.4 and Theorem 4.6. Dual (Factorization Theorem co-I): If a category A is co-well-powered and has co-intersections and finite coproducts, A is uniquely (Epi, Ex mono)factorizable. Since Top is well-powered, co-well-powered, complete and cocomplete, it is uniquely (Ex epi, Mono)-factorizable and uniquely (Epi, Ex mono)factorizable. In the following, we will deduce the unique (Epi, Ex mono)factorizability o f A under the assumption similar to the one in Theorem 5.5 (not the dual type). 5.6. Lemma. Suppose that A is well-powered and has intersections and equalizers. Let f : X + Y be a morphism and M be a class of monomorphisms satisfying the following conditions: ( 1 ) Closed under the formation of intersections: i.e., i f ( U , ((ui: U + q.)iel, u,, : U -, V ) )is an intersection of a family (vi : U, + V ) i s lof monomorphisms into V and if each vi E M for i E I, then uo E M. (2) r f a morphism q : X + U , a regular monomorphism r : U + V and a morphism s: V + Y satisfy that f = s o r o q a n d s E M , then sor E M . (3) 1 E M . Then there exists a triple ( Z ,g , h) of an object Z , an epimorphism g : X -, Z and a monomorphism h : Z + Y belonging to M such that ( a ) f = hog; (b) if a triple ( Z ‘ ,g’ : X + Z ’ , h‘ : Z ’ + Y ) satisfies that f = h’og’ and h E M , then there exists a morphism k : Z -, Z‘ with h = h o k, (c) if a triple ( W , 1 : X + W , m : W + Z ) satisfies that g = m 1 and h m E M , then m is an isomorphism. 0
0
585
Categorical Topology
This is a generalization of Proposition 5.1 and the proof is obtained in a similar way to that of Proposition 5.1.
5.7. Lemma. Suppose that a category A is well-powered and has intersections and equalizers. Then A has the (Epi, Ex mono)-diagonalization property. Proof. Let an epimorphism f:W X, morphisms g : W + Y , h : X -+ Z and an extremal monomorphism k : Y + Z satisfy that h of = k og. We shall apply Lemma 5.6 for the morphism k : Y + Z and the class M of all monomorphisms n : V -, Z such that there exist morphisms I : X + V and m : Y -+ V with n 0 I = h and n om = k. To show that M satisfies condition (2) of Lemma 5.6, let k = soroq with a morphism q : Y + U, an equalizer r : U + V' of u, 'u: V' + V" and a morphism s : V' -+ Z belonging to M. Then there is a morphism I' : X + V' such that s I' = h and I' of = r 0 q og. Hence, u o l ' o f = u 0 r o q . g = v o r o q o g = v o l ' o f . Sincefis an epimorphism, u I' = 'u I'. Since r is the equalizer of u and 'u, there is a morphism I": X -+ U such that s r I" = h. This means that s r E M and that M satisfies (2). It is easy to show that M satisfies (1) and (3) of Lemma 5.6. Hence there exists a triple (Vo, m,:Y + 6 , no: 6 -, Z ) satisfying the conditions (a), (b) and (c) in Lemma 5.6. Since no E M , there exists a morphism lo: X + 6such that n,,0 I, = h. Since m, is an epimorphism and k is assumed to be an extremal monomorphism, m, is an isomorphism. A diagonal morphism of the square (Lg , h, k ) is given by d = mi' lo. 0 -+
0
0
0
0
0
0
0
R. Nakagawa
586
5.8. Lemma. Zf a category A has the (Epi, Ex mono)-diagonalization property, then the following hold in A : The composition of extremal monomorphisms is an extremal monomorphism. The intersection of extremal monomorphisms is an extremal monomorphism. The inverse image of an extremal monomorphism is an extremal monomorphism. The product of extremal monomorphisms is an extremal monomorphism.
Proof. First, we show (3). Let ( W , f , g ) be a pullback of ( h : X -+ 2, k : Y + 2) and let k be an extremal monomorphism. We already showed that f is a monomorphism. Let f = mo I with an epimorphism I: W -+ V and a morphism m : V + X.Then there exists a diagonal morphism n : V -+ Y of the square (I, g, h 0 m, k). Since ( W,f,g ) is a pullback of (h, k), there exists a morphism cp : V + Wsuch thatf cp = m and g 0 cp = n. By the uniqueness of connecting morphism, we have that cp I = 1 and hence, I is an isomorphism. This shows that f is an extremal monomorphism. Next, we will make sure the meaning of (4). Let (L: X, -+ YJiElbe a family of morphisms and ( X , ( p i ) i e l )and ( Y , (qJiC,) be products of families ( & ) i s , and ( K)iE,respectively. Then there exists a unique morphism f :X + Y such that qi 0f = f; " p i for each i E I. The statement (4) claims that if eachJ is an extremal monomorphism for i E I, then f is an extremal monomorphism. The proofs of (l), (2) and (4) are similar to that of (3) and so omitted. 0 0
0
Y
k
+z
If a category A has two extremal monomorphisms f and g whose composition h = g 0f is not an extremal monomorphism, then A contains morphisms I and k such that h = 10 k and k is not an isomorphism but an epimorphism. Since f and g are not epimorphisms, A contains morr # s, u o g = v o g and u # v. phisms r, s, u and v such that rof = SOL Thus we have the following example of categories (see below) in which compositions of extremal monomorphisms are not necessarily extremal 5.9. Example.
Categorical Topology
587
monomorphisms. All objects are shown by dots and all morphisms except the identities are shown by arrows.
5.10. Theorem (Factorization Theorem 11). Zfa category A is well-powered and has intersections and equalizers, then it is uniquely (Epi, Ex mono)factorizable. Proof. For a morphism f : X + Y and the class M of all extremal monomorphisms of A, we can apply Lemma 5.6 and then obtain an (Epi, Ex mono)-factorization of$ Hence A is (Epi, Ex mono)-factorizable. By Lemma 5.7 and Proposition 5.4, A is uniquely (Epi, Ex mono)-factorizable. 0
5.1 1. Theorem. ZfA is well-powered, (Ex epi)-co-well-poweredand complete, then A has coequalizers. Proof. Let f, g :X + Y be A-morphisms. Then the class of all extremal epimorphisms h from Y with the property h of = h 0 g has a representative set (hi:Y + Zi)iel. Let (Z, ( p i ) i s l )be the product of ( Z j ) i eThen l. there exists a morphism k: Y -, Z such that pjok = hi for i e I. Let ( W , I : Y + W , m : W + Z) be an (Ex epi, Mono)-factorization of k . We will show that I is a coequalizer off and g . It is easily shown that lof = log. Let n : Y + V satisfy that nof = nog and let ( U , r : Y + U, s: U + V) be an (Ex epi, Mono)-factorization of n. Then r of = r g and hence there exist an element i E Z and an isomorphism t i :Zi + U such that r = t i o hi. Thus we obtain a connecting morphism q : W + V from (W, I ) to ( V , n) by putting q = tiopiom.The uniqueness follows from the fact that I is an epimorphism. 0
S O
W
0
R. Nakagawa
588
6. Reflective subcategories 6.1. Definition. A subcategory B of a category A is said to be rejective in A (or, a reflective subcategory of A) if any A-object X has a B-reflection r x :X + Y , i.e., there exist an object Y and a morphism r x :X + Y in A satisfying the following conditions: ( I ) Y E Ob B; (2) for any A-morphism f : X + Z with Z E Ob B, there exists a unique B-morphism f : Y + Z such that f rx = f. f will be called an extension off.
'
'
'
0
6.2. Proposition. Let B be a rejective subcategory of A and let rx : X + Y be a B-reflection of an A-object X . Then we have the following. ( I ) IfA g : Y + Z are B-morphisms and i f f 0 rx = g r x , then f = g. ( 2 ) rx is essentially unique. 0
Proof. ( 1 ) follows from the uniqueness of extension. (2): Let s x : X + W be another B-reflection of X . Then there exist B-morphisms (sX)O: Y + Wand (rX)':W + Y such that (sX)'orx = sx and (rX)'osx = r x . Hence, ( s x ) o ~ ( r x ) o ~=s xsx and ( r x ) o o ( s x ) o ~ r=x r x .
By ( I ) we have that (sX)' (rX)' = 1 and (rX)' (s,)' rx is essentially unique. 0
0
=
1 y . This means that
0
6.3. Definition. Let B be a reflective subcategory of a category A and denote the B-reflection of each A-object X by r x :X + RX. For an A-morphism f : X + Y , there exists a unique B-morphism Rf : RX + R Y such that Rf = (ryef )', i.e., Rf rx = ry0f . By assigning Rf tof, we obtain a functor R : A + B, which will be called a B-rejector. 0
6.4. Remark. Let B be a subcategory of a category A with the inclusion functor E: B + A. Then B is reflective in A with the B-reflector R iff E has the left adjoint functor R : A -, B. Hence reflectors are considered as special cases of adjoint functors. The theory of adjoint functors is the most important
Categorical Topology
589
theme treated in every text book of category theory. However, considering applications for general topology, we do not discuss here the general theory but restrict ourselves to the theory of reflective subcategories.
6.5. Proposition. Let B be a reflective subcategory of A. Then B is full in A i f f o r each B-object X the identity 1 : X + X is a B-rejection. 6.6. Proposition. Let B be a subcategory of A and C be a full subcategory of Bsatisfying the following condition: For any X E Ob B, there exist Y E Ob C and a B-isomorphism c p : X + Y . Then C is reflective in A if B is reflective in A.
These statements are easily proved. Most of reflective subcategories which we shall consider are full and isomorphism-closed, where a subcategory B of a category A is said to be isomorphism-closed whenever if X E Ob B and cp: X + Y is an A-isomorphism, then Y E Ob B. 6.7. Convention. From now on, all subcategories will be assumed to be full and isomorphism-closed. 6.8. Definition. Let E be a class of morphisms of a category A which is closed under composition with isomorphism. A reflective subcategory B of A is said to be E-reflective in A if each B-reflection rx of each A-object X belongs to E. For the case E = Epi A, the class consisting of all epimorphisms in A, B is called epireflective in A and similarly we use notations Mono A, Bi A, Ex epi A and terminologies monoreflective, bireflective, (Ex epi)-reflective and so forth.
If B is monoreflective in A, then B is epireflective in A.
6.9. Proposition.
Proof. Let X E Ob A and r x :X -, RX be the B-reflection of X . If = v o r x for A-morphisms u, v : R X + Y , then r y o u o r x = r y o v o r x . Since B is full in A, we have that r Y o u = r Y o v by Proposition 6.2. Since r y is assumed to be a monomorphism, we have that u = v . This implies that r x is an epimorphism in A. 0 # O r X
. x i
7[ry
RX-
RY
590
R. Nakagawa
Dual: corefective, coextension, corefector, monocorefective and so on. 6.10. Definition. An object S of a category A is called a separator whenever i f f , g : X + Y are different A-morphisms, then there exists a morphism x : S + Xsuch that f o x # g o x . In Set or Top, all nonempty objects are separators and in Grp or Ab, the additive group Z of all integers is a separator. 6.11. Proposition. Suppose that a category A has a separator S, and B is a subcategory of A which contains S. Then B is bicorefective in A ifl it is corefective in A. Proof. It is sufficient to show that if B is coreflective in A, B is epicoreflective in A. Let r,: RX + X be the B-coreflection of an A-object X and let u, v : X + Y be A-morphisms such that u o rx = er 0 r x . If u # 01, there exists an A-morphism x : S -, X such that u 0 x # v 0 x . Since S E Ob B, there exists a morphism y : S + RX such that rxOy = x . Then u o x = uorx o Y = v 0 r,o y = v 0 x and this is a contradiction. Thus we obtain that rx is an epimorphism and that B is epicoreflective in A. 0
Dual: coseparator. 6.12. Remark. Proposition 6.1 1 has some applications to Top and its subcategories, but the dual version has few. In fact, a topological space X is a coseparator in Top iff it contains a nontrivial indiscrete subspace. 6.13. Example. ( I ) Let X be a completely regular Hausdorff space. The Stone-Cech compactification / J x : X + /J X of X is a dense embedding from X into a compact Hausdorff space /J X with the "universal property". This means that the category CompT, is an E-reflective subcategory of the category Tyc, where Tyc (respectively CompT,) is the full subcategory of Top consisting of all completely regular Hausdorff spaces (respectively all compact Hausdorff spaces) and E is the class of all dense embeddings in Tyc. (2) Tyc is epireflective in Top. The reflector R : Top + Tyc is known as the Tychonoff functor. (3) Ab is an epireflective subcategory of Grp. The reflection rx : X + RX of a group X is the abelianization a,: X + X / [ X ,X I . (4) Let n be an integer > 1 and let Ab'") be the full subcategory of Ab consisting of all objects X such that nX = 0. Then Ab'"' is epireflective in Ab and the reflection of X is the quotient homomorphism r x :X + X/nX.
Categorical Topology
59 I
( 5 ) The full subcategory Tor of Ab which consists of all abelian torsion groups is monocoreflective in Ab. The coreflection r x :RX + X of X is the inclusion homomorphism from the torsion subgroup Tor(X) into X. (6) The full subcategory TF of Ab which consists of all torsion-free abelian groups is epireflective in Ab. The reflection of Xis the quotient homomorphism r x :X + X/Tor(X). (7) The full subcategory Ind of Top which consists of all indiscrete spaces is bireflective in Top. (8) The full subcategory Dis of Top which consists of all discrete spaces is bicoreflective in Top. Let X be a topological space, RX a discrete space with the same underlying set to X and rx : RX + X a continuous map induced by the identity map on the underlying sets. Then rx is the coreflection of X . By Proposition 6.1 1 any coreflective subcategory of Top is bicoreflective. Hence, in general, the coreflection of X is obtained by the modification of topology of x.
We conclude this section by showing the relations between reflective subcategories and colimits. 6.14. Proposition. Suppose that B is a reflective subcategory of a category A with inclusion functor E :B + A and reflector R : A + B, and suppose that D : K + B is a diagram in B over a small category K. Then if there exists a colimit for E 0 D : K + A , then there exists a colimit for D.
Proof. Let ( X , ( a i :D ( i ) + X);&K) be a colimit for Eo D and let r x : X
+ RX the B-reflection of X . Then we can show that ( R X , (rxoai:D ( i ) + R X ) ) is a colimit for D . 0
6.15. Corollary. I f a category A is cocomplete and B is a reflective subcategory of A , then B is cocomplete. 6.16. Proposition. Suppose that B is a reflective subcategory of A with inclusion functor E : B + A and reflector R ; A + B and that D : K + A is a diagram in A over a small category K. Then if ( X , ( a ; : D ( i ) + X)icObK) is a colimit for D, then ( R X , ( R E , :R D ( i ) + RX)icObK) is a c o h i t for R o D : K + B. 6.17. Remark. Suppose that B is a coreflective subcategory of Top with coreflector R :Top + Band that (X,)lclis a set of topological spaces X,. Then by the dual of Proposition 6.16, we have that R(n,,,X,) = nl’,,RX,, where
592
R. Nakagawa
ll and I'I' denote the products in Top and B respectively. If B is a reflective subcategory of Top with reflector R : T o p + B, the formula R ( n i , , x ) = II,;,RX, does not hold in general (Glicksberg [1959]).
7. Characterization theorem
In this section we always assume that A is a category and B is a full and A. isomorphism-closed subcategory of A with the inclusion functor E : B 7.1. Proposition. Let D : K + B be a diagram in B over a small category K. Then E 0 D is a diagram in A over K. ( I ) A limit ( X , ( a i :X --* D(i))icObK) for E o D is a limit for D i@X E Ob B. (2) I f B is reflective in A, a limit ( X , ( a i :X + D(i))i,ObK) for D is a limit for E o D. Proof. ( I ) is obvious. (2): Suppose that B is reflective in A and ( Y , (B,: Y --* D(i)),,obK) is a natural source for Eo D. Then there exists a B-morphism (fl,)': RY -+ D ( i ) such that (PI)' 0 r r = P, for each i E O b K , where r r : Y + RY is the B-reflection of Y. We have that ( R Y , ( < f l , ) ' ) > , , ~ b ~ ) is a natural source for D and hence there exists an A-morphism cp: RY + X such that a , cp~ = (PI)' for each i E Ob K. Thus we obtain a connecting morphism cp 0 r r from ( Y, (fl,),sObK) to ( X , ( a , ) , , O b K ) . The uniqueness can also be shown. 0
7.2. Definition. Let K be a small category. B is said to be closed in A under K-limits if, for any diagram D :K + B in B over K, a limit for Eo D is a limit for D. 7.3. Proposition. If B is reflective in A, then B is closed in A under K-limits for any small category K.
Categorical Topology
593
Proof. Let D : K + B be a diagram and ( X , (ai : X D ( i ) ) i s O b Ka )limit for Eo D . We will show that X E Ob B. Let r,: X RX be the B-reflection of X. Then there exists a B-morphism (ai)' : RX -+ D ( i ) such that (ai)' 0 rx = ai for each i E I and (RX, ( ( C Q ) ' ) ~is~a~natural ~ ~ ) source for E o D . Hence there exists a morphism cp: RX + X such that a i o c p = (ai)' for i E I. Thus ai cp o rx = tli for i E I and, by the uniqueness of connecting morphism, q o r x = 1,. By Proposition 6.2(1), r,ocp = l,, and we have that rx is an isomorphism and that X E Ob B. 0 -+
-+
0
7.4. Corollary. r f A is a complete category and B is a reflective subcategory of A, then B is complete.
7.5. Definition. Let K be a small category. A diagram D :K A is said to be initially in B if for any K-object i there exist a K-objectj and a K-morphism a : j -+ i such that D ( j ) E Ob B. B is said to be strongly closed in A under K-limits if for any diagram D :K A which is initially in B a limit ( X , (ai)rcObK) for D satisfies that X E O b B. -+
-+
7.6. Example. B is closed in A under equalizers if whenever u, v : Y -+ Z are A-morphisms with Y, Z E Ob B, the equalizer of (u, v) in A belongs to B. B is strongly closed in A under equalizers if whenever u, v : Y Z are A-morphisms with Y E Ob B, the equalizer of (u, v) in A belongs to B. It is noted that the strong closedness under products coincides with the closedness under products. -+
7.7. Proposition. ZfB is epireflective in A , then B is strongly closed in A under K-limits for any small category K.
Proof. Let D : K -+ A be a diagram which is initially in B and ( X , (a,),,ObX) a limit for D. We will show that the B-reflection r x :X -+ R X of X is an isomorphism. Let S = { i E Ob KI D ( i ) E Ob B}. For i E S, there exists a B-morphism (a,)' : RX -+ D ( i ) such that ( a , ) ' ~rx = a,. For i # S , there exist a K-object j E S and a K-morphism a : j -+ i. Define (a,)':RX -+ D ( i ) by (a,)' = D ( a ) o (a,)'. Since rx is an epimorphism, we have that (a,)' does not
594
R. Nukugawu
depend on the choice o f j and a, and that ( R X , ((ai)o)icObX) is a natural source for D. Then we can show that rx is an isomorphism in a way similar to the one in the proof of Proposition 7.3. 0
7.8. Definition. B is said to be closed in A under extremal monomorphisms (respectively monomorphisms) whenever i f f : X + Y is an extremal monomorphism (respectively monomorphism) and Y E O b B, then X E Ob B. It is obvious that if B is closed in A under extremal monomorphisms, then B is strongly closed in A under equalizers. We will show that the converse of Proposition 7.7 holds under some conditions on A. This result plays a fundamental role in categorical topology.
7.9. Theorem (Characterization Theorem of Epireflective Subcategories). Suppose that a category A is complete, well-powered and co-well-powered and B is a full and isomorphism-closed subcategory of A. Then the following are equivalent. (0) B is epirepective in A. (1) B is strongly closed in A under K-limits for any small category K. (2) B contains a terminal object of A and is strongly closed in A under multiple pullbacks. (3) B is strongly closed in A under products and pullbacks. (4) B is strongly closed in A under products and inverse images. ( 5 ) B is strongly closed in A under products andjnite intersections. (6) B is strongly closed in A under products and equalizers. (7) B is strongly closed in A under products and intersections. ( 8 ) B is closed in A under products and extremal monomorphisms. Proof. (0)==-(1) is proved in Proposition 7.7. The equivalence of conditions (1) through (7) can be proved by the similar ideas as those of (1) through (7) in Theorem 4.2. Hence we will give the proof of (6)*(1). We need the following lemmas. 7.10. Lemma. Zf B is strongly closed in A under equalizers, then B is closed in A under intersections of regular monomorphisms.
Categorical Topology
595
Proof. Let I be a set and hi:Zi + X an equalizer off;, g i :X + Y, for each i E I. By Lemma 4.5, an intersection ( W , ((qQicl, h)) of (hJielcan be constructed Y, such that p i o f = f;, from an equalizer ( W, h) of morphismsf, g : X + njEl p , g = gi for i E I. Hence, if hi E Mor B for each i E I, then W E O b B. 0
Proof of Theorem 7.9 (continued). The rest of the proof of (6)*(1): Suppose that D : K + A is a diagram which is initially in B. Let S = { i E Ob K 1 D ( i ) E Ob B} and let ( X , ( p , : X + D ( i ) ) i E sbe ) the product in A of a family ( D ( i ) ) i c sBy . the assumption, X E Ob B. Let A be a set of all pairs (a, a’) of K-morphisms a :j + i and a’ :j ’ + i such that b o t h j and j’ belong to S. For each 1 = (a :j + i, a’ :j ’ + i ) E A, let ( Yj,,J , : Yj, -, X) be an equalizer in A of D(a)op, and D(a’)op,,. Then Y, E Ob B. Let (Z, ((&&A, f))be an intersection of (A),€,,.Then we have that Z E Ob B by Lemma 7.10. For i E S, let ai = p i o f : Z + D ( i ) . If i 4 S, there exist a K-objectj E S a n d a K-morphism b : j + i. Let ai = D ( b ) o p , o f : 2 + D ( i ) . Then ai does not depend on the choice o f j and b, but is determined by i. We is a limit for D and that Bis strongly closed under can show that (Z, (ai)iEObK) K-limits.
(1)*(8): Suppose thatf: X + Y is an extremal monomorphism in A and Y E Ob B. Let M be a class of A-monomorphisms h : Z -, Y with Z E Ob B such that there exists an A-morphism g : X + Z satisfyingf = h o g . Then A, f and M satisfy the conditions (1)-(3) of Lemma 5.6. Hence there exists a triple ( W , k : X + W , 1 : W -, Y ) of a B-object W , an A-epimorphism k and 1 E M satisfying the conditions (a)-(c) of Lemma 5.6. Sincefis an extremal monomorphism, k is an isomorphism and hence X E Ob B. (8)*(0): Suppose that X is an A-object and let (f;:X + Y , ) i E lbe a representative set of epimorphisms from X whose codomains belong to B. Let (Y, ( p i : Y + q ) i c lbe ) a product of in A. Then Y belongs to B and there exists a morphismf : X + Y such that p j o f = f; for each i E I. By the
R. Nakagawa
596
Factorization Theorem I1 (5.10), there exists a factorization (Z, g : X Z, h : Z + Y) off such that f = h og, g is an epimorphism and h is an extremal monomorphism in A. By condition (8), Z E Ob B. We shall show that the epimorphism g is a B-reflection of X. Suppose that k : X -, W is an A-morphism with W E Ob B and ( V , I: X -P V , m : V + W ) is a factorization of k such that k = m 0 I, I is an A-epimorphism and m is an extremal monomorphism in A. Then V E Ob B and there exist an element i E I and an isomorphism n : r, -+ V such that noA = 1. Thus we have an extension ko = m o n 0pio h of k. The uniqueness of extension follows from the fact that g is an epimorphism. 0 -+
7.11. Corollary. Suppose that A is complete, well-powered and co-wellpowered. Then we have the following. ( 1) If Bj, is an epirejlective subcategory of A for each element I. of a class A, then the intersection B,: is epirejlective in A. ( 2 ) For any subcategory B of A, there exists an epirejlective subcategory B* of A satisfying the following conditions: (a) B* 3 B, (b) ifB' is an epirejlective subcategory of A and B' 3 B, then B' 3 B*. ( 3 ) The class of all epirejlective subcategories of A is a complete lattice.
niEA
7.12. Definition. In Corollary 7.11(2), the category B* will be called an epirejlective hull of B in A. For an A-object X or a class C of A-objects, the epireflective hulls of X or C are also considered. 7.13. Proposition. Suppose that A is complete, well-powered and co-wellpowered and B is a subcategory of A. Then the following conditions,for an A-object X are equivalent. ( I ) X belongs to the epirejlective hull B* of B in A. (2) There exist a set (z.)iE, of B-objects X, and an extremal monomorphism f : X -+ n;,,x,. Proof. By using Lemma 5.8, we can show that the full subcategory of A which consists of all A-objects X satisfying the above condition (2) is closed under products and extremal monomorphisms. Thus, this proposition follows from the Characterization Theorem 7.9. 0
Categorical Topology
-
591
-
7.14. Example. (1) Top, is epireflective in Top. For a topological space X , define a relation on X as follows: x y for x, y E X iff any neighborhood of x contains y and any neighborhood of y contains x. Then we have an on X. The quotient map q : X + X / - is the Top,equivalence relation reflection of X. (2) Top, is epireflective in Top for i = 1,2,3. This is shown by the fact that Top, is closed under products and extremal monomorphisms. However, the reflections cannot be obtained in a way similar to the above. We can find an example for Top, in Sharpe, Beattie and Marsden [1966]. (3) Tyc is epireflective in Top by the same reason stated above. As is well known, every completely regular Hausdorff space can be embedded in a product space of bounded closed intervals. Hence we can say that Tyc is the epireflective hull of the closed (or open) unit interval in Top. (4) Since every compact Hausdorff space is homeomorphic to a closed subspace of a product of bounded closed intervals, we can say that CompT, is the epireflective hull of the closed unit interval in Top,. (5) The epireflective hull of the open unit interval in Top, is the category of all realcompact spaces. (6) For a Hausdorff space E, an object of the epireflective hull of E in Top is called an E-regular space and an object of the epireflective hull of E in Top, is called an E-compact space. Many interesting studies on these spaces are given by S. Mrowka and others, see e.g., Engelking and Mrowka [1958] and Mrowka [1968].
-
Dual: B is closed in A under K-colimits, D : K + A is Jinally in B, B is strongly closed in A under K-colimits, B is closed in A under extremal epimorphisms, Characterization Theorem of Monocoreflective Subcategories, monocorefective hull. 7.15. Theorem. Suppose that A is a cocomplete, well-powered and co-wellpowered category and B is a full and isomorphism-closed subcategory of A . If A has a separator and B contains the separator in A , then the following are equivalent. (1) B is corefective in A. (2) B is bicorefective in A. (3) B is strongly closed in A under K-colimits for any small category K. (4) B is strongly closed in A under coproducts and coequalizers. ( 5 ) B is closed in A under K-colimits for any small category K. ( 6 ) B is closed in A under coproducts and coequalizers. ( I ) B is closed in A under coproducts and extremal epimorphisms.
R. Nakagawa
598
Proof. By Proposition 6.1 I and the dual of Theorem 7.9 it is sufficient to show that (6)*(4). Suppose that f:X + Y is a coequalizer of g, h :Z + X and that X E Ob B. We will show that Y E Ob B. Let S E Ob B be a separator in A. Denote a set of all A-morphisms from S to Z by (k, : S + ZI i E I} and let ( W , (q, :S, -, W ) , € , )be a coproduct of (Si),€,with S, = S for each i E I. Then W E Ob B and there exists a morphism k : W + Z such that ki = k 0 qi for i E I. If morphisms I, m : Z + V satisfy that 10 k = m 0 k and I # m, then there exists an element i E I such that l o ki # m k,. This contradicts the fact that 0
lok, = I o k o q ,
=
mokaq, = mok,,
and hence we have that k is an epimorphism in A. Now suppose that f : X + Y’ satisfies thatfogok = f o h o k . Thenfog =fob and since f:X + Y is a coequalizer of g and h, there exists a unique morphism cp: Y + Y’ such that f’ = c p o f . This implies that f is a coequalizer of 0 B-morphisms g 0 k and h 0 k in A and hence we have that Y E Ob B.
7.16. Example. (1) Comp,,
the category of compactly generated spaces, is bicoreflective in Top. For a topological space X , let RX be a topological space with the same undying set to X and a topology defined as follows: G c I XI is open if and only if G n C is open in C for each compact subspace C of X. Then the identity map between underlying sets induces a continuous map r, : RX + X , which is a Comp,-coreflection of X. Comp,, is a coreflective hull in Top of Comp, the full subcategory of Top consisting of all compact spaces. (2) Seqgea,the category of sequential spaces, is bicoreflective in Top. The Seq,-coreflection of a topological space X can be obtained in a similar way as above. These examples are unified to the theory of A-generated spaces for some subcategories A of Top or Top,. 8. (E, M)-categories
In this section, let E and M be classes of morphisms in a category A which are closed under composition with isomorphisms. We will generalize the notions of (Ex epi, Mono)-factorizable etc., treated in Section 5.
Categorical Topology
599
8.1. Definition. A category A is said to be (E, M)-jiactorizable if for each A-morphism f : X + Y there exists a triple (Z,g, h ) consisting of an object Z and morphisms g : X + Z in E, h : Z + Y in M such thatf = hog. The triple (2,g, h) is called an (E, M)-factorization off. An (E, M)-factorizable category A is said to be uniquely (E, M)-factorizable if for two (E, M)-factorizations (Z, g , h) and (Z’,g‘, h’) of any morphism f :X + Y , there exists an isomorphism cp : 2 + Z’ such that g’ = cp og and h = h‘ocp. A category A is said to have the (E, M)-diagonalizationproperty whenever if morphisms f:W -, X , g : W + Y , h :X + Z , k : Y + Z satisfy h 0f = kog, f E E and k E M , then there exists a morphism d : X + Y such that g = dof and h = k 0 d. The morphism d is called a diagonal of the square (Lg, h, k). A category A is said to be an (E, M)-category if it is (E, M)-factorizable and has the (E, M)-diagonalization property.
8.2. Proposition. If E c Epi A or M c Mono A, then the following are equivalent: (1) A is an (E, M)-category. (2) (a) E and M are closed under the compositions. (b) A is uniquely (E, M)-factorizable. Proof. (1)=.(2)(a): Let f :X + Y and g : Y + Z be morphisms in E and (W, h, k ) be an (E, M)-factorization of g of. Then there exists a diagonal d : Y + Wofthesquare(Jh,g,k)suchthath = d o f a n d g = k o d . F o r the square ( g , d, l,, k ) there exists a diagonal d‘: Z + W such that d = d‘og and 1, = kod‘. Hence, kod’o k = k. On the other hand, d’okoh = d‘ogof = d o f = h. Since k E Mono A or h E Epi A , d’ 0 k = I and hence k is an isomorphism. Thus we have that g of belongs to E.
(1)=.(2)(b): Suppose that ( Z ,g , h) and (Z’, g’, h’) are two (E, M ) factorizations o f f : X + Y. Then there exist morphisms d : Z + Z’ and d’:Z’ + Z such that g’ = dog, h = h’od, g = d’og’ and h’ = hod’.
R. Nakagawa
600
We can show that d is an isomorphism by the assumption that E c Epi A or M c Mono A. The proof of ( 2 ) 4 1 ) is easy and so omitted. 0
8.3. Proposition. I f A is an ( E , M)-category with E c Epi A, the following conditions for a morphism k : Y + Z are equivalent. (1) k E M . (2) For any morphisms f : W + X , g : W + Y, h : X + Z such that h f = k g and f E E, there exists a diagonal d : X + Y such that 'g = dof andh = k a d . ( 3 ) I f k = m I with I: Y + W E E andm : W + Z, then 1 is an isomorphism. 0
0
0
8.4. Corollary. I f A is an (E, M)-category with E c Epi A, M satisfies the following. (1) I f ( W, (aI: W + X , a2: W + Y ) )is apullback of ( f :X + Z , g : Y + Z ) and i f g E M , then a1E M . ( 2 ) M is closed under intersections and products.
8.5. Example. (1) By Theorem 5.5, Lemma 5.8 and Theorem 5.10, we have that if a well-powered category A has intersections and finite products, then it is an (Ex epi, Mono)-category and if A has intersections and equalizers, then it is an (Epi, Ex mono)-category, where Ex epi denotes the class Ex epi A of all extremal epimorphisms in A and so on. (2) Let E be a class of all dense maps in Top and M a class of all closed embeddings in Top. Then Top is an (E, M)-category. (3) A continuous map f : X + Y between topological spaces X and Y is said to be an initial map provided that any subset A of X is open iff there exists an open set E of Y such that A = f - ' ( E ) . It is shown that a continuous map f : X + Y is initial iff Cl,(A) = f -'(Cly(f ( A ) ) )for any subset A of X , where CI, denotes the closure operator in X . Denote the class of all initial maps in Top by Initial Top or Initial. Then we have that Top is a (Bi, Initial)-category. Obviously, Epi Top =I Bi Top and Ex mono Top c Initial Top. It is noted that i f f : X + Y is an initial map and X is a To-space, then f is an embedding.
Categorical Topology
601
8.6. Definition. An ( E , M)-category A is said to be E-co-well-powered if for each object X of A the class of all morphisms belonging to E which have a domain X has a representative set.
8.7. Theorem (Characterization Theorem o f E-reflective Subcategories). Suppose that A is an E-co-well-powered ( E , M)-category with E c Epi A and that A has products. Then,for a full and isomorphism-closed subcategory B of A, the following conditions are equivalent: ( I ) B is E-reflective in A. ( 2 )B is closed under products and satisfies that iff: X + Y belongs to M and Y E Ob B, then X E Ob B. Proof. (1)-(2): It is shown in Proposition 7.3 that B is closed under products. Let f : X + Y belong to M and Y E Ob B. For the B-reflection r, : X + R X o f X , there exists an extensionf' : RX -+ Y such thatf = f 0 r,. Then there exists a diagonal d : RX + X of the square (r,, I,, So, f) such that do r, = I , and f O = f d. Since r, E E c Epi A, r, is an isomorphism and hence X E Ob B. The proof of (2)=41) is similar to that of (8)*(0) in Theorem 7.9. 0 0
8.8. Corollary. Zf A is an E-co-well-powered (E, M)-category with E c Epi A which has products, then the following hold. (1) The intersection of any class of E-reflective subcategories of A is E-reflectivr in A. ( 2 ) For any subcategory B of A, there exists an E-reflective subcategory B* of A satisfying the following conditions: (a) B* 3 B. (b) ZfB' is an E-reflective subcategory of A and B' 3 B, then B' 3 B*. of B-objects X, and (3) An A-object X belongs to B* ifthere exist a set a morphism f :X + niElX, belonging to M . The category B* will be called an E-rejective hull of B in A and denoted by A,(B). (The suffix E is omitted if no confusion is expected.) For an A-object X , the E-reflective hull AE(X) o f X in A is also defined. An A-object Y belongs to AE(X) iff there exist a set I and a morphism f : Y + lIrelX, belonging to M with X, = X for each i E I. 8.9. Example. (1) Letf :X + Y be a monomorphism in Top, i.e., an injective continuous map and let Y be a To-space (respectively, TI-space, T,-space). Then X is a To-space (respectively, Tl-space, T,-space). Since Top is
R. Nakagawa
602
(Ex epi, Mono)-category, Top,, Top, and Top, are (Ex epi)-reflective subcategories of Top respectively. (2) Letf: X Y be an initial map in Top and Y be a regular (respectively completely regular) space. Then X is regular (respectively completely regular). Hence the categories Reg and Creg are bireflective in Top, where Reg (respectively, Creg) is the full subcategory of Top consisting of all regular (respectively completely regular) spaces. --f
9. Epireflective vs. bireflective in Top
For bireflective subcategories Reg and Creg of Top mentioned in the last section, Reg n Top,, = Top, and Creg n Top, = Tyc are epireflective but not bireflective in Top. The bireflective hulls of Top, and Tyc in Top are Reg and Creg respectively. In this section we shall consider the relationship between epireflective subcategories and bireflective subcategories of Top in general. First, we recall the properties of To-spaces and show that Top, has a special property in Top. Let Do, D, and D, be topological spaces with the same underlying set consisting of two points P, Q and with topologies (8, {P,Q}}, (8, { P } , (P,Q } } and (8,{P},{ Q } , { P , Q } } ,respectively. 9.1. Proposition. For a topological space X , the following are equivalent. (1) X is a To-space. ( 2 ) There exist a set A and a monomorphismf : X nlEh X , with X , = D , for each 1 E A. ( 3 ) Any continuous map f : Do + X is constant. (4) Any initial map with the domain X is an embedding. --f
9.2. Proposition. For an epirejlective subcategory A of Top the following hold. (1) A is birejlective in Top iffit contains Do. ( 2 ) Zf A is not birejlective in Top, then A c Top,,. (3) ZfA is birejlective in Top, then A Q Top, and Top, n A is epireflective but not birejlective in Top.
Proof. (1): It is shown that i f f : X Y is an initial map, there exist a set + Y x llis,Ziwith Zi = Dofor each i E Z. Hence if A is epireflective and contains Do,it is closed under products and initial maps. Hence it is bireflective. Conversely, if A is bireflective, then the A-reflection of Domust be Do. --f
Z and an embedding g : X
Categorical Topology
603
(2): Suppose that there exists a topological space X such that X E Ob A and X # Ob Top,. Then X contains a subspace Doand this contradicts (1). (3) is obvious. 0 9.3. Theorem. Let G be a collection of all bireflective subcategories of Top and H a collection of all subcategories of Top which are epireflective but not bireflective in Top. Then there exists a one-to-one correspondence between G and H.
Proof. Let ts : G -+ H and T : H -+ G be the functions defined by o ( A ) = Top, n A , A E G and T ( B ) = T o b , ( B ) ,B E H. We shall show that they are mutually inverse bijections. First, let X E Ob A for A E G and let q :X + X / be the Top,,-reflection of X (see Example 7.14(1)). Then we have a function 5 : X / -+ X between the sets such that q 0 5 is the identity of X / . We can show that 5 is continuous and is an embedding and hence X / - E Ob(Top, n A). Since q is an initial map, X E Ob(Top,,,(Top, n A)). Hence, A c Top,(Top, n A). The converse is obvious and we have that A = Toh,(Top, n A), i.e., 7 . 0 = 1,. Next, let X E Ob(Top,, n Top,,(B)) for B E H. Then there exists an initial mapf : X Y with Y E Ob B. Since Xis a To-space,f is an embedding and hence X E Ob B. The converse follows from Proposition 9.2 and we have that B = Top,, n Tobi(B), i.e., C O T = 1,.
-
-
-+
0 9.4. Corollary. Suppose that B = Top,, n A (or equivalently,A = Toh,,(B)) for A E G and B E Hand that r,: X + R X , s,: X -+ H a n d t,: X -+ TXare the A-rejection, the Top,-reflection and the B-rejection of an object X E Ob Top respectively. Then (r,, s R x ) is a (Bi, Initial)-factorization oft,.
Now we shall show another property of bireflective subcategories of Top, that is, bireflective subcategories correspond to separation axioms which involve separation of pairs consisting of a point and a closed subset.
I be an operator which associates with a topological space X a function I,: P(X)-+ P(X)between the power set P(X)of X . If I satisfies the following conditions (1)-(4),it is called an upper limit operator and if 1 satisfies the conditions (l)’, (2)-(4), it is called a lower limit operator. (1) CI,(Z) c 1,(Z) for Z E P ( X ) . (1)’ Z c l , ( Z ) c CI,(Z) for Z E P ( X ) . LJ Z2) = l , ( Z , ) u IX(Z2) for z , ,z 2 EP W . (2)
9.5. Definition. Let
604
R. Nakagawa
(3) I,(@) = 0. (4) For any morphism f:X + Y in Top and for any Z E P ( X ) ,f(lx(Z)) c Ids( a ) . For an upper limit operator I, a topological space Xis said to be I-separated provided that I , = C1, and for a lower limit operator k, X is said to be k-separatedwhenever if 2 = k,(Z) for Z E P ( X ) , then Z = Cl,(Z). For an upper or a lower limit operator I, the full subcategory of Top consisting of all I-separated spaces will be denoted by S(1). Then we have the following proposition. 9.6. Proposition. Let A be afull and isomorphism-closedsubcategory of Top. Then, (1) A is birejlective in Top iff there exists an upper limit operator I such that A = S(1); (2) A is bicorejlective in Top iff there exists a lower limit operator k such that A = S(k).
Proof. (1): For an upper limit operator I, we can show that S(1) is closed under products and initial maps. Hence, S(1) is bireflective in Top. Conversely, let A be a bireflective subcategory of Top and let X be a topological space with the A-reflection r,: X -P R X . For Z E P ( X ) , let l,(Z) = (rX)-'(CIRX(rX(Z))). Then we have an upper limit operator 1 such that A = S(1). (2): For a lower limit operator k , we can show that S(k) is closed under coproducts and quotient maps. Hence, S(k) is monocoreflective in Top and this means that it is bicoreflective in Top. Conversely, let A be a bicoreflective subcategory of Top and X be a topological space with A-coreflection r,: RX + X . For Z E P ( X ) , let k(Z) = r,(CIRX((r,)-'(Z))). Then we have a lower limit operator k such that A = S ( k ) . 0 9.7. Example. (1) Let X be a topological space and Z E P ( X ) . Define functions & : P ( X ) + P ( X ) for i = 0, 1, 2, 3, as follows. 1%) = { x E ~ l C l , ( { x } ) n Cl,(Z) z 0}. l i ( Z ) = { x E XI there is a pointy E Cl,(Z) such that all open subsets U , V with U 3 x, V 3 y have a nonempty intersection}. l i ( Z ) = { x E XI any open subsets U , V with U 3 x, V 3 Z have a nonempty intersection}. l i ( Z ) = {x E XI there is no continuous map f :X + [0, 11 with f(x) = 0 and f ( Z ) = l } . Then we obtain an upper limit operator I' for each i = 0, 1, 2, 3.
Categorical Topology
605
X is /'-separated iff it is an R,-space, i.e., it satisfies the following axiom: (R,)
If x E CM{ y } ) for x, y E X , y E CM{ x}).
X is /'-separated iff it satisfies the following condition:
(R,) If F is a closed set in X and if x 4 F, y
E F, then there exist open sets U , V such that U 3 x, V 3 y and U n V = 8.
(R,) and (R,) are equivalent to the axioms (S,) and ( S , ) stated in the book of Csaszar [1978]. Obviously, S(Z2) = Reg, S(Z3) = Creg and we have S(1') n Top, = Top,,
S ( / ' ) n Top,
S(12)n Top, = Top,,
S(Z3) n Top, = Tyc.
=
Top,,
Top, and Top, are (Ex epi)-reflective in Top, while Top, and Tyc are not. We shall discuss (Ex epi)-reflective subcategories of Top in the next section. (2) Let X be a topological space and 2 E P ( X ) . Define functions k': P ( X ) + P ( X ) for i = 0-5, as follows.
k;(Z) =
z,
k k ( 2 ) = { x E XI there exists an indiscrete subspace S of X with x E Cl,(Z n S)},
ki(2)
=
{x E XI there exists a finite subspace E of X with x E Cl,(Z n E)},
k i ( 2 ) = { x E XI there exists a sequence ( x , ) in 2 which converges to x}, ki(2)
=
{ x E XI there exists a compact subspace K of X with x E C1,(Z n K ) } ,
ki(2)
=
Cl,(Z).
Then each k' is a lower limit operator and we have that Ob S(k') consists of all spaces satisfying each of the following conditions.
S(k'): discrete space, S(k' ): topological sum of indiscrete space, S(k2): finitely generated space, S(k3):sequential space,
S(k4): compactly generated space, S(ks): topological space.
606
R. Nakagawa
Limit operators were studied by Herrlich [1968, 19691 for the first time. Only lower limit operators were treated there and called limit operators. Upper limit operators were discussed in Nakagawa [1976].
10. Separation axioms and connectedness Various kinds of separation axioms for topological spaces are studied by many authors and systematic investigations are also given. There are three basic types of separation axioms depending on whether they involve separation of pairs of points, pairs consisting of a point and a closed subset, or pairs of subsets. Axioms of the second type can be defined as I-separatedness for some upper limit operator I discussed in the last section and Proposition 9.6 is a general result on separation axioms of this type. For a separation axiom of the third type, the structure of the full subcategory of Top consisting of all separated spaces is not so good, e.g., products of normal spaces are not necessarily normal. This yields one of the most important problems in general topology as is treated in the other chapters of this book. However, a similar result to Proposition 9.6 is obtained in the category Sep, which consists of all separation spaces and all continuous maps between separation spaces defined by Wallace [1941] (Nakagawa [1976]). It is noted that sometimes a subcategory of Top has better structures in a supercategory A of Top than in Top. (If B is a subcategory of A, A is called a supercategory of B.) The category Near of nearness spaces introduced by Herrlich [1974b] is a very useful supercategory of Top in this sense. Separation axioms of the first type were characterized in terms of category theory by Wyler [1973]. We shall discuss this in the following. 10.1. Definition. A natural relation e in Top is an operator which associates with a topological space X a relation ex on X satisfying the following naturality condition. ( ( x , y ) E ex c X x X will be denoted by x ex y.) For any continuous mapf: X -, Y and any points x, y E X,x ex y means f ( x ) e f( Y). If ex is reflexive, symmetric of transitive for any X , e is called reflexive, symmetric or transitive, respectively. If ex is an equivalence relation for any X , e is called a natural equivalence relation. In the following, we shall always consider reflexive natural relations and hence call them natural relations in brief.
10.2. Definition. For two natural relations e and T, define e < T if for any topological space X and any points x, y E X , x ex y means x t xy.
607
Categorical Topology
For a family {ei 11 E A} of natural relations, we can define nj.EAe'. and U j . p A @ ' by ( n r e n e i ) x = n j . , A ( e " ) x and ( u j . E A @ " ) X = u/.EA(@")A'* Then the collection of all natural relations in Top is a complete lattice by this order < . The natural relation d and e defined by dx = { ( x , x ) I x ~ X }and ex = X x X
foreachXEObTop
are the minimum and the maximum elements respectively. For a natural relation e, we have a natural relation e' such that { ( x , y)l ( y , x ) E e x } . Denote e n e' by e A and e u e' by e".
(e'Ix =
10.3. Proposition. For a natural relation e in Top, (1) e " and e " are symmetric natural relations; ( 2 ) if@' is a symmetric natural relation with e' < e, then e' is a symmetric natural relation with e < e', then e v < ( 3 ) the following are equivalent: (a) e is symmetric, (b) e" = e, ( 4 ev = e, (d) e" = e".
Proof. Obvious.
< e" and if@' e';
0
10.4. Definition. For a natural relation e in Top, a topological space X is said to be e-separated iff ex = dx. The full subcategory of Top consisting of all e-separated spaces will be denoted by X(e).
If @ < z, C(@) =I X(z). Hence X ( n i . E A @ j , )=I u j . e A Z ( @ j ' ) , while we have that X(U,,A@^) = nj.,,,C(e"). As a special case, X ( e v ) = Z(e) c X(e"). X ( d ) = Top and Z(e) consists of all one-point spaces and the empty space. 10.5. Proposition. Let B be a full and isomorphism-closed subcategory of Top. Then B is (Ex epi)-reflective in Top fz there exists a natural relation e in Top such that B = X(e).
Proof. It is easily verified that X(e) is closed under products and monomorphisms and hence it is (Ex epi)-reflective in Top. For (Ex epi)-reflective subcategory B and X E Ob Top with the B-reflector r x :X RX, let ex = { ( x , y ) I rx(x) = r x ( y ) } .Then we have a natural equivalence relation 0 e in Top such that Z(e) = B.
R. Nakagawa
608
10.6. Definition. The natural equivalence relation @ obtained in Proposition 10.5 from B will be denoted by @(B).For any natural relation e we have that e < e(Z(e)). @ is called maximal provided that @ = @(Z(@)). We shall see many examples such that @ # e(Z(e)) and this means that different natural relations may associate with the same (Ex epi)-reflective subcategory of Top.
Now we proceed to consider separation axioms in general categories. First we recall the notion of natural transformation.
10.7. Definition. Let F, G : A + B be functors. A natural transformation q : F + G is an operator which associates with each A-object X a B-morphism q,: F ( X ) + G ( X ) satisfying the following condition: For each A-morphism f : X + Y, G ( f ) o ~ x = r t u o F ( f ) For functors F, G , H : A + B, natural transformations q :F + G , [ : G + Hand X E Ob A , define (, : F ( X ) + H ( X ) by t, = l x o q,. Then we have a natural transformation (, which will be called the composition ofq and and denoted by i q. 0
Suppose that A is a category with products of pairs. For X E Ob A, let S ( X ) = X x X be the product with projections p i , p i and d,: X + S ( X ) be the morphism such that pied, = pied, = 1,. Then we have a functor S : A + A and a natural transformation d : 1, + S . 10.8. Definition. A natural relation in A is a pair (R, e) of a functor R : A + A and a natural transformation @ : R + S satisfying the following two conditions: (1) For any X E Ob A , ex : R X + SX is a monomorphism. (2) There exists a natural transformation i : 1, --* R such that e i = d. Natural equivalence relations and an order < between natural relations are also defined. (l,, d ) is the minimum natural relation in A and ( S , e ) with e, = Is(,) is the maximum one. For a natural relation (R, e) in A , an A-object X is said to be @-separated iff e x :R ( X ) + S ( X ) = d,: X + S ( X ) . 0
The full subcategory of A consisting of all @-separatedobjects will be denoted by Z (e). The dual notions are also defined. In these settings we can prove that the following statement and its dual are valid: Suppose that A is a complete,
Categorical Topology
609
well-powered and co-well-powered category and B is a full and isomorphism-closedsubcategory of A. Then B is (Ex epi)-reflective in A i f there exists a natural relation (R, e) in A such that C(e) = B. 10.9. Example. (1) Let X E Ob Top and x, y E X. Define efY,for i = 0-5 as follows: e! = {<x,y)lx E C M Y > > ; eZ = {(x, Y)I C M x ) n CIX{Y } z 01; e: = {(x, y)l for any open subsets U, V with U 3 x, V 3 y, U n V # S}; e: = {(x, y) I there exist an integer n and points xi E X for 0 < i < n such that x, = x, x, = y, (xi, xi+,)E e: for 0 < i < n - l}; et = {(x. y)l for any open subsets U , V with U 3 x, V 3 y , CI,(U) n CMV) z 0); e: = {(x, y) I x and y belong to same connected component of X}. Then we have that (Q’))” < el, (e’))” < e2 < e’, e’ < e4, e2 < e4, and W e o ) ) ^ )= TOP,; X(eo) = X((eo))”)= C(e’) = Top,; X(e2) = Z(e3) = Top,; I;(e4) = the full subcategory of all Urysohn spaces; X(eS) = the full subcategory of all totally disconnected spaces. (2) In Grp and Ab, any natural relation is shown to be a natural equivalence relation. For X E Ob Ab, let R ( X ) = {(x, y) I there exists an integer n such that n(x - y) = 0} and ex : R ( X ) -+ S ( X ) be the inclusion homomorphism. Then (R, e) is a natural relation in Ab and C(e) is the full subcategory of Ab consisting of all torsion-free groups. Let Sop(X) = X 0 X , direct sum, R ’ ( X ) = {(x, -x)I there exists an integer n such that nx = 0}, and (eop)X:Sop(X)+ R o p ( X ) = P P ( X ) / R ’ ( X be ) the quotient homomorphism. Then (RoP, cop) is a co-(natural relation) in Ab and an abelian group X is eoP-co-separatediff it is a torsion group.
By considering natural relations we can clarify the relationship between the notions of separatedness and connectedness. 10.10. Definition. For a natural relation e in A, an A-object X is said to be e-connected iff
ex: R ( X ) + S ( X ) = ex:S ( X ) + S ( X ) . The full subcategory of A consisting of all e-connected objects will be denoted by Ue).
610
R. Nakagawa
If@< T , then I-(@) c T(z). T ( d ) = Z(e) and T(e) = X ( d ) = A . In Top, we have that r(n@') = nr($)), r((J@') 3 Ur(@')and r(@") 3 r(@) =
r(eA1. 10.11. Proposition. For a natural relation @ in Top, the following hold. (1) I f f : X -+ Y is an epimorphism in Top and X is @-connected,then Y is @-connected. ( 2 ) An A-object X is @-separated and @-connected simultaneously if X E T(d). ( 3 ) Zf f :X + Y is a morphism in Top from a @-connectedspace X to a @-separatedspace Y, then f is constant. (4) When @ is maximal, X is @-connectedfi C(e)-reJlection sx :X + Z ( X ) is constant. 10.12. Example. (1) Let ei be the natural relations in Top defined in Example 10.9 for i = 0-5. Then r((e0)>^) = Ind. X E Ob Top is (e')" -connected iff q ( X ) has a total order < such that any open set G of q ( X ) satisfies that if x E G and x < y , then y E G, where q ( X )
is a space obtained by Topo-reflectionq : X + q ( X ) of X. @'-connectednessis called ultraconnectedness and @* -connectednessis called hyperconnectedness by some authors. $-connectedness = connectedness. Thus we have the following implications: ultraconnected (@')"-connected
* hyperconnected
3
*
+
path connected Q connected i
e4-connected 47
(2) Let @ and Qop be the natural relation and the co-(natural relation) in Ab defined in Example 10.9. Then X E Ob Ab is @-connectediff it is a torsion group and X is eoP-co-connectediff it is torsion-free. Thus we have that @-separatedness= QoP -co-connectedness and @-connectedness= QoP -coseparatedness in this case. (3) Let E be a class of topological spaces and Top@) be the (Ex epi)reflective hull of E in Top. Then we have a natural equivalence relation eE = @(Top@))defined in Definition 10.6. By Proposition 10.11, the following conditions for a topological space X are equivalent: (a) Xis @,-connected. (b) The Top(E)-reflection s x : X + C ( X ) is constant. (c) Any morphism f : X -+ Y with Y E E is constant. Thus the notion of @,-connected coincides with that of E-connected introduced by Preuss [1970]. @,-separatedness is also treated in detail by Preuss.
Categorical Topology
61 1
The natural relation e in Top induces a natural relation eo in pTop, the category of pointed topological spaces. Then r(eo) is an (Ex mono)coreflective subcategory of pTop. This follows from the dual of the statement in Definition 10.8. If a category A has zero object and satisfies some nice conditions and e is a natural relation in A, e-separatedness can be considered as the dual of e-connectedness (Nakagawa [ 19851).
11. Simplicity of epireflective subcategories 11.1. Definition. Let A be a complete, well-powered and co-well-powered category. An epireflective subcategory B of A is said to be simply generated (or, simple) in A if there exists an A-object X such that B is the epireflective hull A ( X ) of X.
11.2. Example. ( I ) Top(Do) = Ind, Top(D,) = Top, and Top(&) are simply generated in Top. It is easily shown that Top@,) consists of all zero-dimensional spaces. If X is a discrete space containing at least two points, then Top(X) = Top(D2).Especially, Top(N) = Top@,), where Nis a topological space consisting of all natural numbers with discrete topology. If X is a To-spacewhich is not a TI-space, X contains D,as a subspace and henceTop(X) = Top(&) = Toh. (2) Let T be a topological space with three points P, Q, R and with a topology (8,{P},{P,Q, R}}.Then Top(T) = Top@, x 0,) = Top, that is, Top is simply generated in Top. (3) Tyc = Top([O, I]) = Top((0, I)) is simply generated in Top, where [0, I] and (0, 1) denote the closed and the open unit intervals respectively. (4) CompT, = Topz([O, 11) and Top,((O, 1)) are simply generated in Top,. An object of Topz((0, 1)) is known as a realcompact space or a Q-space. ( 5 ) Obviously, a subcategory of Top, is a simply generated epireflective subcategory of Top iff it consists of all E-regular spaces for some Hausdorff space E and an epireflective subcategory of Top, is simply generated in Top, iff it consists of all E-compact spaces for some Hausdorff space E (see Example 7.14(6)). (6) Obviously, Top,(D2) c Top,(N) c Top,((O, I)). A topological space X is D2-compact iff it is a zero-dimensional compact Hausdorff space and hence Top,(N) is strictly larger than Top@,). If X is an N-compact space which is not D,-compact, then Top,(X) = Top,(N). Spaces of all rational numbers and that of all irrational numbers with the usual topology satisfy
R. Nakagawa
612
this condition. N-compact spaces are studied in detail in Chapter 12 by Eda, Kiyosawa and Ohta. 11.3. Proposition. Suppose that A is a birejlective subcategory of Top and
B = Top, n A. Then B is simply generated in Top i f A is simply generated in Top. Proof. Let A = Top(X) with X E Ob Top and let q : X + X / - be the Topo-reflection of X. Then X / - E Ob B, as is shown in Theorem 9.3. For any Y E Ob B, there exist a set A and an embedding f :Y + llj,,,,Xj, with X , = X for 1 E A. Then we obtain the initial map g = (l-Ij,E,,qj.)o f : Y + l l i E , , Z jwhere , Z , = X / - and qj, = q : X , + 2,for each 1 E A. Since Y E Ob Top,, g is an embedding and this implies that B = Top(X/-). Conversely, let B = Top(X) with X E Ob Top. Since A is bireflective in Top, A contains Doand hence, A
=J
Top({X, Do})= Top (X x Do)I> B.
Since Top(X x Do)contains Do,it is bireflective in Top. By Theorem 9.3, A = Top,,(B). Thus we have that A = Top(X x Do). 0 It is natural to ask whether Top,, Top, and Top, are simply generated in Top or not. The answer is negative and the proof is based on the following lemma due to Herrlich [1965], which is a generalization of the classical results of a problem of Urysohn. 11.4. Lemma. For any Tl-space Y , there exists a regular TI-spaceX such that any continuous map f :X -+ Y is constant.
Proof. We will construct the space X step by step as follows. (1) Suppose that card( Y ) < K,, where card( Y) denote the cardinality of the underlying set of Y . Define a topological space R, with a fixed point r, and card(R,) = Nu+, for each i = 1,2, having the following topology: B c R, is open iff r, $ B or card(& - B) < K,+,.Then we can verify that each R, is a regular TI-spaceand has the followingproperty: If B, is a nbd of r, in R, for eachj E J ( i ) , where J ( i ) is a set with cardinality K,+,-I, then nlEJC,,B, is also a nbd of r,. Letf: R, + Y be a continuous map. Then, for y , = f (r,),
n i f - v- W ) I YE
y - {YJ} and this is shown to be a nbd of r, by using the above fact. In other words, any continuous map from R, to Y is constant on a some nbd of r, for i = 1,2. f-l(y,) =
Categorical Topology
613
( 2 ) Let T = R, x R, - {(rl,r , ) } . Then for any continuous map f : T -+ Y, we can find nbds U, of r, for i = 1, 2 such thatfis constant on UI x u2 - ((rl, r 2 ) ) . (3) Let T, = T for any integer n and R be a topological space obtained from the topological sum of the family (T,),,z by adding two points P , Q with the topology defined as follows: A subset B of R is a nbd of P iff there exists an integer n such that B 3 7‘’ I rn 3 n} u { P } and B is a nbd of Q iff there exists an integer n such that B 3 T,I m < n} u { Q } . Then R is a regular TI-space. Any point of R except P, Q is expressed by (x, y , n) with x E R,, y E R,, n E Z . (4) Let S be a topological space obtained from R by identifying the following points:
u{
( x , r,, 2n)
-
( x , r2, 2n
( r , , y , 2n - 1)
-
u{
+ 1)
(rlry, 2n)
for x
E
R, - { r , } and n E Z,
for y E R, - ( r 2 }and n E Z.
Then S is a regular TI-space and, for any continuous map f : S -+ Y, f ( P ) =f(Qh ( 5 ) For an arbitrary topological space Z, let S ( Z ) be a topological space with the same underlying set as the product Z x S and with the topology defined as follows: A subset B of S ( Z ) is an open nbd of ( z , P ) iff there exists a nbd U of z in Z such that U x ( P } c B and B is an open nbd of ( z , s) for s # P iff there exists a nbd U of s in S such that { z } x U c B. Then let S ’ ( Z ) be a topological space obtained from S ( Z ) by identifying Z x { Q} as one point. Then if Z is a regular TI-space, S ’ ( Z ) is also a regular TI-space.2 is canonically embedded in S ’ ( Z ) by the map h :Z -+ S ’ ( Z )such that h(z) = ( z , P ) . (6) Let X , be a one-point space and let X,,, = S’(X,) for each natural number n. Then we have a family (A:) such that X, c X,,,. Let X = UX,with the weak topology. Then X is a regular TI-space. If f : X -+ Y is a continuous map, f (X,) = f ( P ) for each n and hence, f is constant. 0 11.5. Theorem. Let A be a full and isomorphism-closed epirejlective subcategory of Top such that Top, 3 A 3 Top,. Then A is not simply generated in Top. Proof. Suppose that A is simply generated, i.e., A = Top(Y) with a TI-space Y. Then there exists a regular T,-space X such that any continuous map f : X -+ Y is constant. Since X E Ob A , there exist a set A and an
614
R . Nakagawa
embedding g : X + ITIle,, Y, such that Y, = Y for each 1E A. Then p n0 g : X + Y is constant for each I E A and hence, g is constant. Since X contains at least two points, this is a contradiction. 0 The above result was strengthened by Hajek and Wilson [1973]. There are many results on the simplicity of epireflective subcategories in Top and in various kinds of categories. 12. Topological functors Let A be a set, {X;.I I E A} a family of topological spaces, Y a set and : Y + I X , I be a function between the sets for each I E A. Then we can define the smallest topology on Y which makes everyh. continuous, where A can be taken as a proper class or the empty set. If g , : I X, I + Z is a function between the sets for each I E A, we can also define the largest topology on Z which makes every gj,continuous. These properties play a fundamental role in the category Top and also in some other categories, which have properties similar to Top. In other words, these properties yield many important properties of topological spaces, uniform spaces, nearness spaces and so forth. Hence we proceed to the investigation of general categories with these properties. By the following observation, we can get a result on the relationship between the existence of a smallest topology and that of a largest topology in a general setting. 12.1. Definition. For a category A, a pair ( X , ( J . : X + X;.)j.E,,) of an A-object X and a family of A-morphismsh, :X + X , with an indexing class A is called an A-source. An A-source is a natural source in A for a discrete category A, and a natural source is a source if the naturality condition is forgotten. For a functor F: A + B, a B-source ( Y , (gj.: Y + F(Xj.))j,e,,)with A-objects X , for each 1 E A is called an F-source. An A-source ( X , (h.)j,E,,) is said to be a monosource whenever if a pair of A-morphisms u, v :Z + X satisfiesh, 0 u = 0 v for each I E A, then u = v. An A-morphism can be considered as a source, and a monomorphism is a monosource. If ( X , ( p j . : X+ Xj.)j.e,,)is a product of A-objects (Xj,)j,e,,, then it is a monosource. In general, if ( X , (a,)) is a limit for a diagram D : K + A, then it is a monosource. Let E be a class of A-morphisms and M be a collection of A-sources which are closed under composition with isomorphisms. A category A is said to be (E, M)-factorizuble if for each A-source (X, (A. : X + X i ) i e h )there exists a triple (2,g , ( Z , ( h j . : Z + Xilie,,)) consisting of an object Z, a morphism
Categorical Topology
615
g : X + Z in E and an A-source ( Z , ( h , : Z + X,.)j,EA)in M such that J , = hj, g for each 1E A. Notions of uniquely (E, M)-factorizable, (E, M ) 0
diagonalization property and (E, M)-category are also defined in a way similar to Definition 8.1.
Dual: A-sink ( X , (fn : X, + X),,,,), F-sink ( Y , (g, :F(X,) + Y),€,,),episink, (E, M)-fuctorizuble with a collection E of A-sinks and a class M of A-morphisms, etc. 12.2. Example. Let (X, (&,:A' + Xj,),.,,,) be a Set-source and let (Zj,,g r , h,) be the (Epi, Mono)-factorization o f h , for each 1 E A. Since Set is co-wellpowered, there exists a representative subset {g,. I I E M} of {g,. 11 E A}. Let (Y, (pi.: Y -+ Z,.)j.EM) be the product of ( Z j . J r EkM : X, -+ Y be the morphism such that pj.ok = g , for 1 E M and let (W, I, m) be the (Epi, Mono)factorization of k. Then (W, I, W, (n,: W + is the (Epimorphism, Monosource)-factorization of (X, (J,)),where n, = h,. " p i m for 1 E M and n , = h,, 0 cp., op,, 0 m for 1 E A - M with p E M and the isomorphism c.p,, : Z,, 4 Z , . Thus we have that Set is an (Epimorphism, Monosource)-category. Also Set is an (Episink, Monomorphism)-category. 0
12.3. Definition. A functor F : A -,B is said to be topological if, for any F-source (Y, (gl : Y + F(Xi))l.A), there exists a unique A-source satisfying the following conditions: ( X , (fi: X + (1) F ( X ) = Y and F(fn) = g, for 1 E A (F-lift). and a B-morphism k :F ( Z ) + (2) For an A-source ( Z , (h, :Z + F ( X ) such that F(fl)0 k = F(hi), I E A, there exists a unique A-morphism h : Z + X such that F(h) = k and fn h = hAfor 1E A (F-initiality). The A-source ( X , (J.))is called an F-initial l f l of ( Y , (gj,)). 0
A
F
rB
R. Nakagawa
616
Dual: co-topological, F-final lift. The forgetful functor I 1 :Top -+ Set is topological and co-topological. -+ Set is not topological, but can be similarly treated by using the notion of (E, M)-topological functors (Herrlich [ 1974a1).
1 I :Top,
12.4. Proposition. I f a functor F : A -+ B is topological, then it is faithful, i.e., the associated function F : [U, VIA + [F(U), F(V)IB is injective for any U , V E O b A. Proof. Suppose that r, s : U + V are different A-morphisms such that F(r) = F(s). Let A be a proper class, X , = V and
g,:F(U)
-+
F(X,) = F(r):F(U)
-+
F(V)
for each I E A. Then there exists an F-initial lift ( X , (A,: X -, X , ) ) of the F-source (F(U), (g;.)). For a E A, define an A-source ( U , (h, : U -,X,)) by h, = r and hj, = s for A # a. Then g,, 0 = F(h,) for every I E A and, by the F-initiality of ( X , (A.)),there exists an A-morphism h : U X such that F(h) = I F ( u )andJ.0 h = h , . If A # u, h , # h, and hence,J. # f,.Thus we have that (J,)ren is a proper class. For each I E A,J, belongs to [X, V I A , which is a set, and we have a contradiction. 0 -+
12.5. Proposition. If F: A -+ B is a topologicalfunctor and if D :K -+ A is a diagram in A over a small category K,thefollowing conditions on an A-source ( X , (xi : X D(i))ioObK) are equivalent: ( I ) ( X , (a,)) is a limit for D. (2) ( X , (a,)) is F-initial and ( F ( X ) , (F(a,))) is a limit fur F o D. -+
Proof. (1)=42): Let (Z, (hi:Z + D(i))) be the F-initial lift of (F(X), (F(ai))). Then there exists an A-morphism h :X -+ Z such that hio h = ori and F(h) = 1F ( x ) . For any K-morphism a : i --* j , F(D(a)oh,)
=
F(D(a))oF(a,)
=
F(D(a)oa,)
=
F(aj) = F(hj).
Since F is faithful, we have that D(a) 0 hi = h, and that (Z, (hi)) is a natural source for D. Hence there exists an A-morphism k : Z -+ X such that a, k = hi. By the uniqueness of F-initial lifts and limits, we have that h is an isomorphism and that (X, (a,)) is F-initial. In order to show that (F(X), is a (F(a,))) is a limit for F a D, suppose that (Y, (g,: Y -+ F(D(i)))ipObK) natural source for F o D. Then there exists the F-initial lift ( W , W + D(i))) of (Y, (gi)), which is shown to be a natural source for D. Hence there is an 0
(x:
Categorical Topology
617
A-morphism cp : W + X such that a, 0 cp = 1;. Thus we have the connecting morphism F(cp) from ( Y , (g,)) to ( F ( X ) , (F(a,))).The uniqueness follows from the facts that ( X , (a,)) is F-initial and that F-initial lifts and limits are unique . (2)=41): Since F is faithful, ( X , (a,)) is shown to be a natural source. Let (Z, (P,:Z+ D ( i ) ) ) be a natural source for D. Then ( F ( Z ) ,(F(P,))) is a natural source for Fo D and hence there exists a B-morphism cp :F ( Z ) + F ( X ) such that F(a,)cp = F(b,). By F-initiality of ( X , (a,)), we obtain the connecting morphism h : Z + X such that a, h = 8,. The uniqueness is also shown. 0
0
0 12.6. Corollary. Any topological functor preserves limits and monosources.
12.7. Theorem. A functor F : A
+
B is topological iff it is co-topological.
Proof. Suppose that F: A + B is topological and that (Y, (gi : F ( X , )+ Y)j.e,,) is an F-sink. Consider the following property of B-morphism h : Y + F ( Z ) : hOg,:F(X,) + F ( Z ) has an F-lift, i.e., there exists an A-morphism k , : Xi + Z such that F(k,) = h o g , for every 1E A. Then denote the class of all B-morphisms with this property by (h,,: Y -+ F(Z,,)),,,,,,and the F-lift of h,, g , by k,,,: X , + Z,,. Since F is topological, the F-source (Y, ( I I , , ) , , , ~ ) has a unique F-initial lift ( X , (I,,: X + Z,,),,,,,) such that F ( X ) = Y , F(l,,) = h,,, p E M. 0
For each 1,consider a pair of an A-source (A';,,(k,,;,: X , + Z,,),,,,,) and a B-morphism g , : F ( X , ) + Y. Then, by the initiality of ( X , (I,,)), there exists a unique A-morphismh, : X , + Xsuch that F(h.) = g , , l,,.oJ, = k,,;.for p E M. Thus we obtained an F-lift ( X , (h,)) of (Y, (g;,)).In order to show the finality of (X, (h.)), suppose that (W, (m;,: X , + W)) is an A-sink and n : Y + F( W) is a B-morphism such that n o g , = F(mJ for , IE A. Then there exists an element p E A4 such that h, = n, W = Z,, and m, = k,,, and hence 1, satisfies that F(I,,) = n and I,,oJ. = m , for 1E A. The uniqueness is obvious. Therefore we have that F is co-topological. The converse is the dual. 0
618
R. Nakagawa
12.8. Corollary. Any topologicalfunctor preserves colimits and episinks. 12.9. Corollary. Suppose that F : A + B is a topologicalfunctor. Then ifB is complete, A is complete and if B is cocomplete, A is cocomplete. Suppose that F : A + B is a topological functor and Y E Ob B. Let (G( Y ) , 0)be the F-initial lift of the F-source (Y, 8) and let ( H ( Y ) , 8) be the F-final lift of the F-sink ( Y , 0).Then we have the right adjoint functor G and the left adjoint functor H of F. If F: Top + Set is the forgetful functor, G( Y ) is the indiscrete space and H(Y ) is the discrete spaces with the underlying set Y.
13. Topological categories 13.1. Definition. Let F : A + B be a functor. A pair ( A , F ) is said to be a topological category if the following conditions hold: ( 1 ) B = Set. (2) F is a topological functor. (3) For any Y EOb B, the class F-'( Y) = { X I SOb A I F(X) = Y } is a set. (4) For a B-object {P}consisting of precisely one point P, F-'({P}) consists of precisely one A-object. A pair ( A , F ) of a category A and a faithful functor F : A + Set is called a concrete category, in general. By Proposition 12.4, topological categories are concrete. However, some authors consider topological categories without condition (1).
13.2. Proposition. If ( A , F ) is a topological category, the following hold: ( 1) A is complete, cocomplete, well-powered and co-well-powered. ( 2 ) An A-morphism f is a monomorphism if F( f) is injective and f is an epimorphism if F( f ) is surjective. ( 3 ) For any A-morphism f the following are equivalent: (a) f is an embedding, i.e., an F-initial monomorphism in A ; (b) f is an extremal monomorphism; (c) f is a regular monomorphism. (4) For any A-morphism f the following are equivalent: (a) f is a quotient map, i.e., an F-final epimorphism in A ; (b) f is an extremal epimorphism; (c) f is a regular epimorphism.
Categorical Topology
619
( 5 ) A is a (Quot, Monosource)-category and an (Episink, Emb)-category, where Quot and Emb are the classes of all quotient maps and all embeddings respectively. (6) Let B be a full and isomorphism-closed subcategory of A and F :B + Set a functor obtained from F by restricting the domain to B. I f B is bicorejlective or birejlective in A , then (B, F‘) is a topological category.
These properties are easily shown. Concerning the last result (6), we have the fact that the following are equivalent (Miiller [ 19741, Herrlich [1976]): (i) (B, F‘)is topological. (ii) Bis a bicoreflective subcategory of some bireflective subcategory of A . (iii) B is a bireflective subcategory of some bicoreflective subcategory of A. Many important properties of Top hold in topological categories. For example, the relationship between bireflective subcategories and epireflective subcategories, discussed in Section 9, hold for “universal” topological categories (Marny [ 19791). Roughly speaking, properties of topological spaces which are interesting for categorical topology are those of topological categories. Nowadays, the main object of categorical topology seems to be the investigation of topological categories. Now let ( A , F ) be a topological category and X be an A-object. For any A-object Y , let X x ( Y ) = X x Y and, for any A-morphism f : Y + Z , let X x ( f ) = 1, x f : X x Y -+ X x Z. Then weobtain afunctorX x : A -+ A. 13.3. Proposition. For a topological category ( A , F ) , the following are equivalent . (1) For any A-object X , the functor X x preserves colimits. ( 2 ) For any A-object X , the functor X x preserves coproducts and quotient maps. ( 3 ) A satisfies the following conditions (a) and (b): (a) For any A-object X a n d a family of A-objects ( Yj,Jle,,with an indexing set A, X x (HIE,,Y i ) is isomorphic to LI;.€,,(X x Y;,),where H denotes the coproduct in A . ( b ) Z f f : X + Y i s a q u o t i e n t m a p , t h e n s o i s 1 , x f : Z x X + Z x Y. (4) A satisfies condition (a) above and the following condition (b‘). (b‘) Zf f : X -+ Y and g : Z + W are quotient maps, then so is f x g : X x Z + Y x w. ( 5 ) For any A-object X , the functor X x preserves F-final episinks. (6) For any A-objects X , Y, there exists an A-object Y x satisfying the following conditions:
R. Nakagawa
620
(i) F ( Y x ) = [ X , Y ] . (ii) For the Set-morphism ex.,: F(X) x [ X , Y ] + F( Y ) defined by e,,(x, f ) = F( f )(x) for x E F ( X ) ,f E [A', Y ] ,there exists an A-morphism d,.,: X x Y x + Y such that F(d,,,) = ex.,. (iii) For any A-objecf X , Y , Z, the Set-morphism c : [Z, Y"] + [X x Z, Y ] defined by c(f ) = d,. (1, x f ) for f E [Z, Y x ]is an epimorphism. (7) For any A-object X , the functor H = X x has a right adjoint, i.e., for any A-object Y there exist an A-object G ( Y ) and an A-morphism q , : H(G( Y ) ) + Y satisfying the following condition: For each A-object Z and each A-morphism f : H ( Z ) + Y , there exists a unique A-morphism f : Z + G( Y) such that q , 0 (H(f O)) = f.
, 0
Proof. (1)*(2)*(3) are obvious. (3)*(4): For f : X -, Y and g : Z + W, f x g = (1, x g ) o ( f x IT). Hence, (b) implies (b'). (4)*(5): Let ( Y , ( J . :Y, + Y);,€,,)be an F-final episink and let (Z;,, g , , h , ) be the (Ex epi, Mono)-factorization off;, in A for each 1.Then there exists a representative subset {hj.lA E M } of {h,11 E A). Let (UieMZj.,(q;,);.€,,,) be the coproduct and let k:LIiEMZj,+ Y be an A-morphism such that k q;, = h , for A E A. Then we have that 0
I
=
ko(
g;,): ;.EM
Yj, + Y /.EM
is an F-final epimorphism, i.e., a quotient map. Hence I, x I: X x (Uj.EM Y;.)+ X x Y is a quotient map and this implies that the sink (X x ( Y ) , (X x ( f ; ) : X x Y, + X x Y);.€,,)is an F-final episink. (5)*(6): Let X , Y, Z be A-objects and let f : F(Z) + [ X , Y ] be a Setmorphism. Then c'( f ) = ex., 0 (( I , , , ) x f ) is a Set-morphism from F(X x Z ) to F( Y ) . Let A be the indexing class of the class { J ;: F(Z,) -, [ X , Y ] I there exists an A-morphism g,: X x Z, + Y such that c ' ( f ; ) = F(g,)}. For any h E [ X , Y ] ,we can findJ. such that h belongs to the image off; by taking Z, with F(Z,) = {P}and g , = h opx, where {P}is a one-point set and p, is the projection. Thus we have a Set-episink ([X, Y ] , (J,:F(ZJ + [ X , Y]);,,,,). Define YXsuchthat ( Y x , (h;,: Z , -, Y'),,,,) is an F-final lift of ([X, Y ] , (J.)). Then F( Y x ) = [ X , Y ] and ( Y x , (h,)) is an F-final episink. By the assumption, (X x Y x , (1, x h , : X x Z;. + X x Y")) is also an F-final episink. For the A-sink ( Y , (g;.: X x Z, + Y ) ) , Qi) = ~ X . Y O ( ( ~ F [ X )xh.1 ) = ex.yoF(1x x hi). By the finality of (X x Y x , (1, x hi,)), we have an A-morphism d,,, such that F(d,,,) = ex,,. In order to show that c is an epimorphism, suppose that
62 1
Categorical Topology
k : X x Z + Y is an A-morphism. For any z E F ( Z ) , there exists an A-morphism z o :F - ’ ( P ) -, Z such that F ( z o ) ( P )= z. Let k, = k (1, x z o ) o i : X + Y , where i : X + X x F - ’ ( P ) is an isomorphism p i ’ , and define l : F ( Z )-, [ X , Y ] by l(z) = k;. Then c’(1) = F(k). By the definition of Y x , there exists an A-morphism m : Z + Y x such that F(m) = 1 and c(m) = k . (6)*(7): For any A-object Y, let G ( Y ) = Y x and q y = d,.y. Then the condition is satisfied. (7)*(1): Let D : K + A be a diagram in A over a small category K and ( Y , (ai :D ( i ) + Y ) ) be a colimit for D. Then (H( Y), ( H ( a i ) )is a colimit for H O D .This can be shown in a similar way as in the proof of Proposition 7.1(2). (In fact, this is one of the properties of adjoint functors.) 0 0
13.4. Definition. A category with products of pairs is said to be cartesianclosed if it satisfies condition (7) in Proposition 13.3. 13.5. Proposition. IfA is a Cartesian-closedtopological category, the following hold: (1) X Y X Zx (XY)”; ( 2 ) (nxj.)Y = n(X;.)‘; (3) XUY’x n(x)‘;.; (4) X x (LIY,) x LI(X x Y,). 13.6. Remark. Top is not Cartesian-closed. The full subcategories of Top consisting of all spaces satisfying each condition below are Cartesian-closed topological categories: (1) finitely generated space, (2) sequential space, (3) (compact Hausdorff)-generated space. The following are also Cartesian-closed topological categories: (4) The category Simp consisting of all simplicia1complexes and simplicia1 maps. (5) The category Born consisting of all bornological spaces and bounded maps. The investigations of Cartesian-closed categories were started in order to obtain “convenient categories” for algebraic topology, theory of topological algebra, etc. and were continued by many authors (see Nel [1976]). The category of all (compact Hausdorff)-generated spaces is a Cartesian-closed topological category but it is not closed under finite products in Top. Hence, we cannot call this category convenient. Herrlich [ I983b] showed that there
622
R. Nakagawa
is no “sufficiently convenient” subcategory of Top. However, there are several convenient categories containing Top. In this direction we have many nice results (see, e.g., Herrlich and Stretcker [1986]).
References Baron, S. [I9681 Note on epi in To, Canad. Math. Bull. 11, 503-504. Caszir, A [1978] General Topology (Adam Hilger, Bristol). Engelking, R. and S. Mr6wka [I9581 On E-compact spaces, Bull. Acad. Polon. Sci. 6, 429-435. Freyd, P. [I9641 Abelian Categories (Harper 8t Row, New York). Glicksberg, 1. [ 19591 Stone-Cech compactifications of products, Trans. AMS 90, 369-382. Hajek, D. W. and R. G. Wilson [ 19731 The non-simplicity of certain categories of topological spaces, Math. Zeitschr. 131, 357-359. Herrlich, H. (19651 Wann sind alle stetige Abbildungen in Y konstant? Math. Zeitschr. 90, 152-154. [I9681 Topologische Reflexionen und Corejlexionen, Lecture Notes in Mathematics 78 (Springer, Berlin). [I9691 Limit-operators and topological coreflections, Trans. AMS 146, 203-210. [I9711 Categorical topology, General Topology Appl. I , 1-15. [1974a] Topological functors, General Topology Appl. 4, 125-142. [1974b] A concept of nearness, General Topology Appl. 4, 191-212. [I9761 Initial completions, Math. Zeitschr. 150, 101-1 10. [1983a] Categorical Topology 1971-1981, General Topology and its Relations to Modern Analysis and Algebra V (Heldermann Verlag, Berlin) 279-386. [1983b] Are there convenient subcategories of Top? Topology Appl. 15, 263-271. Herrlich, H. and G. E. Strecker [I9791 Category Theory (Heldermann Verlag, Berlin, 2nd ed.). [I9861 Cartesian closed topological hulls as injective hulls, Quest. Math. 9, 263-280. Marny, T. [ 19791 On epireflective subcategories of topological categories, General Topology Appl. 10,
175-181. Mitchell, B. [ 19651 Theory qf Categories (Academic Press, New York). Mrowka, S. [I9681 Further results on E-compact spaces I, Acta Math. 120, 161-185 Nakagawa, R. [I9761 Separation axioms and subcategories of Top, J. Austral. Math. Soc. 22, 476-490.
Categorical Topology
623
[ 19851 Natural relations, separations and connections, Questions Answers General Topology 3, 28-46.
Nel, L. D. [ 19761 Cartesian closed topological categories, in: Lecture Notes in Mathematics 540 (Springer, Berlin) 439451. Nel, L. D. and R.G.Wilson [1972] Epireflections in the category of T,-spaces, Fund. Math. 75, 69-74. Preuss, G. [ 19701 Trennung und Zussammenhang, Monatsch. Math. 74, 70-87. Sharp, R., M. Beattie and J. Marsden [I9661 A universal factorization theorem in topology, Canad. Math. Bull. 9, 201-207. Wallace, A. D. (19411 Separation spaces, Ann. Math. 42, 687-697. Wyler, 0. [1971] Top categories and categorical topology, General Topology Appl. 1, 17-28. [I9731 Quotient maps, General Topology Appl. 3, 149-160.
This Page Intentionally Left Blank
K. Morita, J. Nagata, Eds., Topics in General Topology 0Elsevier Science Publishers B.V.(1989)
CHAPTER 15
TOPOLOGICAL DYNAMICS
Nobuo AOKI Department of Mathematics, Tokyo Metropolitan University, Tokyo, Japan
Contents Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Orbit structures. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Expansive behaviours . . . . . . . . . . . . . . . . . . . . . . . . . . . Expansivity and dimension. . . . . . . . . . . . . . . . . . . . . . . . . Pseudo-orbit-tracing property. . . . . . . . . . . . . . . . . . . . . . . . Coordinate systems and topological stability . . . . . . . . . . . . . . . . . Representations of maps with hyperbolic coordinates . . . . . . . . . . . . . Chain components and decompositions . . . . . . . . . . . . . . . . . . . Markov partitions and subshifts . . . . . . . . . . . . . . . . . . . . . . 9. Topological entropy. . . . . . . . . . . . . . . . . . . . . . . . . . . . References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
I. 2. 3. 4. 5. 6. 7. 8.
625 627 635 658 667 680 687 695 707 727 736
Introduction
The theory of dynamics begins with Newton who formulated the law of motion and who stated the universal law of gravitation. In Newton’s theory the motion of a dynamical system is governed by a system of differential equations. The problem of applying the theory to planetary motion was challenging, and people might even succeed in explicitly integrating the differential equations, as Newton did in the case of the two-body problem. However, their hope did not materialize. In the late nineteenth century, Poincari created a new branch of mathematics by publishing his famous memoir (“Methodes nouvelles de la mkcanique celeste”) on the qualitative theory of differential equations. The major ingredient of the change was to relate the geometry of the phase space with
626
N. Aoki
the analysis. As a result of PoincarC's qualitative approach, the focal point in the dynamical theory shifted away from the differential equations. In Birkhoff's treatise on dynamical systems, he discussed many dynamical phenomena in the context of transformation groups acting on general metric spaces. Since then, many mathematicians have considered this theory in view of the geometrical theory. The survey presented in this chapter is written in view of the topological theory of dynamical systems, and is meant to be introductory and, therefore, to give the reader an understanding of some of the basic ideas involved in geometrical (differential) dynamics studied by Smale, Bowen and many other mathematicians. The only requisite for reading this chapter is a basic course on General Topology, but the relevant results on differential manifolds are mentioned briefly. The central theme of the chapter is the theory of dynamics in General Topology. Section 1 explains dynamical phenomena known as minimality, topological transitivity and distal property of homeomorphisms of compact metric spaces. In Section 2, we state the existence of spaces admitting expansive homeomorphisms and of metrics taking hold of expansive behaviours, the so-called hyperbolic metrics. In Section 3, we discuss that every compact metric space admitting expansive homeomorphisms is finite(-topological)-dimensional and every minimal subset of the space is zero-dimensional. Section 4 contains fundamental properties of the pseudo-orbit-tracing property. Here we follow the rule that the distal property rejects the pseudoorbit-tracing property whenever the space is connected, but such a phenomenon can not happen for totally disconnected spaces. By making use of local (unstable) stable sets and (unstable) stable sets, we introduce in Section 5 the notions of canonical coordinate systems, hyperbolic coordinate systems and local product structures which play an important role in the discussion of dynamical phenomena of continuous maps. We follow here the relation between hyperbolic coordinate systems and topological stability. Section 6 deals with the fact that every continuous map with hyperbolic coordinate systems of tori is topologically conjugate to a toral endomorphism. This topic has recently been proved for homeomorphisms, but we do not touch upon this theme here. In Section 7, we investigate the relation between recurrent sets, chainrecurrent sets and nonwandering sets, and state that the Smale decomposition
Topological Dynamics
621
theorem (spectral decomposition theorem) and the Bowen decomposition theorem are established for the case when a hyperbolic coordinate system holds on the chain-recurrent set. In Section 8 we discuss Markov partitions, which play an important role in the study of the theory of dynamical systems. A necessary and sufficient condition for expansive homeomorphisms to have Markov partitions and the fact that there are no new expansive homeomorphisms except pseudo-Anosov homeomorphisms of compact surfaces are briefly mentioned. Section 9 introduces topological entropy and briefly states some related topics. The author is most grateful to Professor K. Shiraiwa who encouraged him to present these introductory ideas on topological dynamics.
1. Orbit structures Let X be a compact metric space and f:X morphism.
-+
X be a (surjective) homeo-
1.1. Def