2
$\begingroup$

I have a set of arithmetic functions from $D\subset\mathbb C$ to $\mathbb C$ (addition, division, trigonometric functions, ...). Each of those functions can also be restricted from $E\subset \mathbb R$ to $\mathbb R$.

By using integer constant, I can define many different reals using my set of functions, for example $\pi=4\tan^{-1}(1)$.

  1. Can I define some reals using the complex that I can't define using only the real definition ? For example, if I have only exponential function, I can define $\Re(e^{i.a})=\cos(a)$ But can I define $\cos(a)$ without trigonometric function and without complex ? I don't think so. Are they other examples where I do not restrict any use of usual functions ?

  2. Are they some sets of functions "complete" (and which ones)? I mean that using such a set of functions, if I restrict my functions to the reals, I can define the same reals that If I can use the more general complex notations. (Regarding the previous question, the set $\{\Re,\exp\}$ would not be complete for example).

  3. Is the set $\{+,-,\times,\div,\exp,\ln,\cos,\sin,\tan^{-1},\Re\}$ complete ?

  • 0
    I'm pretty s$u$re I can't in this scope.2012-08-19

1 Answers 1

3

I'm not sure if this is what you have in mind, but are you familiar with the casus irreducibilis? If a cubic with rational coefficients is irreducible over the rationals and has three real roots, then those roots can be expressed in terms of arithmetic operations, square roots, and cube roots, but one must allow square roots of negative numbers. More details at Wikipedia.

  • 0
    That's exactly what I had in mind, thank you :)2012-08-19