Let be a topological space. let be the collection of all the ultrafilters on .

we say that a set is open and belongs to the base of if

there is an open , such that .

Let be the space of ultrafilters (filters on with the discrete topology) as explained above.

Prove that if a sequence converge in for every large enough .

any help is appreciated...