MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
Apparently wikipedia has a very broad definition of 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
up vote 2 down vote accepted

(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 (

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.