I'm not an expert in analysis, but isn't (0,2) already of type 1? You don't need to decompose it further, do you?
A theorem in Taylor (General Theory of Functions and Integration) states:
R is the real line
Theorem: If E is an open set in R, E can be expressed as a countable (possibly finite) union of disjoint sets E1, E2,... where each En is one of the following:
1) {x: a<x<b}
2) {x: x<b}, b in R
3) {x: a<x}, a in R
Forget the proof. I can't even understand the theorem. I try to come up with an example but the furthest I get is:
(0,2) is the sum of (0,1) and (1,2), which is wrong because 1 is missing. The only way I can see is (0,1) and [1,2) but this isn't one of the conditions above.
Any ideas?
Intersting observation. But then the theorem is meaningless. It could be expressed as the intersection of (0,2) and 0, but the theorem is still vacuous. No?: If E is an open set it can be expressed as intersection of E and 0, and E and 0 are disjoint (if E doesn't contain 0, as in example).
Not all open sets are open intervals. How about this set:
It's open (that is, every point in the set contains a neighborhood that's also in the set), but it's not an open interval.
What this theorem is saying is that all open sets of any kind can be written as combinations of only certain kinds of open sets.
If you will give a page number in Taylor, I will look up what you are allowed to use.
Here is the basic idea. A component is a maximally connect subset. Any component of an open set is open. Two distinct components must be disjoint otherwise they would not be maximum.
Example: is an open set with three components.
Given any open, set each of its points must belong to one of its components. Remember they are pair-wise disjoint. Because the set of rationals is countable that collection of components must be countable.
Thanks for response. I was just about ready to type the whole damn thing (printed out LaTex code from tutorial):
Taylor, Fist Ed (1965) Theorem 2-3 IV, pg 55
As for the examples, it seems to me that if you start off by defining E as a union of disjoint open sets, the theorem is trivial: A union of disjoint open sets can be expressed as a union of the same disjoint open sets.
Since others are interested, maybe I'll struggle through copying the theorem from Taylor
"THE STRUCTURE OF OPEN SETS IN R
The nature of open sets in R is made explicit by the following theorem, which has no counterpart for open sets in Rk, . (yeahhhhh!)
Theorem 2-3 IV. If E is an open set in R such that , and , E can be expressed as a countable (possibly finite) union of disjoint sets E1, E2,..., where each En is a non-empty open set of one of the following types:
(i) a finite open interval {x : a<x<b},
(ii) a left-semiinfinite open interval {x : x<b}, where ,
(iii) a right-semiinfinite open interval {x : a<x}, where ."
I'm just looking for a simple example of the theorem. If E is (0,2) give an example of E1, E2, ... Note E satisfies the premise.
Ackbeet says E1=(0,2) and E2=0, then E is the union of two disjoint open sets. Is that it? Then I'm totally at a loss as to what the theorem is all about.
Sorry, but I don't understand maximally connected subsets, and you don't haveto explain, just write me off as dumb.
If then as Ackbeet mentioned, E is already of type 1, so your decomposition would just be E itself. If you take Ackbeet's example, then your decomposition will be with and . The point of this theorem is to give us information about open sets which we do not know beforehand to have this structure. For example, if is a continuous function, then is an open set, and this theorem gives us a lot of information about how it 'looks'.
Was just about to give up on this when I found the following:
Elements of the Theory of Functions ... - Google Books
According to Kolmogorov:
Theorem: Every open set on the real line is the sum of a countable number of disjoint intervals.
Now that makes perfectly good sense. There is no mention of disjoint open intervals. So (0,2) is (0,1) and [1,2).
It may be that Taylor's version is a more encompassing one familiar only to the cognizanti. If not, it makes you wonder about his proof.
There are only three basic forms of connected open proper subsets of real numbers: .
The theorem means: Any open set of real numbers can be written as a countable union of pairwise disjoint basic open connected sets.
The set therefore is an open set.
The set is a basic open set by definition.