REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU

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 spacesproducts of normal spacesSorgenfrey lineSorgenfrey planeLindelö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, CanadaRudnicki 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-26301898-9934 Typ Dokumentu: Article Występuje w kolekcji(ach): Formalized Mathematics, 2013, Volume 21, Issue 2

Pliki w tej pozycji:
Plik Opis RozmiarFormat