Topology : 3 sets on the Real line with the wada property.

In summary, the Cantor set is a countable union of intervals, but it's not possible to find a way to have the same boundary between three disjoint open sets.
  • #1
tt2348
144
0

Homework Statement


Find three disjoint open sets in the real line that have the same nonempty
boundary.


Homework Equations


Connectedness on open intervals of [tex]\mathbb{R}[/tex].

The Attempt at a Solution



If this is it all possible, the closest thing I could come up with to 3 disjoint open intervals of [tex]\mathbb{R}[/tex]. with a shared boundary is
[tex]A_{n}=\left\{3n\right\}\cup (3n+1,3n+2) , B_{n}=(3n,3n+1)\cup \left\{3n+2\right\}, C_{n}=\left\{3n+1\right\}\cup (3n+2,3n+3)[/tex] [tex]\forall n \in \mathbb{Z} [/tex]

But I'm fairly certain these are clopen sets, since the compliment is of the form [tex]\left(a,b\right][/tex]

I went with a proof by contradiction to say that it's not possible. I'd really appreciate any help.



[tex]Proof:[/tex] Suppose [tex]\exists U,V,W \in \mathbb{R}[/tex] [tex] _{.}\ni_{.}
\partial U \cap \partial V = \partial V \cap \partial W = \partial W \cap \partial U = \emptyset ,
\partial U=\partial W=\partial V =D [/tex] And [tex]U,V,W[/tex] are open on [tex]\mathbb{R}[/tex].

This means that [tex]U=\bigcup _{i \in I} X_{i},V=\bigcup _{j \in J} Y_{j},W=\bigcup_{k\in K} Z_{k} [/tex] ,where [tex] I,J,K [/tex] are indexing sets.

Since [tex] X_{i},Y_{j},Z_{k} [/tex] are open sets on [tex] \mathbb{R} [/tex] with the usual topology, we can express each [tex] X_{i},Y_{j},Z_{k} [/tex]

as [tex] B_{r}(p)=\left\{q \in \mathbb{R}:\rho (p,q)=\left\|p-q\right\|< r \right\} [/tex] where each open ball is a connected subspace of [tex]\mathbb{R}[/tex]


Now [tex]\sphericalangle d_{0}\in D [/tex] ,

[tex]\exists ! (i_{0},j_{0},k_{0}) \in I\times J\times K .\ni. d_{0}\in \partial X_{i_{0}} \cap
\partial Y_{j_{0}} \cap \partial Z_{k_{0}}[/tex] and [tex]X_{i_{0}},Y_{k_{0}},Z_{j_{0}} [/tex] are pairwise disjoint connected subspaces of [tex] \mathbb{R}[/tex] .

[tex] \because B_{\epsilon}(d_{0}) \cap X_{i_{0}}\neq \emptyset ,B_{\epsilon}(d_{0}) \cap Y_{j_{0}}\neq \emptyset , B_{\epsilon}(d_{0}) \cap Z_{k_{0}}\neq \emptyset ,[/tex] and [tex] X_{i_{0}} \cap Y_{j_{0}} \cap Z_{k_{0}}=\emptyset \Leftrightarrow
B_{\epsilon}(d_{0}) \cap X_{i_{0}} \bigcap B_{\epsilon}(d_{0}) \cap Y_{j_{0}} \bigcap B_{\epsilon}(d_{0}) \cap Z_{k_{0}}= \emptyset [/tex]

Without Loss of generality , assume that [tex] \inf X_{i_{0}}=d_{0}, [/tex] then [tex] B_{\epsilon}(d_{0}) \bigcap X_{i_{0}}= \left\{x \in X_{i_{0}}: x>d_{0} \wedge \rho (x,d_{0}) < \epsilon \right\} [/tex]

This means that [tex] Y_{j_{0}},Z_{k_{0}}\subset B_{\epsilon}(d_{0}) \bigcap (B_{\epsilon}(d_{0}) \bigcap X_{i_{0}})^{\boldsymbol{c}} [/tex].

