Back to MSQE practice
PEAMCQHard

2023 PEA Q29

With ff as in Q28, D={(x,y)R2:yf(x)}D=\{(x,y)\in\mathbb R^2:y\ge f(x)\} (epigraph of ff). Which is true?

Reveal answer and solution

Answer

D

Solution

  1. 1

    ff is convex (the maximum of two convex functions x|x| and x2x^2). Hence its epigraph DD is convex. So Option C is false.

  2. 2

    R2D={(x,y):y<f(x)}\mathbb R^2\setminus D=\{(x,y):y<f(x)\}. This region is the hypograph of ff (open). For a convex ff, the hypograph is generally not convex (and indeed here it isn't: take (±2,0)(\pm 2,0); their midpoint is (0,0)(0,0) which has y=0y=0 but f(0)=0f(0)=0, so (0,0)R2D(0,0)\notin\mathbb R^2\setminus D). So Option A is false.

  3. 3

    Similarly Option B: restrict to R+2\mathbb R^2_+. Take (2,0)(2,0) (in R+2\mathbb R^2_+? if R+2={y0}\mathbb R^2_+=\{y\ge 0\}, then y=0y=0; (2,0)(2,0): f(2)=4>0f(2)=4>0, so (2,0)D(2,0)\notin D, i.e.\ (2,0)R+2D(2,0)\in\mathbb R^2_+\setminus D). Similarly (0.5,0)(0.5,0): f(0.5)=0.5>0f(0.5)=0.5>0, so (0.5,0)R+2D(0.5,0)\in\mathbb R^2_+\setminus D. Their midpoint (1.25,0)(1.25,0): f(1.25)=1.5625>0f(1.25)=1.5625>0, so in R+2D\mathbb R^2_+\setminus D. But (0,0)R+2D(0,0)\in\mathbb R^2_+\setminus D? f(0)=0f(0)=0, and ``D\setminus D'' means y<f(x)y<f(x), i.e.\ 0<00<0 false; so (0,0)R+2D(0,0)\notin\mathbb R^2_+\setminus D. Take midpoint of (2,0)(2,0) and (2,0)(-2,0): (0,0)(0,0), not in R+2D\mathbb R^2_+\setminus D. So Option B is false too.

  4. 4

    Hence None of the above.

Answer structure / marking notes

Convex function \Rightarrow convex epigraph; the complement need not be convex.

%------------------------------------------------------------------

Content note

Imported from public/resources/isi/msqe/solutions/pea/2023/ISI_MSQE_PEA_2023_Solutions.tex. Question wording is retained from the available local TeX source; incomplete option blocks or ambiguous source status are flagged for review.