| Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
|
|||||
| First Prev [ 1 2 ] Next Last |
to differential forms of higher degree. It is important in the theory of integration on manifolds, and is the differential used to define de Rham and Alexander-Spanier cohomology. Its current form was invented by Élie Cartan.
The exterior derivative of a differential form of degree k is a differential form of degree k + 1.
For a k-form ω = fI dxI over Rn, the definition is as follows:
For general k-forms ΣI fI dxI (where the multi-index I runs over all ordered subsets of {1, ..., n} of cardinality k), we just extend linearly. Note that if above then (see wedge product).
Exterior differentiation satisfies three important properties:
It can be shown that exterior derivative is uniquely determined by these properties and its agreement with the differential on 0-forms (functions).
The kernelAlgebra In the various branches of mathematics that fall under the heading of abstract algebra, the kernel of a homomorphism measures the degree to which the homomorphism fails to be injective. The definition of kernel takes various forms in various conte of d consists of the closed forms, and the imageThe image of an element x isin X under the function f ''X rarr Y denoted by f ''x , is the unique y isin Y that is associated with x''. The image of a subset A&sub X under f is the subset of Y defined by f A) f x) | x in A} Notice that the range of f is t of the exact forms (cf. exact differentials).
Given a -form and arbitrary smooth vector fields we have
where denotes Lie bracketA lie bracket can refer to: Lie algebra Lie derivative. and
In particular, for 1-forms we have:
The following correspondence reveals about a dozen formulas from vector calculusMultivariate calculus Vector calculus is a field of mathematics concerned with multivariate real analysis of vectors in 2 or more dimensions. It consists of a suite of formulas and problem solving techniques very useful for engineering and physics. We con as merely special cases of the above three rules of exterior differentiation.
For a 0-form, that is a smooth function f: Rn→R, we have
Therefore
where denotes gradient of and is scalar product.