constituents
- set \(C\)
- \(\theta \in \mathbb{R}\)
requirements
A set \(C\) is a convex set if:
\begin{equation} x_1, x_2 \in C, 0 \leq \theta \leq 1 \implies \theta x_{1} + \qty(1-\theta) x_{2} \in C \end{equation}
additional information
line
All points of the form \(x = \theta x_{1} + \qty(1-\theta) x_{2}\), with \(\theta \in \mathbb{R}\) is a “line through \(x_1\), \(x_2\)”.
affine set
For set \(G\), for all two points \(x_1, x_2 \in G\), all points lying on the line \(x_1, x_2 \in G\). That is , $$
For instance, the solution set of a set of linear equations \(\qty {x \mid A x = b}\).
line segment
all points form \(x = \theta x_{1} + \qty(1-\theta)x_{2}\), with \(0 \leq \theta \leq 1\).
convex combination
A convex combination of points \(x_1 … x_{k}\) has
\begin{equation} x = \theta_{1} x_1 + \theta_{2} x_{2} + \dots \theta_{k} x_{k} \end{equation}
with \(\sum_{j}^{} \theta_{j} = 1\).
convex hull
set of all convex combination of points in \(S\)
convex cone
Conic combination any combination of the form
\begin{equation} x = \theta_{1} x_{1} + \theta_{2} x_{2} \end{equation}
with \(\forall \theta_{j} > 0\).
convex cone is the set that contains all conic combinations of points in the set
properties of convex cone
hyperplane
Set of the form:
\begin{equation} \qty {x \mid a^{T} x = b}, a \neq 0 \end{equation}
halfspace
\begin{equation} \qty {x \mid a^{T}x \leq b}, a \neq 0 \end{equation}
