105
edits
Difference between revisions of "The Road to Reality Study Notes"
Jump to navigation
Jump to search
The Road to Reality Study Notes (view source)
Revision as of 14:10, 17 June 2020
, 14:10, 17 June 2020→5.2 The idea of the complex logarithm
| Line 200: | Line 200: | ||
Armed with both the cartesian and polar representations of complex numbers, it is now possible to show that the multiplication of two complex numbers leads to adding their arguments and multiplying the moduli. This, for the moduli, converts multiplication into addition. | Armed with both the cartesian and polar representations of complex numbers, it is now possible to show that the multiplication of two complex numbers leads to adding their arguments and multiplying the moduli. This, for the moduli, converts multiplication into addition. | ||
This fact is fundamental in the use of logarithms. To show this, we start with the expression $$b^{m+n} = b^m \times b^n$$ | This fact is fundamental in the use of logarithms. To show this, we start with the expression $$b^{m+n} = b^m \times b^n$$, which represents the idea of [https://en.wikipedia.org/wiki/Exponentiation exponentiation]. This is easy to grasp for $$m$$ and $$n$$ being positive integers, as each side just represents $$m+n$$ instances of the number $$b$$, all multiplied together. If $$b$$ is positive, this law is then showed to hold for exponents that are positive integers, values of 0, and fractions. If $$b$$ is negative, we require further expansion into the complex plane. | ||
We would need a definition of $$b^p$$ for all complex numbers $$p,q,b$$ such that $$b^{p+q} = b^p \times b^q$$. If we then define the [https://en.wikipedia.org/wiki/Logarithm logarithm to the base b] as the inverse of the function $$f(z) = b^z$$ such that <math>z=log_bw</math> for $$w=b^z$$ then we should expect <math>z=log_b(p \times q) = log_bp + log_bq</math>. This would then convert multiplication into addition and allow for exponentiation in the complex plane. | We would need a definition of $$b^p$$ for all complex numbers $$p,q,b$$ such that $$b^{p+q} = b^p \times b^q$$. If we then define the [https://en.wikipedia.org/wiki/Logarithm logarithm to the base b] as the inverse of the function $$f(z) = b^z$$ such that <math>z=log_bw</math> for $$w=b^z$$ then we should expect <math>z=log_b(p \times q) = log_bp + log_bq</math>. This would then convert multiplication into addition and allow for exponentiation in the complex plane. | ||