Equivalenza topologica di due metriche

Desirio
Buonasera e scusate la domanda sciocca.. ma sono agli inizi e non riesco a districarmi con gli esercizi. Provo ad illustrarvi il problema..

Ho due metriche su R^n

1) $d' (x,y) = \sum|x_i - y_i|$
2) La metrica euclidea standard , quindi data da $d(x,y) = \sqrt (\sum(x_i-y_i)^2)$

Dovrei dimostrare che sono topologicamente equivalenti....

So che due metriche topologie equivalenti se ogni aperto di una topologia appartiene anche all'altra e viceversa...

Ma so anche che affinchè le due metriche inducano due topologie equivalenti devono esistere due costanti positive $C$ e $C'$ tali che $C d(x,y) \leq d'(x,y) \leq C' d(x,y)$ ....

Adesso non riesco applicando questa suddetta proposizione a trovare le costanti... Mi date una mano ?

L'idea sarebbe quella di trovare i valori delle costanti $C$ e $C'$ per cui valga $C d(x,y) \leq d'(x,y) \leq C' d(x,y)$ andando ad inserire le metriche date...

Quindi ad esempio dovrei dimostrare che esiste C tale che $C \sqrt (\sum(x_i-y_i)^2) \leq \sum(|x_i - y_i|)$ ma svolgendo i calcoli non riesco a trovare la costante C .... Perchè non saprei che calcoli fare.. :) :shock: Da dove comincio?

Grazie a tutti

Risposte
hydro1
Hint 1: prova che se $a_1,\ldots,a_n$ sono numeri reali nonnegativi, allora $\sqrt{\sum a_i^2}\leq \sum a_i$, svolgendo il quadrato opportuno.

Hint 2: vedi qui

Desirio
Grazie.. ma comunque non riesco ad andare oltre...

$\sum |x_i - y_i| \leq C \sqrt (\sum (x_i - y_i)^2) \leq C \sqrt(2) \sqrt (\sum (x_i - y_i)^2) $ ..... Il risultato dovrebbe tornare $\sqrt (2)$ ma non riesco a capire come si possa ottenere... Mi dai una mano? :)

Desirio
Pensavo di elevare tutto al quadrato ma ... non è una buona idea credo..

Bokonon
https://en.wikipedia.org/wiki/Lp_space#Definition
Quella che nel link viene chiamata "rectilinear distance" è la metrica di Manhattan o del Taxi ed è la tua $d'$

@Hydro Da statistico, mi piace molto che tu abbia fornito l'interpretazione che mi ha "cresciuto"

otta96
"Desirio":
So che due metriche topologie equivalenti se ogni aperto di una topologia appartiene anche all'altra e viceversa...

Ma so anche che affinchè le due metriche inducano due topologie equivalenti devono esistere due costanti positive $C$ e $C'$ tali che $C d(x,y) \leq d'(x,y) \leq C' d(x,y)$ ....

Ricorda che questo non è vero, è una condizione sufficiente, non necessaria.

Desirio
Grazie mille a tutti !

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