Sets & Hyperplanes Homework: Convexity, Separability & More

  • Thread starter Thread starter squenshl
  • Start date Start date
  • Tags Tags
    Sets
Click For Summary

Homework Help Overview

The discussion revolves around the properties of two sets in \(\mathbb{R}^2\): set \(A\), defined by the inequality \(x_1 + x_2 \leq 1\), and set \(B\), defined by the equation of a circle centered at \((3,3)\) with radius \(1\). Participants are exploring the convexity, closedness, and compactness of these sets, as well as the possibility of separating them with a hyperplane.

Discussion Character

  • Mixed

Approaches and Questions Raised

  • Some participants attempt to determine the convexity, closedness, and compactness of the sets based on visual representation, while others question whether mathematical proof is necessary.
  • There is discussion about the nature of set \(A\) being the area below the line rather than the line itself, and set \(B\) being a disk rather than just a circle.
  • Participants are considering the implications of separating the sets with a hyperplane, questioning the definitions and whether strict separation is possible.
  • One participant suggests a specific hyperplane, \(x_1 + x_2 = 2\), as a candidate for strict separation.

Discussion Status

The conversation is ongoing, with various interpretations of the sets and their properties being explored. Some participants have provided guidance on the nature of separation, while others are still clarifying their understanding of the terms used.

Contextual Notes

There is some confusion regarding the definitions of convexity and separation, as well as the terminology used for hyperplanes in lower dimensions. Participants are also navigating the implications of their findings on the separation of sets \(A\) and \(B\).

squenshl
Messages
468
Reaction score
4

Homework Statement


Consider the sets ##A = \left\{(x_1,x_2) \in\mathbb{R}^2: x_1+x_2 \leq 1\right\}## which is a straight line going through ##(0,1)## and ##(1,0)## and ##B = \left\{(x_1,x_2) \in\mathbb{R}^2: (x_1-3)^2+(x_2-3)^2 \leq 1 \right\}## which is a circle of radius ##1## centred at ##(3,3).##

1. Are the sets ##A## and ##B## convex? Are they closed? Are they compact?
2. What is ##A\cap B##?
3. Is it possible to find a hyperplane that separates ##A## and ##B##? That strictly separates them?
4. If they can be strictly separated then give one hyperplane that strictly separates the sets. If they can be separated but cannot be strictly separated then give one hyperplane that separates the sets and explain why they cannot be strictly separated. If they cannot be separated then explain why they cannot be separated.

Homework Equations

The Attempt at a Solution


1. I know they are convex, closed and compact by drawing a diagram. Is that sufficient enough or would I have to show it using maths? If so, how would I do that ? Some guidance would be great!
2. That is just the empty set.
3. Yes it is possible to separate them but not sure about if it strictly separates them.
4. The line ##x_1+x_2=2## is a hyperplane that strictly separates them I think. Is it possible 2 have sets that are both separated and strictly separated by a hyperplane. If not then obviously its just the first part of question 4 "If they can be strictly separated then give one hyperplane that strictly separates the sets".

Thanks a lot for the help!
 
Physics news on Phys.org
squenshl said:

Homework Statement


Consider the sets ##A = \left\{(x_1,x_2) \in\mathbb{R}^2: x_1+x_2 \leq 1\right\}## which is a straight line going through ##(0,1)## and ##(1,0)##
One comment is that the set ## A## didn't mean the line, but the area below that line including itself.
 
squenshl said:

Homework Statement


Consider the sets ##A = \left\{(x_1,x_2) \in\mathbb{R}^2: x_1+x_2 \leq 1\right\}## which is a straight line going through ##(0,1)## and ##(1,0)## and ##B = \left\{(x_1,x_2) \in\mathbb{R}^2: (x_1-3)^2+(x_2-3)^2 \leq 1 \right\}## which is a circle of radius ##1## centred at ##(3,3).##
Like Daeho Ro already said, set A is not just a line. Also, set B is not just the circle. It is a disk: the bounding circle and all of the points inside it.
squenshl said:
1. Are the sets ##A## and ##B## convex? Are they closed? Are they compact?
2. What is ##A\cap B##?
3. Is it possible to find a hyperplane that separates ##A## and ##B##? That strictly separates them?
Hyperplane? Your sets are in ##\mathbb{R}^2##. I've never heard of people referring to hyperplanes in spaces with a dimension less than 4. A "hyperplane" in ##\mathbb{R}^2## is just a line. Same comment in the next question.
squenshl said:
4. If they can be strictly separated then give one hyperplane that strictly separates the sets. If they can be separated but cannot be strictly separated then give one hyperplane that separates the sets and explain why they cannot be strictly separated. If they cannot be separated then explain why they cannot be separated.

Homework Equations

The Attempt at a Solution


1. I know they are convex, closed and compact by drawing a diagram. Is that sufficient enough or would I have to show it using maths? If so, how would I do that ? Some guidance would be great!
2. That is just the empty set.
3. Yes it is possible to separate them but not sure about if it strictly separates them.
4. The line ##x_1+x_2=2## is a hyperplane that strictly separates them I think. Is it possible 2 have sets that are both separated and strictly separated by a hyperplane. If not then obviously its just the first part of question 4 "If they can be strictly separated then give one hyperplane that strictly separates the sets".

Thanks a lot for the help!
 
Cool thanks!

So they can only be strictly separated and not just separated or is it the other way around??
 
This attachment will be helpful to you.
 

Attachments

  • regionfunction.gif
    regionfunction.gif
    4.4 KB · Views: 458
Great thanks. A & B can be separated but not strictly separated.
 
Oops ##A## & ##B## can be strictly separated by ##x_1+x_2=2##
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
20
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
Replies
9
Views
2K