We start by recalling some useful mathematical definition that will be used in the following.
Definition 2.1: Convex Set
A set is said to be convex if
Gemotrically convexity of a set means that every line segment joining two elements of the set belongs to the set
Definition 2.2: Convex Function
A function is convex if is convex and holds that:
Remark 2.1
A function is said strictly convex if the convexity condition holds with strict inequality, that is :
Geometrically it means that the line segment joining and lies above f. Figures 2.1 , 2.2 illustrate the previous definitions.
Definition 2.3: Cone, Convex Cone
A nonempty set is said to be a cone if, for every point ,
If, in addition, is convex then it is said to be a convex cone.
Definition 2.4: Positive definite matrix
A symmetric square matrix is said to be positive definite if
Remark 2.2
Equivalently, positive definiteness implies that all the eigenvalues are positive. In the same way we define semi-positive definite matrices. A symmetric square matrix is said to be positive definite if . To denote positive and semi-positive definite matrices we use the symbol and respectively. If a symmetric matrix has both positive and negative eigenvalues is said to be indefinite.
Definition 2.5: small o
For a function we write if and only if there exists a neighbourhood of (i.e. ) and a function with such that:
Practically it means that if then shrinks faster than as goes to zero. For example . Note that from the definition we also have that
Definition 2.6
Matrix norm