Since Both remaining sets are connected subspaces of [tex] \mathbb{R}, [/tex] by trichotomy of [tex] \mathbb{R} [/tex] , every point on [tex]Z_{k_{0}}[/tex] will be greater than every point on [tex] Y_{j_{0}} [/tex] or every point on [tex]Z_{k_{0}}[/tex] will be less than every point on [tex] Y_{j_{0}} [/tex].

Choose [tex]\sup (Y_{j_{0}})\leq \inf (Z_{k_{0}})<\sup (Z_{k_{0}})=d_{0} [/tex]

Thus [tex]d_{0}\notin Y_{j_{0}} [/tex]
Hence a contradiction, there is no way to construct three open disjoint sets with the same boundary on [tex]\mathbb{R} [/tex]
 
Physics news on Phys.org
  • #2
I just really need to know if I am in the right direction here, I'm not the best at topology.
 
  • #3
Your proof is pretty hard to read. Besides, I don't think it's correct. Think about what the complement of your three open sets would have to be like. It would have to be closed. It would have to have no isolated points or connected closed intervals. Starting to remind you of someone? Sounds like the Cantor set to me.
 
  • #4
Well the cantor set is closed on the interval it's defined, and if you pick any subset of the cantor set, you end up with a covering for a subset , and how can you determine the boundary would be the same??
 
  • #5
I don't see how the cantor set could be useful, if you could pinpoint an error perhaps in my proof..
 
  • #6
The complement of the Cantor is a countable union of open intervals. You just have to split them into three groups so every neighborhood of a point in the Cantor set contains points from each of the three groups.
 
  • #7
Hmm. I'm going to see what I can do with it then, do you know of there are morphisms between sets with the wada property on various Euclidean spaces?
 
  • #8
tt2348 said:
Hmm. I'm going to see what I can do with it then, do you know of there are morphisms between sets with the wada property on various Euclidean spaces?

Well, you haven't even really said what the "wada" property is. I think that's a pretty vague question.
 
  • #9
The wada property is if for a given space , you can find 3 disjoint open sets such that they have the same boundary.. I apologize I thought it was a relatively well known property in topology ( ie the case of the wada basin for R2)
 
  • #10
tt2348 said:
The wada property is if for a given space , you can find 3 disjoint open sets such that they have the same boundary.. I apologize I thought it was a relatively well known property in topology ( ie the case of the wada basin for R2)

It's new to me. Thanks for the definition. I still think you can make an example by grouping intervals in the complement of the Cantor set.
 
  • #11
But the compliment will have an isolated point, since the only way an open set will have a specific point on it's boundary is if the point is on it's compliment and is contained on the closure . So the compliments of the sets would be an isolated point..
 
  • #12
The boundary of ONE open interval is two isolated points. The boundary of a A LOT of open intervals is A LOT of points which may not be isolated. The Cantor set doesn't have any isolated points.
 
Last edited:

1. What is topology?

Topology is a branch of mathematics that deals with the study of geometric properties and spatial relationships in abstract spaces. It focuses on the fundamental concepts of continuity, convergence, and connectedness.

2. What are sets in topology?

Sets in topology refer to collections of objects or elements that are studied in a given space. They can range from simple points to more complex structures, such as lines, curves, and surfaces.

3. What is the Wada property?

The Wada property is a topological property that describes the behavior of three sets in the real line. It states that these sets cannot be separated by any open subset of the real line, making them intertwined in a unique and non-trivial way.

4. How is the Wada property useful in mathematics?

The Wada property has many applications in mathematics, particularly in dynamical systems and chaos theory. It helps to understand the behavior of complex systems and the emergence of chaotic behavior in seemingly simple systems.

5. Can sets with the Wada property exist in higher dimensions?

Yes, sets with the Wada property can exist in higher dimensions. In fact, the Wada property has been studied extensively in higher-dimensional spaces, such as spheres and tori, and has led to interesting mathematical results and applications.

Similar threads

  • Calculus and Beyond Homework Help
Replies
4
Views
1K
Replies
2
Views
73
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
  • Linear and Abstract Algebra
Replies
9
Views
825
  • Topology and Analysis
Replies
2
Views
1K
  • Advanced Physics Homework Help
Replies
9
Views
1K
  • Advanced Physics Homework Help
Replies
1
Views
1K
Replies
3
Views
1K
Replies
32
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
Back
Top