Geometria 2 - Esercizio sugli spazi topologici

Greatkekko
Premetto che non posto questo esercizio per ricevere necessariamente una soluzione, anzi data la mia difficoltà nella comprensione della teoria sulla topologia e conseguente difficoltà nella pratica degli esercizi gradirei più che altro un aiuto su come approcciarmi nella risoluzione di questo e in generale dei problemi sugli spazi topologici.


Spero di essere stata chiara :D

Questo è un esercizio-tipo che potrebbe uscire all'esame

Si munisca R dei numeri reali della topologia $ A $ i cui aperti sono :

$ { O/ , RR ,( - oo , 0 ) uu ( 2 , b ) | b in RR } $

Si determinino le proprietà topologiche dello spazio topologico $ S ( RR , A) $
Si stabilisca se è:
-separato
-compatto
-connesso
-separabile
-a base numerabile

Poi dalla successione $ xn= 1 / n $ con $ n in NN $ si calcolino i punti di convergenza in $ S $.

Del sottoinsieme $ Y= [-1,1] $ si calcoli la chiusura e l'interiore nello spazio $ S $.


Si munisca $RR$ della topologia naturale $ An $ e sia $ S1 $ lo spazio topologico $ (RR,An) $

e si consideri la funzione tra $ S1 $ e $ S $

$ f: x in RR -> (x)^(2) + 2 in RR $

si stabilisca se è continua nel punto $ { 1 } $

Fine esercizio


Mi sembra che S sia:
-è separato
-non è compatto
-è sconnesso
-non è separabile
- non è numerabile .. ?
Però non so spiegare bene il perchè , la mia prof vuole che giustifico tutte le risposte... ammesso che siano esatte...

Chi mi aiuta?
Sono molto in difficoltà.
Grazie in anticipo

Risposte
Greatkekko
Nessuno nessuno ?

cirasa
Perchè qualcuno dovrebbe fare uno sforzo ad aiutarti se tu non fai uno sforzo ad essere chiara?

1) Uso delle formule, vedi
"Greatkekko":
Si munisca R dei numeri reali della topologia A i cui aperti sono il vuoto R ed i sottoinsiemi
Bb= ]- oo , 0[ U ]2 , a[ con b>2 , si indici con S questo spazio topologico.

Ormai hai già trascorso un po' di tempo nel forum, avrai già letto il regolamento.

2) Il forum non è un risolutore automatico di esercizi, posta in maniera precisa i tuoi dubbi. Nel dettaglio, come hai dedotto le affermazioni seguenti?
"Greatkekko":

Mi sembra che S sia:
-è separato
-non è compatto
-è sconnesso
-non è separabile
- non è numerabile .. ?

Tu dici che non sai spiegare bene il perchè, ma un minimo di ragionamento l'avrai fatto, non credo tu abbia provato a indovinare.
Dicci cosa hai pensato...

Da quel poco che ho capito in questo forum, domande brevi, precise e ben formulate trovano quasi sempre una risposta.

dissonance
Magari se scrivessi a dovere le formule... Riscrivo la definizione degli aperti:

[tex]\mathfrak{A}=\{ \emptyset, \mathbb{R}, (-\infty, 0) \cup (2, b) \mid b \in \mathbb{R} \}[/tex]

o almeno credo, nel tuo post c'è ambiguità anche su questo.

[edit] Sono stato anticipato da cirasa. Meglio per te, sei finita in ottime mani (se segui i suoi suggerimenti).

Studente Anonimo
Studente Anonimo
"Greatkekko":
Questo è un esercizio-tipo che potrebbe uscire all'esame
Quando qualcuno studia topologia "per l'esame" mi dispiace sempre un po'...
"dissonance":
[tex]\mathfrak{A}=\{ \emptyset, \mathbb{R}, (-\infty, 0) \cup (2, b) \mid b \in \mathbb{R} \}[/tex]
Greatkekko forse non se n'è accorta, ma manca [tex](2,+\infty)[/tex] (se abbiamo capito bene quali sono gli aperti).

Greatkekko
Ho modificato il messaggio secondo le correzioni che mi avete indicato, ho ricontrollato varie volta non dovrebbero esserci errori.
Chiedo scusa.

