Univalent function: Difference between revisions

Revision as of 01:02, 12 May 2013

Revision as of 23:32, 8 June 2013

Line 21:

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

given by ''&fnof;''(''x'')&nbsp;=&nbsp;''x''³. This function is clearly one-to-one, however, 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 <i>''G</i>'' of the complex plane, it must fail to be one-to-one; and this is the case, since (for example) <i>''f</i>''(&epsilon;&omega;)&nbsp;= <i>''f</i>''(&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 <i>''G</i>'' as a neighbourhood of 0).

== References==