All Questions
5,183 questions
2
votes
3
answers
1k
views
Baire category theorem
Let's call the following conditions (1): $X$ is a complete metric space with metric $d$, $X = \cup_{n=1}^\infty A_n$. Let $\bar{A}$ denote the closure of $A$.
Let's call the following statement (2): ...
- 498
26
votes
4
answers
4k
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 ...
- 57.6k
5
votes
1
answer
968
views
Can topologies induce a metric? (revised)
This is a revised version of a question I already posted, but which patently was ill posed. Please give me another try.
For comparison's sake, the axioms of a metric:
Axiom A1: $(\forall x)\ d(x,x) =...
CommunityBot
- 1
13
votes
6
answers
3k
views
When does local invertibility imply invertibility?
Generally, local invertibility does not imply invertibility. However, for differentiable functions from $\mathbb{R}$ to $\mathbb{R}$ then surjectivity and local invertibility do imply invertibility.
...
- 65.4k
39
votes
3
answers
6k
views
Why do finite homotopy groups imply finite homology groups?
Why does a space with finite homotopy groups [for every n] have finite homology groups? How can I proof this [not only for connected spaces with trivial fundamental group]? The converse is false. $\...
- 20k
-2
votes
2
answers
931
views
Can topologies induce a metric?
Let {X,T} be a topology, T the set of open subsets of X.
Definition: Three points x, y, z of X are in relation N (Nxyz, read "x is nearer to y than to z") iff
there is a basis B of T and b in B ...
- 9,720
-4
votes
4
answers
678
views
What is the max number of points in R^3, interconnected by generic curves?
The largest complete graph that embeds in 2 dimensions is $K_4$, while the largest complete graph that embeds in 3 dimensions is $K_{\infty}$, right? However, I don't know any constructive proof of it....
- 118k
9
votes
2
answers
4k
views
Quotient of a Hausdorff topological group by a closed subgroup
Sorry if this question is below the level of this site: I've read that the quotient of a Hausdorff topological group by a closed subgroup is again Hausdorff. I've thought about it but can't seem to ...
- 8,828
2
votes
1
answer
265
views
Hausdorff Derived Series
There is a short section in the book Locally Compact Groups by Markus Stroppel (Chapter B7) on the notion of a "Hausdorff Solvable Group", which he defines as a topological group with a descending ...
- 56.6k
2
votes
1
answer
510
views
Are the C(S^n, S^n)'s homeomorphic ?
Let m, n > 1. Is it true that C(S^m, S^m), and C(S^n, S^n) are homeomorphic ?
[both endowed with the sup metric (or equivalently the compact-open topology)]
Generally, C(S^n, S^n), with n >= 1, is a ...
- 29.1k
8
votes
1
answer
655
views
Coherent spaces
In Proofs and Types, Girard discusses coherent (or coherence) spaces, which is defined as a set family which is closed downward ($a\in A,b\subseteq a\Rightarrow b\in A$), and binary complete (If $M\...
- 236k
14
votes
3
answers
1k
views
What is a monoidal metric space?
At time of writing, the highest rated answer to my question What is a metric space? is Tom Leinster's account of Lawvere's description of a metric space as an enriched category. This prompted my ...
CommunityBot
- 1
30
votes
5
answers
3k
views
The ants-on-a-ball problem
Suppose I put an ant in a tiny racecar on every face of a soccer ball. Each ant then drives around the edges of her face counterclockwise. The goal is to prove that two of the ants will eventually ...
- 25k
3
votes
1
answer
361
views
Is the coproduct of fibrant spectra fibrant again?
Define an $S^{1}$-spectrum $E$ to be a sequence of pointed simplicial sets $E_{n},\\ n=0,1,2...$ with assembly morphisms $\sigma_{n}:S^{1}\wedge E_{n}\rightarrow E_{n+1}$.
An $S^{1}$-spectrum $E$ is ...
- 52.6k
2
votes
2
answers
1k
views
When is a Hausdorff space metrisable?
This question may be a little too easy for this site, but I'll ask it anyway: when is a Hausdorff topological space metrisable?
- 45.7k
2
votes
3
answers
369
views
How do we know that a map $f: U \to Y$ extends to $\bar{U}$?
I read the following fact: if $U$ is an open subset of $P_k^1$ and $f: U \to U$ is an automorphism of schemes, then $f$ extends to an automorphism of $P_k^1$. Thus I was curious: is there a general ...
- 156k
4
votes
1
answer
448
views
Is there a name for this topology?
Let $X$ be a set and let $f: X\longrightarrow X$ be a function on $X$. Introduce a topology on $X$ by the following basis of open sets: for any subset $S$ of $X$, let $B_S$ be the set of forward ...
- 56.6k
3
votes
1
answer
242
views
Are mapping spaces paracompact?
Let X be a (finite dimensional) manifold. Consider smooth mapping space $$PX = C^\infty(I, X)$$ where I = [0,1] is the closed interval. Is this space paracompact? What if we fix a point x in X and ...
- 47.3k
4
votes
4
answers
1k
views
Boundary of planar region
Is there a necessary and sufficient condition for the boundary of a planar region to be a finite union of Jordan curves?
9
votes
1
answer
625
views
Stable presentable categories as module categories
There is a theorem of Schwede and Shipley which classifies categories of modules over an A∞ ring spectrum as those stable presentable (∞,1)-categories with a compact generator. Suppose I ...
- 27.2k
4
votes
1
answer
1k
views
properly interpreting Pi_0 in the homotopy exact sequence
Define the lens space L(m,n) as the quotient of S2m+1 by the action of the cyclic group ℤn⊂S1⊂ℂ*. We can create the infinite lens space L(∞,n) by a telescoping construction ...
- 27.2k
3
votes
4
answers
627
views
Has anyone studied the applications which map open sets to either open or closed sets?
Consider two topological spaces X,Y and a function f from X to Y.
Are the following concepts already in use? How are they called?
1) f sends open subsets of X to either open or closed subsets of Y.
...
- 7,329
14
votes
2
answers
984
views
Recovering a monoidal category from its category of monoids
What kind of additional properties and/or structures one needs to impose on the category
of (commutative or noncommutative) monoids of some monoidal category
so that one can recover the original ...
- 27.7k
6
votes
2
answers
1k
views
Computations in Knot Homology Theories
1) Relative to one another, how computable are the various knot homology theories? For example, how many crossings can we allow a knot and still hope to compute its Khovanov homology, versus its knot ...
- 7,800
5
votes
2
answers
482
views
Is a map that is locally fiberwise equivalent to a product a Hurewicz fibration?
The following is a result I feel like I've seen some form of before, but can't figure out how to prove or find a reference for. Suppose you have a map p:E \to B, with B paracompact, and suppose that ...
- 31.2k
1
vote
4
answers
5k
views
1
vote
2
answers
193
views
Something like Yoneda's lemma
This is inspired by The Whitehead for maps question.
Consider two maps f, g: X\to Y which happen to induce the same maps (of discrete spaces) ...
CommunityBot
- 1
5
votes
1
answer
1k
views
Equivalence of boundedness and total boundedness
Compact subspaces of metric spaces are totally bounded. In some spaces, however, this is equivalent to just being bounded. This (supposedly) holds in finite dimensional Banach spaces.
Can we ...
- 1,069
6
votes
1
answer
187
views
Homotopy type of stabilizers
Let X be a contractible metric space and G a topological group acting transitively on X (i.e. given any two points x,y \in X, there exists g \in G such that gx=y).
My question is the following: is it ...
- 52.6k
8
votes
1
answer
688
views
Universal covers of domains in complex projective space
The Uniformization Theorem states that the universal cover of a Riemann surface is biholomorphic to the extended complex plane, the complex plane or the open unit disk. Each of these three is a domain ...
- 8,828
11
votes
1
answer
336
views
cardinality of final coalgebras in Top
Let P be a polynomial functor from Top to Top, by which I mean a functor of the form P(X) = ∐i ≥ 0 Si × Xi where the Si are finite sets, all but finitely many of which are empty. ...
- 27.7k
10
votes
6
answers
2k
views
What is an example of a topological space that is not homotopy equivalent to a CW-complex?
It would also be nice if someone can explain this comment appearing on the Wikipedia page on CW-complexes:
"The homotopy category of CW complexes is, in the opinion of some experts, the best if not ...
- 27.5k
4
votes
2
answers
439
views
Legendrian homotopy of curves in a contact structure?
I'm aware of the great body of work on Legendrian knot theory in contact geometry, but suppose I'm curious just about homotopy and not isotopy. How does one understand the space of Legendrian loops ...
- 2,927