Home Laboratory Computer Lab Theses

2.1 Mathematical notation and useful definitions

We start by recalling some useful mathematical definition that will be used in the following.

Definition 2.1: Convex Set

A set X n is said to be convex if α x + ( 1 α ) y X x , y X α [ 0 , 1 ]

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 f : X n is convex if X is convex and holds that:

f ( α x + ( 1 α ) y ) α f ( x ) + ( 1 α ) f ( y ) x , y X α [ 0 , 1 ]

Remark 2.1

A function is said strictly convex if the convexity condition holds with strict inequality, that is :

f ( α x + ( 1 α ) y ) < α f ( x ) + ( 1 α ) f ( y ) x , y X α [ 0 , 1 ]

Geometrically it means that the line segment joining ( x , f ( x ) ) and ( y , f ( y ) ) lies above f. Figures 2.1 , 2.2 illustrate the previous definitions.

PIC

Figure 2.1:: Illustration of convex set

PIC

Figure 2.2:: Illustration of convex function

Definition 2.3: Cone, Convex Cone

A nonempty set C n is said to be a cone if, for every point x C ,

α x C α 0

If, in addition, C is convex then it is said to be a convex cone.

Definition 2.4: Positive definite matrix

A symmetric square matrix A n is said to be positive definite if x A x > 0 x n

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 A n is said to be positive definite if x A x 0 x n . To denote positive and semi-positive definite matrices we use the symbol A 0 and A 0 respectively. If a symmetric matrix has both positive and negative eigenvalues is said to be indefinite.

Definition 2.5: small o

For a function f : we write f ( x ) = o ( g ( x ) ) if and only if there exists a neighbourhood of 0 (i.e. 𝜖 ( 0 ) ) and a function c : 𝜖 ( 0 ) with lim x 0 c ( x ) = 0 such that:

| f ( x ) | c ( x ) g ( x ) x 𝜖 ( 0 )

Practically it means that if f ( x ) = o ( g ( x ) ) then f shrinks faster than g as x goes to zero. For example x 2 = o ( x ) . Note that from the definition we also have that lim x 0 o ( g ( x ) ) g ( x ) = 0

Definition 2.6

Matrix norm