>>34
Sometimes this is not possible. Eg. If your compression function f is a map from n*m matrices to integers, it is not possible to compute the reverse map. The measure of the set of 1*1 matrices is the same as the measure of the set of integers. So multiple instances of the left space point to the right space. The function is not injective.