Quando dico che non sono in grado di scrivere delle motivazioni per le risposte che ho dato è perchè non ho capito bene la teoria e quindi attenendomi sono alla definizioni mi sento di dare queste risposte , che sono probabilmente senza alcun fondamento a causa del fatto che questo argomento non mi entra proprio in testa.
Ripeto anche un consiglio su come approcciare questa materia mi sarebbe molto utile , l'esercizio era una cosa in più.

Per Cirasa : non ho chiesto una soluzione.

Per Martino : non manca $ (2 , +oo) $ , il testo dell'esercizio è scritto correttamente .

Per dissonance : ho riscritto la formula , spero che ora non ci siamo più ambiguità.

Chiedo ancora scusa , se qualcuno è disponibile a darmi qualche consiglio ben venga.
Ringrazio in anticipo.

Studente Anonimo
Studente Anonimo
"Greatkekko":
Per Martino : non manca $ (2 , +oo) $ , il testo dell'esercizio è scritto correttamente.
Mi sono sbagliato, l'aperto che manca è [tex](-\infty,0) \cup (2,+\infty)[/tex]. Lo ottieni come l'unione dei [tex](-\infty,0) \cup (2,b)[/tex].

Studente Anonimo
Studente Anonimo
Io sono sempre estasiato dalla topologia :-D
"Greatkekko":
Poi dalla successione $x_n = 1/n$ con $n in NN$ si calcolino i punti di convergenza in $S$.
Per quanto riguarda questo punto puoi osservare che alcuni punti di $S$ hanno la proprietà che il solo loro intorno è tutto $RR$. Quindi ogni successione li ammette come "punti di convergenza". Poi ti puoi domandare se ce ne sono altri.

Si stabilisca se è:
(1) separato
(2) compatto
(3) connesso
(4) separabile
(5) a base numerabile
(I numeri li ho messi io). Per (1) devi vedere se puoi separare due punti distinti con aperti disgiunti. Per (2) devi vedere se da ogni ricoprimento aperto riesci ad estrarre un sottoricoprimento finito. Per (3) devi vedere se esistono due aperti non vuoti disgiunti la cui unione è tutto $RR$. Per (4) devi vedere se esiste un sottoinsieme denso numerabile. Per (5) devi andare in cerca di una famiglia di aperti indiciata su $NN$ che sia una base per la topologia.

Una semplice osservazione ti facilita il lavoro: cosa puoi dire dell'intersezione di due fissati aperti?

cirasa
Martino, se non sbaglio, hai scambiato (1) e (4)! :D
Uno spazio separato è uno spazio topologico per cui ogni coppia di punti distinti ammette intorni disgiunti, mentre uno spazio separabile è uno spazio che ammette un sottospazio denso e numerabile.

Studente Anonimo
Studente Anonimo
"cirasa":
Martino, se non sbaglio, hai scambiato (1) e (4)! :D
Uno spazio separato è uno spazio topologico per cui ogni coppia di punti distinti ammette intorni disgiunti, mentre uno spazio separabile è uno spazio che ammette un sottospazio denso e numerabile.
Hai ragione, ho modificato. Mi confondo sempre.. :P

Greatkekko
Innanzitutto ringrazio per le risposte.
Ora riguardo un pò il tutto e vedo se ho capito bene :-D

Solo una domanda per Martino : il ragionamento che proponi di fare vale per ogni esercizio e non solo per questo , giusto?

Studente Anonimo
Studente Anonimo
"Greatkekko":
Solo una domanda per Martino : il ragionamento che proponi di fare vale per ogni esercizio e non solo per questo , giusto?
E' una domanda un po' generica. Ogni esercizio va trattato secondo quello che è. Non c'è un algoritmo che permetta di risolvere gli esercizi di un dato argomento (in questo caso, topologia). Gli esercizi sono inventati dalle persone, quindi possono essere dei tipi più disparati.

Se per esempio ti chiedono se un certo spazio è separato devi prendere due punti arbitrari e vedere se riesci a separarli con aperti disgiunti. Ma questo è ovvio, si tratta di applicare la definizione di spazio separato. Se ti chiedono se un certo spazio è compatto devi prendere un arbitrario ricoprimento aperto e vedere se riesci ad estrarne sempre un sottoricoprimento finito. E anche questo è ovvio, si tratta di applicare la definizione di spazio compatto.

Se non ho ancora risposto in modo soddisfacente alla tua domanda allora vuol dire che non l'ho capita..

Greatkekko
No , sei stato chiarissimo e hai capito la domanda, ti ringrazio nuovamente!

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.