Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 7460

Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.

13 votes

"Anti" fixed point property

The set $X=\{0, \, 1\}$ endowed with the discrete topology shows that your question has a negative answer. In fact, the only non-constant self-map of $X$ different from the identity is the non-trivi …
Francesco Polizzi's user avatar
3 votes

Infinite "almost rigid" homogeneous $T_2$-space

Remark. This answer was written before the "infinite" assumption was added. Take the discrete space with two points. It is clearly homogeneous and Hausdorff, and its only self-maps are the two con …
Francesco Polizzi's user avatar
31 votes

Non-homeomorphic spaces such that taking away a point makes them homeomorphic

It is known that the Cantor set minus a point is (up to homeomorphisms) the unique zero-dimensional separable metric space without isolated points that is locally compact and not compact. In particula …
Francesco Polizzi's user avatar
2 votes
Accepted

Is every uncountable, homogeneous connected $T_2$-space isomorphic to a subspace of $\mathbb...

According to this search in $\pi$-base, the sigma product of incountably many copies of $\mathbb{R}$ (no longer in pi-Base as of 2023 March) and the boolean product topology on $\mathbb{R}^{\omega}$ a …
Francesco Polizzi's user avatar
6 votes

The underlying space of an affine open dense subscheme

Let $k$ be an algebraically closed field, ad take $X=\mathbb{P}^2_k$, $U=\mathbb{A}^2_k$. Then $X$ and $U$ are not homeomorphic, since $U$ contains two disjoint, Zariski-closed, irreducible subsets …
Francesco Polizzi's user avatar
7 votes

Inserting an open and simply-connected set between a compact set and an open set

This is only a partial answer, however it is too long for a comment. What you want is actually true for compact subsets $K \subset \mathbb{R}^n$, i.e. in any dimension, under the additional assumptio …
Francesco Polizzi's user avatar
3 votes

Which topological spaces contain dense simply connected subspace?

Any real semialgebraic set $X \subset \mathbb{R}^N$ has a dense, open subset that is a submanifold: just take the complement of its singular set. In fact, the singular set is Zariski closed in $X$, he …
Francesco Polizzi's user avatar
10 votes

The Klein bottle and the Heawood Conjecture

Denote by $N_c$ the non-orientable surface with $c$ pairwise disjoint crosscaps. So $N_1$ is the projective plane, $N_2$ is the Klein bottle, etc. Then the "reason" of Klein bottle's exceptionality i …
Francesco Polizzi's user avatar
1 vote

How do we know that a surface minus finite number of points is homotopy equivalent to a bouq...

The case $g=0$ being straightforward, let me focus to the case $g \geq 1$. Let $X=\Sigma_g -\{p_1, \ldots p_k\}$ be the topological space obtained by removing $k$ distinct points from a closed surface …
Francesco Polizzi's user avatar
66 votes
Accepted

Injectivity implies surjectivity

A famous result in this spirit is the Ax-Grothendieck theorem, whose statement is the following: Theorem. If $f \colon \mathbb{C}^n \to \mathbb{C}^n$ is an injective polynomial function then $f$ …
10 votes
Accepted

Are there any tests for knowing whether a topological space admits a CW structure?

Every compact topological manifold $M$ has the homotopy type of CW-complex. So, in the compact case, there is no such invariant of the type you are looking for (or, at least, such an invariant cannot …
Francesco Polizzi's user avatar
13 votes
Accepted

Original proof of the Borsuk-Ulam theorem

As J.C. Ottem suggests, the best thing in those cases is to look for the original paper. Wikipedia says According to (Matoušek 2003, p. 25), the first historical mention of the statement of this t …
Francesco Polizzi's user avatar
3 votes

Smooth paths on affine varieties

Edit. Peter Michor showed that the answer to the question is yes. By contrast, the following example shows that it is in general no when one replaces smooth path with regular path (I at first assumed …
Francesco Polizzi's user avatar
3 votes

How to prove that $\phi: \;\mathrm Mod(S_g)\to \mathrm Sp(2g, \mathbb{Z})$ is an epimorphism?

This is well-known material, so insted of a "detailed answer" let me give you a standard reference. See B. Farb and D. Margalit: A primer on mapping class groups, Theorem 6.4.
Francesco Polizzi's user avatar