Axiom Systems of General Topology
General topology deals with topology based on a system of axioms in the context of set theory . It is therefore also called set- theoretical topology . As has been shown, there are a number of equivalent possibilities within this framework to axiomatically define the structure of the topological spaces . A basic set is always assumed, the elements of which are often called points . The set is then also referred to as the point set . The axiomatic defining the topological structure takes place either by the fact that certain subset systems within the associated power set to be excellent, or by way of the setting certain set operators on , in each case the fulfillment of a number of conditions, axioms is required mentioned.
Open set, topologies, axioms of open sets
According to today's view, a topological space is understood to be a pair with a set and a subset system of open sets, so that the following axioms apply:
- (O1)
- (O2)
- (O3)
- (O4)
One also calls the system of - open sets . Instead of an - open set , one only speaks of an open set if it can be assumed that it is clear from the context which topological space is involved.
Under this convention, these axioms can also be stated as follows:
- (O1) `The empty set is open.
- (O2) `The basic quantity is open.
- (O3) `Any associations open sets are open.
- (O4) `Arbitrary finite averages of open sets are open.
The concept of the open set is now considered the basic concept of the axiomatics of topological spaces . Most modern authors understand (Engl. Under a topology topology ) the system of open sets of a topological space . However, there are exceptions.
Closed set, axioms of closed sets, duality
The closed sets of the topology arise from the open sets through complement formation and vice versa.
This means:
- (OA) is a - closed set or - according to the convention (see above) - a closed set if and only if an - open subset or open.
Since the formation of complement now works involutorially on the power set , the axiom system (O1) - (O4) with regard to the system of open sets can be transferred to an equivalent axiom system with regard to the system of closed sets and vice versa.
This gives us the following four axioms of closed sets:
- (A1)
- (A2)
- (A3)
- (A4)
The axiom system (A1) - (A4) can also be expressed in words like this :
- (A1) `The basic set is complete.
- (A2) `The empty set is complete.
- (A3) `Any averages of closed sets are closed.
- (A4) `Arbitrary finite unions of closed sets are closed.
If a system of closed sets is given, which fulfills the axiom system (A1) - (A4) , one obtains a system of open sets , i.e. the associated topology , as complements of the closed sets :
- (AO)
The axiom systems (O1) - (O4) and (A1) - (A4) are therefore equivalent in a dual sense . That means: The two axiom systems are reversibly and clearly related to one another and linked to one another via the formation of a complement . In this context, one speaks of the duality between open and closed sets .
Completed hull, Kuratovskian hull operator, Kuratovsky's axioms
The access to general topology by means of shell operators goes back to the Polish mathematician Kazimierz Kuratowski . This axiomatic basis is a set operator on , which is excellent in that it for subsets and meets the following four conditions:
- (AH1)
- (AH2)
- (AH3)
- (AH4)
One calls these four conditions axioms Kuratowski or Kuratowskische shell axioms (Engl. Kuratowski closure axioms ) and these conditions sufficient quantity operator a Kuratowskischen closure operator .
Kuratowski's axioms can be summarized as follows:
- (AH) `A Kuratovskian hull operator auf is a hull operator which fulfills the conditions (AH2) and (AH4).
If a Kuratovskian hull operator is given, one says:
- (AH-A) is a closed set or closed if and only if is.
The subset of the system (in this sense) is the closed sets the closure operator associated sheath system and satisfies the above axiom system (A1) - (A4) , and consequently as described above to a topology leads to . The following applies:
- (AH-O)
- (AH-A) '
This view can be reversed:
If a topology is given and the subset system that satisfies the axiom system (A1) - (A4), i.e. the system of closed sets of topological space as described , then there is an envelope system and the associated envelope operator is recovered by:
- (A-AH) ( )
This hull operator then fulfills the axioms (AH1) - (AH4) , so it is a Kuratovskian hull operator.
In this way the relationship of the Kuratovskian hull operator to the system of closed sets of topological space , and also to the topology, is reversibly unique .
For a subset , the closed shell is called , sometimes also the end of . Their elements are called points of contact or points of contact of . According to (A-AH) the closed envelope of is the smallest closed superset of within the topological space with regard to the inclusion relation .
Interior, core operator, axioms of the interior
Starting obtained from the duality between open and closed sets in transmission of (A-AH) to the topological space associated core operator on by:
- (O-OK) ( )
back.
The kernel operator satisfies the following four axioms for and :
- (OK1)
- (OK2)
- (OK3)
- (OK4)
is because of (O-OK) the largest open subset of within the topological space with regard to the inclusion relation . Its elements are called inner points of . Taken together, the inner points of form the set , which is also called the inner or the open core of .
The relationships between the core operator and the topology and , the system of closed sets of and finally the associated Kuratovskian hull operator are pairwise reversible and unambiguous and the following applies:
- (ECO)
- (OK-A)
- (AH-OK) ( )
- (OK-AH) ( )
Edge, edge formation operator, axioms of the edge
For a subset of the topological space that is edge (also known as border or boundary designated; English frontier or boundary ) of given by:
- (AH-R)
The elements of are called boundary points of . An edge point of is characterized by the fact that it is both the point of contact of and the point of contact of . On the other hand, every point of contact of is either an element of or an edge point of , and thus:
- (R-AH) ( )
For the topological space , the formation of the boundary represents a set operator on . This boundary formation operator , which belongs to this , always satisfies the following four rules for subsets and of :
- (R1)
- (R2)
- (R3)
- (R4)
Starting from the concept of the edge, the entire axiomatics of general topology can now be built up by understanding the four rules (R1) - (R4) as axioms. The structure of the topological space is thus determined unequivocally. The set operator on defined by means of the equation (R-AH) proves to be a Kuratovskian envelope operator and, in connection with (AH-R), is reversibly and uniquely linked to this and thus also to the associated topological space .
The following equations result:
- (RO)
- (RA)
- (OK-R) ( )
Derivative, derivative operator, axioms of the derivative
The derivative operator , which assigns a subset of its derivatives (English derived set ) , is closely linked to the Kuratovskian envelope operator of a topological space - similar to the boundary formation operator . Instead of the derivative one also speaks of the derivation of and writes or instead of .
For a subset of the Derived from equal to the amount of their accumulation points (English accumulation points ), that can be divided into formulas represented as:
- (AH-D)
As with the edge of :
- (D-AH)
For the topological space of sufficient quantity operator on subsets and of always the following four rules:
- (D1)
- (D2)
- (D3)
- (D4)
Starting from the concept of the derivative and from (D1) - (D4) as a system of axioms , the general topology can be fully developed. Because with this the structure of the topological space is unequivocally established. The set operator auf defined by means of the equation (D-AH) is a Kuratovskian envelope operator and thus, in connection with (AH-D), is reversibly uniquely linked with this and thus also with the associated topological space .
The following equations result with respect to :
- (DO)
- (THERE)
- (OK-D)
Environment, environment filter, environment axioms
The axiomatic structure of the general topology based on the concept of the environment of a point goes back to Felix Hausdorff and his main features of set theory . This classic approach uses environmental systems as the most important structures . Here, each is assigned a subset system for which the following rules, called environmental axioms, are assumed to be given:
- (U1) is a filter within .
- (U2)
- (U3)
For is also called the environment filter of and each an environment of . It is always , so .
In a less formalized way, the surrounding axioms can also be expressed in relation to any point as follows:
- (U1) `The basic set is around .
- (U2) ` is contained as a point in each of its surroundings.
- (U3) `Every superset of a neighborhood of is in turn a neighborhood of .
- (U4) `The average of finitely many neighborhoods of is neighborhood of .
- (U5) `Is neighborhood of , encompasses another neighborhood of such that itself belongs to the neighborhoods of every point .
The structure described above is also called the surrounding space.
Such a surrounding space via is now clearly reversibly linked to the topological space , when looking at an in ambient room open set is understood the following:
- (UO) The subset is open if and only if it is the neighborhood of each of its points.
So:
- (UO) '
The environment filters belonging to the topological space can be recovered by:
- (OU) A subset is a neighborhood of then and only if an open subset , i.e. a , exists with .
So:
- (OU) '
The relationships to the other structural elements are as follows:
- - with regard to the closed quantities :
- (UA) is complete if and only if for the fact that every neighborhood a non-empty intersection with , has already follows.
So:
- (UA) '
- - with regard to the Kuratovskian hull operator :
- (U-AH)
- - with regard to the core operator :
- (U-OK)
- - with regard to the edge formation operator :
- (UR)
- - with regard to the derivative operator :
- (UD)
literature
- Nicolas Bourbaki : General Topology. Part 1 . Hermann, Paris 1966.
- Thorsten Camps , Stefan Kühling , Gerhard Rosenberger : Introduction to set-theoretical and algebraic topology (= Berlin study series on mathematics . Volume 15 ). Heldermann Verlag , Lemgo 2006, ISBN 3-88538-115-X .
- James Dugundji : Topology . 8th edition. Allyn and Bacon, Boston 1973.
- Ryszard Engelking: Outline of General Topology . 8th edition. North-Holland Publishing Company, Amsterdam 1968.
- Lutz Führer : General topology with applications . Vieweg Verlag , Braunschweig 1977, ISBN 3-528-03059-3 .
- Egbert Harzheim , Helmut Ratschek: Introduction to General Topology (= THE MATHEMATICS. Introductions to the subject matter and results of its sub-areas and related sciences ). Scientific Book Society , Darmstadt 1978, ISBN 3-534-06355-4 . MR0380697
- Egbert Harzheim: Introduction to combinatorial topology (= THE MATHEMATICS. Introduction to the subject matter and results of its sub-areas and related sciences ). Scientific Book Society , Darmstadt 1978, ISBN 3-534-07016-X . MR0533264
- Felix Hausdorff : Fundamentals of set theory. Reprint. First edition, Berlin, 1914 . Chelsea Publishing Company, Ney York 1965, ISBN 0-8284-0061-X .
- Horst Herrlich: Topology I: Topological Spaces . Heldermann Verlag , Berlin 1986, ISBN 3-88538-102-8 .
- John L. Kelley : General topology. Reprint of the 1955 edition published by Van Nostrand . Springer-Verlag , Berlin / Heidelberg / New York 1975, ISBN 3-540-90125-6 .
- Hans-Joachim Kowalsky : Topological Spaces . Birkhäuser Verlag , Basel et al. 1961.
- Kazimierz Kuratowski : Topology. Volume I . Academic Press, New York et al. 1966.
- Jun-iti Nagata : Modern General Topology (= North Holland Mathematical Library . Volume 33 ). 2nd, revised edition. North-Holland Publishing Company , Amsterdam, New York, Oxford 1985, ISBN 0-444-87655-3 . MR0831659
- Boto von Querenburg : Set theoretical topology . 3., rework. and exp. Edition. Springer-Verlag , Berlin et al. 2001, ISBN 3-540-67790-9 .
- Gerhard Preuss : General Topology . Springer-Verlag , Berlin et al. 1972, ISBN 3-540-06006-5 .
- Willi Rinow : Textbook of Topology . German Science Publishers, Berlin 1975.
- Horst Schubert : Topology . 4th edition. BG Teubner Verlag , Stuttgart 1975, ISBN 3-519-12200-6 .
- R. Vaidyanathaswamy : Set Topology (Reprint) . 2nd Edition. Chelsea Publishing, Providence, RI 1964.
- Stephen Willard: General Topology . Addison-Wesley , Reading, Massachusetts et al. 1970.
Individual evidence
- ↑ N. Bourbaki: General Topology . 1966, p. 17 .
- ↑ T. Camps, S. KühlingG. Rosenberger: Introduction to set theoretical and algebraic topology . 2006, p. 7 .
- ↑ J. Dugundji: Topology . 1973, p. 62 .
- ^ R. Engelking: Outline of General Topology . 1968, p. 26 .
- ↑ L. Guide: General topology with applications . 1977, p. 14 .
- ↑ H. Herrlich: Topology I: Topological Spaces . 1986, p. 3 .
- ↑ E. Harzheim, H. Ratschek: Introduction to General Topology . 1978, p. 14 .
- ↑ J. Nagata: Modern General Topology . 1985, p. 30 .
- ↑ G. Preuss: General Topology . 1972, p. 21 .
- ↑ JL Kelley: General topology . 1975, p. 37 .
- ↑ B. v. Querenburg: Set theoretical topology . 2001, p. 17 .
- ↑ W. Rinow: Textbook of Topology . 1975, p. 23 .
- ^ S. Willard: General Topology . 1970, p. 23 .
- ↑ Kowalsky (p. 41), for example, links the family of environment filters of a topological space with topology .
- ↑ W. Rinow: Textbook of Topology . 1975, p. 25 .
- ↑ L. Guide: General topology with applications . 1977, p. 24 .
- ^ K. Kuratowski: Topology. Volume I . 1966, p. 38 .
- ↑ W. Rinow: Textbook of Topology . 1975, p. 7 .
- ^ R. Vaidyanathaswamy: Set Topology . 1964, p. 54 .
- ^ H. Schubert: Topology . 1975, p. 20 .
- ↑ H.-J. Kowalsky: Topological Spaces . 1961, p. 52 .
- ↑ G. Preuss: General Topology . 1972, p. 29 .
- ↑ JL Kelley: General topology . 1975, p. 43 .
- ↑ E. Harzheim, H. Ratschek: Introduction to General Topology . 1978, p. 23 .
- ^ K. Kuratowski: Topology. Volume I . 1966, p. 43 .
- ↑ JL Kelley: General topology . 1975, p. 43 .
- ^ R. Vaidyanathaswamy: Set Topology . 1964, p. 57 .
- ^ H. Schubert: Topology . 1975, p. 15 .
- ↑ H. Herrlich: Topology I: Topological Spaces . 1986, p. 18 .
- ↑ H.-J. Kowalsky: Topological Spaces . 1961, p. 53 .
- ^ R. Vaidyanathaswamy: Set Topology . 1964, p. 57 .
- ↑ JL Kelley: General topology . 1975, p. 45 .
- ↑ J. Nagata: Modern General Topology . 1985, p. 34 .
- ^ R. Vaidyanathaswamy: Set Topology . 1964, p. 57-58 .
- ^ R. Vaidyanathaswamy: Set Topology . 1964, p. 58 .
- ↑ W. Rinow: Textbook of Topology . 1975, p. 68-69 .
- ^ K. Kuratowski: Topology. Volume I . 1966, p. 75 .
- ↑ Cf. Rinow, p. 68. According to Hausdorff ( Grundzüge der Setlehre , p. 220), the concept goes back to Georg Cantor . In view of the possible confusion with the derivative of functions in the calculus in the topology of the designation is Derived opposite derivative preferable.
- ^ K. Kuratowski: Topology. Volume I . 1966, p. 75 .
- ↑ H.-J. Kowalsky: Topological Spaces . 1961, p. 53 .
- ↑ H.-J. Kowalsky: Topological Spaces . 1961, p. 53 .
- ↑ E. Harzheim, H. Ratschek: Introduction to General Topology . 1978, p. 2 .
- ↑ L. Guide: General topology with applications . 1977, p. 14 .
- ↑ B. v. Querenburg: Set theoretical topology . 2001, p. 20 .
- ↑ The above system of axioms differs from that which Hausdorff provides in the basics (p. 213). In particular, Hausdorff always takes the validity of the axiom of separation named after him as given, which does not correspond to the modern version of the surrounding axioms .
- ↑ J. Nagata: Modern General Topology . 1985, p. 32 .
- ↑ G. Preuss: General Topology . 1972, p. 24 .
- ^ H. Schubert: Topology . 1975, p. 13 .
- ↑ L. Guide: General topology with applications . 1977, p. 14 .