3
$\begingroup$

I had this question on my final:

Let $(X,d)$ be a metric space. Prove that the set of points where $X$ is locally connected is the countable intersection of open subsets of $X$.

I wasn't quite sure how to approach the problem; I know that the components of open subsets of $X$ are open if $X$ itself is locally connected, but I wasn't sure where to go with the information (if anywhere at all). Any hints? If possible, I'd prefer hints to begin with so I can work out a solution. After I have solved it, anyone can return to edit their solution to be more complete so as not to detract from the value of MSE as a reference site.

  • 2
    I didn't know the definition of "locally connected at $x$", but Wikipedia says it means: for every open set $V$ containing $x$ there exists a connected, open set $U$ with $x \in U \subset V$. Since we're in a metric space, we can surely replace the sets $V$ with open balls of small radius. So I'd try thinking about a countable intersection over $n\ge1$ of some sets obtained by taking the $V$'s to be open balls of radius $1/n$.2012-12-21
  • 0
    I can see how this statement holds for every component, but how could this hold across components? It should be a union of countable intersections.2012-12-21
  • 0
    @user108903: It seems like this definition implies the set of locally connected points would have to be open (which I'm not arguing, it's actually what I claimed on the final for the reason you just said). If it's open, it would have to be a $G_\delta$-set as we can just intersect itself countably many times.... Am I making a completely unjustified argument?2012-12-21
  • 0
    @gnometorule: Do you perhaps have a counterexample? Just asking...2012-12-21
  • 0
    I'm pretty confident I have an answer, but it still relies on show the set of points where $X$ is locally connected is open. Can anyone say it is the case that the set is not open? I'll post a solution below for comments regarding it...2012-12-21
  • 0
    A thing to point out: components of open sets need not be open. For example, if a space is totally disconnected, the components are points, which are rarely open in a metric space.2012-12-21
  • 0
    Yes, it was a mistake, sorry2012-12-21
  • 0
    @Clayton: I take that back (not only as someone has submitted a solution). As first commenter points out, alternative characterization as having a connected basis (and so a countable connected basis as it is metric) allows you to find show it's $G_\delta$ (I got confused by assuming that we talk about intersection of inner sets, but this is from the outside - if that makes sense).2012-12-21
  • 0
    @Clayton: components *are* open (and closed, too) in the case where there are only finitely many of them. But consider the components of $\bf Q$, for instance.2012-12-21
  • 0
    I miswrote that, for some reason I was assuming $X$ was locally connected as I wrote the question. Let me change it. Obviously my argument doesn't reflect anything to do with components...2012-12-21

2 Answers 2

2

Note first that contrary to the claim in comments, this set (call it $LC(X)$) need not be open.

Let $X \subset \mathbb{R}^2$ be the union of all the lines through the origin that have rational slope, with the Euclidean metric. $X$ is locally connected at the origin 0; indeed any open ball in $X$ centered at 0 is path connected. However, for any other point $y \in X$, any neighborhood of $y$ which is so small that it does not contain 0 is not connected (it contains a point on some other line), so $X$ is not locally connected at any other point. Thus $LC(X) = \{0\}$, which is certainly not open in $X$.

To show in general that $LC(X)$ is $G_\delta$, here's a hint: for any $R > 0$, let $LC_R$ be the set of all $x \in X$ such that there exists an $r_x < R$ and a connected open set $U_x$ with $x \in U_x \subset B(x,r_x)$. Show that $LC_R$ is open and that $LC(X)$ is the intersection of countably many of the $LC_R$. (There might be a simpler way but this is the first thing that occurred to me.)

  • 0
    Thank you! It's so clear and I missed this! I appreciate it. When you figure it out, please post and I'll accept your solution. Right now I have to leave, so I will be gone a few hours.2012-12-21
  • 0
    @Clayton: I think I got it, and added a hint.2012-12-21
  • 0
    I’ve not yet tried hard to make this work, but showing that $LC_R$ is open may not be too easy: I’ve an example showing that $U_x$ need not be a subset of $LC_R$.2012-12-22
  • 0
    @BrianM.Scott: Indeed. But we do have $U_x \cap B(x, R-r_x) \subset LC_R$. If $y \in U_x \cap B(x, R-r_x)$, take $r_y = d(x,y) + r_x$; then $r_y < R$ and $y \in U_x \subset B(y, r_y)$, so we can take $U_y = U_x$.2012-12-23
  • 0
    Looks good to me.2012-12-23
1

Let $LC(X)$ denote the set of points where $X$ is locally connected. If $LC(X)=\varnothing$, it clearly is a $G_\delta$-set as $\varnothing=\bigcap\varnothing$ and $\varnothing$ is open.

Suppose $LC(X)$ is nonempty. Then there is a point $x\in LC(X)$ such that for every open set containing $U$ such that $x\in U$, there is a connected open set $V\subseteq U$ such that $x\in V$. Note then, that every point in $V$ will be in $LC(X)$ since if $y\in V$, then any open set $U'$ with $y\in U'$ intersects $V$ and $V\cap U'\neq\varnothing$, thus it is an open set containing $y$, in which case we can take an open ball around $y$ small enough so that it is contained in the intersection and is connected. This says that we found an open set $V\subseteq LC(X)$ around an arbitrary point $x$, hence $LC(X)$ is open. Hence, $$LC(X)=\bigcap \{LC(X)\}.$$ Does the argument sound complete? It seems to me that it is, but I'm not going to claim without any kind of uncertainty that it is flawless.

  • 0
    I've yet to read through this, but I think you want to write $LC(X)=\bigcap \{LC(X)\}$. ;)2012-12-21
  • 0
    Yes, thank you. I'll edit that.2012-12-21
  • 0
    That looks right to me. The original question was likely either something else or an attempt to trick the examinees into overly elaborate thinking. :) It's also true in any topological space.2012-12-21
  • 0
    Thanks, I'll wait to see if I garner any more responses. It seems right to me, but I want to be sure one way or the other.2012-12-21
  • 0
    I don't think this is right. You can construct an open ball around $y$ which is contained in $V \cap U'$ but there is no reason why this ball has to be connected. Indeed, I don't think $LC(X)$ need be open at all, and I'll post a counterexample as an answer.2012-12-21