Connected set on topology - Contradiction

295 Views Asked by At

I have a major problem in understanding connected set!

Consider the set $X = (0,1]$. Now lets describe the following sets which can be considered as the basis for the topology on set $X$.

1) For all $b\in X$, all sets of the form $(0, b]$

2) For all $b\in X$, all sets of the form $(b, 1]$

Clearly above 2 groups of sets together can form the basis of the topology on set $X$. Now clearly we can $(0, x]\cup(x,1]$ is the disjoint union of the set $X$.

In the textbook it is written $(0,1]$ as connected BUT we can see it can be expressed as disjoint unions of open sets as above, Hence not connected! Kindly help.

PS: You can argue that sets of $(0, x]$ nature are not open, but they form the topology on $X$, hence they are open.

2

There are 2 best solutions below

4
On BEST ANSWER

Note that the topology that you have defined is not the standard topology on the interval $(0,1]$.

In the standard topology, as a subset of $\Bbb R$, or more concretely, the topology generated by the intervals $(p,q)$ where $p,q\in\Bbb Q$, as well $(p,1]$ where $p\in\Bbb Q$; in that topology the unit interval is connected.

But you changed the topology, so it might be that the space is no longer connected, or not Hausdorff anymore, and so on and so forth.

By the way, it should be pointed that your defined basis is in fact a pre-basis. The intersection of $(0,\frac12]$ and $(\frac13,1]$ is $(\frac13,\frac12]$ which does not contain any sets of the suggested basis.

1
On

You should be carefull, when you say that a set is connected, you are supposed to know what is the topology of the set that you're working. So, if you see the set $(0,1]$as a subset of $\mathbb{R}$ , then it is conected because its open sets are the the set of the form: $X\cap (0,1]$ where $X$ is an open set of $\mathbb{R}$, so your exemple is not correct if the topogy is the topology of $\mathbb{R}$, because the open sets on $\mathbb{R}$ are the open intervals, and the set $[b,1)$ can not be open in this topology.