for a cantor middle-half set K, I think it is one-dimensional because it is on a real line. But the book say that it is 1/2-dimensional.

Consider KxK, I think it is 2-dimensional because it is a square(containing many small squares) on a plane. But it is a 1-dimensional set. Why?