Self-similar sets in complete metric spaces

We develop a theory for Hausdorff dimension and measure of selfsimilar sets in complete metric spaces. This theory differs significantly from the well-known one for Euclidean spaces; The open set condition no longer implies equality of Hausdorff and similarity dimension of self-similar sets and that K has nonzero Hausdorff measure in this dimension. We investigate the relationship between such properties in the general case.