14-240/Tutorial-October28

From Drorbn
Jump to navigationJump to search

Boris

Try to Avoid the Einstellung Effect

By this point in the course, we become good at solving systems of linear equations. However, we should not use this same

old problem-solving strategy over and over if a more efficient one exists. Consider the following problems:


Q1: Determine if is linearly independent in .

We can solve this linear equation to find the answer:


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_1(1, 4, -6) + c_2(1, 5, 8) + c_3 (2, 1, 1) + c_4(0, 1, 0) = (0, 0, 0)} where .


Yet there is a less time-consuming approach that relies on two observations:

(1) The dimension of is so the size of a basis is also .
(2) No linearly independent set can have more vectors than a generating set (by the Replacement Theorem).

Since a basis is a generating set and the size of 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 S} is , then the Replacement Theorem tells us 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 S} cannot be linearly

independent. Hence, the problem can be solved without solving any linear equations.


Q2: Determine if the polynomials 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^3 - 2x ^2 + 1, 4x^2-x+3, 3x-2 } generate .

Once again, we can solve a linear linear equation but we do not have to. Observe:

(1) The dimension 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 P_3(R)} is so the size of a basis is also .
(2) No generating set can have fewer vectors than a basis (by a Corollary to the Replacement Theorem).

Since there are only 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 3} polynomials, then the Corollary tells us that it cannot generate . Once again, we used a

more efficient strategy to solve a problem.


Extending a Linearly Independent Set to Basis

Consider the following strategy only if you are working with concrete sets and vector spaces:

If a problem requires us to extend a linearly independent subset of a vector space to a basis, then the easiest approach is to

add vectors from the standard ordered basis. Here is an example:


Let be a linearly independent subset of . To extend to a basis of 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 R^3} , add

vectors from that preserve linear independence.


Adding the vectors:

We see that both vectors 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 S} have a as the third component so a safe choice is to add . Since has a

dimension of , then 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 \{(-3, -6, 0), (0, 7, 0), (0, 0, 1)\}} is a basis of .

Nikita