The Gauss Bonnet theorem relates the topology of a 2D surface to its intrinsic curvature. A torus has a total curvature of 0 while a sphere has 4π. A double hole torus has −4π as its total curvature. The curvature at a point here is the product of the two principle curvatures at that point. For initial images, the sphere has positive curvature and a saddle seat has negative curvature. The torus has regions of negative curvature.
The elementary symmetric polynomials in the curvatures play a significant role in the upcoming stuff, especially in more than 2 dimensions.
Following this we will write ∏k(x, y, ... z) for the k-th elementary symmetric polynomial.
∏1(x, y, z) = x+y+z
∏2(x, y, z) = xy+xz+yz
∏3(x, y, z) = xyz
The total curvature referred to above can now be defined as ∫∏2(k1, k2)ds integrated over the surface embedded in a flat 3 space.
We will stick with convex bodies at first, sometimes requiring them to be smooth. One way to think about the theorem for convex 3D bodies is to imagine dropping such a body many times on a table so as to leave a mark on the body where it hit. If the orientations are taken to be random, in some sense that we must make precise, then the number of marks within a region of the surface will be proportional to ∫∏2(k1, k2)ds over that region. Your intuition probably tells you that it falls more densely on its pointy parts than on its flat parts. This is true for non smooth bodies with some appropriate extension of the definition of integral, perhaps along the lines of Stieltjes integrals. A cube will almost almost always fall on one of its corners. We say that all of its curvature is concentrated at its corners.
In n-dimensions we say that a k-space is tangent to a convex body B iff it intersects B’s closure but not B’s interior. We thus include lines that touch a 3D convex body but do not penetrate it. The set of planes that touch B in some region of its surface is larger than for regions with more curvature. How do we measure the size of a set of planes? For now imagine a normal ray from the tangency point extending to sphere of some large radius r centered about B. The set of points on the sphere for each of the tangent planes will have some measure m. We take mr−(n−1) as the size of the set of planes. This is nothing new so far. All of this is widely familiar.