16
$\begingroup$

Let $\mathbf{R}^\omega$ be the set of all (infinite) sequences of real numbers. Then is this space connected in the uniform topology? How to determine this?

The uniform metric $p \colon \mathbf{R}^\omega \times \mathbf{R}^\omega \to \mathbf{R}$ is defined as follows: $$p((x_n),(y_n)) := \sup_{n\in Z^+} \min\{|x_n-y_n|,1\}$$ for sequences $(x_n)$, $(y_n)$ of real numbers.

$\endgroup$
6
  • 1
    $\begingroup$ Have you looked at arcwise connectedness? $\endgroup$ Feb 11, 2013 at 12:37
  • $\begingroup$ No, I haven't. What is that? $\endgroup$ Feb 11, 2013 at 12:38
  • 2
    $\begingroup$ It means that given $a\neq b$ in a topological space $X$, we can find $\gamma\colon [0,1]\to X$ continuous so that $\gamma(0)=a$ and $\gamma(1)=b$. Show that this implies connectedness. $\endgroup$ Feb 11, 2013 at 12:41
  • $\begingroup$ Yes, it does. But how to demonstrate that $\mathbf{R}^\omega$ is arcwise (or in other words path)-connected? How to given a rigorous proof of this fact? $\endgroup$ Feb 13, 2013 at 10:31
  • 2
    $\begingroup$ @DavideGiraudo I encountered this problem in Munkres's Topology (exercise 8 of section 23, 2nd edition) before the notion of arcwise (or path)-connected. Would you mind repeating your ideas and solutions in a more elementary way again? $\endgroup$
    – hengxin
    Feb 5, 2014 at 15:42

1 Answer 1

26
$\begingroup$

The set of bounded sequences is both open and closed in this topology, so the space is disconnected.

$\endgroup$
5
  • $\begingroup$ The component of $(0,0,0,\ldots)$ is homeomorphic to $\ell_\infty$, and so are all other components... $\endgroup$ Feb 11, 2013 at 22:13
  • $\begingroup$ How is the set of bounded sequences both open and closed in this set? $\endgroup$ Feb 13, 2013 at 10:29
  • 4
    $\begingroup$ It's open because it contains the ball of radius 1 around each of its points. It's closed because the same is true of its complement (and also because open subgroups of topological groups are always also closed). (There's nothing special about the radius 1; what I said would be equally true for any fixed positive radius.) $\endgroup$ Feb 13, 2013 at 19:59
  • 5
    $\begingroup$ Why does any fixed positive radius work? For instance, take $\epsilon = 2$. According to the definition of the metric $\rho(x,y) = \sup \{ \min \{\mid x_n −y_n \mid, 1 \} \}$, I don't think that you can still bound the differences of $x_n$ and $y_n$. What is wrong with my argument? $\endgroup$
    – hengxin
    Feb 5, 2014 at 15:34
  • 4
    $\begingroup$ @hengxin You're right; I had neglected the cutoff in the metric. So I should have said "any positive radius $<1$". $\endgroup$ Feb 5, 2014 at 16:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.