  In this paper, we show that the domain of attraction of a compact
asymptotically stable submanifold of a finite-dimensional smooth manifold of an
autonomous system is homeomorphic to its tubular neighborhood. The compactness
of the attractor is crucial, without which this result is false; two
counterexamples are provided to demonstrate this.
