In a compact space, every net has a convergent subnet

Solution 1:

Yes, this is the standard way. With nets we often see this "product trick" to construct subnets. Also, using reversely ordered neighbourhoods is a common theme as well. You could compare your write-up with mine here, e.g., and see that is essentially the same.

Choosing elements of linear orders

Is it true that the commutators of the gamma matrices form a representation of the Lie algebra of the Lorentz group?

Properties of 4 by 4 Matrices

Intuition behind curl identity

What happens to a function when it is undefined?

A group of order $120$ has a subgroup of index $3$ or $5$ (or both)

Why is the Leibniz rule a sufficient ingredient in the construction of the tangent space?

Which hot math research fields became insignificant later on?

Can any two disjoint nonempty convex sets in a vector space be separated by a hyperplane?

Does there always exist an even $m$ that is a multiple of exactly $n$ of the numbers $1$, $2$, ..., $2n$?

An asymptotic expression of sum of powers of binomial coefficients.

Is there an interpretation of higher cohomology groups in terms of group extensions?