# a different algebra/representation for convex sets

Hi,
I was dealing with finding a feasible region for a set of norm inequalities and the feasible region is convex. The question is not about how to find the feasible region but how to represent the final feasible region.

At the risk of sounding vague, my question is - Is there a system of algebra which is better in representing higher dimensional convex sets. So that if the feasible region is not a convex polytope but something else, we can still obtain a closed form representation of the feasible region.

Thanks
I

-
Have you looked over the different representations here and found them lacking? en.wikipedia.org/wiki/Convex_polytope –  j.c. Sep 27 '10 at 20:58
Do you mean a representation of convex sets that are not necessarily polytopes? –  Deane Yang Sep 27 '10 at 21:52
Thanks for the comments. Yes I actually mean a representation of convex sets that is not necessarily polytopes. –  Injun Joe Sep 28 '10 at 6:39
I'm not sure what you mean by a "system of algebra", but does the support function meet your needs? It is nice in the sense that adding two support functions corresponds to pointwise addition of the corresponding convex sets. Also, the support function of the polar convex set is the homogeneous Legendre transform of the support function of the original body. –  Deane Yang Sep 28 '10 at 14:25
By 'system of algebra', I meant that like geometric algebra is much more elegant while modeling points in space and associated geometric transformations instead of representations like vector space or quaternions - Whether there was something similar for convex sets. Is there a straightforward way to go from a linear matrix inequality to a support function (I would be able to represent my sets of norm inequalities into a linear matrix inequality)? –  Injun Joe Sep 28 '10 at 15:17

This question is a bit vague, but you may be looking for Motzkin's decomposition theorem. This theorem says that any polyhedral convex set can be expressed as the Minkowski sum of a polytope and a polyhedral convex cone. In particular, this shows that a bounded polyhedron is in fact a polytope.

-