The Road to Reality Study Notes: Difference between revisions

Line 206: Line 206:
We need to be careful with the above assertion of the logarithm, mainly since $$b^z$$ and <math>log_bw</math> are ‘many valued’.  Solving the equations would require a particular choice for $$b$$ to isolate the solution.  With this, the ‘base of natural logarithms’ is introduced as the [https://en.wikipedia.org/wiki/E_(mathematical_constant) number e], whose definition is the power series <math>1+1/1!+1/2!+1/3!+…</math>. This power series converges for all values of z which then makes for an interesting choice to solve the ambiguity problem above.  Thus we can rephrase the problem above with the natural logarithm, <math>z=logw</math> if $$w=e^z$$.
We need to be careful with the above assertion of the logarithm, mainly since $$b^z$$ and <math>log_bw</math> are ‘many valued’.  Solving the equations would require a particular choice for $$b$$ to isolate the solution.  With this, the ‘base of natural logarithms’ is introduced as the [https://en.wikipedia.org/wiki/E_(mathematical_constant) number e], whose definition is the power series <math>1+1/1!+1/2!+1/3!+…</math>. This power series converges for all values of z which then makes for an interesting choice to solve the ambiguity problem above.  Thus we can rephrase the problem above with the natural logarithm, <math>z=logw</math> if $$w=e^z$$.


However, even with this natural logarithm we run into multi-valuedness ambiguity from above.  Namely that z still has many values that lead to the same solution, z+2*pi*i*n, where n is any integer we care to choose.  This represents a full rotation of 2*pi in the complex plane which achieves the same point, z.
However, even with this natural logarithm we run into multi-valuedness ambiguity from above.  Namely that $$z$$ still has many values that lead to the same solution with $$z+2πin$$, where $$n$$ is any integer we care to choose.  This represents a full rotation of $$2π$$ in the complex plane with all multiples of $$n$$ achieving the same point, $$z$$.


Penrose goes further in representing z with polar coordinates, z=logr+i*theta.  Showing then e^z=e^logr+i*theta=re^i*theta.  This formulation clearly shows us that when we multiply two complex numbers, we take the product of their moduli and the sum of their arguments (using the addition to multiplication formula introduced in 5.2).
Penrose goes further in representing $$z$$ with polar coordinates showing <math>z=logr+iθ</math>.  Showing then <math>e^z=e^logr+=re^iθ</math>.  This formulation shows us that when we multiply two complex numbers, we take the product of their moduli and the sum of their arguments (using the addition to multiplication formula introduced in 5.2).


Rounding out the chapter, Penrose gives us another further representation of assuming r=1, such that we recover the ‘unit circle’ in the complex plane with w=e^i*theta.  We can combine trigonometry on this circle to show e^i*theta=cos(theta) + i*sin(theta).   
Rounding out the chapter, Penrose gives us another further representation of assuming $$r=1$$, such that we recover the ‘unit circle’ in the complex plane with $$w=e^iθ$$.  We can 'encapsulate the essentials of trigonometry in the much simpler properties of complex exponential functions' on this circle by showing <math>e^=cos(θ) + i*sin(θ)</math>.   
 
Different values can arrive at the same value. Rotation brings you back to the same place repeatedly.


* $$e^{i\theta}$$ is helpful notation for understanding rotating  
* $$e^{i\theta}$$ is helpful notation for understanding rotating  
105

edits