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):||1 November 2016|
|PDF File Size:||19.7 Mb|
|ePub File Size:||11.82 Mb|
|Price:||Free* [*Free Regsitration Required]|
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.
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.
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.
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.
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.