# Convex cone

In mathematics , a **convex cone is** a cone that is closed under linear combinations with positive coefficients (also called conical combinations ). Convex cones play an important role in conical optimization .

## definition

Given is a set of a - vector space , where is an arranged body . Mostly is .

The set is a convex cone if one of the following definitions is true:

- is convex and a cone .
- is a cone, and for any is again included in.
- For any and off is always in again .
- The set is complete regarding conical combinations .

## properties

- Intersections of families of convex cones are again convex cones. The convex cones thus form a system of envelopes .
- The conical hull (sometimes also called the positive hull) assigns the smallest convex cone containing that set to each set. Thus the conical hull is the hull operator to the hull system of convex cones.
- Each convex cone defines an order relation on the vector space in which it is located. The convex cone is then understood as an order cone .

## Cones over subsets of the sphere

For a subset of the unit sphere is called

the cone over .

Each cone is of the shape for .

The convexity of cones can be described by the following equivalent geometric definition describe: a cone is precisely then a convex cone, if the average with each great circle of the unit sphere contiguous is.

## More terms

A cone is called a *polyhedral cone* if there is a matrix such that

is. A cone is a polyhedral cone if and only if it is generated by a finite set of vectors .

A cone is called *regular* if

- .

The *automorphism group of* a cone is

- .

A cone is called *homogeneous* if the automorphism group acts transitively on .

It is called *symmetric* if there is an involution for each with the only fixed point. Symmetrical convex cones are always homogeneous.

A cone is called *reducible* if its shape

with is, otherwise *irreducible* .

The too *dual cone* is defined as
. This definition can also be formulated analogously for vector spaces with a scalar product over an arranged body.

A cone is called *self-dual* if is.

*Characterization of symmetrical convex cones* : A convex cone is symmetrical if and only if it is open, regular, homogeneous and self-dual.

## Koecher-Vinberg's theorem

The *positive cone of* a Jordan algebra is the set of elements with a positive spectrum . A Jordan algebra is *formally called real* if it can not be represented as a nontrivial sum of squares. In a formally real Jordan algebra, an element belongs to the positive cone if and only if it is a square.

The *set of quiver Vinberg* states that the construction of the positive taper produces a bijection between formal real Jordan algebras and symmetrical convex cones.

Symmetrical convex cones are therefore also called *positivity area* (ger .: *domain of positivity* called).

## Classification of symmetrical convex cones

In 1965, Max Koecher used the classification of formally real Jordan algebras to classify the symmetrical convex cones.

The irreducible symmetric convex cones in are given by the following list:

- the Lorentz cone
- the cone of positive symmetric matrices for
- the cone of the positive complex Hermitian matrices for
- the cone of positive Hermitian quaternionic matrices for
- and for the cone with .

## literature

- Benoist, Yves:
*A survey on divisible convex sets.*Geometry, analysis and topology of discrete groups, 1-18, Adv. Lect. Math. (ALM), 6, Int. Press, Somerville, MA 2008. pdf - Koecher, Max:
*The Minnesota notes on Jordan algebras and their applications.*Edited, annotated and with a preface by Aloys Krieg and Sebastian Walcher. Lecture Notes in Mathematics, 1710. Springer-Verlag, Berlin 1999, ISBN 3-540-66360-6 .