3
$\begingroup$

A problem in Lee's Introduction to Topological Manifolds got me thinking about this question. I can easily construct a locally euclidean space that is not second countable, by taking a disjoint union of $\mathbb R^n$ over an uncountable index set, but this is not connected of course. Similarly one can easily find connected first countable spaces that are not second countable, I presume an infinite dimensional Hilbert Space would suffice (no?).

The difficulty that I find in constructing such a space, is a lack of "tools". Essentially I can either take a disjoint union or a connected sum. It's appealing then to attempt to take an uncountable connected sum of n-manifolds, but it's not apparent to me if this is well-defined. For instance we can't enumerate an uncountable index, so we can't just attach one after another. Then it seems we would have to attach all of them at the same time, but because an $n$-manifold is second countable there can't be an enough open balls to do this.

Is there a clever way to construct such a space with connected sums? The only thing I can think of is to assume the negation of the axiom of choice and take the limit of an infinite chain of connected sums of $n$-manifolds, then this doesn't have to be countable.

If it isn't true how do you prove it? I can't see any clear reason why it would be false.

$\endgroup$
3
  • $\begingroup$ Just wondering, why can't you enumerate uncountable cardinals? You are assuming the axiom of choice, aren't you? :-) $\endgroup$
    – Asaf Karagila
    Mar 8, 2011 at 22:53
  • 1
    $\begingroup$ en.wikipedia.org/wiki/Long_line_(topology) $\endgroup$
    – yoyo
    Mar 8, 2011 at 23:02
  • $\begingroup$ I've never taken a formal course on set theory past the basics and wasn't aware that uncountable cardinals could be enumerated assuming the axiom of choice. $\endgroup$
    – JSchlather
    Mar 8, 2011 at 23:11

2 Answers 2

9
$\begingroup$

The long line.

$\endgroup$
3
  • $\begingroup$ Okay as a final question can you define a covering projection from the open long line to the real line? $\endgroup$
    – JSchlather
    Mar 8, 2011 at 23:15
  • 1
    $\begingroup$ @Jacob: no, the real line is simply-connected, hence has no nontrivial connected covers. $\endgroup$ Mar 9, 2011 at 2:20
  • 1
    $\begingroup$ it is a very short answer for a "long" space. $\endgroup$ Nov 19, 2020 at 15:26
1
$\begingroup$

Problem 3-8 in Lee constructs the line with two origins (maybe this is the problem that got you thinking about this question).

Well, what about a line with uncountably many origins?

$\endgroup$
3
  • $\begingroup$ It's actually a later question in chapter 10, in one of the questions he asks to prove that if X is an n-manifold then it's cover space is an n-manifold. As far as I can tell though there's no reason why you can't make a cover space of the circle out of the long line. Thank you though, that's a much more simpler construction than the long line. $\endgroup$
    – JSchlather
    Mar 9, 2011 at 1:56
  • $\begingroup$ @Jacob: You can't put a Riemannian metric on the long line, so it is not a covering space if the circle. $\endgroup$ Mar 9, 2011 at 2:24
  • $\begingroup$ See math.stackexchange.com/questions/307773. $\endgroup$
    – PatrickR
    Aug 16 at 0:29

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .