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 December 2018|
|PDF File Size:||20.29 Mb|
|ePub File Size:||7.49 Mb|
|Price:||Free* [*Free Regsitration Required]|
Or, upper topology is simply presented with upper sets and their intersections, and nothing more? Last revised on April 24, at Alexandrov spaces were first introduced in by P. Let Set denote alexandrofc category of sets and maps.
Alexandrov spaces were also rediscovered around the same time in the context of topologies resulting from denotational semantics and domain theory in computer science.
Topological spaces satisfying the above equivalent characterizations are called finitely generated spaces or Alexandrov-discrete spaces and their topology T is called an Alexandrov topology. Retrieved from ” https: The class of modal algebras alexanddroff we obtain in the case of a preordered set is the class of interior algebras —the algebraic abstractions of topological spaces.
This site is running on Instiki 0. Let Top ropology the category of topological spaces and continuous maps ; and let Pro denote the category of preordered sets and monotone functions.
Proposition Every Alexandroff space is obtained by equipping its specialization order with the Alexandroff laexandroff. A set together with an Alexandrov topology is known as an Alexandrov-discrete space or finitely generated space.
Then the following are equivalent:. 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.
Tppology page was last edited on 6 Mayat The category of Alexandroff locales is equivalent to that of completely distributive algebraic lattice s.
specialization topology in nLab
And the principal upper sets are only alexaneroff a subbase, they from a base. Johnstone referred to such topologies as Alexandrov topologies. This is similar to the Scott topologywhich is however coarser.
Properties of topological spaces Order theory Closure operators. Definition An Alexandroff space is a topological space for which arbitrary as opposed to just finite intersections of open subsets are still open.
Then T f is a continuous map. I have also found another definition of the upper topology: 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.
To see this consider alexandrofff non-Alexandrov-discrete space X and consider the identity map i: In topologyan Alexandrov topology is a topology in which the intersection of any family of open sets is open.
Stone spaces 1st paperback ed. A function between preorders is order-preserving if and only if it is a continuous map with respect to the specialisation topology. By the definition of the 2-category Locale see therethis means that AlexPoset AlexPoset consists of those morphisms which have right adjoints in Locale. Let Alx denote the full subcategory of Top consisting of the Alexandrov-discrete spaces. Remark By the definition of the 2-category Locale see therethis means that AlexPoset AlexPoset consists of those morphisms which have right adjoints in Locale.
Given a monotone function. In Alexanddoff C. Definition Let P P be a preordered set. Thus a map between two preordered sets is monotone if and only if it is a continuous map between the corresponding Alexandrov-discrete spaces.
order theory – Upper topology vs. Alexandrov topology – Mathematics Stack Exchange
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. This topology may be strictly coarser, but they are the same if the order is linear. A useful discussion of the abstract relation between posets and Alexandroff locales is in section 4.
See the history of this page for a list of all contributions to it. Alexandrov under the name discrete spaceswhere he provided the characterizations in terms of sets and neighbourhoods. Conversely a map between two Alexandrov-discrete spaces topolpgy continuous if and only if it is a monotone function between the corresponding preordered sets.