Bourbaki

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 R(x)\mathbf{R}(x), by an abuse of language; if f(x)=p(x)/q(x)f(x) = p(x)/q(x) is a rational function with real coefficients, not identically zero, it is continuous, differentiable, and ≠0\neq 0 on an interval [a,+∞[[a, +\infty[, where aa is strictly greater than the largest of the real roots of the polynomials p(x)p(x) and q(x)q(x); thus every element of R(x)/R∞\mathbf{R}(x)/R_\infty other than 0 is invertible. We note again that two rational functions cannot be congruent modulo R∞\mathbf{R}_\infty unless they are equal, so R(x)/R∞\mathbf{R}(x)/\mathbf{R}_\infty can again be identified with R(x)\mathbf{R}(x).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.