Let some be a point in the
closure of . An element is called a tangent (or tangent vector) to at , if there is a sequence of elements and a sequence of positive real numbers such that and
The set of all tangents to at is called the contingent cone (or the Bouligand tangent cone) to at .[1]
An equivalent definition is given in terms of a distance function and the limit infimum.
As before, let be a normed vector space and take some nonempty set . For each , let the distance function to be
Let some be a point in the
closure of . An element is called a tangent (or tangent vector) to at , if there is a sequence of elements and a sequence of positive real numbers such that and
The set of all tangents to at is called the contingent cone (or the Bouligand tangent cone) to at .[1]
An equivalent definition is given in terms of a distance function and the limit infimum.
As before, let be a normed vector space and take some nonempty set . For each , let the distance function to be