Metryka Marcin: ρ(x−y)=|x−y], mam sprawdzić czy to jest metryką. 1. ρ(x,y) ≥ 0 ∧ ρ(x,y)=0 ⇔x=y |x−y|≥0? Oczywiście. dla x=y mamy |y−y|=0 ⇒ 0=0 − Prawda 2. ρ(x,y)=ρ(y,x) |x−y]=|y−x| Skoro z def |x]=|−x|, to można to zapisać tak |x−y]=|−(y−x)|, więc to również jest spełnione. 3. ρ(x,y) ≤ p(x,z) + ρ(z,y) Tutaj pojawia się problem. |x−y| ≤ |x−z| + |z−y| − jak to udowodnić?

ICSP: |x − y| = |x − z + z − y| ≤ |x − z| + |z − y|

Marcin: o matko, faktycznie