How Do Connected Subsets Prove the Union Is Connected?

[construed]

Hi, I'm having trouble understanding this proof.

Theorem. Let \{ S_{i} \} _{i \in I} be a collection of connected subsets of a metric space E. Suppose there exists i_{0} \in I such that for each i \in I, S_{i} \cap S_{i_{0}} \neq \emptyset.

Then \cup_{i \in I} S_{i} is connected.

Proof. Suppose S = \cup_{i \in I} S_{i} = A \cup B, where A and B are disjoint open subsets of S. For each i \in I,

S_{i} = ( A \cap S_{i} ) \cup ( B \cap S_{i} )​

expresses S_{i} as a union of disjoint open subsets.

(and the proof continues)

How can I show that A \cap S_{i} (or B \cap S_{i}) is indeed an open subset of S_{i}?

 

[Hurkyl]

Isn't that the very definition of the subspace topology?

 

[construed]

After some quick googling on subspace topologies:

The book I'm following (Introduction to Analysis, Maxwell Rosenlicht) doesn't refer to topological spaces in general, just metric spaces. It does define the subspace of a metric space as that metric space with a restricted underlying set and the same distance function - but doesn't mention that part of the definition of subspace topologies.

I'm trying to find a way to rigorously prove to myself that those are indeed open subsets of S_{i} - can this be done using any more basic results (e.g. definition of open subsets) regarding metric spaces? Or do I have to read about topological spaces and subspace topologies and prove that a metric space is a topological space?

This is my first attempt at learning maths past high school calculus, so please forgive me if I appear to be questioning the obvious ><

 

[Fredrik]

I was going to ask for your book's definition of "connected subset", but the beginning of the proof seems to answer that. A subset S is said to be connected if it's not the union of two disjoint open subsets of S. To understand this definition, you need to think about what is meant by "open subset of S", when S is a proper subset of the metric space. For example (1/2,1] isn't an open subset of ℝ, but it is an open subset of [0,1].

If X is a topological space, and S⊂X, we would define the topology on S (the choice of which subsets of S to call "open") by saying that a subset A of S is open if there exists an open subset U of X such that A=U⋂S. So "open with respect to the topology of X" isn't the same as "open with respect to the topology of S".

Your book is probably defining "open set" as a set U such that every x in U is an interior point of U. The definition of interior point uses the concept of "open ball", but if X is a metric space, and S is a proper subset of X with the metric inherited from X, an open ball in S isn't the same thing as an open ball in X. For example, the open ball in [0,1] with center 4/5 and radius 2/5 is (2/5,1].

 

[Hurkyl]

I'm trying to find a way to rigorously prove to myself that those are indeed open subsets of S_{i} - can this be done using any more basic results (e.g. definition of open subsets)

Yes; if you are using the definition I imagine, the proof is little more than just writing down the definitions of "U is open in X" and "U \cap S is open in S". You probably could have proved it in not much more time than it took to write this post. Assuming you are at least a little comfortable with sets and proofs, the only conceptual difficulty is to recognize the difference between "T is an open subset of S" and "T is an open subset of X".

The converse is a little tricker, but you can also prove that if U is an open set of S, then there is an open set V of X such that U = V \cap S.



(In the above, S denotes a subset of X, equipped with the "same" metric, as you'd expect)

 

[construed]

Thanks, I think I've got it-

To show that U is open in X => U \cap S is open in S.

For any p \in U \cap S, U contains some open ball in X, say B_{U}, with center p. Say B_{U} has radius r. Let B_{S} be the open ball in S with the same center p and radius r. Then B_{S} is the set of all points of B_{U} which are in S, so B_{S} = B_{U} \cap S. Now B_{S} \subset B_{U} \subset U and B_{S} \subset S, so that U \cap S contains B_{S}, an open ball in S with center p.

Is this correct?

 

[Fredrik]

Is this correct?

Yes.