Author |
Topic: About the boundary of the bounded region (Read 6241 times) |
|
immanuel78
Newbie
Gender:
Posts: 23
|
|
About the boundary of the bounded region
« on: Jun 14th, 2007, 12:08am » |
Quote Modify
|
Let G be a bounded region in C. Then the boundary of G is the union of closed paths. At a glance, it is trivial but I can't prove it.
|
|
IP Logged |
|
|
|
Obob
Senior Riddler
Gender:
Posts: 489
|
|
Re: About the boundary of the bounded region
« Reply #1 on: Jun 14th, 2007, 10:33am » |
Quote Modify
|
For one thing, it is necessary that you consider a single point to be a closed path, in order for a punctured disc to have boundary that is a union of paths. But then the boundary is the union of its points. Of course, this is not what is intended. So the first thing to do is to more precisely define what is meant by the boundary being the union of closed paths. Perhaps each component of the boundary can be parameterized by a closed path, or something like that.
|
|
IP Logged |
|
|
|
Michael Dagg
Senior Riddler
Gender:
Posts: 500
|
|
Re: About the boundary of the bounded region annulus.PNG
« Reply #2 on: Jun 14th, 2007, 11:07am » |
Quote Modify
|
Here is an idea...
|
|
IP Logged |
Regards, Michael Dagg
|
|
|
Obob
Senior Riddler
Gender:
Posts: 489
|
|
Re: About the boundary of the bounded region
« Reply #3 on: Jun 14th, 2007, 12:01pm » |
Quote Modify
|
I think in the case of the annulus the way to do it is that the boundary is the union of the two boundary circles. This shouldn't be an issue of making the region the interior of the regions, and we shouldn't need to orient the paths and have cancellation either.
|
|
IP Logged |
|
|
|
immanuel78
Newbie
Gender:
Posts: 23
|
|
Re: About the boundary of the bounded region
« Reply #4 on: Jun 14th, 2007, 10:31pm » |
Quote Modify
|
There is a modification in the problem. Let G be a bounded region in C. Then the boundary of G is the union of a finite number of closed paths. (Here we assume that a single point is not a closed path and a path is a continuous function on [a,b])
|
« Last Edit: Jun 14th, 2007, 10:43pm by immanuel78 » |
IP Logged |
|
|
|
Obob
Senior Riddler
Gender:
Posts: 489
|
|
Re: About the boundary of the bounded region
« Reply #5 on: Jun 15th, 2007, 12:09pm » |
Quote Modify
|
Under this modification, the only way this could even possibly be true is if Michael_Dagg's interpretation of the problem is intended. But I'm not sure that will fix things either. For instance let A be the Cantor set obtained from the unit interval by removing middle thirds successively. Then (0,1) x (0,1) - A x A is a region in the complex plane, after identifying C with R^2, since the Cantor set is closed. But I think you'll have one heck of a time writing the boundary as a finite number of closed paths, in any interpretation. Maybe it can be done, but I doubt it.
|
« Last Edit: Jun 15th, 2007, 12:10pm by Obob » |
IP Logged |
|
|
|
Michael Dagg
Senior Riddler
Gender:
Posts: 500
|
|
Re: About the boundary of the bounded region
« Reply #6 on: Jun 15th, 2007, 3:58pm » |
Quote Modify
|
My previous remark was intended to promote discussion. Obob, your remark is absolutely correct: if one-point sets are to count as closed paths, then every set whatsoever is the union of closed paths.
|
|
IP Logged |
Regards, Michael Dagg
|
|
|
Felix.R
Newbie
Posts: 7
|
|
Re: About the boundary of the bounded region
« Reply #7 on: Jun 15th, 2007, 11:15pm » |
Quote Modify
|
I don't think I have ever seen this problem demonstrated as it is stated in the first version explicitly. But not knowing very much about a Cantor set as you describe, but if you make one or more holes on the real line as in removing the middle thirds (I don't know what you mean by "successively" because nothing will change regardless of the order in which they are removed) that individual point sets must surely be closed. For example, if we take each individual point of an arc in C as a closed region then this arc is a closed region. Is it simply connected? Looks like it is.
|
|
IP Logged |
|
|
|
Felix.R
Newbie
Posts: 7
|
|
Re: About the boundary of the bounded region
« Reply #8 on: Jun 16th, 2007, 5:22pm » |
Quote Modify
|
I know now what you mean by removing middle thirds successively. Isn't the region (0,1) x (0,1) really different than the product of the Cantor set A? I mean A doesn't contain certain points while (0,1) x (0,1) contains all points bounded by (0,1) x (0,1). This is an interest topic. The general result seems to only make sense when the situation is exactly like what the other member posted about one point sets being closed paths. This leads me to think that there is an equivalence relation between one point sets and disjoint one point sets in this same context. After all, how much different is a disk with multiple (nonoverlapping) punctures on the real line that meets the requirements of your A x A region compared to a disk with a single puncture?
|
« Last Edit: Jun 16th, 2007, 5:23pm by Felix.R » |
IP Logged |
|
|
|
Felix.R
Newbie
Posts: 7
|
|
Re: About the boundary of the bounded region
« Reply #9 on: Jun 16th, 2007, 5:53pm » |
Quote Modify
|
I realized I actually mean overlapping punctures for then the region would not be equivalent to your A x A region.
|
|
IP Logged |
|
|
|
Obob
Senior Riddler
Gender:
Posts: 489
|
|
Re: About the boundary of the bounded region
« Reply #10 on: Jun 16th, 2007, 7:33pm » |
Quote Modify
|
I think that the correct statement is that every component of the boundary can be parameterized by a closed path. In general, uncountably infinitely many such paths will be needed, as in the example of (0,1) x (0,1) - A x A, where A is the Cantor set. Moreover, closed points are closed paths in this interpretation.
|
|
IP Logged |
|
|
|
immanuel78
Newbie
Gender:
Posts: 23
|
|
Re: About the boundary of the bounded region
« Reply #11 on: Jun 17th, 2007, 10:03am » |
Quote Modify
|
Obob, I have a question. Is (0,1) x (0,1) - A x A connected?
|
|
IP Logged |
|
|
|
Obob
Senior Riddler
Gender:
Posts: 489
|
|
Re: About the boundary of the bounded region
« Reply #12 on: Jun 17th, 2007, 11:20am » |
Quote Modify
|
Yes it is, Immanuel. Suppose (a,b) and (c,d) are in S = (0,1) x (0,1) - A x A. Then either a or b is not in A. If a is not in A, then {a} x (0,1) is contained in S. In particular, (a,b) is connected by a path to some point (a,e) in S, where e is not in A. Then (0,1) x {e} is contained in S. Next note that as before either {c} x (0,1) or (0,1) x {d} is contained in S. But {c} x (0,1) intersects (0,1) x {e}, and (0,1) x {d} intersects {a} x (0,1). So in the case where a is not in A, we can join (a,b) to (c,d) by traveling along horizontal or vertical paths alone. The same result holds if b is not in A. Therefore S is path connected, and its boundary has uncountably infinitely many components.
|
|
IP Logged |
|
|
|
Obob
Senior Riddler
Gender:
Posts: 489
|
|
Re: About the boundary of the bounded region
« Reply #13 on: Jun 17th, 2007, 11:56am » |
Quote Modify
|
More generally, if A is any subset of a path-connected topological space X, then X x X - A x A is path-connected (possibly empty), by the same argument as above.
|
|
IP Logged |
|
|
|
Eigenray
wu::riddles Moderator Uberpuzzler
Gender:
Posts: 1948
|
|
Re: About the boundary of the bounded region
« Reply #14 on: Jun 20th, 2007, 8:39pm » |
Quote Modify
|
on Jun 15th, 2007, 12:09pm, Obob wrote:For instance let A be the Cantor set obtained from the unit interval by removing middle thirds successively. Then (0,1) x (0,1) - A x A is a region in the complex plane, after identifying C with R^2, since the Cantor set is closed. But I think you'll have one heck of a time writing the boundary as a finite number of closed paths, in any interpretation. Maybe it can be done, but I doubt it. |
| A simpler example (but with only countably many components) is to let X = {0} u {1/n : n=1,2,...}, or more generally any compact set with infinitely many components. Then D-X has boundary a circle plus infinitely many points. on Jun 16th, 2007, 7:33pm, Obob wrote:I think that the correct statement is that every component of the boundary can be parameterized by a closed path. |
| This doesn't work either. If X is compact, connected, but not path-connected (e.g., the topologist's sine curve), and D is an open disc containing X, then the boundary of D-X is the disjoint union of a circle and X, which is not the continuous image of a circle. On the other hand, if the requirement is only that the boundary is a (non-disjoint) union of paths, then it's trivial.
|
|
IP Logged |
|
|
|
Obob
Senior Riddler
Gender:
Posts: 489
|
|
Re: About the boundary of the bounded region
« Reply #15 on: Jun 21st, 2007, 4:03pm » |
Quote Modify
|
When I said component in my earlier post, I meant path-component. The topologist's sine curve example does not violate this statement. However, given that the paths would have to cross themselves in order to parameterize a boundary component looking like the letter "X", for instance, I am not sure that this is necessarily interesting. For instance, space filling curves show that the unit square can be parameterized by a closed curve. Is it true that more generally any path connected compact subset of the plane is parameterized by a closed curve?
|
« Last Edit: Jun 21st, 2007, 4:21pm by Obob » |
IP Logged |
|
|
|
Eigenray
wu::riddles Moderator Uberpuzzler
Gender:
Posts: 1948
|
|
Re: About the boundary of the bounded region
« Reply #16 on: Jun 21st, 2007, 11:04pm » |
Quote Modify
|
Path connected is not enough. For example, let C [0,1] be the Cantor set, and let X 2 be the union of line segments from the point (0, 1) to (c, 0) for c C. That is, X is the image of C x [0,1] under (x,y) -> (x(1-y), y). Then X is path-connected and compact, but not locally connected, as any continuous image of [0,1] is. So this X has only 1 path-component, but requires uncountably many paths to cover it (since each point of C requires an open interval of path to get to). However, the Hahn-Mazurkiewicz theorem states: A Hausdorff topological space is a continuous image of the unit interval if and only if it is a compact, connected, locally connected second-countable space. So you need only replace 'path-connected' with 'connected & locally connected'.
|
« Last Edit: Jun 22nd, 2007, 2:02pm by Eigenray » |
IP Logged |
|
|
|
Obob
Senior Riddler
Gender:
Posts: 489
|
|
Re: About the boundary of the bounded region
« Reply #17 on: Jun 22nd, 2007, 11:00am » |
Quote Modify
|
In your counterexample Eigenray, where do the line segments emanate from?
|
|
IP Logged |
|
|
|
Obob
Senior Riddler
Gender:
Posts: 489
|
|
Re: About the boundary of the bounded region
« Reply #18 on: Jun 22nd, 2007, 12:41pm » |
Quote Modify
|
Thanks for the clarification, Eigenray. For some reason I was thinking that (0,1) denoted an interval.
|
|
IP Logged |
|
|
|
Eigenray
wu::riddles Moderator Uberpuzzler
Gender:
Posts: 1948
|
|
Re: About the boundary of the bounded region
« Reply #19 on: Jun 22nd, 2007, 2:10pm » |
Quote Modify
|
It's pretty annoying to use both ordered pairs and intervals at the same time. I've modified the post to be more clear.
|
|
IP Logged |
|
|
|
|