Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3676
Tytuł: | Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane |
Autorzy: | Arnaud, Adam St. Rudnicki, Piotr |
Słowa kluczowe: | topological spaces products of normal spaces Sorgenfrey line Sorgenfrey plane Lindelöf spaces |
Data wydania: | 2013 |
Data dodania: | 9-gru-2015 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 21, Issue 2, 2013, Pages 83-85 |
Abstrakt: | We first provide a modified version of the proof in [3] that the Sorgenfrey line is T1. Here, we prove that it is in fact T2, a stronger result. Next, we prove that all subspaces of ℝ1 (that is the real line with the usual topology) are Lindel¨of. We utilize this result in the proof that the Sorgenfrey line is Lindel¨of, which is based on the proof found in [8]. Next, we construct the Sorgenfrey plane, as the product topology of the Sorgenfrey line and itself. We prove that the Sorgenfrey plane is not Lindel¨of, and therefore the product space of two Lindel¨of spaces need not be Lindel¨of. Further, we note that the Sorgenfrey line is regular, following from [3]:59. Next, we observe that the Sorgenfrey line is normal since it is both regular and Lindel¨of. Finally, we prove that the Sorgenfrey plane is not normal, and hence the product of two normal spaces need not be normal. The proof that the Sorgenfrey plane is not normal and many of the lemmas leading up to this result are modelled after the proof in [3], that the Niemytzki plane is not normal. Information was also gathered from [15]. |
Afiliacja: | Arnaud Adam St. - University of Alberta Edmonton, Canada Rudnicki Piotr - University of Alberta Edmonton, Canada |
Opis: | I would like to thank Piotr Rudnicki for taking me on as his summer student and being a mentor to me. Piotr was an incredibly caring, intelligent, funny, passionate human being. I am proud to know I was his last student, in a long line of students he has mentored and cared about throughout his life. Thank you Piotr, for the opportunity you gave me, and for the faith, confidence and trust you showed in me. I will miss you. |
URI: | http://hdl.handle.net/11320/3676 |
DOI: | 10.2478/forma-2013-0009 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2013, Volume 21, Issue 2 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2013-0009.pdf | 193,08 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL