Definition talk:Topology on Extended Real Numbers

Does it need proving that this is a topology? --prime mover 09:14, 27 March 2012 (EDT)
 * I'd say not; it is mentioned that this is an Order Topology, and that is a Definition:Topology Generated by Synthetic Sub-Basis, so it is immediate. --Lord_Farin 18:07, 27 March 2012 (EDT)
 * The fact that it's a generated topology may be worth emphasising then - as it thereby gives an example of how such a technique is used. --prime mover 18:09, 27 March 2012 (EDT)

Yes, such may deserve explication, but ultimately it is just considering unions of intervals (which may or may not end at the infinities). Not sure how to do so at this moment, but eventually, someone probably will see the light and post it. --Lord_Farin 18:15, 27 March 2012 (EDT)