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?

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

2 Asked on November 9, 2021

1 Asked on November 9, 2021

3 Asked on November 9, 2021

2 Asked on November 9, 2021 by user791682

convergence divergence real analysis sequences and series solution verification

2 Asked on November 9, 2021

closed form integration polylogarithm sequences and series zeta functions

1 Asked on November 9, 2021

4 Asked on November 9, 2021 by lrh2000

2 Asked on November 9, 2021 by complexanalysis

complex analysis complex numbers geometric series laurent series

0 Asked on November 9, 2021

1 Asked on November 9, 2021 by user11999776

2 Asked on November 9, 2021 by jojo98

complex analysis fourier analysis fourier transform integration

1 Asked on November 9, 2021

differential geometry differential topology manifolds with boundary smooth manifolds surfaces

1 Asked on November 9, 2021

abstract algebra ideals maximal and prime ideals power series ring theory

4 Asked on November 9, 2021 by um-desai

1 Asked on November 9, 2021

1 Asked on November 9, 2021 by alexander-mathiasen

2 Asked on November 9, 2021 by jean-l

1 Asked on November 9, 2021 by antonio-claire

cesaro summable convergence divergence proof writing real analysis sequences and series

Get help from others!

Recent Answers

- haakon.io on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

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