For every no more than
countable ordinal number α we shall define an ordinal number φ(α) such that for
every compact metric space X with indX ≤ α we have IndX ≤ φ(α) and there
exists a compact metric spaces Xα with indXα= α, IndXα= φ(α), where indXα
and IndXα mean small and large transfinite inductive dimensions respectively. In
particular we now extend the author’s previous result on existence of compact metric
spaces with noncoinciding transfinite dimensions.