14-240/Tutorial-October14: Difference between revisions
(→Nikita) |
|||
(50 intermediate revisions by 2 users not shown) | |||
Line 5: | Line 5: | ||
====Elementary and (Not So Elementary) Errors in Homework==== |
====Elementary and (Not So Elementary) Errors in Homework==== |
||
'''Problem 1: Bad Notation''' |
|||
'''(1) Bad Notation''' |
|||
Let <math> |
|||
Consider these three matrices: |
|||
::::::::<math> |
|||
M_1 = |
M_1 = |
||
\begin{pmatrix} |
\begin{pmatrix} |
||
Line 23: | Line 26: | ||
1 & 0 \\ |
1 & 0 \\ |
||
\end{pmatrix} |
\end{pmatrix} |
||
</math> |
</math> |
||
Line 29: | Line 32: | ||
<math> |
::::::::::::<math> |
||
span(M_1, M_2, M_3) = |
span(M_1, M_2, M_3) = |
||
\begin{pmatrix} |
\begin{pmatrix} |
||
Line 38: | Line 41: | ||
Firstly, <math>span(M_1, M_2, M_2)</math> is the set of all linear combinations of <math>M_1, M_2, M_3</math>. To equate it to a single symmetric <math>2 \times 2</math> matrix makes no sense. Secondly, the elements <math>a, b, c, d</math> are undefined. What are they suppose to represent? Rational numbers? Real numbers? Members of the field of two elements? The following way of writing erases those issues |
Firstly, <math>span(M_1, M_2, M_2)</math> is the set of all linear combinations of <math>M_1, M_2, M_3</math>. To equate it to a single symmetric <math>2 \times 2</math> matrix makes no sense. Secondly, the elements <math>a, b, c, d</math> are undefined. What are they suppose to represent? Rational numbers? Real numbers? Members of the field of two elements? The following way of writing erases those issues: |
||
<math> |
:::::<math> |
||
span(M_1, M_2, M_3) = \{ |
span(M_1, M_2, M_3) = \{ |
||
\begin{pmatrix} |
\begin{pmatrix} |
||
Line 49: | Line 52: | ||
:a, b, c \in F \} |
:a, b, c \in F \} |
||
</math> where <math>F</math> is an arbitrary field. |
</math> where <math>F</math> is an arbitrary field. |
||
'''(2) Algorithm vs. Proof (Boris's Section Only)''' |
|||
When solving a problem that requires a solution to a linear equation, it is not always obvious which of the following you should show: |
|||
:a) An algorithm for finding the solution |
|||
:b) A proof that a solution is correct |
|||
If the problem asks to solve a linear equation, then just show (a). Otherwise, consider problems such as this: |
|||
:Determine if the vector <math>(-2, 2, 2)</math> is a linear combination of the vectors <math>(- (1, 2, -1), (-3, -3, 3)</math> in <math>R^3</math>. |
|||
Show both (a) and (b) to be on the safe side. |
|||
====Problem 5h) on Page 34 in Homework 3 for all Fields==== |
|||
For an arbitrary field <math>F</math>, determine if the matrix |
|||
<math> |
|||
\begin{pmatrix} |
|||
1 & 0 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
</math> |
|||
is in span |
|||
<math>S=\{ |
|||
\begin{pmatrix} |
|||
1 & 0 \\ |
|||
-1 & 0 \\ |
|||
\end{pmatrix}, |
|||
\begin{pmatrix} |
|||
0 & 1 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix}, |
|||
\begin{pmatrix} |
|||
1 & 1 \\ |
|||
0 & 0 \\ |
|||
\end{pmatrix} |
|||
\} |
|||
</math>. |
|||
'''Proof:''' |
|||
We show that |
|||
<math> |
|||
\begin{pmatrix} |
|||
1 & 0 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
\in span(S) \iff char(F)=2</math>. |
|||
:We show that <math>char(F)=2 \implies |
|||
\begin{pmatrix} |
|||
1 & 0 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
\in span(S) |
|||
</math>. |
|||
::Assume that <math>char(F)=2</math>. |
|||
::Let <math>c_1=0, c_2=1, c_3=1</math>. |
|||
::Then <math>c_1, c_2, c_3 \in F</math>. |
|||
::Then <math> |
|||
c_1 |
|||
\begin{pmatrix} |
|||
1 & 0 \\ |
|||
-1 & 0 \\ |
|||
\end{pmatrix} |
|||
+ c_2 |
|||
\begin{pmatrix} |
|||
0 & 1 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
+ c_3 |
|||
\begin{pmatrix} |
|||
1 & 1 \\ |
|||
0 & 0 \\ |
|||
\end{pmatrix} |
|||
= |
|||
\begin{pmatrix} |
|||
1 & 2 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
</math>. |
|||
::Since <math>char(F)=2</math> and the entries of the matrix are from <math>F</math>, then <math>0=2</math>. |
|||
::Then <math> |
|||
\begin{pmatrix} |
|||
1 & 2 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
= |
|||
\begin{pmatrix} |
|||
1 & 0 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
\in span(S) |
|||
</math>. |
|||
::Then <math> |
|||
char(F)=2 \implies |
|||
\begin{pmatrix} |
|||
1 & 0 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
\in span(S) |
|||
</math>. |
|||
:We show that <math>char(F) \neq 2 \implies |
|||
\begin{pmatrix} |
|||
1 & 0 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
\notin span(S) |
|||
</math>. |
|||
::Assume to the contrary that <math> |
|||
char(F) \neq 2 \and |
|||
\begin{pmatrix} |
|||
1 & 0 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
\in span(S) |
|||
</math>. |
|||
::Then <math>\exists c_1, c_2, c_3 \in F, |
|||
\begin{pmatrix} |
|||
1 & 0 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
=c_1 |
|||
\begin{pmatrix} |
|||
1 & 0 \\ |
|||
-1 & 0 \\ |
|||
\end{pmatrix} |
|||
+c_2 |
|||
\begin{pmatrix} |
|||
0 & 1 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
+c_3 |
|||
\begin{pmatrix} |
|||
1 & 1 \\ |
|||
0 & 0 \\ |
|||
\end{pmatrix} |
|||
</math>. |
|||
::Then this system of linear equations has a solution: |
|||
:::<math>(11)c_1+c_3=1</math> |
|||
:::<math>(21)-c_1=0</math> |
|||
:::<math>(12)c_2+c_3=0</math> |
|||
:::<math>(22)c_2=1</math>. |
|||
::When solving this system, we see that it has no solution. |
|||
::This contradicts the assumption that it has a solution. |
|||
::Then <math> |
|||
char(F) \neq2 \implies |
|||
\begin{pmatrix} |
|||
1 & 0 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
\notin span(S) |
|||
</math>. |
|||
:Then <math> |
|||
\begin{pmatrix} |
|||
1 & 0 \\ |
|||
0 & 1 \\ |
|||
\end{pmatrix} |
|||
\in span(S) \iff char(F)=2</math>. ''Q.E.D.'' |
|||
====A Field Problem==== |
|||
Find the solution to <math>x^2 = -2</math> in <math>Z_{11}</math>. |
|||
Note that a polynomial of <math>n</math> degree has at most <math>n</math> solutions. |
|||
''Algorithm:'' |
|||
We find the solution to <math>x^2 = -2</math> in <math>Z_{11}</math>. |
|||
:Since in <math>Z_{11}, -2 = 9</math>, then <math>x^2 = 9</math>. |
|||
:Since <math>-9</math> is additive inverse of <math>9</math>, then <math>x^2 - 9 = 9 - 9 = 0</math>. |
|||
:By the result that we proved in ''Question 2 of Homework 1'', then <math>(x^2 - 9) = (x - 3)(x + 3) = 0</math>. |
|||
:Then <math>x = \pm 3</math> are the solutions. |
|||
====A Dimension Problem==== |
|||
Let <math>W_1, W_2</math> be subspaces of a finite dimensional vector space <math>V</math> over a field <math>F</math> where <math>W_1 \cap W_2 = \{0\}</math>. Then |
|||
<math>dim(span(W_1 \cup W_2)) = dim(W_1) + dim(W_2)</math>. |
|||
''Proof:'' |
|||
We show that <math>dim(span(W_1 \cup W_2)) = dim(W_1) + dim(W_2)</math>. |
|||
:Since <math>V</math> is finite dimensional, then <math>W_1, W_2</math> are finite dimensional. |
|||
:Then we can let <math>B_1 = \{u_1, u_2, u_3, ..., u_m\}</math> be a basis of <math>W_1</math> and <math>B_2 = \{v_1, v_2, v_3, ..., v_n\}</math> be a basis of <math>W_2</math>. |
|||
:We show that <math>B_1 \cup B_2</math> is a basis of <math>span(W_1 \cup W_2)</math>. |
|||
::We show that <math>span(B_1 \cup B_2) = span(W_1 \cup W_2)</math>. |
|||
:::We show that <math>span(B_1 \cup B_2) \subset span(W_1 \cup W_2)</math>. |
|||
::::Since <math>(B_1 \cup B_2) \subset (W_1 \cup W_2)</math>, then <math>span(B_1 \cup B_2) \subset span(W_1 \cup W_2)</math>. |
|||
:::We show that <math>span(W_1 \cup W_2) \subset span(B_1 \cup B_2)</math>. |
|||
::::Since <math>B_1 \subset (B_1 \cup B_2)</math>, then <math>span(B_1) = W_1 \subset span(B_1 \cup B_2)</math>. |
|||
::::Since <math>B_2 \subset (B_1 \cup B_2)</math>, then <math>span(B_2) = W_2 \subset span(B_1 \cup B_2)</math>. |
|||
::::Then <math>(W_1 \cup W_2) \subset span(B_1 \cup B_2)</math> and <math>span(W_1 \cup W_2) \subset span(B_1 \cup B_2)</math>. |
|||
:::Then <math>span(B_1 \cup B_2) = span(W_1 \cup W_2)</math>. |
|||
::We show that <math>B_1 \cup B_2</math> is linearly independent. |
|||
:::Let <math>\displaystyle\sum_{i=1}^{m} b_iu_i + \displaystyle\sum_{j=1}^{n} c_jv_j = 0</math> where <math>b_i, c_j \in F</math>. |
|||
:::Then <math>\displaystyle\sum_{i=1}^{m} b_iu_i = \displaystyle\sum_{j=1}^{n} (-c_j)v_j</math>. |
|||
:::Since <math>W_1 \cap W_2 = \{ 0 \}</math>, then <math>\displaystyle\sum_{i=1}^{m} b_iu_i = \displaystyle\sum_{j=1}^{n} (-c_j)v_j = 0</math>. |
|||
:::Since <math>B_1, B_2</math> are linearly independent, then <math>b_i = (-c_j) = 0</math>. |
|||
:::For <math>\displaystyle\sum_{i=1}^{m} b_iu_i + \displaystyle\sum_{j=1}^{n} c_jv_j = 0</math>, then <math>b_i = c_j = 0</math>. |
|||
:::Then <math>B_1 \cup B_2</math> is linearly independent. |
|||
::Then <math>B_1 \cup B_2</math> is a basis of <math>span(W_1 \cup W_2)</math>. |
|||
:Since <math>\left| B_1 \cup B_2 \right| = \left| B_1 \right| + \left| B_2 \right|</math>, then <math>dim(span(W_1 \cup W_2)) = dim(W_1) + dim(W_2)</math>. ''Q.E.D.'' |
|||
==Nikita== |
==Nikita== |
||
[[File:1014.240.pdf]] |
|||
==Scanned Tutorial Notes by [[User Boyang.wu|Boyang.wu]]== |
|||
[[File:Tut6.pdf]] |
Latest revision as of 14:08, 8 December 2014
|
Boris
Elementary and (Not So Elementary) Errors in Homework
(1) Bad Notation
Consider these three matrices:
We want to equate to the set of all symmetric matrices. Here is the wrong way to write this:
- .
Firstly, is the set of all linear combinations of . To equate it to a single symmetric matrix makes no sense. Secondly, the elements are undefined. What are they suppose to represent? Rational numbers? Real numbers? Members of the field of two elements? The following way of writing erases those issues:
- where is an arbitrary field.
(2) Algorithm vs. Proof (Boris's Section Only)
When solving a problem that requires a solution to a linear equation, it is not always obvious which of the following you should show:
- a) An algorithm for finding the solution
- b) A proof that a solution is correct
If the problem asks to solve a linear equation, then just show (a). Otherwise, consider problems such as this:
- Determine if the vector is a linear combination of the vectors in .
Show both (a) and (b) to be on the safe side.
Problem 5h) on Page 34 in Homework 3 for all Fields
For an arbitrary field , determine if the matrix is in span .
Proof:
We show that .
- We show that .
- Assume that .
- Let .
- Then .
- Then .
- Since and the entries of the matrix are from , then .
- Then .
- Then .
- We show that .
- Assume to the contrary that .
- Then .
- Then this system of linear equations has a solution:
- .
- When solving this system, we see that it has no solution.
- This contradicts the assumption that it has a solution.
- Then .
- Then . Q.E.D.
A Field Problem
Find the solution to in .
Note that a polynomial of degree has at most solutions.
Algorithm:
We find the solution to in .
- Since in , then .
- Since is additive inverse of , then .
- By the result that we proved in Question 2 of Homework 1, then .
- Then are the solutions.
A Dimension Problem
Let be subspaces of a finite dimensional vector space over a field where . Then
.
Proof:
We show that .
- Since is finite dimensional, then are finite dimensional.
- Then we can let be a basis of and be a basis of .
- We show that is a basis of .
- We show that .
- We show that .
- Since , then .
- We show that .
- Since , then .
- Since , then .
- Then and .
- Then .
- We show that is linearly independent.
- Let where .
- Then .
- Since , then .
- Since are linearly independent, then .
- For , then .
- Then is linearly independent.
- Then is a basis of .
- Since , then . Q.E.D.