Peel Off
  • Blog
  • About
  • Contact

the extended real line from a topological pov (introduction)

7/11/2014

37 Comments

 
The extended real line, which we will soon define, is a useful setting in the study of measure and integration, for example. But, in that context, it is seen primarily as a tool, and the topological properties that one can acquire from it remains relatively shaded, since the focus is on its useful algebraic properties, and simple limit properties. We shall see that one can arrive in interesting results (that hold even when you consider problems on $\mathbb{R}$ itself) quite easily with it.

IDEA: We want to attach two points to the real line and call them $\infty$ and $-\infty$, and we want them to behave as we expect from something we would call $\infty$ and $-\infty$. For that, if we want to talk about the topology of this resulting space, we essentially have to say what are the neighbourhoods of this topology. We still want $(a-\delta,a+\delta)$ to be a neighbourhood of a real number $a$, for example. But we also want neighbourhoods of $\infty$ now. It seems a reasonable attempt to define a neighbourhood of $\infty$ as $(M,\infty]$ for example (note the closed bracket, indicating that $\infty$ is in the set).

Before proceding, I introduce the concept of a basis of a topology. Essentially, the basis of a topology is a smaller, "controlled" set that generates the topology - it says who the open sets are.

Definition: If $X$ is a set, a basis of a topology in $X$ is a collection $\mathcal{B}$ of sets that satisfy the following properties:

(i) For all $x \in X$ there is a set $B$ in $\mathcal{B}$ that contains $x$
(ii) If $x$ is in the intersection of two basis elements $B_1$ and $B_2$, then there is a basis element $B_3$ that contains $x$ and that is contained in the intersection of $B_1$ and $B_2$. 

We define the topology $\tau$ generated by $\mathcal{B}$ to be the collection of sets $A$ that satisfy the property that for all $x \in A$, there is a basis element $B$ containing $x$ and contained in $A$.

For example, the balls of a metric space are a basis for its topology (draw it in order to understand!)
Another example of a basis (which is, in fact, a corollary of the balls of metric spaces) are the open intervals in the real line.

Of course, there are technical issues (minor ones, easily solved) that I'll overpass. We have to prove that the topology generated by $\mathcal{B}$ is in fact a topology, as defined in a previous post. If you are interested, you can do it as an exercise.

Now, let's jump into what we wanted!

Definition: Take two points that are not in $\mathbb{R}$ and call them $\infty$ and $-\infty$. Now, define
$$\displaystyle \overline{\mathbb{R}}:=\mathbb{R} \cup \{\infty,-\infty\}$$
Furthermore, define the following basis on $\displaystyle \overline{\mathbb{R}}$:
The basis $\mathcal{B}$ will consist of the open intervals and of the sets $(b, \infty]$ and $[-\infty, a)$ for all $b$ and $a$ real numbers.

That this is in fact a basis (which means that this satisfies the properties listed before) is easy to verify.

Now, in order not to introduce a lot of notations and definitions, I'll not define the subspace topology. It is not a difficult definition, but may be abstract and not enlightening at first. Hence, I'll just assume an intuition in it, in order to justify the following: it seems clear that, if you have 
$\displaystyle \overline{\mathbb{R}}$ and pass from it to $\mathbb{R}$, the topology you inherit is exactly the standard topology of $\mathbb{R}$. We will use this fact.

We arrive now at a change of point of view:

In analysis, one often learns the following definition:

We say a sequence $x_n$ converges if there is a real number $L$ such that $\forall \epsilon >0$ there exists a $N \in \mathbb{N}$ such that $n > N \implies |x_n - L| < \epsilon$. In this case, we call $L= \lim x_n$. Otherwise, we say the sequence diverges.

But we also have the following definition: 

($1$) Given a sequence $x_n$, we say $\lim x_n= \infty$ if $\forall A \in \mathbb{R}$ there is a $N \in \mathbb{N}$ such that $n > N \implies x_n> A$. 



Note that this is a slight abuse of notation. The sequence $x_n$ above, BY DEFINITION, does not converge. But we say  $\lim x_n= \infty$, because it makes sense. To be completely honest, we should write something different, like $L ~x_n= \infty$

But note that, according to our topology, we have that the definition of $L ~x_n= \infty$ is in fact the definition of $\lim x_n= \infty$. In fact, ($1$) is precisely telling: For all neighbourhoods $V$ of infinity, there exists an $N$ such that $n > N \implies x_n \in V$. So, $x_n$ CONVERGES, and REALLY CONVERGES to $\infty$.

We come to our first proposition:



Proposition: $\displaystyle \overline{\mathbb{R}}$ is compact.


