Spazi metrici.

anto_zoolander
Ciao :-D

Avevo una perplessità sugli spazi metrici.
Se $(X,d)$ è uno spazio metrico e $YsubseteqX$ allora $(Y,d_(YtimesY):=d’)$ è ancora spazio metrico(?)

La mia considerazione è data dal fatto che $d’(x,y)=d(x,y) forallx,y inY$
Pertanto banalmente soddisfa le tre proprietà lo spazio metrico.

Inoltre $d’(x,y)=d(x,y) inRR,forall x,y inY$
Pertanto non ha nemmeno particolari problemi di chiusura.

Diciamo che la perplessità è data dalla correttezza di quanto ho scritto :-D

Risposte
dissonance
Si. Ogni sottoinsieme di uno spazio metrico è ancora uno spazio metrico con la distanza definita in modo ovvio.

anto_zoolander
Perfetto grazie :-D

anto_zoolander
Ho un’altra domanda :-D

Dovevo mostrare che,
sia $(X,d)$ uno spazio metrico e sia $YsubsetX$ non vuoto.
$Y$ è aperto se e solo se $Y$ è unione di aperti.

Se $Y$ è aperto allora è unione del solo insieme $Y$, fine. È corretto?
Io ho pensato al fatto che posto $Y=Y_1$ allora $bigcup_(j=1)^(1)Y_j={x inX:x inY_1}=Y$

Ernesto011
Detto cosí è banalissimo.
Forse dovevi dimostrare "Un insieme é aperto se e solo se è unione di palle aperte"?

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