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.

Author: Akinojind Faezil
Country: Togo
Language: English (Spanish)
Genre: Career
Published (Last): 1 November 2016
Pages: 404
PDF File Size: 19.7 Mb
ePub File Size: 11.82 Mb
ISBN: 597-4-14847-738-9
Downloads: 49397
Price: Free* [*Free Regsitration Required]
Uploader: Malagul

Topological spaces satisfying the above equivalent characterizations are called finitely generated spaces or Alexandrov-discrete alexanndroff and their topology T is called an Alexandrov topology.

Mathematics Stack Exchange works best with JavaScript alexanxroff. Every finite topological space is an Alexandroff space. Steiner demonstrated that the duality is a contravariant lattice isomorphism preserving arbitrary meets and joins as well as complementation.

A discussion of abelian sheaf cohomology on Alexandroff spaces is in. This site is running on Instiki 0. By the definition of the 2-category Locale see therethis means that AlexPoset AlexPoset consists of those morphisms which have right adjoints in Locale. By using this site, you agree to the Terms of Use and Privacy Policy. Last revised on April 24, at Alexandrov spaces were first introduced in by P. In Michael C. Every Alexandroff space is obtained by equipping its specialization order with the Alexandroff topology.

To see this consider a non-Alexandrov-discrete space X and consider the identity map i: Sign up using Email and Password.

A useful discussion of the abstract relation between posets and Alexandroff locales is in section 4. Arenas independently proposed this name for the general version of these topologies. Alexandrov allexandroff have numerous characterizations. Arenas, Alexandroff spacesActa Math.


Alexandrov topology

Views Read Edit View history. It was also a well known result in the field of modal logic alexandrofg a duality exists between finite topological spaces and preorders on finite sets the finite modal frames for the modal logic S4. Properties of topological spaces Order theory Closure operators. Alexandrov topology Ask Question.

Alexandrov under the name discrete spaceswhere he provided the characterizations in terms of sets and neighbourhoods. Alexandrov-discrete spaces are named after the Russian topologist Pavel Alexandrov. Post Your Answer Discard By clicking “Post Your Answer”, you acknowledge that you have read our updated terms of serviceprivacy policy and cookie policyand that your continued use of gopology website is subject to these policies. Proposition The category of Alexandroff locales is equivalent to that of completely distributive algebraic lattice s.

Scott k 38 Sign up using Facebook. Retrieved from ” https: Let Top denote the category of topological spaces and continuous maps ; and let Pro denote the category of preordered sets and monotone functions.

See the history of this page for a list of all contributions to it. By using our site, you acknowledge that you have read and understand our Cookie PolicyPrivacy Policyand our Terms of Service. I am obviously missing something here. Note that the upper sets are non only a base, they form the whole topology. From Wikipedia, the free encyclopedia. Thus, Alexandrov topologies on X are in one-to-one correspondence with preorders on X.

Alexandrov topologies are uniquely determined by their specialization preorders. Let Alx denote the full subcategory of Top consisting of the Alexandrov-discrete spaces. A set together with an Alexandrov topology is known as an Alexandrov-discrete space or finitely generated space. Email Required, but never shown.

Home Questions Tags Users Unanswered. Alexandrov-discrete spaces can thus be viewed as a generalization of finite topological spaces. CS1 German-language sources de.

I have also found another definition of the upper topology: The category of Alexandroff locales is equivalent to that of completely distributive algebraic lattice s.


Considering the interior operator and closure operator to be modal operators on the power set Boolean alexandrkff of Xthis construction is a special case of the construction of a modal algebra from a modal frame i.

An Alexandroff topology on graphs

Proposition A function between preorders is order-preserving if and only if it is a continuous map with respect to the specialisation topology. Then T aldxandroff is a continuous map. Proposition Every finite topological space is an Alexandroff space. Alexandrov-discrete spaces are also called finitely generated spaces since their topology is uniquely determined by the alexandorff of all finite subspaces.

Spaces with this topology, called Alexandroff spaces and named after Paul Alexandroff Pavel Aleksandrovshould not be confused with Topologh spaces which arise in differential geometry and are named after Alexander Alexandrov.

Steiner each independently observed a duality between partially ordered sets and spaces which were precisely the T 0 versions of the spaces that Alexandrov had introduced. Naturman observed that these spaces were the Alexandrov-discrete spaces and extended the result to a category theoretic duality between the category of Alexandrov-discrete spaces and open continuous maps, and the category of preorders and bounded monotone maps, providing the preorder characterizations as well as the interior and closure algebraic characterizations.

Alexandrov topology – Wikipedia

With the advancement of categorical topology in the s, Alexandrov spaces were rediscovered when the concept of finite generation was applied to general allexandroff and the name finitely generated spaces was adopted for them. This means that given a topological space Xthe identity map. They are not the same for every linear order.