<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://drorbn.net/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Failure</id>
	<title>Drorbn - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://drorbn.net/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Failure"/>
	<link rel="alternate" type="text/html" href="https://drorbn.net/index.php?title=Special:Contributions/Failure"/>
	<updated>2026-05-02T00:25:44Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.39.6</generator>
	<entry>
		<id>https://drorbn.net/index.php?title=12-240/The_Final_Exam&amp;diff=12884</id>
		<title>12-240/The Final Exam</title>
		<link rel="alternate" type="text/html" href="https://drorbn.net/index.php?title=12-240/The_Final_Exam&amp;diff=12884"/>
		<updated>2012-12-18T21:07:58Z</updated>

		<summary type="html">&lt;p&gt;Failure: /* Office Hours */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{12-240/Navigation}}&lt;br /&gt;
&lt;br /&gt;
==The Results==&lt;br /&gt;
&lt;br /&gt;
101 students took the exam; the average grade was 70, the standard deviation was 26, and the exam itself is at {{pensieve link|Classes/12-240/Final.pdf|Final.pdf}}.&lt;br /&gt;
&lt;br /&gt;
Restricted to the 101 students who took the final, the average course grade was 75 and the standard deviation was 19.&lt;br /&gt;
&lt;br /&gt;
==Announcement==&lt;br /&gt;
&lt;br /&gt;
Our final exam is coming up. It will take place on Thursday December 13th, from 9AM until noon, at NF003 - Northrop Frye Hall, Victoria College, 73 Queen&#039;s Park Crescent. &lt;br /&gt;
&lt;br /&gt;
===Content and Style===&lt;br /&gt;
It will consist of 5-6 questions (each may have several parts) on everything that we have covered in class this semester:&lt;br /&gt;
*Fields and vector spaces.&lt;br /&gt;
*Spans, independence, replacement and bases.&lt;br /&gt;
*Linear transformation, rank, nullity, matrices.&lt;br /&gt;
*Row and column reduction and elementary matrices, systems of linear equations.&lt;br /&gt;
*Determinants.&lt;br /&gt;
*A bit on diagonalization.&lt;br /&gt;
*Several other &amp;quot;smaller&amp;quot; topics.&lt;br /&gt;
&lt;br /&gt;
As for the style -&lt;br /&gt;
&lt;br /&gt;
*You can expect to be asked to reproduce some proofs that were given in class.&lt;br /&gt;
*You can expect some fresh things to prove, though generally not as hard as the previous type of proofs.&lt;br /&gt;
*You can expect questions (or parts of questions) that will be identical or nearly identical to questions that were assigned for homework.&lt;br /&gt;
*You can expect some calculations (but nothing that will require a calculator).&lt;br /&gt;
&lt;br /&gt;
It is likely that the exam will be close in spirit to the exams of six and three years ago. See [[06-240/The_Final_Exam]] and [[09-240/The Final Exam]].&lt;br /&gt;
&lt;br /&gt;
Basic calculators (not capable of displaying text or sounding speech) will be allowed but will not be necessary. You may wish to bring one nevertheless, as under pressure &amp;lt;math&amp;gt;5+7&amp;lt;/math&amp;gt; often comes out to be &amp;lt;math&amp;gt;13&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Remember.&#039;&#039;&#039; Neatness counts! Organization counts! Language counts! Proofs are best given as short and readable essays; without the English between the formulas one never knows how to interpret those formulas. When you write, say, &amp;quot;&amp;lt;math&amp;gt;v\in V&amp;lt;/math&amp;gt;&amp;quot;, does it mean &amp;quot;choose &amp;lt;math&amp;gt;v\in V&amp;lt;/math&amp;gt;&amp;quot;, or &amp;quot;we&#039;ve just proven that &amp;lt;math&amp;gt;v\in V&amp;lt;/math&amp;gt;&amp;quot;, or &amp;quot;assume by contradiction that &amp;lt;math&amp;gt;v\in V&amp;lt;/math&amp;gt;&amp;quot;, or &amp;quot;for every &amp;lt;math&amp;gt;v\in V&amp;lt;/math&amp;gt;&amp;quot; or &amp;quot;there exists &amp;lt;math&amp;gt;v\in V&amp;lt;/math&amp;gt;&amp;quot;? If you don&#039;t say, your reader has no way of knowing. Also remember that long and roundabout solutions of simple problems, full of detours and irrelevant facts, are often an indication that their author didn&#039;t quite get the point, even if they are entirely correct. Avoid those!&lt;br /&gt;
&lt;br /&gt;
===Office Hours===&lt;br /&gt;
Brandon and Peter and I will hold pre-exam office hours as follows:&lt;br /&gt;
* Friday December 7, 10AM-11AM, with Peter at 215 Huron, 10th floor.&lt;br /&gt;
* Monday December 10, 10:30AM-11:30AM, with Dror at Bahen 6178.&lt;br /&gt;
* Monday December 10, 2PM-4PM, with Peter at 215 Huron, 10th floor.&lt;br /&gt;
* Tuesday December 11, 1PM-3:30PM, with Brandon at 215 Huron, 10th floor.&lt;br /&gt;
* Wednesday December 12, 11AM-1PM, with Peter at 215 Huron, 10th floor.&lt;br /&gt;
* Wednesday December 12, 1PM-3:30PM, with Brandon at 215 Huron, 10th floor.&lt;br /&gt;
* Wednesday December 12, 4PM at least until 6PM, with Dror at Bahen 6178.&lt;br /&gt;
&lt;br /&gt;
{{12-240:Dror/Students Divider}}&lt;br /&gt;
&lt;br /&gt;
===Cheat Sheets made by Students===&lt;br /&gt;
&lt;br /&gt;
I don&#039;t know where to post this, but if you are doing some last minute study questions like me and you want to check the even answers (as the odd can be checked in the back of the book), here&#039;s a good link:&lt;br /&gt;
http://www.scribd.com/doc/64217240/Linear-Algebra-Friedberg-4th-Ed-Solutions-Manual&lt;/div&gt;</summary>
		<author><name>Failure</name></author>
	</entry>
	<entry>
		<id>https://drorbn.net/index.php?title=12-240/The_Final_Exam&amp;diff=12883</id>
		<title>12-240/The Final Exam</title>
		<link rel="alternate" type="text/html" href="https://drorbn.net/index.php?title=12-240/The_Final_Exam&amp;diff=12883"/>
		<updated>2012-12-18T21:07:18Z</updated>

		<summary type="html">&lt;p&gt;Failure: /* Office Hours */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{12-240/Navigation}}&lt;br /&gt;
