14-240/Classnotes for Monday September 15: Difference between revisions
From Drorbn
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 39: | Line 39: | ||
<math>\iota(2) = \iota(1+1) = \iota(1) + \iota(1) = 1 + 1;</math> |
<math>\iota(2) = \iota(1+1) = \iota(1) + \iota(1) = 1 + 1;</math> |
||
<math>\iota(3) = \iota(2+1) = \iota(2) + \iota(1) = \iota(2) + 1;</math> |
<math>\iota(3) = \iota(2+1) = \iota(2) + \iota(1) = \iota(2) + 1;</math> |
||
...... |
...... |
||
| Line 50: | Line 51: | ||
<math>= 1</math> |
<math>= 1</math> |
||
http://drorbn.net/images/c/cd/MAT_240_lecture_3_%281_of_2%29.pdf |
http://drorbn.net/images/c/cd/MAT_240_lecture_3_%281_of_2%29.pdf |
||
http://drorbn.net/images/6/6a/MAT240_lectuire_3_%282_of_2%29.pdf |
|||
Revision as of 13:15, 17 September 2014
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Definition:
- Subtraction: if 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 \in F, a - b = a + (-b)} .
- Division: if 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 \in F, a / b = a \times b^{-1}} .
Theorem:
- 8. 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 \forall a \in F} , .
proof of 8: By F3 , 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 0 = a \times (0 + 0)}
;
By F5 , 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 (0 + 0) = a \times 0 + a \times 0}
;
By F3 , 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 0 = 0 + a \times 0}
;
By Thm P1,.
9. s.t. ;
s.t. .
proof of 9: By F3 , .
10. .
11. .
12. .
proof of 12: <= : By P8 , if , then ;
By P8 , if , then .
=> : Assume , if a = 0 we are done;
Otherwise , by P8 , and we have ;
by cancellation (P2) , .
.
proof: By F5 , 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^2 - b^2}
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 \exists! \iota : \Z \rightarrow F}
s.t.
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 \iota(0) = 0 , \iota(1) = 1}
;
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 \forall m ,n \in \Z, \iota(m+n) = \iota(m) + \iota(n)}
;
3. 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 \forall m ,n \in \Z, \iota(m\times n) = \iota(m) \times \iota(n)}
.
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 \iota(2) = \iota(1+1) = \iota(1) + \iota(1) = 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 \iota(3) = \iota(2+1) = \iota(2) + \iota(1) = \iota(2) + 1;}
......
In F2 , 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 27 ----> \iota(27) = \iota(26 + 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 = \iota(26) + \iota(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 = \iota(13 \times 2) + 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 = \iota(2) \times \iota(13) + 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 = (1 + 1) \times \iota(13) + 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 = 0 \times \iota(13) + 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 = 1}
http://drorbn.net/images/c/cd/MAT_240_lecture_3_%281_of_2%29.pdf http://drorbn.net/images/6/6a/MAT240_lectuire_3_%282_of_2%29.pdf