3.4 [0358]
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
3.4
Let be a weighted integral -affine polyhedral complex of pure dimension . For , we set
where we use integration from 2.4 on the right. We define integrals over the boundary of for a superform in or in by
where we use the boundary integrals from 2.8 on the right. Note that the boundary may be defined as the subcomplex consisting of the polyhedra of dimension at most , but there is no canonical weight on . Indeed, the boundary integral depends on the relative situation because of the weight and the contraction with respect to the vectors used in the definitions. This is similar to the situation in real analysis where boundary integrals depend on the relative orientation. These classical boundary integrals do depend only on the restriction of the differential form to the boundary which is clearly wrong for our boundary integrals. However, it is still true that if the support of is disjoint from .