Geometric Puzzle: Find P & Q in R2 Square

  • Context: MHB 
  • Thread starter Thread starter HallsofIvy
  • Start date Start date
  • Tags Tags
    Geometric Puzzle
Click For Summary
SUMMARY

The discussion focuses on finding two disjoint, connected sets P and Q within the square defined by vertices (1, 1), (1, -1), (-1, -1), and (-1, 1) in R2. Set P includes the points (1, 1) and (-1, -1), while set Q includes (-1, 1) and (1, -1). The sets are defined using subsets of X = [-1,1]×[-1,1], specifically UR, LR, UL, LL, UA, and LA, which are all disjoint and connected. The solution confirms that both P and Q satisfy the conditions of being contained within the square, disjoint, and connected.

PREREQUISITES
  • Understanding of topological concepts, specifically connectedness and path-connectedness.
  • Familiarity with R2 geometry and the properties of squares.
  • Knowledge of set theory and how to define subsets.
  • Basic understanding of sine functions and their graphical representation.
NEXT STEPS
  • Explore the concept of topological spaces and their properties.
  • Learn about connected and path-connected sets in topology.
  • Investigate the implications of disjoint sets in geometric contexts.
  • Study the properties of sine functions and their applications in defining curves and sets.
USEFUL FOR

Mathematicians, topology students, and anyone interested in geometric puzzles and the properties of connected sets in R2.

HallsofIvy
Science Advisor
Homework Helper
Messages
42,895
Reaction score
983
Find two sets P and Q satisfying
I) P and Q are completely contained in the square, in R2, with vertices (1, 1), (1, -1), (-1, -1), and (-1, 1).
II) P contains the ponts (1, 1) and (-1, -1) while Q contains (-1, 1) and (1, -1).
III) P and Q are disjoint.
IV) P and Q are both connected sets.
 
Physics news on Phys.org
HallsofIvy said:
Find two sets P and Q satisfying
I) P and Q are completely contained in the square, in R2, with vertices (1, 1), (1, -1), (-1, -1), and (-1, 1).
II) P contains the ponts (1, 1) and (-1, -1) while Q contains (-1, 1) and (1, -1).
III) P and Q are disjoint.
IV) P and Q are both connected sets.
P and Q cannot be path-connected, because any continuous path from (1, 1) to (-1, -1) would have to intersect one from (-1, 1) to (1, -1). So the problem has to be about the topological definition of connectedness rather than the geometric notion of path-connectedness, and we must look for sets that are connected but not path-connected.
[sp]Let $X = [-1,1]\times[-1,1]$, and define subsets of $X$ by $$UR = \{(x,y)\in X : x>0,\ y > \tfrac12\sin\tfrac1x\},$$ $$LR = \{(x,y)\in X : x>0,\ y < \tfrac12\sin\tfrac1x\},$$ $$UL = \{(x,y)\in X : x<0,\ y > \tfrac12\sin\tfrac1x\},$$ $$LL = \{(x,y)\in X : x<0,\ y < \tfrac12\sin\tfrac1x\},$$ $$UA = \{(x,y)\in X : x=0,\ y > 0\},$$ $$LA = \{(x,y)\in X : x=0,\ y < 0\},$$ (the names of the sets are meant to indicate Upper Right, Lower Left, etc., and A denotes $y$-Axis). These sets are all disjoint, and each of them is connected.

Let $P = UR\cup LL\cup UA$, $Q = LR\cup UL\cup LA.$ Then properties I), II), III) certainly hold. To see that IV) also holds, suppose that $U$ and $V$ are disjoint open sets with $P\subset U\cup V$. Since the three component parts of $P$ are connected, each of them must lie entirely within one of the sets $U$, $V$. In particular, $UA\subset U$ say. Then $U$, being open, must contain a neighbourhood extending each side of the positive $y$-axis and therefore contains points in both $UR$ and $LL$. But those sets are both connected, and it follows that $U$ must contain the whole of $P$, so that $V$ is disjoint from $P$. That shows that $P$ is connected; and a similar argument shows that so also is $Q$.[/sp]
 

Attachments

  • crossing_topologist_curves_HoI.png
    crossing_topologist_curves_HoI.png
    6.5 KB · Views: 111
  • crossing_topologist_curves_ILS.png
    crossing_topologist_curves_ILS.png
    6.4 KB · Views: 108

Similar threads

  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
2K
Replies
2
Views
3K
Replies
5
Views
899
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K