Proof: Take an open cover $V_i$ of $\displaystyle \overline{\mathbb{R}}$. Choose a $V_{i_1}$ such that it contains $+\infty$, and a $V_{i_2}$ such that it contains $-\infty$. They contain a set of the form $(b,\infty]$ and $[-\infty, a)$ respectively, so the rest of the $V_i$ should cover $[a,b]$, which is contained in the complement of those sets. But, by the Heine-Borel Theorem, $[a,b]$ is compact. Hence, there is a finite subcover of $V_i$ that covers $[a,b]$. So, this finite subcover, together with  $V_{i_1}$ and  $V_{i_2}$ covers $\displaystyle \overline{\mathbb{R}}$. So, we arrived at a finite subcover for $\displaystyle \overline{\mathbb{R}}$. $\blacksquare$.

Corollary: Every sequence in $\displaystyle \overline{\mathbb{R}}$ has a convergent subsequence.


Note the analogy between bolzano-weierstrass theorem and the corollary above. Bolzano-weierstrass says every bounded sequence has a convergent subsequence. 


We arrive now at a result that does not involve $\displaystyle \overline{\mathbb{R}}$ at first sight:

Proposition: Let $f:[0,\infty) \rightarrow \mathbb{R}$ be a continuous function such that $\displaystyle \lim _{x \rightarrow \infty}f(x) =L$, and $L<f(0)$. Then, $f$ has a maximum.

Proof: Define $\overline{f} :[0,\infty] \rightarrow \mathbb{R}$ as $f(x)$ if $x \in [0,\infty ) $ and $L$ if $x=\infty$. Since $\displaystyle \lim _{x \rightarrow \infty} f(x)=L$, $\overline{f}$ is continuous in $[0,\infty]$. Since $[0,\infty]$ is closed (not proved, but easily seen to be true) and $\displaystyle \overline{\mathbb{R}}$ is compact, $[0,\infty]$ is compact. Hence, $\overline{f}$ reaches a maximum on $[0,\infty]$. This maximum cannot be in $\infty$, since $f(0)>f(\infty)$. Hence, this maximum must be achieved in $[0,\infty)$. $\blacksquare$


Note somethings in the previous demonstration:
First, $0$ has nothing special. If there was any other place where $f$ was greater than $L$, it would be enough.
Secondly, this requirement (that $f(0)>L$) is just to guarantee that the maximum is in $[0,\infty)$ and not in $[0,\infty]$. In fact, there is always a maximum in $[0,\infty]$. The problem is, sometimes the maximum can be achieved at infinity. Draw an example of this (any monotonic increasing bounded function will do!).

We conclude by sketching the proof of the following theorem:


Theorem: A continuous bijective function $f$ on an interval has a continuous inverse.

Sketch of Proof: If the interval is of the form $[a,b]$, it is compact, and we are done.
If the interval is of the form $[a,b)$, since $f$ is continuous and bijective, it is monotonic (by the intermediate value theorem), so $\displaystyle \lim_{x \rightarrow b}f(x)$ exists (it can be $\infty$, no problem!). Pass to the extension $\overline{f}$ of $f$ on $[a,b]$. It is continuous. Hence, since $[a,b]$ is compact, the inverse is continuous. Restrict the inverse by taking away $\overline{f}(b)$. This is precisely the inverse of $f$.  The rest is analogous. $\blacksquare$.
37 Comments
Brandon Doyle
18/5/2015 09:43:08 am

You have a nice blog. I'm an undergraduate in math as well. I'll continue to come back in the future to read your posts (hope you keep that up!).

Brandon Doyle

Reply
Aloizio Macedo
30/5/2015 06:40:09 pm

Thank you! Your comment inspired me to keep posting : ).

Reply
Javier
24/3/2016 06:42:01 am

I came here from math.stackexchange, you left a great answer about the extended real line, and suggested comming here. Great post Aloizio! Keep posting man!

Reply
Harold
7/6/2017 03:39:48 am

I also came here from math.stackexchange.com. I find the topological perspective quite interesting, it makes many things feel more natural. I was wondering if you might comment on my question here: https://math.stackexchange.com/q/2312054/325566 . I think I have a proof using the classic POV of viewing finite and infinite limits as different beasts, I was wondering if things can be made simpler using your POV. Any pointers would be welcome!

Reply
dedektör link
20/6/2022 09:24:29 am

https://www.ugurelektronik.com/

Reply
takipçi satın al link
1/8/2022 03:51:16 am

Really informative article, I had the opportunity to learn a lot, thank you. https://takipcisatinalz.com/takipci-2/

Reply
dedektör fiyatları link
1/8/2022 05:45:02 am

Really informative article, I had the opportunity to learn a lot, thank you. https://www.ugurelektronik.com/

Reply
okx kayıt ol link
9/8/2022 03:47:06 am

Really informative article, I had the opportunity to learn a lot, thank you. https://www.smsbankasi.net/2022/01/okex-nedir-nasl-kayt-olunur-nasl.html

Reply
shopify yurtdışı kargo link
9/8/2022 06:52:40 am

