A finite hyperreal number $r$ is a number defined as a sum of a real number and an infinitesimal number $\omega$: $r=a+\omega$ Do you know if is it possible (and useful) to define a complex number as $c=a+i\omega\ ?$ Thanks
Complex numbers and Nonstandard Analysis
-
0I do not think he is trying to create a new field but redefine the complex numbers. He is saying since any finite hyper-real has a standard and infinitesimal part, could they be used to represent complex numbers. – 2013-05-30
4 Answers
Sorry, this is not an answer, but I cannot figure out how to comment on your question.
Where is this definition from? Is 0 a standard real or an infinitesimal? If the standard reals and the infinitesimals count as finite hyperreals (and they do by the half dozen definitions that I've seen), then you would need to allow both $a$ and $\omega$ to take the value 0 in order to get these numbers as sums of reals and infinitesimals.
-
0You need some reputation in order to comment everywhere, see http://math.stackexchange.com/privileges/comment . You're almost there. – 2012-03-18
The complex numbers can be defined as numbers of the form $x + i y$ where $x$ and $y$ are real. All constructions of standard analysis work in non-standard analysis, so this statement remains true in the non-standard model: hypercomplex numbers are numbers of the form $x + i y$ for hyperreal $x$ and $y$.
Whether it's useful to single out those complexes with standard real and infinitesimal imaginary part, I think it unlikely. Finite real and infinitesimal imaginary part is more likely to be useful.
For example, in complex analysis, one often constructs contours that include paths of the sort $x + i \epsilon$ to approximate the real line, or circular arcs $a + \epsilon e^{i \theta}$ to approximate a point, where $\epsilon$ is a small positive real number, and then takes the limit as $\epsilon \to 0$.
Replacing $\epsilon$ with a real infinitesimal would probably be useful.
I am not sure, whether following is helpful or related to your question:
But do you know wick rotation$[(x+t)\to (x+it)]$.. See wikipedia page.
Many system can be change to other system by wick rotation. For example take born infeld equation and minimal surface equation, these are related by wick rotation of one variable.
That is if $\phi(x,t)$ is solution of Born-infeld equation then $\phi(x,it)$ will be solution to minimal surface equation.
So if we define $z= s+t\in\mathbb R$ some variable in solving Born-Infeld equation, then $z= s+it$ will be some point in domain of definition of minimal surface.
I can't explain this transformation completely but you can see wikipedia pages and one article of Rukmini Dey.
This is one particular example. Basically $t\to it$ gives many time very new result in transform equation.
One of Euler's applications of infinitesimals in the context of complex numbers was his proof of the infinite product factorisation for the sine function. He first proved this for the hyperbolic sine function using infinite integers and infinitesimals, and then rotated by $\sqrt{-1}$ to obtain the identity for the sine. Additional details can be found in
Kanoveĭ, V. G. Correctness of the Euler method of decomposing the sine function into an infinite product. (Russian) Uspekhi Mat. Nauk 43 (1988), no. 4(262), 57--81, 255; translation in Russian Math. Surveys 43 (1988), no. 4, 65–94.
Some recent articles have dealt with this in detail, as well.