&lt;br /&gt;
==The Results==&lt;br /&gt;
&lt;br /&gt;
101 students took the exam; the average grade was 70, the standard deviation was 26, and the exam itself is at {{pensieve link|Classes/12-240/Final.pdf|Final.pdf}}.&lt;br /&gt;
&lt;br /&gt;
Restricted to the 101 students who took the final, the average course grade was 75 and the standard deviation was 19.&lt;br /&gt;
&lt;br /&gt;
==Announcement==&lt;br /&gt;
&lt;br /&gt;
Our final exam is coming up. It will take place on Thursday December 13th, from 9AM until noon, at NF003 - Northrop Frye Hall, Victoria College, 73 Queen&#039;s Park Crescent. &lt;br /&gt;
&lt;br /&gt;
===Content and Style===&lt;br /&gt;
It will consist of 5-6 questions (each may have several parts) on everything that we have covered in class this semester:&lt;br /&gt;
*Fields and vector spaces.&lt;br /&gt;
*Spans, independence, replacement and bases.&lt;br /&gt;
*Linear transformation, rank, nullity, matrices.&lt;br /&gt;
*Row and column reduction and elementary matrices, systems of linear equations.&lt;br /&gt;
*Determinants.&lt;br /&gt;
*A bit on diagonalization.&lt;br /&gt;
*Several other &amp;quot;smaller&amp;quot; topics.&lt;br /&gt;
&lt;br /&gt;
As for the style -&lt;br /&gt;
&lt;br /&gt;
*You can expect to be asked to reproduce some proofs that were given in class.&lt;br /&gt;
*You can expect some fresh things to prove, though generally not as hard as the previous type of proofs.&lt;br /&gt;
*You can expect questions (or parts of questions) that will be identical or nearly identical to questions that were assigned for homework.&lt;br /&gt;
*You can expect some calculations (but nothing that will require a calculator).&lt;br /&gt;
&lt;br /&gt;
It is likely that the exam will be close in spirit to the exams of six and three years ago. See [[06-240/The_Final_Exam]] and [[09-240/The Final Exam]].&lt;br /&gt;
&lt;br /&gt;
Basic calculators (not capable of displaying text or sounding speech) will be allowed but will not be necessary. You may wish to bring one nevertheless, as under pressure &amp;lt;math&amp;gt;5+7&amp;lt;/math&amp;gt; often comes out to be &amp;lt;math&amp;gt;13&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Remember.&#039;&#039;&#039; Neatness counts! Organization counts! Language counts! Proofs are best given as short and readable essays; without the English between the formulas one never knows how to interpret those formulas. When you write, say, &amp;quot;&amp;lt;math&amp;gt;v\in V&amp;lt;/math&amp;gt;&amp;quot;, does it mean &amp;quot;choose &amp;lt;math&amp;gt;v\in V&amp;lt;/math&amp;gt;&amp;quot;, or &amp;quot;we&#039;ve just proven that &amp;lt;math&amp;gt;v\in V&amp;lt;/math&amp;gt;&amp;quot;, or &amp;quot;assume by contradiction that &amp;lt;math&amp;gt;v\in V&amp;lt;/math&amp;gt;&amp;quot;, or &amp;quot;for every &amp;lt;math&amp;gt;v\in V&amp;lt;/math&amp;gt;&amp;quot; or &amp;quot;there exists &amp;lt;math&amp;gt;v\in V&amp;lt;/math&amp;gt;&amp;quot;? If you don&#039;t say, your reader has no way of knowing. Also remember that long and roundabout solutions of simple problems, full of detours and irrelevant facts, are often an indication that their author didn&#039;t quite get the point, even if they are entirely correct. Avoid those!&lt;br /&gt;
&lt;br /&gt;
===Office Hours===&lt;br /&gt;
Brandon and Peter and I will hold pre-exam office hours as follows:&lt;br /&gt;
* Friday December 7, 10AM-11AM, with Peter at 215 Huron, 10th floor.&lt;br /&gt;
* Monday December 10, 10:30AM-11:30AM, with Dror at Bahen 6178.&lt;br /&gt;
* Monday December 10, 2PM-4PM, with Peter at 215 Huron, 10th floor.&lt;br /&gt;
* Tuesday December 11, 1PM-3:30PM, with Brandon at 215 Huron, 10th floor.&lt;br /&gt;
* Wednesday December 12, 11AM-1PM, with Peter at 215 Huron, 10th floor.&lt;br /&gt;
* Wednesday December 12, 1PM-3:30PM, with Brandon at 215 Huron, Tenth floor.&lt;br /&gt;
* Wednesday December 12, 4PM at least until 6PM, with Dror at Bahen 6178.&lt;br /&gt;
&lt;br /&gt;
{{12-240:Dror/Students Divider}}&lt;br /&gt;
&lt;br /&gt;
===Cheat Sheets made by Students===&lt;br /&gt;
&lt;br /&gt;
I don&#039;t know where to post this, but if you are doing some last minute study questions like me and you want to check the even answers (as the odd can be checked in the back of the book), here&#039;s a good link:&lt;br /&gt;
http://www.scribd.com/doc/64217240/Linear-Algebra-Friedberg-4th-Ed-Solutions-Manual&lt;/div&gt;</summary>
		<author><name>Failure</name></author>
	</entry>
	<entry>
		<id>https://drorbn.net/index.php?title=12-240/Classnotes_for_Thursday_October_18&amp;diff=12255</id>
		<title>12-240/Classnotes for Thursday October 18</title>
		<link rel="alternate" type="text/html" href="https://drorbn.net/index.php?title=12-240/Classnotes_for_Thursday_October_18&amp;diff=12255"/>
		<updated>2012-10-23T06:05:35Z</updated>

		<summary type="html">&lt;p&gt;Failure: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{12-240/Navigation}}&lt;br /&gt;
