
Adam M. answered 12/27/19
PhD Mathematician with a Wealth of Teaching Experience
First, something is wrong with your second definition (it says that any subset of a topological space is open). What I think you mean is that if U⊆T, then U is open. This definition doesn't really say much about open sets, but really just states that a topology on X is just a prescription of which sets are open. A topology T of X is a collection of subsets of X with the following properties:
- X and ø are members of T
- Arbitrary unions of members of T are also members of T
- Finite intersections of members of T are also members of T
The members of T (which are subsets of X) are defined to be the open subsets of X.
You'll find several definitions because certain topological spaces have more structure than others. For example, your definition about using ε-balls only makes sense for a metric space (otherwise, being "ε away" doesn't mean anything).