Skip to main content

All Questions

Filter by
Sorted by
Tagged with
333 votes
34 answers
96k views

Why is a topology made up of 'open' sets? [closed]

I'm ashamed to admit it, but I don't think I've ever been able to genuinely motivate the definition of a topological space in an undergraduate course. Clearly, the definition distills the essence of ...
67 votes
10 answers
12k views

Non-homeomorphic spaces that have continuous bijections between them

What are nice examples of topological spaces $X$ and $Y$ such that $X$ and $Y$ are not homeomorphic but there do exist continuous bijections $f: X \to Y$ and $g: Y \to X$?
67 votes
22 answers
10k views

When has discrete understanding preceded continuous?

From my limited perspective, it appears that the understanding of a mathematical phenomenon has usually been achieved, historically, in a continuous setting before it was fully explored in a discrete ...
31 votes
17 answers
14k views

Applications of Brouwer's fixed point theorem

I'm presenting Brouwer's fixed point theorem to an audience that knows some point-set topology. Does anyone have any zippy / enlightening / cool applications or consequences of it? So far, I have: ...
16 votes
12 answers
5k views

Examples of $G_\delta$ sets

Recall that a subset $A$ of a metric space $X$ is a $G_\delta$ subset if it can be written as a countable intersection of open sets. This notion is related to the Baire category theorem. Here are ...
coudy's user avatar
  • 18.7k
48 votes
19 answers
17k views

What is your favorite proof of Tychonoff's Theorem?

Here is mine. It's taken from page 11 of "An Introduction To Abstract Harmonic Analysis", 1953, by Loomis: https://archive.org/details/introductiontoab031610mbp https://ia800309.us.archive....
30 votes
8 answers
3k views

Cryptomorphisms

I am curious to collect examples of equivalent axiomatizations of mathematical structures. The two examples that I have in mind are Topological Spaces. These can be defined in terms of open sets, ...
13 votes
5 answers
1k views

Connectedness in the plane

There are several open problems in topology which concern connectedness and subsets of the plane. The biggest of these is undoubtedly: Question. Does every non-separating plane continuum have the ...
Forever Mozart's user avatar
37 votes
14 answers
5k views

What are interesting families of subsets of a given set?

Motivation The usual starting point of both Topology and Measure Theory is the definition of a family of subsets of a set $S$. Indeed, one defines a topology on $S$ to be a family of subsets ...
José Figueroa-O'Farrill's user avatar
31 votes
13 answers
6k views

Classic applications of Baire category theorem

I've seen Baire category theorem used to prove existence of objects with certain properties. But it seems there is another class of interesting applications of Baire category theorem that I have yet ...
15 votes
3 answers
1k views

Why it is convenient to be cartesian closed for a category of spaces?

In 1967 Steenrod wrote what later became a quite celebrated paper, A convenient category of topological spaces (Michigan Math. J. 14 (1967) 133–152). The paper conveys the work of many (among the most ...
Ivan Di Liberti's user avatar
8 votes
1 answer
716 views

Topological fraction rings and fields

Linked to this question and as a sequel to my answer of it. Let $R$ be a topological (commutative, unital) ring and set $S$ be a submonoid of $(R,\times,1_R)$. Let $$ s_{frac}\ :\ R\times S\to S^{-...
Duchamp Gérard H. E.'s user avatar