While doing some research in game theory modeling, I've come across the following inequality:

$$ \frac{x - \epsilon(1+a)}{a} \leq y \leq \frac{x + \epsilon(1+a)}{a} $$

Where $x$ and $y$ are some variables and $a \in (0,1], \epsilon \in (0,1]$ are some known constants. In addition, $0 \leq x \leq y \leq 1$.

I'd like to graph the region where the above inequality is true for all values of $y$. That is, the only pairs of $x,y$ in the solution set should be where the inequality holds not only for that pair $x,y$, but also all other pairs $x < y, y$ (graphically, no point should be in the solution set unless all points to its left up to the y-axis are also in the set and all points to its right up to y = x are also in the set).

For example: this plot shows the intersection of the inequality above (where $a = .02, \epsilon = .05$) and $0 \leq x \leq y \leq 1$.

The sloped lower bound is the line $y = x$. I would like to exclude all of the points with y-value above the intersection of the lower bound with the right bound, since those points have y-values for which not every point ($x \leq y, y$) are in the solution set. That is, there are points to the left of $y=x$ but to the right of them that are not in the set.

How can I express this mathematically? Thanks!


Mathematically, the much better way to write this is $$P(y): (\forall x\in [0,y))\left(\frac{x - \epsilon(1+a)}{a} \leq y \leq \frac{x + \epsilon(1+a)}{a}\right)$$

| cite | improve this answer | |
  • $\begingroup$ Yes, this looks right. How can I write this in a form that I can graph? $\endgroup$ – sundance Mar 6 '16 at 20:57
  • $\begingroup$ What CAS are you using? I would think many would be fine with graphing this formula $\endgroup$ – Stella Biderman Mar 6 '16 at 20:59
  • $\begingroup$ Mathematica, though I'm not too familiar with plotting equations like this with it. $\endgroup$ – sundance Mar 6 '16 at 21:23
  • $\begingroup$ Me neither. The rest of your question isn't really a math question. I'd recommend taking my equation and asking on CS.SE how to graph it $\endgroup$ – Stella Biderman Mar 6 '16 at 21:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.