Differential Field
A differential field is a field K, together with a derivation. The theory of differential fields, DF, is given by the usual field axioms along with two extra axioms involving the derivation. As above, the derivation must obey the product rule, or Leibniz rule over the elements of the field, to be worthy of being called a derivation. That is, for any two elements u, v of the field, one has
since multiplication on the field is commutative. The derivation must also be distributive over addition in the field:
If K is a differential field then the field of constants
Read more about this topic: Differential Algebra
Famous quotes containing the words differential and/or field:
“But how is one to make a scientist understand that there is something unalterably deranged about differential calculus, quantum theory, or the obscene and so inanely liturgical ordeals of the precession of the equinoxes.”
—Antonin Artaud (18961948)
“You cannot go into any field or wood, but it will seem as if every stone had been turned, and the bark on every tree ripped up. But, after all, it is much easier to discover than to see when the cover is off. It has been well said that the attitude of inspection is prone. Wisdom does not inspect, but behold.”
—Henry David Thoreau (18171862)