Barrapunto

Ya que hablamos en términos matemáticos, ¿no será más bien funciones inyectivas?

No, no tiene nada que ver con ser inyectiva, se refiere a funciones que son fáciles de calcular al derecho pero difíciles de calcular al revés:

http://en.wikipedia.org/wiki/One-way_function [wikipedia.org]

Puedes tener una función no inyectiva pero que sea muy difícil encontrar dos elementos x e y tales que f(x)=f(y).

La orden md5sum de Unix sería un ejemplo (aunque malo, porque ya se le han encontrado colisiones).

Querrás decir que es malo porque se pueden encontrar colisiones con un esfuerzo menor del que debería necesitarse (deberías generar 2^64 mensajes para que hubiera un 50% de posibilidades de que dos de ellos colisionaran, o 2^127 para tener un 50% de encontrar uno que colisionara con uno dado, en la práctica se han encontrado ataques que reducen _mucho_ estos números), no por el simple hecho de que se hayan encontrado colisiones.