Some applications of ultrafilters in topology