Techniques of differential topology in relativity