2.5 [034V]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
2.5
Now let be a polyhedron of dimension in . By definition, is the intersection of finitely many halfspaces with and . A polytope is a bounded polyhedron. We say that is an integral -affine polyhedron for a subgroup of if we may choose all and all . In this case, we have a canonical integral -affine structure on the affine space generated by . If is the underlying real vector space of , then this integral structure is given by the lattice . Using 2.3 and the above, we get a well-defined integral for any , where is an open neighbourhood of .