In this paper, we associate a topology to G, called graphic topology of G and we show that it is an Alexandroff topology, i.e. a topology in which intersec- tion of. Alexandroff spaces, preorders, and partial orders. 4. 3. Continuous A-space, then the closed subsets of X give it a new A-space topology. We write. Xop for X. trate on the definition of the T0-Alexandroff space and some of its topological . the Scott topology and the Alexandroff topology on finite sets and in general.
|Published (Last):||22 August 2012|
|PDF File Size:||2.11 Mb|
|ePub File Size:||12.41 Mb|
|Price:||Free* [*Free Regsitration Required]|
Given a monotone function. Steiner each independently observed a duality between partially ordered sets and spaces which were precisely the T alexqndroff versions of the spaces that Alexandrov had introduced. A systematic investigation of these spaces from the point of view of general topology which had been neglected since the original paper by Alexandrov, was taken up by F.
Stone spaces 1st paperback ed.
With the advancement of categorical topology in the s, Alexandrov spaces were rediscovered when the concept of finite generation was applied to general topology and the name finitely generated spaces was adopted for them. But I have the following confusion. Home Questions Tags Users Unanswered.
The category of Alexandroff locales is equivalent to that of completely distributive algebraic lattice s. Then T f is a continuous map. Let P P be a preordered set.
Properties of topological spaces Order theory Closure operators. To see this consider a non-Alexandrov-discrete space X and consider the identity map i: Let Alx denote the full subcategory of Top consisting alexancroff the Alexandrov-discrete spaces. Let Top denote the category of topological spaces and continuous maps ; and let Pro denote the category topolog preordered sets and monotone functions. Alexandrov topologies are uniquely determined by their specialization preorders.
Proposition The functor Alex: Conversely a map between two Alexandrov-discrete spaces is continuous if and only if it is a monotone function between the corresponding preordered sets.
The corresponding closed sets are the lower sets:. Alexandrov topology Ask Question. Sign up using Email and Password.
Given a preordered set Xthe interior operator and closure operator of T X are given by:. Every Alexandroff space is obtained by equipping its specialization order with the Alexandroff topology.
Every finite topological space is an Alexandroff space. Then W g is a monotone function.
Notice however that in the case of topologies other than the Alexandrov topology, we can have a map between two topological spaces that is not continuous but which is nevertheless still a monotone function between the corresponding preordered sets. Scott k 38 The specialisation topologyalso called the Alexandroff topologyis a natural structure of a topological space induced on the underlying set of a preordered set. Retrieved from ” https: Remark By the definition of the 2-category Locale see therethis alexxndroff that AlexPoset AlexPoset consists of those morphisms which have right adjoints in Locale.
Email Required, but never shown.
The problem is that your definition of the upper topology is wrong: Definition An Alexandroff space is a topological space for which arbitrary as opposed to just finite intersections of open alexandrofc are still open. Definition Let P P be a preordered set. Alexandrov-discrete spaces can thus be viewed as a generalization of finite topological spaces.
Note that the upper sets are non only a base, they form the topoloy topology. Post as a guest Name. Now, it is clear that Alexandrov topology is at least as big as the upper topology as every principle upper set is indeed an upper set, while the converse need not hold. Considering the interior operator and closure operator to be modal operators on the power set Boolean algebra of Xthis construction is a special case of the construction of a modal algebra from a modal frame i.