Register to reply

Complex Analysis: Infinity

by Niles
Tags: analysis, complex, infinity
Share this thread:
Niles
#1
Jun4-09, 01:55 AM
P: 1,863
1. The problem statement, all variables and given/known data
Hi all.

We we look at [itex]z\rightarrow \infty[/itex], does this include both [itex]z=x[/itex] for [itex]x \rightarrow \infty[/itex] AND [itex]z=iy[/itex] for [itex]y\rightarrow \infty[/itex]? So, I guess what I am asking is, when [itex]z\rightarrow \infty[/itex], am I allowed to go to infinity from both the real and imaginary axis? If yes, then this implies that [itex]i\cdot \infty = \infty[/itex]?

Thank you very much in advance.

Best regards,
Niles.
Phys.Org News Partner Science news on Phys.org
Experts defend operational earthquake forecasting, counter critiques
EU urged to convert TV frequencies to mobile broadband
Sierra Nevada freshwater runoff could drop 26 percent by 2100
HallsofIvy
#2
Jun4-09, 05:04 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,569
Yes, the complex plane has a single "point at infinity". Topologically, every set of the form {z | |z|> R} is a neighborhood of the "point at infinity". That does NOT mean that "[itex]i\cdot\infty= \infty[/itex]". This is purely "topological" or "geometric". Infinity is NOT a complex number and we do not multiply it.

Added: that is the most common way to extend the complex numbers (the "one-point compactification") and makes the complex plane topologically equivalent to a sphere, but it is also possible to add a "point at infinity" at the end of every ray from 0 (The "Stone-Cech" compactication). That makes the complex plane topologically equivalent to a closed disk. However, both of those are topological (geometric) concepts and do not change the algebra of the complex numbers. We still do not define arithmetic involving "infinity".
Niles
#3
Jun7-09, 04:29 AM
P: 1,863
Thanks for replying. Is this single point [itex]\infty[/itex] or [itex]i\cdot\infty[/itex]? Or should I understand it as if they are both this single point?

HallsofIvy
#4
Jun7-09, 04:37 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,569
Complex Analysis: Infinity

That single point is called "infinity". You will sometimes see "[itex]i\cdot\infty[/itex]" as shorthand for [itex]\lim_{b\to\infty}0+ bi[/itex] but the limit itself is just the point at infinity.
Niles
#5
Jun8-09, 11:52 AM
P: 1,863
Thanks. It is very kind of you to help me.
Niles
#6
Jun15-09, 06:32 AM
P: 1,863
Hmm, I seem to have stumpled upon something, which is quite odd:

Lets look at the function [itex]
f(z) = \sqrt{z^2+4}
[/itex]. This function has a simple pole at [itex]z_0=\infty[/itex], but we also have the limits

[tex]
\begin{array}{l}
\mathop {\lim }\limits_{x \to \infty } \left( {x^2 + 4} \right)^{1/2} = \infty \\
\mathop {\lim }\limits_{y \to \infty } \left( {(iy)^2 + 4} \right)^{1/2} = i \cdot \infty \\
\end{array}
[/tex]

and hence the limits are both infinite, and thus there is no singularity according to the limits - but we just found a pole at infinity. What part of my reasoning is wrong here?
Count Iblis
#7
Jun15-09, 09:07 AM
P: 2,157
The fact that the limits are infinite is consistent with there being a pole. You can compute the residue at the pole, e.g. by first using the transformation z ---> 1/z to move the (alleged) pole to the origin and then compute the residue at zero.
Hurkyl
#8
Jun15-09, 09:48 AM
Emeritus
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,091
There are many different compactifications of the complex numbers -- essentially, ways to add points "at infinity" to make calculus behave nicely.

The most common is the projective complex numbers. In that number system, there is only one infinite number, and [itex]x \cdot \infty = \infty[/itex] for all nonzero complex numbers x. ([itex]0 \cdot \infty[/itex] is not in the domain of [itex]\cdot[/itex] -- i.e. it's undefined) This can be pictured as the Riemann sphere.

Another one that crops up sometimes is to consider the set of all [itex]a + b \mathbf{i}[/itex] where a and b are extended real numbers. The extended real numbers are the ones you're probably familiar with from calculus (although you weren't taught to use them as numbers) -- it has two infinite numbers called [itex]+\infty[/itex] and [itex]-\infty[/itex]. Topologically, this looks like a square. (In the same sense that the closed interval [itex][-\infty, \infty][/itex] has the same shape as the interval [itex][0, 1][/itex])


Register to reply

Related Discussions
Complex analysis Calculus & Beyond Homework 8
Complex infinity General Math 43
Advice on complex analysis, Riemann surface & complex mappings. Differential Geometry 3
Complex cosine equation (complex analysis) Calculus & Beyond Homework 2
Complex Infinity General Math 5