===Riddle Along===&lt;br /&gt;
The game of 15 is played as follows. Two players alternate choosing cards numbered between 1 and 9, with repetitions forbidden, so that the game ends at most after 9 moves (or four and a half rounds). The first player to have within her/his cards a set of precisely 3 cards that add up to 15 wins.&lt;br /&gt;
&lt;br /&gt;
Does this game have a winning strategy? What is it? Who wins, the first to move or the second? Why am I asking this question at this particular time?&lt;br /&gt;
&lt;br /&gt;
[[Image:12-240-DeckOfCards.png|center]]&lt;br /&gt;
&lt;br /&gt;
See also [https://media.library.utoronto.ca/play.php?DJ6CPFxByy2J&amp;amp;id=8503 a video] and the [https://cmc.math.ca/home/videos/game-of-15-and-isomorphisms/ transcript] of that video.&lt;br /&gt;
&lt;br /&gt;
{{12-240:Dror/Students Divider}}&lt;br /&gt;
&lt;br /&gt;
== Theorems ==&lt;br /&gt;
1. If G generates, |G| &amp;lt;math&amp;gt;\ge \!\,&amp;lt;/math&amp;gt; n and G contains a basis, |G|=n then G is a basis&lt;br /&gt;
&lt;br /&gt;
2. If L is linearly independent, |L| &amp;lt;math&amp;gt;\le \!\,&amp;lt;/math&amp;gt; n and L can be extended to be a basis. |L|=n =&amp;gt; L is a basis.&lt;br /&gt;
&lt;br /&gt;
3.W &amp;lt;math&amp;gt;\subset \!\,&amp;lt;/math&amp;gt; V a subspace then W is finite dimensioned and dim W &amp;lt;math&amp;gt;\le \!\,&amp;lt;/math&amp;gt; dim V&lt;br /&gt;
&lt;br /&gt;
If dim W = dim V, then V = W&lt;br /&gt;
If dim W &amp;lt; dim V, then any basis of W can be extended to be a basis of V&lt;br /&gt;
&lt;br /&gt;
Proof of W is finite dimensioned:&lt;br /&gt;
&lt;br /&gt;
Let L be a linearly independent subset of W which is of maximal size.&lt;br /&gt;
&lt;br /&gt;
Fact about &#039;&#039;&#039;N&#039;&#039;&#039;&lt;br /&gt;
:  Every subset A of &#039;&#039;&#039;N&#039;&#039;&#039;, which is:&lt;br /&gt;
&lt;br /&gt;
1. Non empty&lt;br /&gt;
&lt;br /&gt;
2. Bounded : &amp;lt;math&amp;gt;\exist \!\,&amp;lt;/math&amp;gt; N &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; &#039;&#039;&#039;N&#039;&#039;&#039;, &amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; A, a &amp;lt;math&amp;gt;\le \!\,&amp;lt;/math&amp;gt; N&lt;br /&gt;
&lt;br /&gt;
has a maximal element: an element m &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; A, &amp;lt;math&amp;gt;\forall\!\,&amp;lt;/math&amp;gt; a &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; A, a &amp;lt;math&amp;gt;\le \!\,&amp;lt;/math&amp;gt; m ( m + 1 &amp;lt;math&amp;gt;\notin \!\,&amp;lt;/math&amp;gt; A )&lt;br /&gt;
&lt;br /&gt;
== class note ==&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;gallery&amp;gt;&lt;br /&gt;
Image:12-240-Oct-15-Page-1.jpg |page1&lt;br /&gt;
Image:12-240-Oct-15-Page-2.jpg |page2&lt;br /&gt;
Image:12-240-Oct-15-Page-3.jpg |page3&lt;br /&gt;
&amp;lt;/gallery&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== lecture note on oct 18, uploaded by [[User:starash|starash]]==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;gallery&amp;gt;&lt;br /&gt;
Image:12-240-1018-1.jpg |page1&lt;br /&gt;
Image:12-240-1018-2.jpg |page2&lt;br /&gt;
&amp;lt;/gallery&amp;gt;&lt;/div&gt;</summary>
		<author><name>Failure</name></author>
	</entry>
	<entry>
		<id>https://drorbn.net/index.php?title=12-240/Classnotes_for_Thursday_October_18&amp;diff=12254</id>
		<title>12-240/Classnotes for Thursday October 18</title>
		<link rel="alternate" type="text/html" href="https://drorbn.net/index.php?title=12-240/Classnotes_for_Thursday_October_18&amp;diff=12254"/>
		<updated>2012-10-23T06:04:21Z</updated>

		<summary type="html">&lt;p&gt;Failure: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{12-240/Navigation}}&lt;br /&gt;
