This paper presents an existent and constructive proof of image fractal compression mappings and application in fractal image coding.

The principle of fractal image compression is that local self-similarity form a Local Iterated Function System.

The genius of the fractal coding is the high redundancy degree. In other words, the image contains many self- frame of reference, which has many self- resemblanced parts.