# Tagged Questions

**41**

votes

**2**answers

3k views

### Is every sigma-algebra the Borel algebra of a topology?

This question arises from the excellent question posed on math.SE
by Salvo Tringali, namely, Correspondence
between Borel algebras and topology.
Since the question was not answered there after some ...

**7**

votes

**6**answers

1k views

### Giving $Top(X,Y)$ an appropriate topology

I am not sure if its OK to ask this question here.
Let $Top$ be the category of topological spaces. Let $X,Y$ be objects in $Top$.
Let $F:\mathbb{I}\rightarrow Top(X,Y)$ be a function (I will ...

**2**

votes

**1**answer

318 views

### Different Metrics for Baire Space and their induced Topologies

The Baire-Space is the set of all infinite sequences of integers, i.e.
$$
\mathcal N = \omega^{\omega}.
$$
On this space usually the following metric is given
$$
d(\alpha, \beta) = \left\{ ...

**4**

votes

**4**answers

442 views

### Non-trivial convergent sequence in Stone-Čech compactification of $\mathbb{N}$

Why are there only trivial convergent sequences in the Stone-Čech compactification of $\mathbb{N}$?

**48**

votes

**11**answers

3k views

### How should one think about non-Hausdorff topologies?

In most basic courses on general topology, one studies mainly Hausdorff spaces and finds that they fit quite well with our geometric intuition and generally, things work "as they should" ...

**23**

votes

**2**answers

790 views

### Can the Lawvere fixed point theorem be used to prove the Brouwer fixed point theorem?

The Lawvere fixed point theorem asserts that if $X, Y$ are objects in a category with finite products such that the exponential $Y^X$ exists, and if $f : X \to Y^X$ is a morphism which is surjective ...

**22**

votes

**4**answers

2k views

### Topological Characterisation of the real line.

What is a purely topological characterisation of the real line( standard topology)?

**12**

votes

**6**answers

4k views

### How do you show that $S^{\infty}$ is contractible?

Here I mean the version with all but finitely many components zero.

**10**

votes

**7**answers

1k views

### Smooth classifying spaces?

Take G to be a group. I care about discrete groups, but the answer in general would be welcome too. There are the various ways to construct the classifying space of G, bar construction, cellular ...

**22**

votes

**4**answers

2k views

### Are the rationals homeomorphic to any power of the rationals?

I asked myself, which spaces have the property that $X^2$ is homeomorphic to $X$. I started to look at some examples like $\mathbb{N}^2 \cong \mathbb{N}$, $\mathbb{R}^2\ncong \mathbb{R}, C^2\cong C$ ...

**8**

votes

**5**answers

2k views

### totally disconnected and zero-dimensional spaces

When do the notions of totally disconnected space and zero-dimensional space coincide? From what I gather, there are at least three common notions of topological dimension: covering dimension, small ...

**12**

votes

**5**answers

1k views

### Topological characterization of the closed interval $[0,1]$

This question is related to question 92206 "What properties make $[0, 1]$ a good candidate for defining fundamental groups?" but is not exactly equivalent in my opinion. It is even suggested in one ...

**6**

votes

**1**answer

545 views

### A problem on infinite dimensional metric space

Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces verifying :
$X_{n}$ is a regular CW complex of constant local dimension $n$.
$X_{n}$ is of finite type, ...

**6**

votes

**2**answers

463 views

### Homotopy problem for infinite dimensional topological space II

This post here is a specification of this post.
Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of intrinsic metric spaces verifying :
$X_{n}$ have topological dimension $n$.
$X_{n+1}$ is ...

**4**

votes

**3**answers

474 views

### Uniquely geodesic and CAT(0) spaces?

Improvement after J-M Schlenker's comment below :
This post has been divided into two parts, the second part is here.
Question : Is a finite dimensional metric space, uniquely geodesic if and only ...

**1**

vote

**1**answer

330 views

### The space $\psi$

Is the space $\psi$ (described in problem 5I of L. Gillman and M. Jerison, Rings of continuous functions, Springer Verlag, 1976) a F-Z-space (i.e, space with $cl(X-Z(f))$ is a zero set for every $f$ ...

**-11**

votes

**1**answer

990 views

### Union of uniformly connected sets

I will call a set uniformly connected regarding some uniform space when it is connected regarding every entourage of this uniform space (entourages are considered as digraphs and it is taken strong ...

**43**

votes

**9**answers

9k views

### Galois Groups vs. Fundamental Groups

In a recent blog post Terry Tao mentions in passing that:
"Class groups...are arithmetic analogues of the (abelianised) fundamental groups in topology, with Galois groups serving as the analogue of ...

**58**

votes

**4**answers

7k views

### Does the inverse function theorem hold for everywhere differentiable maps?

(This question was posed to me by a colleague; I was unable to answer it, so am posing it here instead.)
Let $f: {\bf R}^n \to {\bf R}^n$ be an everywhere differentiable map, and suppose that at each ...

**37**

votes

**2**answers

3k views

### Cohomology and fundamental classes

Let X be a real orientable compact differentiable manifold. Is the (co)homology of X generated by the fundamental classes of oriented subvarieties? And if not, what is known about the subgroup ...

**25**

votes

**8**answers

3k views

### What is a metric space?

According to categorical lore, objects in a category are just a way of separating morphisms. The objects themselves are considered slightly disparagingly. In particular, if I can't distinguish ...

**19**

votes

**17**answers

6k 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:
...

**36**

votes

**8**answers

4k views

### What is a continuous path?

I would like some help, because I am getting mad trying to answer the following
Question: Let $X$ be a topological space, what is a continuous path in $X$?
Well, maybe you're getting nervous ...

**32**

votes

**7**answers

3k 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 \mapsto Y$ and $g: Y \mapsto X$?

**22**

votes

**7**answers

2k views

### When are there enough projective sheaves on a space X?

This question is being asked on behalf of a colleague of mine.
Let X be a topological space. It is well known that the abelian category of sheaves on X has enough injectives: that is, every sheaf ...

**24**

votes

**6**answers

1k views

### When factors may be cancelled in homeomorphic products?

It is easy to see that if $A\times B$ is homeomorphic to $A\times C$ for topological spaces $A$, $B$, $C$, then one may not conclude that $B$ and $C$ are homeomorphic (for example, take $C=B^2$, ...

**22**

votes

**3**answers

3k views

### Is “compact implies sequentially compact” consistent with ZF?

Over at the nForum, we've been discussing sequential compactness. The discussion led me to realise that I naively assumed that nets were simply Big Sequences, and that I could make a reasonable guess ...

**32**

votes

**1**answer

634 views

### Homeomorphisms and disjoint unions

Let $X$ and $Y$ be compact subsets of $\mathbb{R}^n$. Assume that $X \sqcup X \cong Y \sqcup Y$ (here $X \sqcup X$ is the disjoint union of two copies of $X$, considered as a topological space, and ...

**13**

votes

**8**answers

2k views

### References for homotopy colimit

(1) What are some good references for homotopy colimits?
(2) Where can I find a reference for the following concrete construction of a homotopy colimit? Start with a partial ordering, which I will ...

**10**

votes

**5**answers

6k views

### On the series 1/2 + 1/3 + 1/5 + 1/7 + 1/11 + …

It is well-known that
A: The series of the reciprocals of the primes diverges
My question is whether property A is in some sense a truth strongly tied to the nature of the prime numbers.
Property A ...

**27**

votes

**3**answers

2k views

### Independent evidence for the classification of topological 4-manifolds?

Is there any evidence for the classification of topological 4-manifolds, aside from Freedman's 1982 paper "The topology of four-dimensional manifolds", Journal of Differential Geometry 17(3) 357–453? ...

**22**

votes

**3**answers

442 views

### What sets of self-maps are the continuous self-maps under some topology?

An open question on MSE, http://math.stackexchange.com/questions/427634/a-topology-such-that-the-continuous-functions-are-exactly-the-polynomials , asks whether there is an infinite field and a ...

**20**

votes

**8**answers

1k views

### Self-containing structures

(This question is partly inspired by What is inter-universal geometry?.)
I have absolutely no background in Teichmuller theory or any related subject, but what I can follow of Mochizuki's description ...

**12**

votes

**4**answers

1k views

### What is the “right” universal property of the completion of a metric space?

I'm a little embarrassed to ask this one, but it could help for a class I'm teaching, so here goes:
Let $X$ be a metric space. We all know that $X$ admits a completion, which is a complete metric ...

**16**

votes

**3**answers

1k views

### The deep significance of the question of the Mandelbrot set's local connectedness?

I am given to understand that the celebrated open problem (MLC) of the Mandelbrot set's local connectness has broader and deeper significance deeper than some mere curiosity of point-set topology.
...

**9**

votes

**4**answers

900 views

### Elements of infinite order in a profinite group

Say G is a profinite group with elements of arbitrarily large order. Do elements of infinite order exist (A) if we assume G is abelian? (B) in general?
A start for (A): we can ask the same question ...

**7**

votes

**2**answers

385 views

### Potential connected non-Lie subgroup

This painful question is inspired by the question
"non-Lie subgroups" . Let R denote the real numbers. Let f be an discontinuous additive map from R --> R. Is it possible that the graph of f, inside ...

**5**

votes

**3**answers

1k views

### Where can I find a proof of the de Rham-Weil theorem?

Where can I find a proof of the de Rham-Weil theorem?
Does anyone know?

**12**

votes

**1**answer

662 views

### Idempotent measures on the free binary system?

Let $(S,*)$ be the free (non associative) binary system on one generator (so $S$ is just the set of terms in $*$ and $1$). There is an extension of $*$ to the space $P(S)$ of finitely additive ...

**8**

votes

**7**answers

793 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 ...

**7**

votes

**5**answers

908 views

### Do subalgebras of C(X) admit a description in terms of the compact Hausdorff space X?

In light of the well-known theorem of Gelfand that, bluntly put, ends up saying that unital abelian C*-algebras are the 'same' as compact Hausdorff topological spaces, I tried to compile a dictionary ...

**7**

votes

**4**answers

716 views

### nonhausdorff dimension

if $X$ is a topological space, a first step in making $X$ hausdorff is taking the quotient $H(X)=X/\sim$, where $\sim$ is the equivalence relation generated by: if $x,y$ cannot be seperated by ...

**27**

votes

**1**answer

2k views

### Is every connected scheme path connected?

Every (?) algebraic geometer knows that concepts like homotopy groups or singular homology groups are irrelevant for schemes in their Zariski topology. Yet, I am curious about the following.
Let's ...

**18**

votes

**1**answer

879 views

### Is $\mathbb{C}^2$ homeomorphic to $\mathbb{C}^2 - (0,0)$ with the Zariski topology?

A fellow grad student asked me this, I have been playing for a while but have not come up with anything. Note that $\mathbb{C}$ is homeomorphic to $\mathbb{C} - \{0\}$ in the Zariski topology - just ...

**18**

votes

**3**answers

1k views

### The Closure-Complement-Intersection Problem

Background
Let $A$ be a subset of a topological space $X$. An old problem asks, by applying various combinations of closure and complement operations, how many distinct subsets of $X$ can you ...

**11**

votes

**2**answers

435 views

### Noncontractible connected topological rings ?

Are there any non-contractible connected topological rings?
Of course, such a thing cannot be a (topological) algebra over the reals.
(I have a vague memory of having a glance at an erticle by ...

**8**

votes

**3**answers

594 views

### Localic locales? Towards very pointless spaces by iterated internalization.

One can think of locales as (generalizations of) topological spaces which don't necessary have (enough) points. Of course when one studies locales, one "actually" studies frames,
certain sorts of ...

**7**

votes

**3**answers

1k views

### Topological dimension versus cohomological dimension

This should be really well known but I don't seem to find a statement about it nor a question in MO answering this.
Consider a Compact Hausdorff topological space $X$. The cohomological dimension of ...

**6**

votes

**1**answer

158 views

### Fixed points and their continuity

Let $f : I^2 \to I$ be a continuous map, where $I := [0,1]$ is the unit interval. It is a basic fact that for each $y\in I$, the function $x \mapsto f(x,y)$ admits a fixed point. I want to ask whether ...

**4**

votes

**6**answers

938 views

### Spectra of $C^*$ algebras

Gelfand-Naimark structure theorem for $C^* $ algebras gives a canonical isometric * isomorphism between any commutative unital $C^* $ algebra $A$ and the algebra of continuous complex-valued functions ...