(p,q) = 1 olacak şekilde p/q yü doğal sayılara götüren 1-1 ve örten fonksiyon bulabilir miyiz?
Kuralını bulamasak da öyle bir fonksiyonun olduğunu söyleyebiliriz.
Ilgili: http://matkafasi.com/6566/z-ile-q-birebir-eslenebilir-mi#a6580
İpucu:
g:N→Z ve h:Z→Q birebir örten olacak şekilde bul.
f=h∘g:N→Q birebir örten olacaktır.
Yalnız istenen Q→N dir.
f:N→Q birebir örten ise f−1:Q→N vardır ve birebir örtendir.