===Riddle Along===&lt;br /&gt;
The game of 15 is played as follows. Two players alternate choosing cards numbered between 1 and 9, with repetitions forbidden, so that the game ends at most after 9 moves (or four and a half rounds). The first player to have within her/his cards a set of precisely 3 cards that add up to 15 wins.&lt;br /&gt;
&lt;br /&gt;
Does this game have a winning strategy? What is it? Who wins, the first to move or the second? Why am I asking this question at this particular time?&lt;br /&gt;
&lt;br /&gt;
[[Image:12-240-DeckOfCards.png|center]]&lt;br /&gt;
&lt;br /&gt;
See also [https://media.library.utoronto.ca/play.php?DJ6CPFxByy2J&amp;amp;id=8503 a video] and the [https://cmc.math.ca/home/videos/game-of-15-and-isomorphisms/ transcript] of that video.&lt;br /&gt;
&lt;br /&gt;
{{12-240:Dror/Students Divider}}&lt;br /&gt;
&lt;br /&gt;
== Theorems ==&lt;br /&gt;
1. If G generates, |G| &amp;lt;math&amp;gt;\ge \!\,&amp;lt;/math&amp;gt; n and G contains a basis, |G|=n then G is a basis&lt;br /&gt;
&lt;br /&gt;
2. If L is linearly independent, |L| &amp;lt;math&amp;gt;\le \!\,&amp;lt;/math&amp;gt; n and L can be extended to be a basis. |L|=n =&amp;gt; L is a basis.&lt;br /&gt;
&lt;br /&gt;
3.W &amp;lt;math&amp;gt;\subset \!\,&amp;lt;/math&amp;gt; V a subspace then W is finite dimensioned and dim W &amp;lt;math&amp;gt;\le \!\,&amp;lt;/math&amp;gt; dim V&lt;br /&gt;
&lt;br /&gt;
If dim W = dim V, then V = W&lt;br /&gt;
If dim W &amp;lt; dim V, then any basis of W can be extended to be a basis of V&lt;br /&gt;
&lt;br /&gt;
Proof of W is finite dimensioned:&lt;br /&gt;
&lt;br /&gt;
Let L be a linearly independent subset of W which is of maximal size.&lt;br /&gt;
&lt;br /&gt;
Fact about &#039;&#039;&#039;N&#039;&#039;&#039;&lt;br /&gt;
:  Every subset A of &#039;&#039;&#039;N&#039;&#039;&#039;, which is:&lt;br /&gt;
&lt;br /&gt;
1. Non empty&lt;br /&gt;
&lt;br /&gt;
2. Bounded : &amp;lt;math&amp;gt;\exist \!\,&amp;lt;/math&amp;gt; N &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; &#039;&#039;&#039;N&#039;&#039;&#039;, &amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; A, a &amp;lt;math&amp;gt;\le \!\,&amp;lt;/math&amp;gt; N&lt;br /&gt;
&lt;br /&gt;
has a maximal element: an element m &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; A, &amp;lt;math&amp;gt;\forall\!\,&amp;lt;/math&amp;gt; a &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; A, a &amp;lt;math&amp;gt;\le \!\,&amp;lt;/math&amp;gt; m ( m + 1 &amp;lt;math&amp;gt;\notin \!\,&amp;lt;/math&amp;gt; A )&lt;br /&gt;
&lt;br /&gt;
== class note ==&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;gallery&amp;gt;&lt;br /&gt;
Image:12-240-Oct-15-Page-1.jpg |page1&lt;br /&gt;
Image:12-240-Oct-15-Page-2.jpg |page2&lt;br /&gt;
Image:12-240-Oct-15-Page-3.jpg |page3&lt;br /&gt;
&amp;lt;/gallery&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== lecture note on oct 18, uploaded by [[User:starash|starash]]==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;gallery&amp;gt;&lt;br /&gt;
Image:12-240-1018-1.jpg |page1&lt;br /&gt;
Image:12-240-1018-2.jpg |page2&lt;br /&gt;
&amp;lt;/gallery&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== HW5 link dead from this page,  by [[User:Failure|Failure]]==&lt;/div&gt;</summary>
		<author><name>Failure</name></author>
	</entry>
	<entry>
		<id>https://drorbn.net/index.php?title=12-240/Classnotes_for_Thursday_September_13&amp;diff=12253</id>
		<title>12-240/Classnotes for Thursday September 13</title>
		<link rel="alternate" type="text/html" href="https://drorbn.net/index.php?title=12-240/Classnotes_for_Thursday_September_13&amp;diff=12253"/>
		<updated>2012-10-23T06:01:02Z</updated>

		<summary type="html">&lt;p&gt;Failure: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{12-240/Navigation}}&lt;br /&gt;
