Univalent function: Difference between revisions

Revision as of 04:47, 9 January 2014

Revision as of 04:48, 9 January 2014

Line 21:

:<math>f: (-1, 1) \to (-1, 1) \, </math>

given by ''&fnof;''(''x'')&nbsp;=&nbsp;''x''³. This function is clearly injective, but its derivative is 0 at ''x''&nbsp;=&nbsp;0, and its inverse is not analytic, or even differentiable, on the whole interval&nbsp;(&minus;1,&nbsp;1). Consequently, if we enlarge the ___domain to an open subset ''G'' of the complex plane, it must fail to be one-to-oneinjective; and this is the case, since (for example) ''f''(&epsilon;&omega;)&nbsp;= ''f''(&epsilon;) (where &omega; is a [[primitive root of unity|primitive cube root of unity]] and &epsilon; is a positive real number smaller than the radius of ''G'' as a neighbourhood of 0).

== References==