wolti
14-12-2002, 16:59
Für eine Metrik müssen ja folgende Sachen gelten.
1) d'(x,y) >= 0, d'(x,y) = 0 <=> x=y
2) d'(x,y) = d'(y,x)
3) d'(x,z) <= d'(x,y) + d'(y,z)
Die Beweise 1 und 2 sind trivial. Beweis 3 habe ich wie folgt angesetzt.
Beweis 3:
d'(x,z) <= d'(x,y) + d'(y,z)
d(x,z)/(1 + d(x,z)) <= d(x,y)/(1 + d(x,y)) + d(y,z)/(1 + d(y,z))
Wir können sicher sagen, da d(x,y) ja eine Metrik ist, dass d(x,z) <= d(x,y) + d(y,z) ist. D.h. es ist im schlimmsten Fall genau gleich groß. Ich setzte nur für d(x,z) diese Beziehung ein.
(d(x,y) + d(y,z))/(1+d(x,y) + d(y,z)) = d(x,y)/(1+d(x,y) + d(y,z)) + d(y,z)/(1+d(x,y) + d(y,z))
Nun sieht man sofort, dass das ganze stimmt, da.
d(x,y)/(1+d(x,y) + d(y,z)) sicher kleiner oder gleich d(x,y)/(1 + d(x,y)) und
d(y,z)/(1+d(x,y) + d(y,z)) sicher kleiner oder gleich d(y,z)/(1 + d(y,z)) ist.
Denke schon, dass dieser Beweis so gelten dürfte.
Grüße,
Wolti
1) d'(x,y) >= 0, d'(x,y) = 0 <=> x=y
2) d'(x,y) = d'(y,x)
3) d'(x,z) <= d'(x,y) + d'(y,z)
Die Beweise 1 und 2 sind trivial. Beweis 3 habe ich wie folgt angesetzt.
Beweis 3:
d'(x,z) <= d'(x,y) + d'(y,z)
d(x,z)/(1 + d(x,z)) <= d(x,y)/(1 + d(x,y)) + d(y,z)/(1 + d(y,z))
Wir können sicher sagen, da d(x,y) ja eine Metrik ist, dass d(x,z) <= d(x,y) + d(y,z) ist. D.h. es ist im schlimmsten Fall genau gleich groß. Ich setzte nur für d(x,z) diese Beziehung ein.
(d(x,y) + d(y,z))/(1+d(x,y) + d(y,z)) = d(x,y)/(1+d(x,y) + d(y,z)) + d(y,z)/(1+d(x,y) + d(y,z))
Nun sieht man sofort, dass das ganze stimmt, da.
d(x,y)/(1+d(x,y) + d(y,z)) sicher kleiner oder gleich d(x,y)/(1 + d(x,y)) und
d(y,z)/(1+d(x,y) + d(y,z)) sicher kleiner oder gleich d(y,z)/(1 + d(y,z)) ist.
Denke schon, dass dieser Beweis so gelten dürfte.
Grüße,
Wolti