In the second day of the class, the professor continues on the definition of a field.&lt;br /&gt;
&lt;br /&gt;
== Definition of a field ==&lt;br /&gt;
&lt;br /&gt;
Combined with a part from the first class, we have a complete definition as follow:&lt;br /&gt;
&lt;br /&gt;
A field is a set &amp;quot;F&#039; with two binary operations +,x defind on it, and two special elements 0 ≠ 1 such that &lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;F1:&#039;&#039;&#039; commutative law &lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a, b &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F: a+b=b+a and a.b=b.a&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;F2:&#039;&#039;&#039; associative law &lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a, b, c &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F: (a+b)+c=a+(b+c) and (a.b).c= a.(b.c)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;F3:&#039;&#039;&#039; the existence of identity elements&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt;, a+0=a and a.1=a&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;F4:&#039;&#039;&#039; existence of inverses&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F \0,&amp;lt;math&amp;gt; \exists \!\,&amp;lt;/math&amp;gt; c, d &amp;lt;math&amp;gt;\in \!\ &amp;lt;/math&amp;gt; F such that  a+c=o and a.d=1&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;F5:&#039;&#039;&#039; contributive law &lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a, b, c &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F, a.(b+c)=a.b + a.c&lt;br /&gt;
== Theorems ==&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Theorem 1: Cancellation laws&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a, b, c &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F&lt;br /&gt;
&lt;br /&gt;
if a+c=b+c, then a=b&lt;br /&gt;
&lt;br /&gt;
if a.c=b.c and c&amp;lt;math&amp;gt;\ne \!\,&amp;lt;/math&amp;gt;0, then a=b&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Theorem 2: Identity uniqueness&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
Identity elements 0 and 1 mentioned in &#039;&#039;&#039;F3&#039;&#039;&#039; are unique&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a, b, b&#039; &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F&lt;br /&gt;
&lt;br /&gt;
if a+b=a and a+b&#039;=a, then b=b&#039;=0 &lt;br /&gt;
&lt;br /&gt;
if a.b=a and a.b&#039;=a and a&amp;lt;math&amp;gt;\ne\!\,&amp;lt;/math&amp;gt;0, then b=b&#039;=1&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Theorem 3: Inverse uniqueness&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
Elements c and d mentioned in &#039;&#039;&#039;F4&#039;&#039;&#039; are unique&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a, b, b&#039; &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F&lt;br /&gt;
&lt;br /&gt;
if a+b=0 and a+b&#039;=0, then b=b&#039;&lt;br /&gt;
&lt;br /&gt;
if a.b=1 and a.b&#039;=1, then b=b&#039;&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Theorem 4&#039;&#039;&#039; &lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F&lt;br /&gt;
&lt;br /&gt;
-( -a) = a&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Theorem 4&#039;&#039;&#039; &lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F&lt;br /&gt;
&lt;br /&gt;
0.a= 0&lt;br /&gt;
&lt;br /&gt;
== Significance ==&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;inverse uniqueness&#039;&#039;&#039; &lt;br /&gt;
&lt;br /&gt;
It makes sense to define an operation &lt;br /&gt;
-: F -&amp;gt; F called &amp;quot;negation&amp;quot;&lt;br /&gt;
&lt;br /&gt;
For a &amp;lt;math&amp;gt;\in\!\,&amp;lt;/math&amp;gt; F define -a to be equal that b &amp;lt;math&amp;gt;\in\!\,&amp;lt;/math&amp;gt; F for which a+b=0, i.e, a+(-a)=0&lt;br /&gt;
&lt;br /&gt;
Ex: F(5)={0,1,2,3,4}, define +,x&lt;br /&gt;
&lt;br /&gt;
Question 1: What is(-3)? &lt;br /&gt;
&lt;br /&gt;
Answer: -3=2 and -3 is unique&lt;br /&gt;
&lt;br /&gt;
Similarly, the  inverse uniqueness also makes sense a^(-1)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039; identity uniqueness&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
== Lecture Notes, upload by [[User:Starash|Starash]] ==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;gallery&amp;gt;&lt;br /&gt;
Image:Mat240 120913 p1.jpg|Page 1&lt;br /&gt;
Image:Mat240 120913 p2.jpg|Page 2&lt;br /&gt;
&amp;lt;/gallery&amp;gt;&lt;/div&gt;</summary>
		<author><name>Failure</name></author>
	</entry>
	<entry>
		<id>https://drorbn.net/index.php?title=12-240/Classnotes_for_Thursday_September_13&amp;diff=12252</id>
		<title>12-240/Classnotes for Thursday September 13</title>
		<link rel="alternate" type="text/html" href="https://drorbn.net/index.php?title=12-240/Classnotes_for_Thursday_September_13&amp;diff=12252"/>
		<updated>2012-10-23T06:00:50Z</updated>

		<summary type="html">&lt;p&gt;Failure: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{12-240/Navigation}}&lt;br /&gt;
