0

Suppose you enroll in a mathematics course with a special property: As you feel a certain important mathematical need which is identified by a professor, then you have to take lectures at that.

For example, in calculus, for most basic functions you can use a hand-waving approach for $h\to a$ and still get the right answer by substituting $h$ for $a$ at a certain point of the computation, they give certain trivial problems to show that sometimes the limits are not what they seem to be, such as limits in the form:

$$\lim_{x\to a}\frac{g(x)}{f(x)}$$

In which $f,g$ are polynomials and $f$ can be divided by $g$. But then, there are a lot of ways to construct functions, for example: Ways that use infinite processes, and for a lot of these examples, the handwaving approach fails. This shows that we can't just switch $h$ for $a$ at a certain point of the computation and that we need something better for computing these limits. If you perceived that, then you will need analysis lectures.

Other examples may need not only a better theory that explains a certain mathematical behavior$[1]$, but a theory that makes things easy, as Spivak says in his Calculus in Manifolds: "Chains and partitions of unity reduce questions about manifolds, where everything seems hard, to questions about Euclidean space, where everything is easy.

So in the case of topology, what mathematical phenomena are we trying to explain better? Or what are we trying to make easier?

For example, I am slightly aware that it has (also) to do with continuity but what are the elementary mathematical examples in which we need a better/truer/more economic theory (as the previously mentioned functions arising from infinite processes in the context of calculus/analysis)?

$[1]:$ In the previous example, not only a theory that better explains a mathematical behavior, but a theory that truly explains a mathematical behavior.

Red Banana
  • 23,956
  • 20
  • 91
  • 192

1 Answers1

1

Point-set topology is an extension of set theory. In set theory the question is which elements that belongs to which sets and in point-set topology the question is which elements that are close to certain sets.

If $S$ is a set then $\bar S$ is the set of all elements that are close to $S$. This closeness can be defined in different ways and by different methods and one of them is described in

https://en.wikipedia.org/wiki/Kuratowski_closure_axioms

The mathematical phenomena explained by general topology is abstract closeness.

Lehs
  • 13,791
  • 4
  • 25
  • 77