Repräsentantensystem für x ~ y ⇔ x = 2^k * y bestimmen

Question

gesucht ist ein Repräsentantensystem für die Äquivalenzrelation x ~ y ⇔ x = 2^k * y.

Danke.

Answer 1

Jede positive reelle Zahl kann man durch Skalierung mit einer Zweierpotenz ins Intervall [1; 2) bringen.