Conversely, suppose the exterior derivative of every -form has no part. For sections of , the same exterior derivative formula gives
The common annihilator of all -covectors is . Local -coframes therefore show that belongs to . Conjugating gives bracket closure of . Thus the two criteria are equivalent. These are the bracket and differential-form criteria for integrability, and establish integrability in the sense used here.

Articles by others on the same topic (0)

There are currently no matching articles.