Let $S$ be a semigroup on which acts $\mathbb{R}_{\geq0}$. Does this structure has a name?
For example $S$ can be the set of convex bodies in $\mathbb{R}^n$ with the Minkowsky sum.
Let $S$ be a semigroup on which acts $\mathbb{R}_{\geq0}$. Does this structure has a name?
For example $S$ can be the set of convex bodies in $\mathbb{R}^n$ with the Minkowsky sum.
Copyright © 2021 JogjaFile Inc.
Assuming you want the semigroup to be commutative (as it is for Minkowski sum), such an object is called a convex cone.
Added: When if it's not naturally sitting in a vector space, one can avoid confusion by calling the object an abstract convex cone. For example, Wikipedia talks about