|
||||
Title: About the boundary of the bounded region Post by immanuel78 on Jun 14th, 2007, 12:08am 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. |
||||
Title: Re: About the boundary of the bounded region Post by Obob on Jun 14th, 2007, 10:33am 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. |
||||
Title: Re: About the boundary of the bounded region Post by Michael_Dagg on Jun 14th, 2007, 11:07am Here is an idea... |
||||
Title: Re: About the boundary of the bounded region Post by Obob on Jun 14th, 2007, 12:01pm 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. |
||||
Title: Re: About the boundary of the bounded region Post by immanuel78 on Jun 14th, 2007, 10:31pm 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]) |
||||
Title: Re: About the boundary of the bounded region Post by Obob on Jun 15th, 2007, 12:09pm 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. |
||||
Title: Re: About the boundary of the bounded region Post by Michael_Dagg on Jun 15th, 2007, 3:58pm 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. |
||||
Title: Re: About the boundary of the bounded region Post by Felix.R on Jun 15th, 2007, 11:15pm 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. |
||||
Title: Re: About the boundary of the bounded region Post by Felix.R on Jun 16th, 2007, 5:22pm 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? |
||||
Title: Re: About the boundary of the bounded region Post by Felix.R on Jun 16th, 2007, 5:53pm I realized I actually mean overlapping punctures for then the region would not be equivalent to your A x A region. |
||||
Title: Re: About the boundary of the bounded region Post by Obob on Jun 16th, 2007, 7:33pm 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. |
||||
Title: Re: About the boundary of the bounded region Post by immanuel78 on Jun 17th, 2007, 10:03am Obob, I have a question. Is (0,1) x (0,1) - A x A connected? |
||||
Title: Re: About the boundary of the bounded region Post by Obob on Jun 17th, 2007, 11:20am 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. |
||||
Title: Re: About the boundary of the bounded region Post by Obob on Jun 17th, 2007, 11:56am 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. |
||||
Title: Re: About the boundary of the bounded region Post by Eigenray on Jun 20th, 2007, 8:39pm on 06/15/07 at 12:09:01, Obob wrote:
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 06/16/07 at 19:33:06, Obob wrote:
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. |
||||
Title: Re: About the boundary of the bounded region Post by Obob on Jun 21st, 2007, 4:03pm 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? |
||||
Title: Re: About the boundary of the bounded region Post by Eigenray on Jun 21st, 2007, 11:04pm Path connected is not enough. For example, let C http://www.ocf.berkeley.edu/~wwu/YaBBImages/symbols/subset.gif [0,1] be the Cantor set, and let X http://www.ocf.berkeley.edu/~wwu/YaBBImages/symbols/subset.gif http://www.ocf.berkeley.edu/~wwu/YaBBImages/symbols/bbr.gif2 be the union of line segments from the point (0, 1) to (c, 0) for c http://www.ocf.berkeley.edu/~wwu/YaBBImages/symbols/in.gif 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 [link=http://en.wikipedia.org/wiki/Space-filling_curve#The_Hahn-Mazurkiewicz_theorem]Hahn-Mazurkiewicz theorem[/link] 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'. |
||||
Title: Re: About the boundary of the bounded region Post by Obob on Jun 22nd, 2007, 11:00am In your counterexample Eigenray, where do the line segments emanate from? |
||||
Title: Re: About the boundary of the bounded region Post by Obob on Jun 22nd, 2007, 12:41pm Thanks for the clarification, Eigenray. For some reason I was thinking that (0,1) denoted an interval. |
||||
Title: Re: About the boundary of the bounded region Post by Eigenray on Jun 22nd, 2007, 2:10pm It's pretty annoying to use both ordered pairs and intervals at the same time. I've modified the post to be more clear. |
||||
Powered by YaBB 1 Gold - SP 1.4! Forum software copyright © 2000-2004 Yet another Bulletin Board |