note-math

constant function support on simplex + countable infinite combination + absolutely convergent

Or use continuous piecewise affine linear or simplicial function e.g. for simplex with vertices , . The integral is defined as the average of the values according to the vertices i.e. the result of the affine center mapping

:= there exist piecewise constant functions such that and

Similarly for

In the piecewise constant space, similar to the definition of measurable sets, for integral distance, triangle inequality, the limit is unique

So that we can define and

The bisection walk sequence is Cauchy in integral distance, and the measure tends to

It does not follow the definition of pointwise convergence

Although conceptually it converges to the empty set

But for all integral distances, there exists a subnet in the Cauchy net that converges almost everywhere pointwise to the target integrable function. This comes from the fact that there exists a set with arbitrarily small measure such that it converges absolutely and uniformly on

let almost everywhere analytic

The change of variable formula formula for diffeomorphisms of integrals is or

The differential of the coordinate transformation map at each simplex center as an affine map acting on the domain simplex is used to obtain the range space simplex for approximation, then use (high order) mean-value-theorem-analytic, then take partition limit (ref-12, p.92–99)

It is necessary to first perform compact uniform control on the bounded region for the approximation of the differential mean value theorem

Then the unbounded region is a countable approximation from the bounded region, using the technique

If it is considered as integrating an form, (cf. integral-on-form) then the integral change of variable formula is equivalent to form integration is diffeomorphism invariant

According to the change of variable formula, the integral of form in the coordinates on the manifold is invariant (cf. integral-on-form)

But what if we want to integrate the form defined on the entire orientable manifold?

One way is, similar to the proof of integral-change-of-variable-formula, in coordinate, linear approximation + compact uniformly control + partition limit, then use countable cover to approximate entire manifold

In order to define the integral, some kind of countability assumption is needed, e.g. the manifold can be covered by countable coordinate cards

The integral at the intersection of the coordinate cards is repeated and needs to be removed

The integral of a form over a -simplex is also invariant, and there’s no need to define volume for lower-dimensional simplices.

constant-type form

simplicial map type form := Let be the vertices of the simplex, then

Similar to the -order case, the integral of a simplicial map form on a -chain is defined as

Even if two -simplices are adjacent, their orientations might be discontinuous. This is different from the -order case, where the codimension is zero, so all -simplices have the same orientation.

Two adjacent -simplices share common vertices, and the form acting on these points might have different values. The integral of a simplicial type form is also equivalent to taking the average of the directions at the vertices.

A good approximation would require the -directions to have good regularity, but without additional structure, it seems difficult to define such a concept (even for a Grassmann manifold?).

submanifold structure can simply eliminate this -direction discontinuity.

let be dimension manifold, form restrict to orientable submanifold tangent space

form in is equivalent to scalar function, but how to control form by integral? try ?

if unnecessary, do not introduce metric to define or now