09-240/Classnotes for Thursday September 17: Difference between revisions
No edit summary |
No edit summary |
||
| (One intermediate revision by one other user not shown) | |||
| Line 19: | Line 19: | ||
* The "Dimensions" video on "Nombres complexes", is at http://dimensions-math.org/Dim_reg_AM.htm (and then go to "Dimensions_5". |
* The "Dimensions" video on "Nombres complexes", is at http://dimensions-math.org/Dim_reg_AM.htm (and then go to "Dimensions_5". |
||
{{09-240/Class Notes Warning}} |
|||
==Class notes for today== |
==Class notes for today== |
||
• Convention for today: <math>x,y,a,b,c,d,...</math> will be real numbers; <math>z,w,u,v,...</math> will be complex numbers |
• Convention for today: <math>x,y,a,b,c,d,...</math> will be real numbers; <math>z,w,u,v,...</math> will be complex numbers |
||
Dream: Find a field <math>\mathbb C</math> that contains <math>\mathbb R</math> and also contains an element <math>i</math> such that <math>i^2=-1</math> |
|||
'''Implications:''' |
'''Implications:''' |
||
| Line 35: | Line 37: | ||
• <math>\Rightarrow (a+bi)+(c+di)</math> must be in <math>\mathbb C</math> |
• <math>\Rightarrow (a+bi)+(c+di)</math> must be in <math>\mathbb C</math> |
||
:<math>=(a+c)+(bi+di)</math> |
|||
:<math>=(a+c)+(b+d)i</math> |
|||
:<math>=e+fi</math> |
|||
<math>(a+bi)(c+di)=(a+c)+(b+d)i</math> |
|||
:<math>=a(c+di)+bi(c+di)</math> |
|||
:<math>=ac+adi+bic+bidi</math> |
|||
:<math>=ac+bdi^2 + adi+bci</math> |
|||
:<math>=(ac-bd)+(ad+bc)i</math> |
|||
:<math>=e+fi</math> |
|||
:<math>0_C=0+0i</math> |
|||
:<math>1_C=1+0i</math> |
|||
:<math>(a+bi)+(c+di)=0+0i</math> |
|||
:<math>-(a+bi)=(-a)+(-b)i</math> |
|||
:<math>a+bi \neq 0 \Rightarrow (a,b) \neq 0</math> |
|||
• Find another element of <math>\mathbb C</math>, <math>x+yi</math> such that <math>(a+bi)(x+yi)=(1+0i)</math> |
• Find another element of <math>\mathbb C</math>, <math>x+yi</math> such that <math>(a+bi)(x+yi)=(1+0i)</math> |
||
:<math>(a+bi)(x+yi)=(ax-by)+(ay+bx)i=1+0i</math> |
|||
:<math>ax-by=1</math> (1) |
|||
:<math>bx+ay=0</math> (2) |
|||
:<math>a,b</math> are given |
|||
:<math>x,y</math> unknowns |
|||
• <math>b \times (1)</math> <math>abx-b^2y=b</math> |
• <math>b \times (1)</math> <math>abx-b^2y=b</math> |
||
| Line 79: | Line 81: | ||
• <math>a \times (2)</math> <math>abx+a^2y=0</math> |
• <math>a \times (2)</math> <math>abx+a^2y=0</math> |
||
:<math>\Rightarrow a^{2}y+b^{2}y=-b</math> |
|||
:<math>y=\frac{-b}{a^{2}+b^{2}}</math> |
|||
:<math>x=\frac{a}{a^{2}+b^{2}}</math> |
|||
• (Note: We can divide since we assumed that <math>(a,b) \neq 0</math> |
• (Note: We can divide since we assumed that <math>(a,b) \neq 0</math> |
||
:<math>(a+bi)^{-1}=\frac{a}{a^{2}+b^{2}}+\frac{-b}{a^{2}+b^{2}}i=\frac{a-bi}{a^{2}+b^{2}}=\frac{\overline{a+bi}}{|a+bi|^{2}}=\frac{\mbox{conjugate}}{\mbox{norm squared }}</math> |
|||
Def: Let <math>\mathbb C</math> be the set of all pairs of real numbers <math>{(a,b)}={a+bi}</math> |
|||
with <math>+: (a,b)+(c,d)=(a+c,b+d)</math> |
|||
:<math>(a+bi)+(c+di)=(a+c)+(b+d)i</math> |
|||
<math>\times :(a+bi)(c+di)=</math>...you know what |
|||
• 0 = you know what |
• 0 = you know what |
||
| Line 101: | Line 103: | ||
• 1 = you know what |
• 1 = you know what |
||
'''Theorem:''' |
|||
• Thm: |
|||
#:<math>\mathbb C</math> is a field |
|||
#:<math>(0+1i)^2=(0,1)^2=i^2=-1_{C}=(-1,0)</math> |
|||
#:<math>\mathbb R \rightarrow \mathbb C</math> by <math>a \rightarrow a+0i</math> |
|||
Proof: <math>F_{1},F_{2},F_{3},...</math> |
|||
'''Example:''' <math>F_{5}</math> (distributivity) |
|||
• Show that <math>z(u+v)=zu+zv</math> |
• Show that <math>z(u+v)=zu+zv</math> |
||
Let <math>z=(a+bi)</math> |
|||
:<math>u=(c+di)</math> |
|||
:<math>v=(e+fi)</math> |
|||
When <math>a,b,c,d,e,f \in \mathbb R</math> |
|||
:<math>(a+bi)[(c+di)+(e+fi)]=(a+bi)(c+di)+(a+bi)(e+fi)=(ac-bd)+\ldots</math> |
|||
• NEXT WEEK: Complex numbers have geometric meaning, geometric interpretation (waves) |
• NEXT WEEK: Complex numbers have geometric meaning, geometric interpretation (waves) |
||
Latest revision as of 19:15, 17 September 2009
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
NSERC - CMS Math in Moscow Scholarships
The Natural Sciences and Engineering Research Council (NSERC) and the Canadian Mathematical Society (CMS) support scholarships at $9,000 each. Canadian students registered in a mathematics or computer science program are eligible.
The scholarships are to attend a semester at the small elite Moscow Independent University.
Math in Moscow Program http://www.mccme.ru/mathinmoscow/
Application details http://www.cms.math.ca/Scholarships/Moscow
For additional information please see your department or call the CMS at 613-733-2662.
Deadline September 30, 2009 to attend the Winter 2010 semester.
Some links
- Dori Eldar's work on "mechanical computations": Machines as Calculating Devices and Computing the function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle W=Z^2} the hard way.
- The "Dimensions" video on "Nombres complexes", is at http://dimensions-math.org/Dim_reg_AM.htm (and then go to "Dimensions_5".
Class notes for today
• Convention for today: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x,y,a,b,c,d,...} will be real numbers; Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z,w,u,v,...} will be complex numbers
Dream: Find a field Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb C} that contains Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb R} and also contains an element Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i} such that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i^2=-1}
Implications:
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b \in \mathbb R \Rightarrow bi \in \mathbb C}
•
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle c,d \in \mathbb R \Rightarrow c+di \in \mathbb C}
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Rightarrow (a+bi)+(c+di)} must be in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb C}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle =(a+c)+(bi+di)}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle =(a+c)+(b+d)i}
• Find another element of , such that
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ax-by=1} (1)
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle bx+ay=0} (2)
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a,b} are given
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x,y} unknowns
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b \times (1)} Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle abx-b^2y=b}
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a \times (2)} Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle abx+a^2y=0}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Rightarrow a^{2}y+b^{2}y=-b}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x=\frac{a}{a^{2}+b^{2}}}
• (Note: We can divide since we assumed that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a,b) \neq 0}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a+bi)^{-1}=\frac{a}{a^{2}+b^{2}}+\frac{-b}{a^{2}+b^{2}}i=\frac{a-bi}{a^{2}+b^{2}}=\frac{\overline{a+bi}}{|a+bi|^{2}}=\frac{\mbox{conjugate}}{\mbox{norm squared }}}
Def: Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb C} be the set of all pairs of real numbers Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {(a,b)}={a+bi}}
with Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle +: (a,b)+(c,d)=(a+c,b+d)}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a+bi)+(c+di)=(a+c)+(b+d)i}
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \times :(a+bi)(c+di)=} ...you know what
• 0 = you know what
• 1 = you know what
Theorem:
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb C} is a field
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (0+1i)^2=(0,1)^2=i^2=-1_{C}=(-1,0)}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb R \rightarrow \mathbb C} by Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a \rightarrow a+0i}
Proof: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F_{1},F_{2},F_{3},...}
Example: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F_{5}} (distributivity)
• Show that
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z=(a+bi)}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle u=(c+di)}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle v=(e+fi)}
When Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a,b,c,d,e,f \in \mathbb R}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a+bi)[(c+di)+(e+fi)]=(a+bi)(c+di)+(a+bi)(e+fi)=(ac-bd)+\ldots}
• NEXT WEEK: Complex numbers have geometric meaning, geometric interpretation (waves)