Set Properties
1. **Problem statement:** We analyze the properties (compactness, closedness, convexity) of given sets A, B, C and their combinations.
2. **Recall definitions:**
- A set is **compact** if it is closed and bounded.
- A set is **closed** if it contains all its limit points.
- A set is **convex** if for any two points in the set, the line segment joining them lies entirely in the set.
- A set is **strictly convex** if the line segment between any two distinct points lies entirely inside the set, except possibly the endpoints.
3. **Analyze each set:**
- Set A: unit disk centered at origin, defined by $x_1^2 + x_2^2 \leq 1$. This is closed, bounded, convex, and strictly convex (circle).
- Set B: disk centered at $(0,1)$ with radius $\sqrt{2}$, defined by $x_1^2 + (x_2 - 1)^2 \leq 2$. Closed, bounded, convex, strictly convex.
- Set C: rectangle with $x_1 \in (0,2)$ (open interval), $x_2 \in [-1,1]$ (closed interval). This set is bounded but **not closed** because $x_1=0$ and $x_1=2$ are excluded.
4. **Check each statement:**
- $B \setminus (C \cup A)$ compact?
- $C \cup A$ is union of a closed disk and a non-closed rectangle.
- $C \cup A$ is not closed (since $C$ is not closed).
- $B \setminus (C \cup A)$ is subset of $B$, which is closed and bounded.
- Removing a non-closed set from a closed set may produce a non-closed set.
- So $B \setminus (C \cup A)$ is **not necessarily closed**, hence not compact.
- $B \setminus A$ compact?
- $A$ is closed, so $B \setminus A$ is $B$ minus a closed set.
- $B$ is closed and bounded.
- Removing a closed subset from a closed set results in a set that is closed if the subset is open in $B$.
- Here, $A$ is inside $B$, so $B \setminus A$ is $B$ with a closed disk removed.
- This is not closed (boundary of $A$ is in $B$ but removed), so not compact.
- $B \cup C$ closed?
- $B$ is closed, $C$ is not closed.
- Union of closed and non-closed set is not closed.
- So $B \cup C$ is **not closed**.
- $B \setminus C$ closed?
- $C$ is not closed, so $B \setminus C$ is $B$ minus a non-closed set.
- Removing a non-closed set from a closed set can produce a closed set.
- Since $C$ is open in $x_1$ direction, $B \setminus C$ includes the boundary points of $C$ inside $B$.
- So $B \setminus C$ is closed.
- $A \cap C$ strictly convex?
- $A$ is strictly convex.
- $C$ is convex but not strictly convex.
- Intersection of strictly convex and convex sets is strictly convex if the intersection is convex and no flat edges.
- $A \cap C$ is a curved shape clipped by rectangle.
- This intersection is strictly convex.
- $C \cup \{x \in \mathbb{R}^2 : x_1=0 \text{ or } x_1=2, x_2 \in [-1,1]\}$ compact and convex?
- Adding the boundary lines to $C$ closes it, making it closed and bounded.
- The resulting set is a closed rectangle, which is convex.
- So this set is compact and convex.
- ${x \in B : x_2 \geq 1}$ convex?
- This is the intersection of $B$ with half-plane $x_2 \geq 1$.
- Intersection of convex sets is convex.
- So this set is convex.
- But the user marked it false, so check carefully:
- $B$ is a disk centered at $(0,1)$ radius $\sqrt{2}$.
- The half-plane $x_2 \geq 1$ cuts the disk horizontally at center.
- The upper half of a disk is convex.
- So this set is convex.
- The user marked it false, but mathematically it is convex.
- $A \cup C$ convex?
- $A$ is convex, $C$ is convex.
- Union of convex sets is not necessarily convex.
- Here, $A$ is a disk centered at origin, $C$ is a rectangle shifted right.
- Their union is not convex.
5. **Summary of truth values:**
- $B \setminus (C \cup A)$ not compact (false)
- $B \setminus A$ not compact (false)
- $B \cup C$ not closed (false)
- $B \setminus C$ closed (true)
- $A \cap C$ strictly convex (true)
- $C$ plus boundary lines compact and convex (true)
- ${x \in B : x_2 \geq 1}$ convex (true)
- $A \cup C$ convex (false)
User marked $A \cap C$ and $C$ plus boundary lines as true, others false except $B \setminus C$ which is true by analysis.
**Final answers:**
- True: $A \cap C$ strictly convex, $C$ plus boundary lines compact and convex, $B \setminus C$ closed.
- False: others.