conical space

Conical spaces


A conical space is a set equipped with a notion of taking real-linear combinations with nonnegative coefficients of its elements.

Conical spaces appear prominently in microlocal analysis, where wave front sets of distributions are disjoint unions of (open-)conical spaces; also in Lorentzian geometry in the guise of open past/future causal cones and light cones.


Conical sets

A conical set is a module of the rig +=[0,[\mathbb{R}^+ = {[{0,\infty}[}: that is, the rig of nonnegative real numbers, with ordinary addition and multiplication as the rig operations.

Similarly one may consider “open conical sets” which are modules over the rig of positive real numbers.

Extended conical sets

An extended conical space is a module over the rig ¯ +=[0,]\bar{\mathbb{R}}^+ = [0,\infty] of nonnegative extended real numbers, with 000 \cdot \infty \coloneqq 0.

For purposes of constructive mathematics, one should take ¯ +\bar{\mathbb{R}}^+ to be the space of nonnegative lower real numbers.

Since we have a rig homomorphism +¯ +\mathbb{R}^+ \hookrightarrow \bar{\mathbb{R}}^+, every extended conical space has an underlying conical space, and any conical space freely generates an extended conical space. However, there is no direct relationship between vector spaces and extended conical spaces.



The extended positive cone of any ordered real vector space is an extended conical space.

Relation to vector spaces

Any rig homomorphism ABA \to B gives a ‘restriction of scalarsfunctor R:BModAModR\colon B Mod \to A Mod and ‘extension of scalarsfunctor L:AModBModL \colon A Mod \to B Mod. In particular, the rig homomorphism

+ \mathbb{R}^+ \hookrightarrow \mathbb{R}

produces a pair of adjoint functors between the category of modules over \mathbb{R} (that is, real vector spaces) and the category of modules over +\mathbb{R}^+ (that is, conical spaces).

In simple English: any real vector space has an underlying conical space, and any conical space freely generates a real vector space.


See also

Last revised on October 31, 2017 at 09:26:24. See the history of this page for a list of all contributions to it.