Skip to main content
OlympiadHQ

Browse · MathNet

Print

Bulgaria

Bulgaria algebra

Problem

Let be a set with elements and let be functions. Prove that there exist functions such that for any .
Solution
Let and set and . Since then . On the other hand, $$ d(a_n, a_n) = 0 = d'(a_n, a_n) \text{ and hence } d'(x, y) = d(x, y).

Techniques

Existential quantifiersOther