Really informative article, I had the opportunity to learn a lot, thank you. https://www.smsbankasi.net/2022/08/amazon-shopify-aliexpress-walmart-ebay.html

Reply
instagram takipçi satın al link
11/8/2022 01:59:43 pm

Really informative article, I had the opportunity to learn a lot, thank you. https://bit.ly/instagram-takipci-satin-al-takipci

Reply
yoast seo premium nulled link
5/9/2022 07:30:14 am

Really informative article, I had the opportunity to learn a lot, thank you. https://freecodezilla.net/free-download-yoast-seo-premium-nulled/

Reply
weptekno link
10/9/2022 12:51:30 pm

En güncel haberleri weptekno.com sizin için hazırladı.

Reply
site kurma link
11/9/2022 05:39:19 pm

Really informative article, I had the opportunity to learn a lot, thank you. https://kurma.website/

Reply
mobil ödeme bozdurma link
12/9/2022 01:02:40 am

Really informative article, I had the opportunity to learn a lot, thank you. https://odemebozdurma.com/

Reply
site kurma link
30/9/2022 11:44:26 am

It's great to have this type of content. Good luck with your spirit. Thank you. https://bit.ly/site-kurma

Reply
daday escort link
5/10/2022 10:21:56 am

It was a post that I found very successful. Good luck to you. https://escortnova.com/escort-ilanlari/kastamonu-escort/daday-escort/

Reply
ovacik escort link
5/10/2022 10:59:44 pm

I follow your posts closely. I can find it thanks to your reliable share. Thank you. https://escortnova.com/escort-ilanlari/tunceli-escort/ovacik-escort/

Reply
digor escort link
6/10/2022 06:01:57 am

I support your continuation of your posts. I will be happy as new posts come. Thank you. https://escortnova.com/escort-ilanlari/kars-escort/digor-escort/

Reply
porno izle link
6/10/2022 07:32:57 am

porno izle

Reply
darica escort link
7/10/2022 01:20:50 am

I think the content is at a successful level. It adds enough information. Thank you. https://escortnova.com/escort-ilanlari/kocaeli-escort/darica-escort/

Reply
agacoren escort link
7/10/2022 02:10:40 pm

Thank you for your sharing. I must say that I am successful in your content. https://escortnova.com/escort-ilanlari/aksaray-escort/agacoren-escort/

Reply
sakarya escort link
8/10/2022 04:57:55 am

Thoughtful and real content is shared. Thank you for these shares. https://escortnova.com/escort-ilanlari/sakarya-escort/

Reply
Korsan Taksi link
11/11/2022 11:50:46 am

Sitemizi ziyaret et: https://taksikenti.com/

Reply
evden iş imkanı link
21/11/2022 08:44:20 am

Hemen Göz At evde para kazanmaya basla: https://sites.google.com/view/evden-ek-is/

Reply
betinfo link
22/11/2022 04:08:34 pm

It was a successful post.These types of posts are very helpful.

Reply
mrbahis link
6/12/2022 02:15:14 pm

Congratulations for the successful article. I can't wait for the sequel.

Reply
tiktok takipçi satın al link
9/12/2022 08:32:30 am

Garantili Tiktok takipçi satın al: https://takipcialdim.com/tiktok-takipci-satin-al/

Reply
takipçi satın al link
9/12/2022 08:34:02 am

kaliteli düşmeyen takipçi satın al: https://takipcialdim.com/

Reply
sportsbet link
10/12/2022 09:16:32 am

I follow your work closely. Congratulations for this beautiful content.

Reply
sms onay link
15/12/2022 08:05:23 am

Sitemizi ziyaret et: https://www.smsonay.com/

Reply
takipçi satın al link
15/12/2022 08:06:12 am

uygun fiyatlardan takipçi Hemen Göz At: https://takipcim.com.tr/

Reply
betmatik link
16/12/2022 06:41:04 pm

Betmatik giriş adresine ulaşmak için tıkla.

Reply
betpark link
18/12/2022 09:10:51 pm

Betpark giriş adresi burada.

Reply
instagram takipçi satın al link
19/12/2022 09:41:31 pm

İnstagram takipçi satın almak istiyorsan tıkla.

Reply
casino siteleri link
27/12/2022 08:06:19 pm

hemen göz at casino oyna: http://haikuboy.com

Reply
100 tl bonus veren siteler link
5/1/2023 04:48:55 am

100 tl deneme bonusu veren siteleri öğrenmek istiyorsan tıkla.

Reply
selamsiz link
24/1/2023 08:38:05 am

test selam

Reply



Leave a Reply.

    Author

    My name is Aloizio Macedo, and I am a 21 years old Mathematics student at UFRJ (Universidade Federal do Rio de Janeiro).

    Archives

    October 2015
    August 2015
    November 2014
    September 2014
    August 2014

    Categories

    All

    RSS Feed

Powered by Create your own unique website with customizable templates.