Yes, that argument looks correct.

Another approach would be to look at the map defined by , where . This map is a homeomorphism from T (with the metric d) to with the euclidean metric. The set f(T∩A) is a closed, bounded subset of , hence compact, from which it follows that T∩A is also compact.