Intersection topologies
<p>Given two topologies, T<sub>1</sub> and T<sub>2</sub> on the same set X , the intersection topology with respect to T<sub>1</sub> and T<sub>2</sub> is the topology with basis</p><p>{U<sub>1</sub> ∩ U<sub>2</sub...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
1993
|
| Subjects: |
| _version_ | 1817932364867698688 |
|---|---|
| author | Jones, M Jones, Mark |
| author2 | Reed, G |
| author_facet | Reed, G Jones, M Jones, Mark |
| author_sort | Jones, M |
| collection | OXFORD |
| description | <p>Given two topologies, T<sub>1</sub> and T<sub>2</sub> on the same set X , the intersection topology with respect to T<sub>1</sub> and T<sub>2</sub> is the topology with basis</p><p>{U<sub>1</sub> ∩ U<sub>2</sub> : U<sub>1</sub> Є T<sub>1</sub>, U<sub>2</sub> Є T<sub>2</sub>}</p><p>Equivalently, T is the join of T<sub>1</sub> and T<sub>2</sub> in the lattice of topologies on the set X . This thesis is concerned with analysing some particular classes of intersection topologies, and also with making some more general remarks about the technique.</p><p>Reed was the first to study intersection topologies in these terms, and he made an extensive investigation of intersection topologies on a subset of the reals of cardinality N<sub>1</sub>, where the topologies under consideration are the inherited real-line topology and the topology induced by an ω<sub>1</sub>-type ordering of the set. We consider the same underlying set, and describe the properties of the intersection topology with respect to the inherited Sorgenfrey line topology and an ω<sub>1</sub>-type order topology, demonstrating that, whilst most of the properties possessed by Reed's class are shared by ours, the two classes are strictly disjoint.</p><p>A useful characterisation of the intersection topology is as the diagonal of the product of the two topologies under consideration. We use this to prove some general properties about intersection topologies, and also to show that the intersection topology with respect to a first countable, hereditarily separable space and an ω<sub>1</sub>-type order topology can never be locally compact.</p><p>Results about the real line and Sorgenfrey line intersections with ω<sub>1</sub> use various properties of the two lines. We demonstrate that most of the basic properties of the intersection topology require only the hereditary separability of R, and give examples to show that 'hereditary' is essential here. We also show that results about normality, ω<sub>1</sub>-compactness and the property of being perfect, all of which are set-theoretic in the classes of real-ω<sub>1</sub> and Sorgenfrey-ω<sub>1</sub> intersection topologies, can be shown to generalise to the class of intersection topologies with respect to separable generalised ordered spaces and ω<sub>1</sub>.</p> |
| first_indexed | 2024-03-06T20:06:41Z |
| format | Thesis |
| id | oxford-uuid:292194e8-84c7-4c42-be33-a915b0e30067 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-12-09T03:36:45Z |
| publishDate | 1993 |
| record_format | dspace |
| spelling | oxford-uuid:292194e8-84c7-4c42-be33-a915b0e300672024-12-01T20:02:55ZIntersection topologiesThesishttp://purl.org/coar/resource_type/c_db06uuid:292194e8-84c7-4c42-be33-a915b0e30067TopologyEnglishPolonsky Theses Digitisation Project1993Jones, MJones, MarkReed, GReed, M<p>Given two topologies, T<sub>1</sub> and T<sub>2</sub> on the same set X , the intersection topology with respect to T<sub>1</sub> and T<sub>2</sub> is the topology with basis</p><p>{U<sub>1</sub> ∩ U<sub>2</sub> : U<sub>1</sub> Є T<sub>1</sub>, U<sub>2</sub> Є T<sub>2</sub>}</p><p>Equivalently, T is the join of T<sub>1</sub> and T<sub>2</sub> in the lattice of topologies on the set X . This thesis is concerned with analysing some particular classes of intersection topologies, and also with making some more general remarks about the technique.</p><p>Reed was the first to study intersection topologies in these terms, and he made an extensive investigation of intersection topologies on a subset of the reals of cardinality N<sub>1</sub>, where the topologies under consideration are the inherited real-line topology and the topology induced by an ω<sub>1</sub>-type ordering of the set. We consider the same underlying set, and describe the properties of the intersection topology with respect to the inherited Sorgenfrey line topology and an ω<sub>1</sub>-type order topology, demonstrating that, whilst most of the properties possessed by Reed's class are shared by ours, the two classes are strictly disjoint.</p><p>A useful characterisation of the intersection topology is as the diagonal of the product of the two topologies under consideration. We use this to prove some general properties about intersection topologies, and also to show that the intersection topology with respect to a first countable, hereditarily separable space and an ω<sub>1</sub>-type order topology can never be locally compact.</p><p>Results about the real line and Sorgenfrey line intersections with ω<sub>1</sub> use various properties of the two lines. We demonstrate that most of the basic properties of the intersection topology require only the hereditary separability of R, and give examples to show that 'hereditary' is essential here. We also show that results about normality, ω<sub>1</sub>-compactness and the property of being perfect, all of which are set-theoretic in the classes of real-ω<sub>1</sub> and Sorgenfrey-ω<sub>1</sub> intersection topologies, can be shown to generalise to the class of intersection topologies with respect to separable generalised ordered spaces and ω<sub>1</sub>.</p> |
| spellingShingle | Topology Jones, M Jones, Mark Intersection topologies |
| title | Intersection topologies |
| title_full | Intersection topologies |
| title_fullStr | Intersection topologies |
| title_full_unstemmed | Intersection topologies |
| title_short | Intersection topologies |
| title_sort | intersection topologies |
| topic | Topology |
| work_keys_str_mv | AT jonesm intersectiontopologies AT jonesmark intersectiontopologies |