Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
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.
DOI: 10.2478/forma-2013-0009
ISSN: 1426-2630
Typ Dokumentu: Article
Występuje w kolekcji(ach):Formalized Mathematics, 2013, Volume 21, Issue 2

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma-2013-0009.pdf193,08 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki

Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons