Inverse Limits in Category Ltop

Total Page:16

File Type:pdf, Size:1020Kb

Inverse Limits in Category Ltop http://www.paper.edu.cn Fuzzy Sets and Systems 109 (2000) 291–299 Inverse limits in category LTop (II) 1 Sheng-Gang Li Department of Mathematics, Shaanxi Normal University, Xi’an, 710062, People’s Republic of China Received October 1995; received in revised form October 1997 Abstract This paper is a sequel to Li (1999). For some classes F of L-valued Zadeh functions, we will discuss two problems connected with inverse limits in LTop, K1HLTop and K2HLTop: (1) Will the condition that all L-valued Zadeh functions between factor L-fts of two given inverse systems are in F imply that the induced limit LTop-morphism is in F? (2) Will the condition that all bonding L-valued Zadeh functions are in F imply that all projective L-valued Zadeh functions are in F? c 2000 Elsevier Science B.V. All rights reserved. Keywords: Fuzzy topology; Inverse limit; Projective L-valued Zadeh-function; Mapping between inverse systems; Limit LTop-morphism. 1. Introduction and preliminaries same problems in the subcategories K1HLTop and K2HLTop of LTop. Similar to the case of point set topology, the theory Our terminology and notions coincide with those of inverse limit of fuzzy topological spaces is an es- used in [9]. However, we have some other concepts sential part of fuzzy topology. In [9], we studied the to ÿx. structures of inverse limits in LTop, and investigated An L-fuzzy set A ∈ LX is said to be connected a series of properties of such limits, and we also de- [16] in L-fts (LX ;) if there exists no pair (B; C) ∈ X X ÿned the mappings between arbitrary inverse systems L × L −{(0X ; 0X )} satisfying A = B ∨ C and − − and discussed some of their properties for the case of A ∧ B = B ∧ A =0X . A connected L-fuzzy set A LTop. in L-fts (LX ;) is said to be a component of an L- The present paper is a sequel to [9]. Here we will fuzzy set E ∈ LX if A ⊂ E and there is no connected further discuss the inverse limits of L-fuzzy topolog- L-fuzzy set F satisfying A6 F 6E and A 6= F.An X ical spaces, i.e. we will show how the projective L- L-fts (L ;) is said to be connected if 1X is con- valued Zadeh-functions depend on bonding L-valued nected in (LX ;), or equivalently, there is no pair Zadeh-functions in LTop and how the limit LTop- (A; B) ∈ × −{(0X ; 0X )} satisfying A ∨ B =1X morphism depends on the mapping of inverse sys- and A ∧ B =0X . tems inducing it in LTop. We also investigated the Deÿnition 1.1. An LTop-morphism F :(LX ;) → Y 1 This work was supported by the National Natural Science (L ;) is said to be Foundation of China (Grant No. 19701020). (1) closed if F(A) ∈ for every A ∈ ; 0165-0114/00/$ – see front matter c 2000 Elsevier Science B.V. All rights reserved. 转载 PII: S 0165-0114(98)00002-5 中国科技论文在线 http://www.paper.edu.cn 292 S.-G. Li / Fuzzy Sets and Systems 109 (2000) 291–299 (2) open if for every B ∈ LY and every A ∈ satis- Hausdor and compact), and that (LX ;) is fying A¿F−1(B), there exists a C ∈ such that connected and weakly induced implies that −1 C¿B and F (C)6 A; (X; ÃL()) is connected. −1 X (3) (Xu [21]) perfect if it is closed and F (e)isN- (2) (X; T) is connected if and only if (L ;!L(T)) compact in (LX ;) for every e ∈ M(LY ). is connected. X (3) Every component of 1X in (L ;) is closed crisp Lemma 1.2. Let (LX ;) be a Hausdor and F- set. Y compact L-fts,(L ;) be a T1 L-fts, and Lemma 1.5 (Xu [21]). The Cartesian product of X Y F :(L ;) −→ (L ;) a family of perfect LTop-morphisms is perfect. be an LTop-morphism. Then F−1(e) is N-compact in (LX ;) for each e ∈ M(LY ). 2. Some properties of limit mappings Y Y Proof. Let e = y ∈ M(L ). Since (L ;)isT1, there In this section, we use all symbols as used in [9, exists a y ∈ such that ¿ . Since F is contin- Section 4], and determine when, for a given class of uous and (LX ;)isF-compact, F−1(y )= is E LTop-morphisms F, the condition that all Fi belong closed, and thus F-compact (cf. [9, Lemma 1.4(3)]), to F implies that lim{’; Fi} belongs to F. We will −1 ← where E = f (y). From the deÿnition of F-compact consider the following classes of LTop-morphisms: −1 L-fuzzy set, we can see that E = F (e)isF- (1) injective, (2) surjective, (3) bijective, (4) mono- X compact. Since (L ;) is Hausdor , by [9, Corollary tone, (5) con uent, (6) N-compact, (7) F-compact, X E 4.5(4)], (L ; ) is Hausdor , and so is (L ; | E). (8) block N-compact, (9) open and (10) perfect. X E Since E is F-compact in (L ;), (L ; |E)isan E F-compact L -fts. By [9, Lemma 1.4(2)], (L ; |E) Theorem 2.1. If all F are injections (resp., bijec- −1 i is N-compact. It follows that F (e)= E is N- tions, LTop-isomorphisms), then F = lim{’; Fi} is compact in (LX ;). ← an injection (resp., bijection, LTop-isomorphism). X Remark 1.3. For every L-fts (L ;), we have a topo- Proof. Similar to [3, Lemma 2.5.9], we can show logical space (X; ÃL()), where ÃL() is the co-topology Theorem 2.1 for the cases of injection and bijection. on X generated by {{x ∈ X | A(x)¿r}|r ∈ L; A ∈ } Suppose that all Fi are LTop-isomorphisms, then F = as a subbase. Conversely, for every topological lim{’; F } is a bijection. For every i ∈ I and every X ← i space (X; T), we have an L-fts (L ;!L()), where X V’(i) ∈ ’(i), by the deÿnition of F (see [9, Theorem !L()istheL-fuzzy co-topology on L generated 4.3]), we have F ◦ (P |Y )=(P |Y ) ◦ F, and thus by {[r] ∨ V | V ∈ T;r∈ L} as a base. It was shown i ’(i) i that ÃL ◦ !L(T)=T for every co-topology T; and h i −1 !L◦ÃL() ⊃ for every L-fuzzy co-topology (cf. [16, F (P’(i)|Y ) (V’(i)) Theorem 2.11.10]). The functor YL : LTop → Top, h i X = F (P |Y )−1(F−1 ◦ F (V )) deÿned by YL((L ;))=(X; ÃL()) for every L-fts ’(i) i i ’(i) X h i (L ;) and YL(F)=f for every LTop-morphism F, =(P |Y )−1 F (V ) : and the functor GL : Top → LTop; deÿned by i i ’(i) X GL((X; T))=(L ;!L(T)) for every topological Since F is an LTop-isomorphism, F (V ) ∈ , space (X; T) and GL(f)=F for every LTop- i i ’(i) i morphism f, are called Lowen functors (cf. [11]). and thus h i F (P |Y )−1(V ) Lemma 1.4 (Wang [16]). Suppose that 1 ∈ M(L); ’(i) ’(i) X (X; T) is a topological space and (L ;) is an L-fts. =(P |Y )−1[F (V )] ∈ |Y: Then the following statements hold: i i ’(i) X (1) That (L ;) is T1 (resp., Hausdor and F- Since F is bijection, we can show that F is compact) implies that (X; ÃL()) is T1 (resp., intersection-preserving. It follows from [9, Theorem 中国科技论文在线 http://www.paper.edu.cn S.-G. Li / Fuzzy Sets and Systems 109 (2000) 291–299 293 3.1 and Theorem 4.3] that F is an LTop-isomorphism. a T1 L-fts and F is surjective, then F = lim{’; F } i ← i is surjective. (2) If {’; Fi} is limit-exact and Fi is surjective for Corollary 2.2. If J is a subset conÿnal in I; then the each i ∈ I; then F = lim{’; F } is surjective. inverse limit of D| J op is LTop-isomorphic with the ← i Y inverse limit (L ;|Y ) of D. Proof. (1) Take an ∈ M(L). Then, by [9, Corollary 4.5(4)], Q ◦ D(i) ∈|K2HL Top| for every i ∈ I, and Deÿnition 2.3. (1) The diagram of sets and mappings Q◦D(i)isaT1 L-fts for every i ∈ I. By Lemma 1.4(1), h ◦ Q ◦ D(i) is a Hausdor and compact space for 1 YLQ A −−−−−−−−−−−−−−−−−−→ D every i ∈ I, and Y ◦ Q ◦ D(i)isaT space for ev- LQ 1 ery i ∈ I. Since all F are surjective, i.e. all f are i i surjective, by [3, Theorem 3.2.14], lim{’; f } is sur- k1 h2 ← i jective, i.e. lim{’; F }, which is exactly the L-valued y y ← i Zadeh-function induced by lim{’; f }, is surjective. C −−−−−−−−−−−−−−−−−−→ B ← i k2 (2) It suces to show that f is surjective. Suppose is said to be exact if it is commutative and that y = {yi} ∈ Y . Take an i ∈ I, by the assump- −1 −1 i∈I h1 (d) ∩ k1 (c) 6= ∅ whenever h2(d)=k2(c), or ’(i) −1 −1 2 tion that Fi is surjective, there exists an x ∈ X’(i) equivalently, k1h1 (E)=k2 h (E) for every E ⊂ D. such that f (x’(i))=y(i) =(p |Y )(y) ∈ X . Since (2) The mapping {’; Fi} from inverse system D to i i i inverse system D is said to be exact if, for each pair {’; Fi} is limit-exact, there exists a y ∈ Y such that i; j ∈ I with i6j, the following diagram is exact: f(y)=y, i.e.
Recommended publications
  • M2 M'l M2m3 M1 a Net {Sm,Med) in a Uniform Space (X, U) Is Submonotone > M and Relative to a Base V for U If Wheneverm3> M
    AN ABSTRACT OF THE THESIS OF FRANK OLIVER WYSE for the Ph. D.in MATHEMATICS (Name) (Degree) (Major) Date thesis is presented TitleNETS IN UNIFORM SPACES: MONOTONEITY, LIMIT THEOREMS Redacted for Privacy Abstract approved Majcprofessor) After a discussion of nets and subnets (both words are here used in broader senses than are customary) two independent topics are treated. One is a generalization of the concept "monotone," as applied to sequences of real numbers, to a related concept for nets in uniform spaces.(Here the nets are as usual functions on directed sets.) A net {S, meD} in a pseudometric space (X, d)is "sub- monotone" if whenever m d(S , S ) < d(S,S ). 3 m3 m2 m'l m2m3 m1 A net {Sm,mED) in a uniform space (X, U) is submonotone > m and relative to a base V for U if wheneverm3> m (S ,S ) EVEV, also(S ,S ) EV.Various sufficient conditions m1 m3 m2 m3 for a net to be submonotone are developed, the manner of conver- gence of a convergent subrnon.otone net is investigated, conditions for a net to have a submonotone subnet are given, and two theorems are proved in which submonotoneity and a related condition (respectively) appear as hypotheses.(In particular the familiar fact that a bounded monotone sequence of real numbers has a limit finds a generalization: A submonotone net in a compact space converges.) I hope that it may prove useful to hypothesize submonotoneity in other work. The second topic is the justification of changing the order in a repeated limit.
    [Show full text]
  • NETS There Are a Number of Footnotes, Which Can Safely Be Ignored
    NETS There are a number of footnotes, which can safely be ignored, especially on the first reading. 1. Nets, convergence, continuity Nets are generalization of sequences needed to deal with convergence in general topological spaces, where convergent sequences are not enough to describe the topology. The idea is to replace the set of natural numbers, which is used to index elements of sequences, by arbitrary sets such that it makes sense to talk about \large" elements. Recall that a partial order on a set I is a binary relation ≺ such that (a) i ≺ i; (b) if i ≺ j and j ≺ i; then i = j; (c) if i ≺ j and j ≺ k; then i ≺ k: Definition 1.1. A set I with a partial order1 ≺ is called directed if for any i; j 2 I there exists k 2 I such that i ≺ k and j ≺ k. The following example will be our main source of directed sets. Example 1.2. Let X be a set and I be a collection of subsets of X closed under finite intersections, so if A; B 2 I then A \ B 2 I. Define a partial order on I by A ≺ B iff B ⊂ A: Then I is a directed set: for any A; B 2 I, we have A ≺ A \ B and B ≺ A \ B. Definition 1.3. A net in a set X is a collection (xi)i2I of elements of X indexed by a nonempty directed set I, or in other words, it is a map I ! X. Definition 1.4.
    [Show full text]
  • Compact Nets, Filters, and Relations
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector JOUHNAI. OF MATHEMATICAL ANALYSIS AND APPLICATIONS 93, 406417 (1983) Compact Nets, Filters, and Relations JEAN-PAUL PENOT FacultP des Sciences Exactes, Dipartement de MathPmatiques, UniversitP de Pau, 64000 Pau, France Submitted by K. Fan The notion of compact filter is introduced and compared to related notions of compact nets and compact relations. A characterization of compact nets is given in regular spaces. Several applications in optimization theory and nonlinear analysis are presented. Compactness properties play a key role in many problems of analysis, in particular for existence results. In this paper we introduce compactness conditions which appear in many concrete instances under various guises. These conditions are formulated in terms of nets, filters, or multifunctions and are milder than a compactness condition on the whole space. For multifunctions, this condition is a kind of properness condition on the inverse multifunctions. For nets it implies the convergence of some subnets. A series of typical applications is given in Section 3. They deal with existence results, sufficient conditions, perturbation of optimization problems, and nonlinear analysis (in particular generalized subdifferential calculus which prompted the present study). During a visit S. Dolecki showed to the author his note [9] in which a definition equivalent to Definition 2 of the present paper is given (in a different form) and related results are presented. In particular, a charac- terization of compact filters in complete uniform spacesis given, but not the characterization in regular spaces of Theorem 15 below. Moreover, the applications given in [9] deal with the notion of active boundary, a topic entirely disjoint from the applications we have in view here.
    [Show full text]
  • Chapter 9 Convergence
    Chapter IX Theory of Convergence 1. Introduction In Chapters II and III, we discussed the convergence of sequences. Sequential convergence is very useful in working with first countable spaces (in particular, with metric spaces). In any space \, if Ð+Ñ88is a sequence in E and Ð+ÑÄB, then B−cl EÞ But in a first countable space, the converse is also trueÀ B − cl Eiff there is a sequence Ð+88 Ñ in E with Ð+ Ñ Ä BÞ Therefore convergent sequences determine the set clE , so sequences can be used to check whether of not cl EœE, that is, whether or not E is closed. we can determine whether of not Eis closed using sequences. (See Theorem III.9.6 ). So in a first countable space “sequences determine the topology.” However, sequences are not sufficient in general to describe closures: for example, in Ò!ß=" Ó we have ==""−cl Ò!ß Ñ but no sequence Ð α= 8" Ñ in Ò!ß ß Ñconverges to = ". The basic neighborhoods Ð α= ß " Ó of =" are very nicely ordered, but there are just “too many” of them: no mere sequence ÐÑα=8" in Ò!ßÑ is “long enough” to be eventually inside every neighborhood of =". A second example (see Example III.9.8 ): Ð!ß !Ñ −cl ÐP ÖÐ!ß !Ñ×Ñ but no sequence in ÐP ÖÐ!ß !Ñ×Ñ converges to Ð!ß !Ñ. Here the problem is different. Pis a “small” space ( lPl œ i! ) but the neighborhood system aÐ!ß!Ñ ÐÑordered either by inclusion or by reverse inclusion is a very complicated poset so complicated that a mere sequence Ð+8 Ñ in P ÖÐ!ß !Ñ× cannot eventually be in every neighborhood of Ð!ß !ÑÞ In this chapter we develop a theory of convergence that is sufficient to describe the topology in any space \Þ0−\.
    [Show full text]
  • On Compactness in Uniform Spaces Rendiconti Del Seminario Matematico Della Università Di Padova, Tome 39 (1967), P
    RENDICONTI del SEMINARIO MATEMATICO della UNIVERSITÀ DI PADOVA SALVATORE CIAMPA On compactness in uniform spaces Rendiconti del Seminario Matematico della Università di Padova, tome 39 (1967), p. 72-85 <http://www.numdam.org/item?id=RSMUP_1967__39__72_0> © Rendiconti del Seminario Matematico della Università di Padova, 1967, tous droits réservés. L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » (http://rendiconti.math.unipd.it/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ ON COMPACTNESS IN UNIFORM SPACES SALVATORE CIAMPA *) i. Introductory remarks. 1.1. This paper 1) stems from the following two considerations. (a) in SC 2) (of which this work may be considered a contin- uation) we proved that in uniform spaces completeness may be deduced from the convergence of all Cauchy nets defined on the directed set consisting of a base for the uniformity of the space under consideration, with no need, therefore, to refer to the conver- gence of all Cauchy nets in the space. A noteworthy consequence of this fact is the possibility of constructing a completion of the given space by means of a determined set of Cauchy nets (as in the case of metric spaces). (b) net convergence in uniform spaces may be seen as con- stituted by two elements, the first depending more on the net (i.
    [Show full text]
  • Various Notions of Compactness
    Various Notions of Compactness Yao-Liang Yu Department of Computing Science University of Alberta Edmonton, AB T6G 2E8, Canada [email protected] June 18, 2012 Abstract We document various notions of compactness, with some of their useful properties. Our main reference is [Engelking, 1989]. For counterexamples, refer to [Steen and Seebach Jr., 1995] while for background, see the excellent textbooks [Willard, 2004] or [Munkres, 2000]. Some of the proofs are taken freely from the internet. The writer expresses his gratitude to all sources. 1 Definitions Our domain in this note will always be some topological space (X ; τ). Recall the usual definition of com- pactness: Definition 1 (Compact) K ⊆ X is compact if every open cover of it has a finite subcover1. As usual we may have \countable" versions2: Definition 2 (Countably Compact) K ⊆ X is countably compact3 if every countable open cover of it has a finite subcover. Definition 3 (Lindel¨of) K ⊆ X is Lindel¨ofif every open cover of it has a countable subcover. Of course one immediately sees that K is compact iff K is countably compact and Lindel¨of.The contrapos- itive of the definition also tells us that K is (countably) compact iff any (countable) collection of closed sets with finite intersection property has nonempty intersection. Definition 4 (Limit point Compact) K ⊆ X is limit point compact if every infinite subset of it has a limit point. Recall that x 2 X is a limit point of the set K if every neighbourhood of x intersects K − fxg. For a net 4 fxλgλ2Λ we define x as its cluster point if for every neighbourhood O of x, the index set fλ : xλ 2 Og is cofinal in Λ.
    [Show full text]
  • Topology Proceedings
    Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: [email protected] ISSN: 0146-4124 COPYRIGHT °c by Topology Proceedings. All rights reserved. Topology Proceedings Volume 22, Summer 1997, 175-200 FINITE APPROXIMATION OF COMPACT HAUSDORFF SPACES R. D. Kopperman* and R. G. Wilsont Abstract We consider the question of how to approximate Hausdorff spaces by representing them as the Hausdorff reflection of inverse limits of finite spaces. Our principal theorem states that a T2­ space is approximable in this sense if and only if it is compact. We also consider connectedness in this context and among other results we show that a space is approximable by finite connected spaces if and only if it is a continuum. A number of these results explain and extend theorems of Flachsmeyer [FI] in a bitopological setting. o. Motivation How should one study the properties of a compact Hausdorff space? Over thirty years ago, Flachsmeyer [FI] suggested one approach, namely, to approximate the compact space by means of finite To-spaces. His work went largely unnoticed by topol­ ogists (indeed, we were unaware of it until we had obtained * Supported by CUNY-PSC grants 667386 and 668440. t Supported by the Consejo Nacional de Ciencia y Tecnologia grant no.400200-5-3012-P-E. Mathematics Subject Classification: Primary: 54D30, 54E55; Sec­ ondary: 54D05 Key words: PseudoHausdorff, also joincompact bitopological space, pairwise continuous function. Skew compact, also spectral topological space, its de Groot dual, Ti-refiection, or spectral compactifications; skew continuum; finite approximation of a topological space.
    [Show full text]