symmetric monoidal (∞,1)-category of spectra
If is a field, given the polynomial ring , there is a canonical ring homomorphism which sends constant polynomials in to constant functions in , and the generator to the identity function , where is the function algebra on .
There is a function
from the field of rational expression to the set of all partial functions in the category of partial functions , where the function algebra is the endomorphism -algebra on the improper subset . The function is defined as follows: given two polynomials where , for all
where for and
is the division of by in , and for and ,
is the division of by in . A rational function is an element of the image of , .
It is perhaps more illuminating to think of this partial function (with domain ) as coming from a (total) function on the projective line, where we have inclusion functions and the partial function is given by the pair of projection maps in the pullback
It should also be noticed that such endofunctions on are closed under composition (except that special provision must be made for the constant function valued at , which corresponds to the “fraction” ).
This comes from the fact that the reciprocal function is not a multiplicative inverse of the identity function , due to the fact that is undefined at , and thus has a different domain than the constant function , which is the multiplicative unit.
rational functions are continuous on their domain of definition
real rational function?
On the homotopy type of spaces of rational maps from the Riemann sphere to itself (related to the moduli space of monopoles in and to the configuration space of points in ):
Last revised on June 5, 2022 at 20:55:08. See the history of this page for a list of all contributions to it.