A system of linear inequality is equivalent to a system of strict linear inequality

127 Views Asked by At

$a,x_i \in \mathbb{R}^p, b \in \mathbb{R}$. Consider the following two systems of linear inequality:

\begin{equation}\label{eq:eq1} \begin{cases} \langle a, x_i \rangle + b > 0&\text{if }y_i = 1 \\ \langle a, x_i \rangle + b < 0&\text{if }y_i = -1 \end{cases} \end{equation} \begin{equation}\label{eq:eq2} \begin{cases} \langle a, x_i \rangle + b \ge 1&\text{if }y_i = 1\\ \langle a, x_i \rangle + b \le -1&\text{if }y_i = -1 \end{cases} \end{equation} The question is if two systems of linear inequality are equivalent.
It is easy to see that any a and b satisfying the system in equation (2) will also satisfy the system in (1). However, how do I prove that a and b satisfying the system in (1) will also satisfy the system in (2).

Note: The statement is from here. It is Remark 1 on page 2. I just don't quite understand their explanation.

2

There are 2 best solutions below

2
On

They are not equivalent. There is no assumption about $b$. So $⟨a,x_i⟩+b$ can be i.e. $0.5$ when $y_i = 1$ and not fulfill the second condition. I think you should give more details about $a$ and $b$ to have an exact answer.

2
On

Firstly, please notice that the link you shared is not saying a point $x_i$ satisfying the first set satisfies the second. Instead, it says that if you write such a classification in the $1^{st}$ set, and if there is a feasible solution then the $2^{nd}$ set has a feasible solution too.

The reason we do such a transformation is that a linear model can't solve strictly greater/larger condition.

I am attaching a motivating real life example as an image below.

Motivating Example