Spazi quozienti

Messaggioda Cantor99 » 21/07/2019, 15:30

Salve vorrei discutere con voi di spazi quozienti (che ho solo accennato) e lo vorrei fare con un esempio
In $\mathbb{R}$ con la topologia standard si consideri l'equivalenza
\[
x\sim y \Leftrightarrow x=y \mbox{ o } |x|=|y|>1
\]
Provare che è connesso e a base numerabile ma non di Hausdorff

Prima cosa dovrei avere
\[
[x]=\begin{cases}
\{x\}, & |x|\le 1 \\
\{\pm x\}, & |x|>1
\end{cases}
\]
Gli aperti di $X=\mathbb{R}/\sim$ sono tutti e sole le unioni di elementi del tipo $\pi^{-1}]a,b[$, con $\pi : \mathbb{R}\to \mathbb{R}/\sim$ la proiezione canonica. Ad esempio, se $a,b>0$
\[
\pi^{-1}]a,b[=\begin{cases} ]a,b[, & ]a,b[\subseteq [-1,1]\\
]-b,-1]\cup [a,1]\cup]1,b[, & ]a,b[\cap[-1,1]=]a,1]\\
]-b,-a[\cup]a,b[, & ]a,b[\cap ]-1,1[=\emptyset
\end{cases}
\]
Per simmetria dovrei ottenere gli altri elementi della base canonica.

Finora ha tutto senso quello che ho scritto?
Grazie
Ultima modifica di Cantor99 il 21/07/2019, 17:18, modificato 1 volta in totale.
Cantor99
Senior Member
Senior Member
 
Messaggio: 527 di 1238
Iscritto il: 06/08/2017, 10:52
Località: Dragoni

Re: Spazi quozienti

Messaggioda otta96 » 21/07/2019, 16:32

C'è qualche incongruenza, credo che nella relazione ci fosse un maggiore che è diventato un uguale, che rende falso l'esercizio.
Inoltre fai sistematicamente la retroimmagine tramite la proiezione di insiemi di numeri reali, che non ha senso, pensaci un po' meglio.
otta96
Cannot live without
Cannot live without
 
Messaggio: 1955 di 5748
Iscritto il: 12/09/2015, 22:15

Re: Spazi quozienti

Messaggioda Cantor99 » 21/07/2019, 17:47

Sì ho errato e invertito le cose ... :?
Il punto è che le classi di equivalenza sono punti o coppie di punti simmetriche : non posso rappresentare le unioni di classi di equivalenza come intervalli?
Avendo
\[
\pi^{-1}([x])=\begin{cases}
\{x\}, & |x|\le1\\ \{\pm x\}, & |x|> 1
\end{cases}
\]
Per ottenere un aperto $]a,b[\subseteq [-1,1]$ basta fare
\[
]a,b[=\pi^{-1}(]a,b[)
\]
dove $]a,b[$ è inteso come unione di classi di equivalenza, che sono singolette.
Se ho $]a,b[$, con $a>1$ dovrei avere
\[
]a,b[=\pi^{-1}(]-b,-a[\cup ]a,b[)
\]

Se, invece, $a<1$ e $b>1$
\[
]a,b[=\pi^{-1}(]-b,-1]\cup]a,b[)
\]
Cantor99
Senior Member
Senior Member
 
Messaggio: 529 di 1238
Iscritto il: 06/08/2017, 10:52
Località: Dragoni

Re: Spazi quozienti

Messaggioda otta96 » 22/08/2019, 22:32

Scusami ma mi ero completamente dimenticato di questa discussione :oops: scusa se rispondo solo ora, non so nemmeno se ti interessa ancora, nel caso non ti interessasse puoi semplicemente non rispondere.
Cantor99 ha scritto:non posso rappresentare le unioni di classi di equivalenza come intervalli?

No, dipende. Alcune saranno intervalli, altre no.

Avendo
\[ \pi^{-1}([x])=\begin{cases} \{x\}, & |x|\le1\\ \{\pm x\}, & |x|> 1 \end{cases} \]
Per ottenere un aperto $ ]a,b[\subseteq [-1,1] $ basta fare
\[ ]a,b[=\pi^{-1}(]a,b[) \]
dove $ ]a,b[ $ è inteso come unione di classi di equivalenza, che sono singolette.
Se ho $ ]a,b[ $, con $ a>1 $ dovrei avere
\[ ]a,b[=\pi^{-1}(]-b,-a[\cup ]a,b[) \]

Se, invece, $ a<1 $ e $ b>1 $
\[ ]a,b[=\pi^{-1}(]-b,-1]\cup]a,b[) \]

Mancano alcuni casi, ma quello che hai scritto è giusto, ma non capisco dove vuoi andare a parare :?:
otta96
Cannot live without
Cannot live without
 
Messaggio: 1991 di 5748
Iscritto il: 12/09/2015, 22:15

Messaggioda j18eos » 23/08/2019, 07:40

Non vorrei essere irrispettoso; ma avete provato a fare un disegno?
Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.
Non mi sono mai piaciuti i disegni, e me lo rinfacciava sempre la mia prof.sa di topologia; ma dopo un anno passato ad insegnare matematica e fisica in un liceo artistico, un minimo di contaminazione artistica l'ho subìta. :lol:
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 6440 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^


Torna a Geometria e algebra lineare

Chi c’è in linea

Visitano il forum: apatriarca e 1 ospite