词条 | Differentially closed field |
释义 |
In mathematics, a differential field K is differentially closed if every finite system of differential equations with a solution in some differential field extending K already has a solution in K. This concept was introduced by {{harvtxt|Robinson|1959}}. Differentially closed fields are the analogues for differential equations of algebraically closed fields for polynomial equations. The theory of differentially closed fieldsWe recall that a differential field is a field equipped with a derivation operator. Let K be a differential field with derivation operator ∂.
Taking g=1 and f any ordinary separable polynomial shows that any differentially closed field is separably closed. In characteristic 0 this implies that it is algebraically closed, but in characteristic p>0 differentially closed fields are never algebraically closed. Unlike the complex numbers in the theory of algebraically closed fields, there is no natural example of a differentially closed field. Any differentially perfect field K has a differential closure, a prime model extension, which is differentially closed. Shelah showed that the differential closure is unique up to isomorphism over K. Shelah also showed that the prime differentially closed field of characteristic 0 (the differential closure of the rationals) is not minimal; this was a rather surprising result, as it is not what one would expect by analogy with algebraically closed fields. The theory of DCFp is complete and model complete (for p=0 this was shown by Robinson, and for p>0 by {{harvtxt|Wood|1973}}). The theory DCFp is the model companion of the theory of differential fields of characteristic p. It is the model completion of the theory of differentially perfect fields of characteristic p if one adds to the language a symbol giving the pth root of constants when p>0. The theory of differential fields of characteristic p>0 does not have a model completion, and in characteristic p=0 is the same as the theory of differentially perfect fields so has DCF0 as its model completion. The number of differentially closed fields of some infinite cardinality κ is 2κ; for κ uncountable this was proved by {{harvtxt|Shelah|1973}}, and for κ countable by Hrushovski and Sokolovic. The Kolchin topologyThe Kolchin topology on K m is defined by taking sets of solutions of systems of differential equations over K in m variables as basic closed sets. Like the Zariski topology, the Kolchin topology is Noetherian. A d-constructible set is a finite union of closed and open sets in the Kolchin topology. Equivalently, a d-constructible set is the set of solutions to a quantifier-free, or atomic, formula with parameters in K. Quantifier eliminationLike the theory of algebraically closed fields, the theory DCF0 of differentially closed fields of characteristic 0 eliminates quantifiers. The geometric content of this statement is that the projection of a d-constructible set is d-constructible. It also eliminates imaginaries, is complete, and model complete. In characteristic p>0, the theory DCFp eliminates quantifiers in the language of differential fields with a unary function r added that is the pth root of all constants, and is 0 on elements that are not constant. Differential NullstellensatzThe differential Nullstellensatz is the analogue in differential algebra of Hilbert's nullstellensatz.
Suppose that K is a differentially closed field of characteristic 0. . Then Seidenberg's differential nullstellensatz states there is a bijection between
This correspondence maps a ∂-closed subset to the ideal of elements vanishing on it, and maps an ideal to its set of zeros. Omega stabilityIn characteristic 0 {{harvtxt|Blum}} showed that the theory of differentially closed fields is ω-stable and has Morley rank ω. In non-zero characteristic {{harvtxt|Wood|1973}} showed that the theory of differentially closed fields is not ω-stable, and {{harvtxt|Shelah|1973}} showed more precisely that it is stable but not superstable. The structure of definable sets: Zilber's trichotomy{{Empty section|date=July 2010}}Decidability issues{{Empty section|date=July 2010}}The Manin kernel{{Empty section|date=July 2010}}Applications{{Empty section|date=July 2010}}See also
References
|last=Marker|first= David |chapter=Model theory of differential fields|title= Model theory, algebra, and geometry|pages= 53–63, |series=Math. Sci. Res. Inst. Publ.|volume= 39|publisher= Cambridge Univ. Press|place= Cambridge|year= 2000 |url=http://www.msri.org/publications/books/Book39/files/dcf.pdf}}
|last=Sacks|first= Gerald E. |title=The differential closure of a differential field |journal=Bull. Amer. Math. Soc.|volume= 78 |year=1972|pages= 629–634 |url=http://www.ams.org/bull/1972-78-05/S0002-9904-1972-12969-0/|doi=10.1090/S0002-9904-1972-12969-0|issue=5}}
|last=Shelah|first= Saharon |title=Differentially closed fields |journal=Israel J. Math.|volume= 16 |year=1973|pages= 314–328 |doi=10.1007/BF02756711|issue=3}}
|first= Carol|last= Wood | authorlink = Carol S. Wood |journal= Proceedings of the American Mathematical Society|volume= 40|issue= 2|year= 1973|pages= 577–584 |doi=10.2307/2039417|jstor=2039417}}
|doi =10.1007/BF02757008 |journal =Israel Journal of Mathematics |volume =25|year= 1976 |first=Carol|last= Wood | authorlink = Carol S. Wood|pages=331|issue=3–4}}
|last=Wood|first= Carol | authorlink = Carol S. Wood |chapter=Differentially closed fields|title= Model theory and algebraic geometry|pages=129–141 |series=Lecture Notes in Math.|volume= 1696|publisher= Springer|place= Berlin|year= 1998 |doi=10.1007/BFb0094671|isbn=978-3-540-64863-5}} 2 : Differential algebra|Model theory |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。