# non-convex Polytope definition

I have a simple question. I read that given a vector space $N_{\mathbb{R}}$ over $\mathbb{R}$, we can define a convex polytope in the following way:

$$P:= \Big\{ \sum_{u\in S} \mu_u u \,\Big| \, \mu_u \geq 0 , \sum_{u\in S} \mu_u =1 \Big\} \subset N_{\mathbb{R}}$$

with $S$ finite.

What is the definition of polytope and regular polytope in general?

Thanks in advance.

-
Apparently wikipedia has a very broad definition of polytope en.wikipedia.org/wiki/Polytope But I have only seen polytope be used to mean that definition, which immediately implies that it is convex – David Benson-Putnins May 11 '13 at 20:07
There are various definitions of what regularity should mean in Coxeter's book Regular polytopes. – Mariano Suárez-Alvarez May 11 '13 at 20:12
The title of your question ("non-convex") does not match the question itself. Perhaps you are seeking a definition of a polytopal complex? This is defined in Ziegler's Lectures on Polytopes. – Joseph O'Rourke May 12 '13 at 0:54

## 1 Answer

(This should be a comment, but don´t know how to post it as such)

The words "polytope" and "polyhedron" can mean different things... and different people mean different things when they say "regular polytope".

Take a look at Grünbaum´s paper: Are your polyhedra the same as my polyhedra?, Discrete and Computational Geometry: The Goodman-Pollack Festschrift. B. Aronov, S. Basu, J. Pach, and Sharir, M., eds. Springer, New York 2003, pp. 461 – 488 (http://www.math.washington.edu/~grunbaum/Your%20polyhedra-my%20polyhedra.pdf)

-