Example 2
Tag 08GQ, permanent. Cite it as [Bourbaki, Tag 08GQ].
Functions of a Real Variable, chapter V, Appendix 0. Hardy Fields. (H) Functions
A very important example of a Hardy field is the set of rational functions with real coefficients, which we shall denote by , by an abuse of language; if is a rational function with real coefficients, not identically zero, it is continuous, differentiable, and on an interval , where is strictly greater than the largest of the real roots of the polynomials and ; thus every element of other than 0 is invertible. We note again that two rational functions cannot be congruent modulo unless they are equal, so can again be identified with .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.