Kein Grund zur Verwirrung. Die konkrete Form von p spielt nur für eine Eigenschaft eine Rolle.
Dreiecksungleichung einfach
d(x,y)=∣p(x)−p(y)∣=∣p(x)−p(z)+p(z)−p(y)∣≤∣p(x)−p(z)∣+∣p(z)−p(y)∣=d(x,z)+d(z,y)
Noch einfacher ist die Symmetrie.
Für die Definitheit benötigt man den Nachweis, dass p injektiv ist.