Definition Via Convergence
The category of topological spaces can also be defined via a convergence relation between filters on X and points of x. This definition demonstrates that convergence of filters can be viewed as a fundamental topological notion. A topology in the usual sense can be recovered by declaring a set A to be closed if, whenever F is a filter on A, then A contains all points to which F converges.
Similarly, Top can be described via net convergence. As for filters, this definition shows that convergence of nets can be viewed as a fundamental topological notion. A topology in the usual sense can be recovered by declaring a set A to be closed if, whenever (xα) is a net on A, then A contains all points to which (xα) converges.
Read more about this topic: Characterizations Of The Category Of Topological Spaces
Famous quotes containing the word definition:
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)