AnswerBun.com

Are all complex functions onto?

Mathematics Asked by Truth-seek on January 5, 2022

I am not sure whether this question even makes sense. But I was just wondering whether all inverse operations of functions defined in complex numbers will stay inside complex numbers. (i.e. we don’t have to extend the complex number system):

$x^2$ is a well-defined function of real numbers alone and yet there is no real number such that $x^2 = -1$, i.e. there is no inverse, for $-1$ (and so we need complex numbers).

Is there a theorem that says that this kind of thing cannot happen with complex numbers? Maybe all continuous complex functions are onto? Or, maybe all taylor series with complex coefficients are onto?

4 Answers

As I understand it, your question is raising an analogy with the fact that $x^2 + 1 = 0$ has no solutions over $Bbb{R}$, and we need to "invent" a new number $i = sqrt{-1}$ (that is, adjoin an element with the appropriate algebraic properties to the field $Bbb{R}$). This gives us the field $Bbb{C}$. So your question is, do we have to keep "inventing" new numbers [adjoining new elements] $j, k, l, ...$ indefinitely to $Bbb{C}$ to solve ever broader classes of equations?

As far as polynomials go, the answer is "no". $Bbb{C}$ is algebraically closed: if you give me any polynomial $p(x) in Bbb{C}[x]$ with complex coefficients, I can give you a complex number $z$ for which $p(z) = 0$. $Bbb{C}$ is also closed under field operations: for any two complex numbers $a_1 + b_1i$, $a_2 + b_2i$, their sum, difference, product, and quotient can all be written in the form $a + bi$ as well (so we don't need to keep inventing new symbols $j, k, l, ...$ to handle basic field operations either).

It's even true that complex numbers have logarithms and roots, although these are generally multivalued, and cannot be defined on all of $Bbb{C}$ because of singularity issues at the origin. I can also raise a complex number to a complex power, and my result still is in $Bbb{C}$. Basically, once you add $i$ to the field $Bbb{R}$, your work of adding elements is complete.

Answered by Rivers McForge on January 5, 2022

Since I feel like your question is trying to address finding some kind of generalisation of the fundamental theorem of algebra (which can be rephrased as saying any nonconstant complex polynomial is surjective), I think one of the best things you can get is Picard's little theorem.

First, let me mention that continuous complex functions are not necessarily surjective, even if they aren't constant: for example, the absolute value function $|cdot|:Bbb CtoBbb R_{geq0}subsetBbb C$ is certainly continuous, but is also certainly not surjective. Therefore, just having continuity is not enough, so if we want to remedy this by making the functions in question look "more like polynomials", then we ought to make them smoother; that is, (complex) differentiable.

It turns out being complex differentiable is quite a bit to ask: unlike in the real case, a function that is complex differentiable will automatically be analytic; that is, it will have a Taylor series expansion at the point where it is differentiable. Therefore, differentiable complex functions can be thought of as "infinite degree polynomials", and we can go back to the question of: does the fundamental theorem of algebra somehow generalise to this setting?

Cutting to the chase, one place we might end up is Picard's little theorem, which says that if our complex function is differentiable everywhere and also not a constant, then its image will be just about surjective; that is, its image will be $Bbb C$ except possibly a single point. Therefore, given a complex function $f:Bbb CtoBbb C$ that is differentiable, you will be able to solve $f(z)=a$ for all $ainBbb C$ with at most one exception.

For the record, an example of an entire function whose image is missing a point would be the exponential map $exp:Bbb CtoBbb C$, whose image is $Bbb Csetminus{0}$.

Answered by shibai on January 5, 2022

The definition of the inverse function is, if $$ f : X to Y$$ then, $$f^{-1} : Y to X \ f^{-1} circ f = f circ f^{-1} = I$$ (Where $I$ is the indentity function) In the second paragraph of your post, you have written that $sqrt{x}$ is the inverse of $x^2$ but it is not defined for $-1$, but you didn’t notice that if you consider $sqrt{x}$ as the inverse of $x^2$ then the inputs/domain of $sqrt{x}$ must be the outputs/range of the $x^2$ and $-1$ is not in the range of $x^2$ and hence cannot be an input of $sqrt{x}$.

Complex polynomial functions can have inverses, and existence of inverse does imply continuity.

Answered by Knight wants Loong back on January 5, 2022

While it is not completely clear what you mean by "operations within the complex numbers", it almost sounds that you are alluding to the fundamental Theorem of Algebra. This Theorem says that any polynomial in $mathbb{C}$ factors completely over $mathbb{C}$. So, all the roots "stay inside the complex numbers". If you are familiar with Field Theory, this is equivalent to their being no algebraic extensions of $mathbb{C}$.

However, you second thought still does not hold completely in the complex numbers. You cannot just invert something like $z^2$ because it is not a bijective function on $mathbb{C}$. To define $sqrt{z}$ you can write this as $z^{1/2} = e^{1/2log z}$ where $log z$ is a branch of the logarithm. Remember that the logarithm is not analytic on all of $mathbb{C}$ and you you will need to take a branch cut.

If such an inverse exists, then it is necessarily continuous and and analytic where the original function is nonzero (albeit, these are true in the non-complex case as well).

Answered by Mike on January 5, 2022

Add your own answers!

Related Questions

Common root of a cubic and a biquadratic equation

4  Asked on November 9, 2021 by um-desai

   

Set of possible reflections of a vector.

1  Asked on November 9, 2021 by alexander-mathiasen

   

Ask a Question

Get help from others!

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP, SolveDir