WSAA 13 F. Cagliari; Marcello Cicchese Disconnectednesses and closure operators In: Zdeněk Frolík and Vladimír Souček and Jiří Vinárek (eds.): Proceedings of the 13th Winter School on Abstract Analysis, Section of Topology. Circolo Matematico di Palermo, Palermo, 1985. Rendiconti del Circolo Matematico di Palermo, Serie II, Supplemento No. 11. pp. [15]--23. Persistent URL: http://dml.cz/dmlcz/701876 Terms of use: © Circolo Matematico di Palermo, 1985 Institute of Mathematics of the Academy of Sciences of the Czech Republic provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://project.dml.cz DISCONNECTEDNESSES AND CLOSURE OPERATORS (*) F. CAGLIARI AND M. CICCHESE Abstract Closure operators which characterize disconnectednesses and r e l a t i v e disconnectednesses are i n t r o d u c e d . Such operators are used to f i n d c o n d i tions under which a r e l a t i v e disconnectednes is a disconnectedness. AMS Subject C l a s s i f i c a t i o n : 54B30, 18B30, 18A40. §1. Preliminaries (**) In t h i s paper we denote by T the c l a s s of a l l topological spa- ces, by T. ( i = 0,1,2) the c l a s s e s of T.-spaces, by Sing the c l a s s of spaces which have at most one p o i n t . Moreover we denote by P an a r b i t r a r y nonempty subclass of T and by P the category of spaces of P and continuous f u n c t i o n s . Of course P i s a f u l l subcategory of T. Let X be a space and xeX. 1.1 DEFINITION. We c a l l P-component of x in X the l a r g e s t subspace Y of X containing x such that for each' PeP and for each f: Y —-p, f i s constant (see [11], p . 2 9 7 ) . 1.2 DEFINITION. We c a l l P-quasicomponent of x in X the l a r g e s t subspace Y of X containing x such t h a t for each PeP and for each (*) This paper is in f i n a l form and no version of it w i l l be submitted for p u b l i c a t i o n elsewhere. ( * * ) Notations and d e f i n i t i o n s not e x p l i c i t l y given are from [ 6 ] . Moreover, the functions we consider are always continuous functions between t o pological spaces. 16 F. Cagliari and M. Cicchese f: X — P , f|Y is constant (see [11], p.297). 1.3. DEFINITION. A space X is called totally P-disconnected if its P-components are singletons, totally P-separated if its P-quasicomponents are singletons (see [11], p.297). We denote by UP the class of all totally P-disconnected spaces and by QP the class of all totally P-separated spaces. It follows immediately from the definitions that 1.4 PcQPcUP . 1.5 DEFINITION. A class P of spaces is called disconnectedness if P = UP, and relative disconnectedness if P = QP. §2. The closure operators E and K . Let f: A —*• B be a continuous function. 2.1 DEFINITION, f is said to be PeP and for every g ,g : B —*• P g l = g P-cancellable such that if for every g f = g f, we have 2* Suppose now X is a space containing B as subspace. 2.2 DEFINITION, f is said to be P-cancellable rel X if for every PeP and for every g ,g : X -»• P such that (g |B)f = (g |B)f, we have g j B = g2|B. 2.3. PROPOSITION. If P* is a class of spaces such that P c P ' c Q p , we have that f: A —* B is P'-cancellable (or P-cancellable rel X) iff f is P-cancellable (or P-cancellable rel X ) . PROOF. Since PcP» if f is P-cancellable it is obvious that f is P-cancellable too. Conversely, suppose f: A —*• B is P-cancellable. Let P'eP1 and g ,g : B —•P 1 be functions such that g f = g f. Then PeP and for every h: P' —• P we have n hg f = hg f and for every therefore n g 1 - g p - Since P'eQP, the class of all continuous functions from P' whose range is in P distinguishis the points (see [10], 3.3).'It follows that g = g . Similar arguments can be used to prove the proposition when Disconnectednesses and closure operators 17 the function is cancellable rel X. From now on we denote by X an arbitrary topological space and by A an arbitrary subspace of X. P 2.4 DEFINITION. By E (A) we denote the largest subspace Y of X X such that A cY and the inclusion of A into Y is P-cancellable. P 2.5 DEFINITION. By K (A) we denote the largest subspace Y of X A such that A cY and the inclusion of A into Y is P-cancellable rel X. P P It can be easily proved that the operators E and K are Moore X X closures and that if f: X —*Y is a continuous function we have: 2.6 E*{A)CZK*(A) ; 2.7 K*(A) = X 4=* E^(A) = X ; A A 2.8 f(E^(A)) CEy(f(A)) ; f (K*(A) ) CK*(f (A) ) ; 2.9 the followings are equivalent: (i) f is P-cancellable; (ii) E^(f(X)) = Y ; (iii) Ky(f(X)) = Y . P The operator KX was introduced in [12] and studied in [4], The P operator E coincides with the epiclosure defined in [2] when P is X productive, hereditary and XeP. When there is no confusion about the class P, we indicate the introduced operators only by E and by K . X X 2.10 PROPOSITION. If P' is a class of spaces such that PcP'cQP, we have P E pi x = Ex P :K Pi x =Kx • PROOF. It follows immediately from 2.3. 2.11 PROPOSITION. Let xeX. We have: P (a) Ex({x}) is the P- component of x in X; P (b) K ({x}) is the P-quasicomponent of x in X. X PROOF,of(a) It follows immediately from the that V is a subspace X such that xeX, the inclusion j: fact {x} —*V is if P-cancel- -8 F. Cagliari and M. Cicchese lable iff for each PeP the functions from V to P are all constant, (b) It can be proved in a similar way as (a). 2.12 COROLLARY, (a) UP is the class of all spaces X whose points P are E -closed. * P (b) QP is the class of all spaces X whose points are K -closed. x PROOF. It follows from 2.11. 2.13 PROPOSITION. The followings are equivalent: (a) P C T 2 ; (b) A C E v ( A ) ; x (c) ACK^(A) . PROOF, (a) => (b) It follows from the fact that the inclusion j: A ^ A is T -cancellable and therefore P-cancellable. (b) => (c) It follows from 2.6. (c) => (a) See [12] (p.555). 2.14 LEMMA. A space X belongs to QP iff the diagonal A is x p K -closed. XxX PROOF. If XeQP, the projections p ,p : XxX —• X coincide exactly on A , and therefore, (see 2.3) K X (A ) = A X XXX Conversely, suppose K ^ X (A ) = A . Then there are two functions XXX X X f,g: XxX — P , with PeQP, such that f|A = g|A X and f(x,y) ?- g(x,y) X whenever x -- y. If z is. an arbitrary point of X, we consider the embedding j: X —•XxX defined by j(x) = (x,z). We have: fj(z) = gj(z) and fj(t) ?- gj(t) for every teX-(z}. Hence K^({z}) = {z}, and from 2.12 XeQP. 2.15 PROPOSITION. The followings are equivalent: (a) QPCQP* ; (b) KJAOKJ'(A). PROOF, (a) => (b) It follows easily from the definitions and 2.3. (b) => (a) If (b) holds for each space X we have K XXX(AX)CKXXX(V' Disconnectednesses and closure operators P If XeQP, by 2.14 we have K XxX( A x) = A and so x A is K x P' xxx"ClOSed# 19 By 2.14 again we have XeQP1. 2.16 COROLLARY. The followings are equivalent: (a) P CTQ ; (b) b x (A)CE^(A) ; (c) b x (A)CK^(A) . PROOF, (a) --=> (b) It follows from the fact that the inclusion j: A —*-b (A) is T -cancellable (see [13]) and therefore P-cancelX o lable. (b) =» (c) It follows from 2.6. (c) =* (a) It follows from 2.15 and [12] (p.557). Examples. Let S be a singleton, C the two-points indiscrete space, D the Sierpinski dyad, I the real interval [0,1]. If P = {S} then QP = UP = Sing and EV(A) = K V (A) = X. X X If P = {C} then QP = UP = T and E V (A) = K V (A) = A. X X If P = {D} then QP = UP = T and EV(A) = K V (A) = b v (A), where 0 X X X b x (A) is the b-closure of A in X (see [13] , 2.5; [12], p.557). If P = {D }, where D is the two-points discrete space, then QP is the class of all totally separated spaces and UP is the class of all totally disconnected spaces. Moreover P K (A) = n IB | A C B C X , B i s c l o p e n i n X } . A If P = {1} then QP is the class of all functionally Hausdorff spaces. Moreover P K (A) = 0{B| ACBcCX, B is a zeroset in X} . X We observe that when P = {1} and in many other cases it is not easy p to know how the operator E v works and how the class UP is. 20 F. Cagliari and M. Cicchese §3. Disconnectednesses and relative disconnectednesses. UP and QP are subcategories of T closed under products and injective functions. Therefore they are extremal epireflective in T (see [8]). »We indicate by R: T —"UP, S: T —•QP the corresponding epire- flectors and by r : X —• RX and s : X —• SX the epireflection maps X X associated to R and S respectively. We remind that r is the quoX tient map which identifies the points of each P-component (see [1], Th.3.7) and s is the quotient map which identifies the points of X each P-quasicomponent (see [10], p.304). 3.1. PROPOSITION. A function f: X — Y is P-cancellable iff Sf: SX —•SY is an epimorphism in QP. PROOF. Let f: X — Y be P-cancellable, PeQP and f-.fp? SY — P such that f,(Sf) = f_(Sf). Then f (Sf)sv = f_(Sf)sv . 1 (Sf)s 1 <_ A = s f we have f s f = f s f. By 2.3 A i Y Y hence f s v = fps . Since s Conversely, let Sf be f Since A __ is QP-cancellable, __ i is an epimorphism an epimorphism in in QP. f ,f : Y -*P are functions such that f f = f f, functions g^g.: SY — P such that g ^ T, we obtain If PeP there and exist two = f. , g-S__ = f_. Thus g syf = g-syf , and therefore g1(Sf)s}_ = g_(Sf)sx- Since s x is an epimorphism in T and Sf is an epimorphism in QP, we obtain g = g . 3.2 PROPOSITION. K^(A) = s^1(K^ (sx(A))). PROOF. By 2.8 we have K (A) c s " (K (s (A))). Suppose there X X X X exists a point yes" (K (sv(A))) - K (A). Then we can find two funX ctions f ,f :X — P , X X X with PeP, such that f |A = f |A and f (y) ± f (y). If we consider the functions g , g : SX -»-P, such that g.s^. = f1 , g_s x = f_ , we obtain g ^ t y ) 4 g-Sx(y) . g |sx(A) = g_|sx(A) we deduce that sx(y) ^ K S X ( S X ( A ))> Since and this is absurd. REMARK. We do not know whether an analogous proposition for the P operator E and the epireflection map r holds. By 2.13 it could X X only be proved that such equality holds when P c T . Disconnectednesses and closure operators 21 We remind that if P is productive and hereditary and XeP, for each AtTX the inclusion j: A —"X is an extremal monomorphism iff P P E (A) = A , and j is a regular monomorphism iff K (A) = A (see [2]). X X As a consequence of this fact and of corollaries 3.5, 3.6 in [3], we obtain the following 3.3 PROPOSITION. If P if a disconnectedness contained in T and 1 different from Sing we have E X (A) = K x (A) = A . 3.4 PROPOSITION. The following conditions, are equivalent: (a) UP = QP ; (b) E^ = K^ for each XeT ; X X E^({x}) =K^({x}) for each XeT and xeX ; (c) X X (d) K^(A) X K x (B) PROOF, (a) P QP = UP and E X = K^(A) f o r e a c h X,A,B such t h a t A C B C X and B = B . => (b) If QP coincides with T, T or QIS}, P = K (see examples in §2). then X Moreover the only disconnectednesses which are not contained in T are T and T (see [l], Prop. 2.10). Thus we have only to consi- der the case QP = U P c T , with QP / Q S . If X is a space and A C X , by 3.3 we have K S S X ( X (A)) K X (A) = = sx(A) and by 3.2 s 1 x (K s x (s x (A))) = s x 1 (s x (A)) . It follows K X (A) = s x 1 (s x (A)) = - ^ ( r ^ A ) ) = U(E X ( {x} ) | xeA} C E ^ A ) , hence, by 2.6, K X (A) = E X (A). (b) => (c) Obvious. (c) => (a) It follows immediately from 2.12. (c) 4=> (d) It can be proved in a similar way as in Prop.1.8 in [2], even though the present assertion is more general. REMARKS, (a) If P is a class of Hausdorff spaces, the operators P P P P E and K coincide if and only if QP = Sing. For if E v = K X X X X - 22 F. Cagliari and M. Cicchese and QP ^ Sing, for every X E P and AcX we have by 2.13 and 3.3: AcE^(A) = K £ ( A ) = A . This would imply that every XeP is discrete and this is not possible. As a consequence we get again that in T there are no disconnectednesses different from Sing (see [1]). (b) The notions given in this paper can be introduced in a topological category. In particular PreuB introduced and studied the relative disconnectednesses in this more general setting ([10]). The situation seems to be a little more complicated for the disconnectednesses. A reason is that in T the quotient space obtained by identifying the points of each P-component is P-totally disconnected and this fact is not always true in a topological category. For instance this is not true in the bireflective hull in T of the Hausdorff spaces. References [1 ] ARHANGEĽSKI I a n d R. A.V. nectednesses [2] F. F. D. , Riv. CAGLIARI r i e s of [4] and CAGLIARI epiclosure" [ 3] in t o p o l o g y " , a n d S. [5] H. HERRLICH, [6] H.HERRLICH tes Inc, R.E. Boston category delberg, P.J. (4) 115-122. "On disconnectednesses topics", "Closure operators and to in subcatego- appear. induced by topological appear. Springer, and G.E. reflexionen Berlin, STRECKER, und coref lexionen", Heidelberg, "Category New Y o r k theory", Lecture No- 1968. Allyn and Bacon 1973. spaces", New Y o r k NYIKOS, subcategories 8 (1982), and related HOFFMANN, " F a c t o r i z a t i o n of cones Hausdorff [8] Parma MANTOVANI, "Topologische in M a t h . 7 8 , " E p i r e f l e c t i ve CICCHESE, DIKRANJAN a n d E . G I U L I , to discon- G e n . T o p . Appl. _5 (1975) 9 - 3 3 . Mat. Unïv. a topological epireflections", [7] M. WIEGANDT, "Connectednesses a n d II, L e c t u r e Notes in M a t h . 1982, with 915, applications Springer, weak Berlin, Hei- 148-170. " E p i r e f l e c t i v e c a t e g o r i e s of H a u s d o r f f Notes in M a t h . to 340, S p r i n g e r , Berlin, Heidelberg, spaces", N.Y. 1976, Lectures 452-481. Disconnectednesses and closure operators 23 [9] G. PREUB, "Allgemeine Topologie", Springer V e r l a g , B e r l i n 1972. [10] G. PREUB, "Relative connectednesses and disconnectednesses in topolo- [11] G. PREUB, "Connection properties in topological categories and related gical categories", Quaestiones Math. 2_, 297-306. t o p i c s " , Lecture Notes in Math. 719, Springer, B e r l i n , Heidelberg, New York (1979) 293-305. [12] S. SALBANY, "Reflective subcategories and closure o p e r a t o r s " , Notes in Math. 540, Springer, Lecture B e r l i n , Heidelberg, New York 1976, 548-565. [13] L. SKULA, "On a r e f l e c t i v e subcategory of the category of a l l topolo- gical spaces", T r a n s . Amer. Math. Soc. 142, (1969) 37-41. F. CAGLIARI and M.CICCHESE Dipartimento di Matematica Uni versi ta 43100 PARMA ( I t a l y ) This work has been supported by research funds of the Ministero Pubblica I s t r u z i o n e , I t a l y .
© Copyright 2024 Paperzz