In the second day of the class, the professor continues on the definition of a field.&lt;br /&gt;
&lt;br /&gt;
== Definition of a field ==&lt;br /&gt;
&lt;br /&gt;
Combined with a part from the first class, we have a complete definition as follow:&lt;br /&gt;
&lt;br /&gt;
A field is a set &amp;quot;F&#039; with two binary operations +,x defind on it, and two special elements 0 ≠ 1 such that &lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;F1:&#039;&#039;&#039; commutative law &lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a, b &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F: a+b=b+a and a.b=b.a&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;F2:&#039;&#039;&#039; associative law &lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a, b, c &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F: (a+b)+c=a+(b+c) and (a.b).c= a.(b.c)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;F3:&#039;&#039;&#039; the existence of identity elements&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt;, a+0=a and a.1=a&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;F4:&#039;&#039;&#039; existence of inverses&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F \0,&amp;lt;math&amp;gt; \exists \!\,&amp;lt;/math&amp;gt; c, d &amp;lt;math&amp;gt;\in \!\ &amp;lt;/math&amp;gt; F such that  a+c=o and a.d=1&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;F5:&#039;&#039;&#039; contributive law &lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a, b, c &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F, a.(b+c)=a.b + a.c&lt;br /&gt;
== Theorems ==&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Theorem 1: Cancellation laws&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a, b, c &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F&lt;br /&gt;
&lt;br /&gt;
if a+c=b+c, then a=b&lt;br /&gt;
&lt;br /&gt;
if a.c=b.c and c&amp;lt;math&amp;gt;\ne \!\,&amp;lt;/math&amp;gt;0, then a=b&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Theorem 2: Identity uniqueness&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
Identity elements 0 and 1 mentioned in &#039;&#039;&#039;F3&#039;&#039;&#039; are unique&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a, b, b&#039; &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F&lt;br /&gt;
&lt;br /&gt;
if a+b=a and a+b&#039;=a, then b=b&#039;=0 &lt;br /&gt;
&lt;br /&gt;
if a.b=a and a.b&#039;=a and a&amp;lt;math&amp;gt;\ne\!\,&amp;lt;/math&amp;gt;0, then b=b&#039;=1&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Theorem 3: Inverse uniqueness&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
Elements c and d mentioned in &#039;&#039;&#039;F4&#039;&#039;&#039; are unique&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a, b, b&#039; &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F&lt;br /&gt;
&lt;br /&gt;
if a+b=0 and a+b&#039;=0, then b=b&#039;&lt;br /&gt;
&lt;br /&gt;
if a.b=1 and a.b&#039;=1, then b=b&#039;&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Theorem 4&#039;&#039;&#039; &lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F&lt;br /&gt;
&lt;br /&gt;
-( -a) = a&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Theorem 4&#039;&#039;&#039; &lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt;\forall \!\,&amp;lt;/math&amp;gt; a &amp;lt;math&amp;gt;\in \!\,&amp;lt;/math&amp;gt; F&lt;br /&gt;
&lt;br /&gt;
0.a= 0&lt;br /&gt;
&lt;br /&gt;
== Significance ==&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;inverse uniqueness&#039;&#039;&#039; &lt;br /&gt;
&lt;br /&gt;
It makes sense to define an operation &lt;br /&gt;
-: F -&amp;gt; F called &amp;quot;negation&amp;quot;&lt;br /&gt;
&lt;br /&gt;
For a &amp;lt;math&amp;gt;\in\!\,&amp;lt;/math&amp;gt; F define -a to be equal that b &amp;lt;math&amp;gt;\in\!\,&amp;lt;/math&amp;gt; F for which a+b=0, i.e, a+(-a)=0&lt;br /&gt;
&lt;br /&gt;
Ex: F(5)={0,1,2,3,4}, define +,x&lt;br /&gt;
&lt;br /&gt;
Question 1: What is(-3)? &lt;br /&gt;
&lt;br /&gt;
Answer: -3=2 and -3 is unique&lt;br /&gt;
&lt;br /&gt;
Similarly, the  inverse uniqueness also makes sense a^(-1)&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039; identity uniqueness&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
== Lecture Notes, upload by [[User:Starash|Starash]] ==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;gallery&amp;gt;&lt;br /&gt;
Image:Mat240 120913 p1.jpg|Page 1&lt;br /&gt;
Image:Mat240 120913 p2.jpg|Page 2&lt;br /&gt;
&amp;lt;/gallery&amp;gt;&lt;br /&gt;
&lt;br /&gt;
test&lt;/div&gt;</summary>
		<author><name>Failure</name></author>
	</entry>
</feed>