Conversely, suppose the exterior derivative of every -form has no part. For sections of , the same exterior derivative formula givesThe 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
There are currently no matching articles.