Do open sets in R^2 always have continuous boundaries?

In summary: U:In summary, the question is whether an arbitrary open set in ℝ2 can be written as a countable union of disjoint open sets. The answer is yes, provided that each open set is either a side or an intersection of two sides.
  • #1
lugita15
1,554
15
My basic question is this: does an arbitrary open set in ℝ2 look like a bunch of regions bounded by continuous curves, or are there open sets with weirder boundaries than that? Let me state my question more formally.

A Jordan curve is a continuous closed curve in ℝ2 without self-intersections. The Jordan curve theorem states that the complement of any Jordan curve has two connected components, an interior and an exterior.

Now let's define a simple unbounded curve to be a continuous map f: (-∞,∞) → ℝ2 such that f((-∞,0)) and f((0,∞)) are both unbounded. Then does the complement of a simple unbounded curve always have two connected components? It seems intuitively true, since you'd expect curve to have two sides, but considering how long it took to prove the Jordan curve theorem, things may not be as straightforward as they appear.

Assuming it is true, let us call a "side" any connected component of a complement of a continuous curve in ℝ2. (Note that some continuous curves in ℝ2 have a connected complement.) Then my question is, can any open set U in ℝ2 be written as a countable union of disjoint open sets U_1, U_2, ..., such that each U_i is either a side or an intersection of two sides? If not, what if we let each U_i be a finite intersection of sides, rather than just an intersection of two sides?

Can this be generalized to higher dimensions?

Any help would be greatly appreciated.

Thank You in Advance.
 
Physics news on Phys.org
  • #2
I think my statement, as posed, is trivially false. For instance, R^2 with one or more isolated points taken out. So let's restrict the question to *simply connected* open sets U.

Also, it looks like my proposed generalization of the Jordan curve theorem for simple unbounded curves is wrong. So let me modify it: let's assume that the curve goes to infinity in both directions, i.e. the limit of |f(t)| as to goes to plus or minus infinity is infinity.

Given these modifications, is it true that any simply connected open set U can be written as a countable union of disjoint open sets U_1, U_2, ..., such that each U_i is one of two things:
1. A connected component of the complement of either a Jordan curve or a simple unbounded curve going to infinity in both directions
2. An intersection of two sets of type 1.
 
  • #3
lugita15 said:
Given these modifications, is it true that any simply connected open set U can be written as a countable union of disjoint open sets U_1, U_2, ..., such that each U_i is one of two things:
1. A connected component of the complement of either a Jordan curve or a simple unbounded curve going to infinity in both directions
2. An intersection of two sets of type 1.
An open set can be written as the union of multiple disjoint non-empty open sets if and only if it is disconnected. Therefore another way of phrasing this statement is:

Any simply-connected connected open set U can be written as an open set of type 1 or type 2.

To see that there exists counterexamples to this just let U be the open set obtained as the set of all points that are <1 from one the coordinate axes.

If we allow all finite intersection in 2, then that is still not enough as we could generalize the previous example by choosing countable many distinct lines going through 0 and defining U to be all points that are close to one of these lines (say of a distance of <1 from one of the lines).
 
  • #4
I like this example, but do you mean U is the set of all points not on any of the lines of distance < 1 from some line? I don't see how the set could be open if include pieces of the lines.

And wouldn't the set of all points not on any of the lines be an open set?
 
  • #5
did you mean for f to be injective?
 
  • #6
mathwonk said:
did you mean for f to be injective?
Yes, I do want f to be injective. I want no self-intersections.
 
  • #7
Im not sure if I completely understand what you're asking. But consider the set S = [(-1,1)X(-1,-1/2)]UB[(-1,0),1]UB[(-1,0),1]:

2.png


Where B[(x,y),r] is the open ball at (x,y) with radius r. It's open, and it's simply connected since the origin is not in the set. But the origin is a self-intersection point of the boundary, and the compliment of the boundary is the union of three "sides".

We could extend the boundary out to infinity by considering A = SU[(1,infty)X(-1,-1/2)]
 

FAQ: Do open sets in R^2 always have continuous boundaries?

1. What is an open set in R^2?

An open set in R^2 is a subset of the Euclidean plane that contains an open disc around each of its points. In other words, for any point in the set, there exists a small enough circle around that point that is completely contained within the set.

2. Are all open sets in R^2 connected?

No, not all open sets in R^2 are connected. A connected set is one that cannot be divided into two non-empty disjoint open sets. While many open sets in R^2 are connected, there are also examples of disconnected open sets, such as the union of two open discs that do not intersect.

3. Can open sets in R^2 have holes?

Yes, open sets in R^2 can have holes. This is because an open set only requires that a small enough circle can be drawn around each of its points, not that the entire set is filled in. So, an open set can have empty spaces or holes within it.

4. Are open sets in R^2 always bounded?

No, open sets in R^2 are not always bounded. A set is considered bounded if it is contained within a finite distance from the origin. While many open sets in R^2 are bounded, there are also unbounded open sets, such as the entire plane itself.

5. Is the boundary of an open set in R^2 always continuous?

No, the boundary of an open set in R^2 is not always continuous. The boundary of a set is the collection of all points that are both inside and outside of the set. While the boundaries of many open sets in R^2 are continuous, there are also examples of open sets with discontinuous boundaries, such as the complement of a Cantor set.

Back
Top