Question

Which of the following are correct?

A. A set \( S = \{(x, y) \mid xy \leq 1 : x, y \in \mathbb{R}\} \) is a convex set. 
B. A set \( S = \{(x, y) \mid x^2 + 4y^2 \leq 12 : x, y \in \mathbb{R}\} \) is a convex set. 
C. A set \( S = \{(x, y) \mid y^2 - 4x \leq 0 : x, y \in \mathbb{R}\} \) is a convex set. 
D. A set \( S = \{(x, y) \mid x^2 + 4y^2 \geq 12 : x, y \in \mathbb{R}\} \) is a convex set. 
 

• A. B and C only
• B. A, B and C only
• C. A, B, C and D
• D. B, C and D only

Hint:

A quick way to check for convexity from an inequality \(f(x, y) \le c\) is to determine if the function \(f(x, y)\) is a convex function. If \(f\) is convex, the set is convex. The function \(f(x,y) = x^2+4y^2\) (an elliptic paraboloid) is convex, so the region \(f \le 12\) is convex. The function \(f(x,y)=y^2-4x\) is also convex. The function \(f(x,y)=xy\) is not convex.

Answer 1

The Correct Option is A

Step 1: Convex Set Definition:
A set \(S\) in \(\mathbb{R}^2\) is convex if, for any \(P_1, P_2 \in S\), the line segment \(\lambda P_1 + (1-\lambda)P_2\) (where \(0 \le \lambda \le 1\)) is entirely within \(S\). This can be analyzed geometrically or through point testing.

Step 2: Set Convexity Analysis:
A. \( S = \{(x, y) | xy \le 1 \ \).}
This set is not convex. Example: \(P_1 = (2, 0.1)\) and \(P_2 = (0.1, 2)\) are in \(S\) (since \(0.2 \le 1\)), but their midpoint \(M = (1.05, 1.05)\) is not (because \(1.1025>1\)). The line segment connecting \(P_1\) and \(P_2\) extends outside the set.
B. \( S = \{(x, y) | x^2 + 4y^2 \le 12 \ \).}
This represents the region inside an ellipse centered at the origin, a convex set. Any line segment between two points within the ellipse remains within it.
C. \( S = \{(x, y) | y^2 - 4x \le 0 \ \).}
This is equivalent to \(x \ge \frac{y^2}{4}\), describing the region to the right of the parabola \(x = y^2/4\). This region is also a convex set.
D. \( S = \{(x, y) | x^2 + 4y^2 \ge 12 \ \).}
This set is not convex, representing the region outside the ellipse from part B. Consider \(P_1 = (4, 0)\) and \(P_2 = (-4, 0)\), which are both in \(S\) (since \(16 \ge 12\)). The segment between them includes \((0,0)\), which is not in \(S\) (since \(0 \ge 12\) is false).

Step 3: Conclusion:
Only sets B and C are convex. Therefore, the correct option is (A).