Dimensions of fibers of generic continuous maps

In an earlier paper Buczolich, Elekes, and the author described the Hausdorff dimension of the level sets of a generic real-valued continuous function (in the sense of Baire category) defined on a compact metric space K by introducing the notion of topological Hausdorff dimension. Later on, the author extended the theory for maps from K to . The main goal of this paper is to generalize the relevant results for topological and packing dimensions and to obtain new results for sufficiently homogeneous spaces K even in the case case of Hausdorff dimension. Let K be a compact metric space and let us denote by the set of continuous maps from K to endowed with the maximum norm. Let be one of the topological dimension , the Hausdorff dimension , or the packing dimension . Define d(*)(n)(K) = inf{dim(*)(K/F) : F subset of K is sigma-compact with dim(T) F < n} We prove that is the right notion to describe the dimensions of the fibers of a generic continuous map . In particular, we show that provided that , otherwise every fiber is finite. Proving the above theorem for packing dimension requires entirely new ideas. Moreover, we show that the supremum is attained on the left hand side of the above equation. Assume . If K is sufficiently homogeneous, then we can say much more. For example, we prove that for a generic for all if and only if or for all open sets . This is new even if and . It is known that for a generic the interior of f(K) is not empty. We augment the above characterization by showing that for a generic . In particular, almost every point of f(K) is an interior point. In order to obtain more precise results, we use the concept of generalized Hausdorff and packing measures, too.