4
$\begingroup$

What is the role of Topology in Mathematics? Is it like Logic that you need in every areas of math?

$\endgroup$
1
  • 1
    $\begingroup$ I have removed the (constructive-mathematics) because I am not sure if you actually mean to restrict your question to the context of constructive mathematics. If that is indeed the case, please feel free to put the tag back, but also to add a line clarifying that your question should be addressed in that context (instead of a more general one). $\endgroup$ Oct 5, 2012 at 15:16

2 Answers 2

11
$\begingroup$

Topology deals with generalizations of the intuitive concept of "closeness", as in point $a$ lies close to point $b$. It does so, however, without requiring an actual measure of closeness, like for example $||b-a||$.

Topology thus tends to play an important role in those areas of mathematics where such a concept of "closeness" can be applied. Function analysis, for example, deals (amongst other things, of course) with the many different ways that one can define closeness of two functions.

But topology also has strong connections to set theory, and thus to logic. It thus sometimes pops up even in areas where it is not immediatly obvious that there is any meaningfull definition of "close".

One beautifull example is the compactness theorem in logic. In it's usual form, that theorem says that for an arbitrary (infinite) set of logical assumptions to be consistent it is sufficient for every finite subset to be consistent. Somewhat surprisingly, there's a topological interpretation of that theorem. By introducing a suitable topology on the set of all consistent sets of formulas, the theorem becomes equivalent to the compactness (in the topological sense) of a certain set.

Other connections between logic and topology arise from the study of ultrafilters and nets, which are generalizations of the concept of convergence. Using these concepts, one can, for example, construct a model of an (arbitrarily large!) set of formulas if one assumes that every finite subset has a model.

(Logical formula refers to first-order logic here)

$\endgroup$
2
  • 2
    $\begingroup$ +1 pretty nicely explained. Though I usually think the natural generalisation of closeness to be a uniformity. $\endgroup$ Oct 5, 2012 at 15:38
  • $\begingroup$ Hm, guess I interpreted topology more broadly than as just the study of topological spaces. Uniformities are then a topological concept, just as topological spaces are. $\endgroup$
    – fgp
    Oct 5, 2012 at 16:06

You must log in to answer this question.