Uno spazio di Hausdorff non metrizzabile

Messaggioda Cantor99 » 04/07/2019, 20:45

In esercizio viene proposto di dimostrare che
L'insieme $\RR_{Sf}\times \RR_{Sf}$ con la topologia prodotto è di Hausdorff ma non è metrizzabile

essendo $\RR_{Sf}$ la retta di Sorgenfrey, cioè la topologia che ha per base gli intervalli semiaperti $[a,b[$. Lo spazio è di Hausdorff perché $\RR_{Sf}$ è di Hausdorff. Infatti, per ogni $x,y\in \RR_{Sf}$ distinti, detto $0<r<\frac{d(x,y)}{2}$, gli aperti $[x-r,x+r[$ e $]y-r,y+r[$ sono disgiunti e contengono $x$ e $y$ rispettivamente.

Per far vedere che $\RR_{Sf}\times \RR_{Sf}$ non è metrizzabile consiglia di procedere per assurdo. Se $d$ è una sua distanza, per ogni numero reale $t$ si può scegliere un numero reale positivo $h(t)$ tale che
\[
[t,t+h(t)[\times [-t,-t+h(t)[\subset B\Bigg((t,-t), \frac{\mbox{inf}\{d([(t,-t),(r,-r)]: r\ne t\}}{2}\Bigg)
\]
Poi dice "$\forall \varepsilon>0$ mostrare che $\{t\in \mathbb{R} : h(t)>\varepsilon\}$ è numerabile"

Dove nascerebbe l'assurdo? Forse quell'insieme deve essere equipotente a $\RR$. Non capisco dove vuole andare a parare
Grazie
Cantor99
Senior Member
Senior Member
 
Messaggio: 516 di 1238
Iscritto il: 06/08/2017, 10:52
Località: Dragoni

Re: Uno spazio di Hausdorff non metrizzabile

Messaggioda otta96 » 04/07/2019, 21:04

Non mi sembra buono questo suggerimento di fare per assurdo, non capisco nemmeno io dove vuole andare a parare.
Puoi notare piuttosto che questo spazio è separabile ma non ammette una base numerabile, quindi non è metrizzabile (non è nemmeno normale o $T_4$, se vuoi prova a dimostrarlo, non è facilissimo). Ad ogni modo già la retta di Sorgenfrey non è metrizzabile (ad esempio per gli stessi motivi), quindi figuriamoci il suo quadrato...
otta96
Cannot live without
Cannot live without
 
Messaggio: 1943 di 5748
Iscritto il: 12/09/2015, 22:15

Re: Uno spazio di Hausdorff non metrizzabile

Messaggioda Cantor99 » 04/07/2019, 21:09

Grazie dell'intervento otta96 : attendo di arrivare al capitolo in cui si parla di separabilità, numerabilità.
In ogni caso qualche definizioncina forse la so: questo insieme numerabile $\{[a,b[, \RR, \emptyset\ }_{a,b\in \mathbb{Q}\}$ non è una base per $\RR_{Sf}$?
Cantor99
Senior Member
Senior Member
 
Messaggio: 517 di 1238
Iscritto il: 06/08/2017, 10:52
Località: Dragoni

Re: Uno spazio di Hausdorff non metrizzabile

Messaggioda otta96 » 04/07/2019, 21:13

È vero ma devi dimostrare che non esiste proprio una base numerabile.
otta96
Cannot live without
Cannot live without
 
Messaggio: 1944 di 5748
Iscritto il: 12/09/2015, 22:15

Re: Uno spazio di Hausdorff non metrizzabile

Messaggioda Cantor99 » 04/07/2019, 22:19

Quella che ho esibito io non è una base numerabile?
Cantor99
Senior Member
Senior Member
 
Messaggio: 518 di 1238
Iscritto il: 06/08/2017, 10:52
Località: Dragoni

Re: Uno spazio di Hausdorff non metrizzabile

Messaggioda otta96 » 04/07/2019, 22:24

Ah scusa avevo letto male, pensavo dicessi che non era una base, comunque non lo è, dimostralo.
otta96
Cannot live without
Cannot live without
 
Messaggio: 1945 di 5748
Iscritto il: 12/09/2015, 22:15

Re: Uno spazio di Hausdorff non metrizzabile

Messaggioda Cantor99 » 05/07/2019, 00:34

Lo terrò a mente per quanto ci arriverò, ti farò sapere
Grazie
Cantor99
Senior Member
Senior Member
 
Messaggio: 519 di 1238
Iscritto il: 06/08/2017, 10:52
Località: Dragoni


Torna a Geometria e algebra lineare

Chi c’è in linea

Visitano il forum: Dany 30 e 1 ospite