Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
276 kez görüntülendi

$(X,d_1),(X,d_2)$ metrik uzaylar olmak üzere

$$d_1\overset{D}{\sim}d_2$$

$$\Leftrightarrow$$

$$ (\forall\epsilon>0)(\exists\delta_1,\delta_2>0)(\forall x\in X)[B^{d_1}(x,\delta_1)\subseteq B^{d_2}(x,\epsilon)\wedge B^{d_2}(x,\delta_2)\subseteq B^{d_1}(x,\epsilon)]$$

olduğunu gösteriniz.

Tanım: $(X,d_1),(X,d_2)$ metrik uzaylar olmak üzere

$$d_1\overset{D}{\sim}d_2$$

$$:\Leftrightarrow$$

$$ (\forall\epsilon>0)(\exists\delta_1,\delta_2>0)(\forall x,y\in X)$$$$[(d_1(x,y)<\delta_1\Rightarrow d_2(x,y)<\epsilon)\wedge (d_2(x,y)<\delta_2\Rightarrow d_1(x,y)<\epsilon)]$$

Lisans Matematik kategorisinde (11.2k puan) tarafından 
tarafından düzenlendi | 276 kez görüntülendi

1 cevap

0 beğenilme 0 beğenilmeme

İspat:

$$d_1\overset{D}{\sim}d_2$$

$$\Leftrightarrow$$

$$ (\forall\epsilon>0)(\exists\delta_1,\delta_2>0)(\forall x,y\in X)[(d_1(x,y)<\delta_1\Rightarrow d_2(x,y)<\epsilon)\wedge (d_2(x,y)<\delta_2\Rightarrow d_1(x,y)<\epsilon)]$$

$$\Leftrightarrow$$

$$ (\forall\epsilon>0)(\exists\delta_1,\delta_2>0)(\forall x,y\in X)[(y\in B^{d_1}(x,\delta_1)\Rightarrow y\in B^{d_2}(x,\epsilon))\wedge (y\in B^{d_2}(x,\delta_2)\Rightarrow y\in B^{d_1}(x,\epsilon))]$$

$$\Leftrightarrow$$

$$ (\forall\epsilon>0)(\exists\delta_1,\delta_2>0)(\forall x\in X)[B^{d_1}(x,\delta_1)\subseteq B^{d_2}(x,\epsilon)\wedge B^{d_2}(x,\delta_2)\subseteq B^{d_1}(x,\epsilon)].$$

(11.2k puan) tarafından 
tarafından düzenlendi
20,150 soru
21,692 cevap
73,165 yorum
1,633,525 kullanıcı