Een verhaaltje:
Ik heb een ruimte (
\(\rr^3\)) en ik wil hierin graag punten beschrijven. Nou heb ik geen zin om dit zelf te doen, dus ik roep de hulp in van aapje1 Inc. De opdracht die ik geef is de volgende: ik wil graag alle punten beschrijven in
\(\rr^3\) en ik wil graag dat je alle punten beschrijft met behulp van de volgende vector:
\(\vec{e}_x = \left(\begin{array}{r} 1 & 0 & 0 \end{array}\right)\)
De werknemer van aapje1 Inc. legt mij uit dat dat niet kan. Het is met de gegeven vector alleen mogelijk punten te bereiken die liggen op een lijn, want:
\(\vec{e}_x \cdot x = \left(\begin{array}{r} 1 & 0 & 0 \end{array}\right) \cdot x = \left(\begin{array}{r} x & 0 & 0 \end{array}\right)\)
Dat vind ik maar stom, maar als het dan echt niet kan, besluit ik dat aapje1 Inc. nog wel een vector mag gebruiken. De vector die ik aanlever is:
\(\vec{e}_y = \left(\begin{array}{r} 0 & 1 & 0 \end{array}\right)\)
Wederom moet aapje1 Inc. mij teleurstellen. "Het is zeker een mooie vector" zo wordt mij veteld, "maar hiermee kan ik alleen de volgende punten bereiken":
\(\vec{e}_x \cdot x + \vec{e}_y \cdot y = \left(\begin{array}{r} x & 0 & 0 \end{array}\right) + \left(\begin{array}{r} 0 & y & 0 \end{array}\right) = \left(\begin{array}{r} x & y & 0 \end{array}\right)\)
Ik zie in dat dat inderdaad niet de gehele ruimte is. Aapje1 Inc. geeft aan dat ik toch echt een derde vector nodig heb. Schoorvoetend geeft ik toe en lever de volgende vector aan:
\(\vec{e}_a = \left(\begin{array}{r} 1 & 3 & 0 \end{array}\right)\)
Aapje1 Inc. zegt "Dat werkt ook niet.":
\(\vec{e}_x \cdot x + \vec{e}_y \cdot y + \vec{e}_a \cdot a = \left(\begin{array}{r} x+a & y+3 a & 0 \end{array}\right)\)
"Doordat de derde vector een lineaire combinatie is van de eerdere vectoren zijn er geen nieuwe punten die we kunnen bereiken. Alle punten zullen dus in het vlak liggen dat door de eerste twee vectoren is opgespannen. Je hebt een derde vector nodig die geen lineaire combinatie is van de eerste twee. Gebruikelijk is de volgende set vectoren:"
\(\vec{e}_z = \left(\begin{array}{r} 0 & 0 & 1 \end{array}\right)\)
"Nu kun je immers zeggen:"
\(\vec{e}_x \cdot x + \vec{e}_y \cdot y + \vec{e}_z \cdot z = \left(\begin{array}{r} x & y & z \end{array}\right)\)
Ik zie in dat je daarmee de gehele ruimte kunt bereiken. Tevreden meldt ik aapje1 Inc. dat ik nu ga spelen met mijn nieuwe ruimte en dat ik van plan ben de punten te transformeren met behulp van de volgende matrix:
\(A = \left( \begin{array}{rrr} p & -2 & 0 \\ 0 & p & -2 \\ -2 & 0 & p \end{array}\right)\)
aapje1 Inc. wijst mij erop dat ik dan wel moet oppassen. Er geldt immers:
\(A \cdot \left(\begin{array}{r} x & y & z \end{array}\right) = A \cdot (\vec{e}_x \cdot x + \vec{e}_y \cdot y + \vec{e}_z \cdot z) = A \cdot \vec{e}_x \cdot x + A \cdot \vec{e}_y \cdot y + A \cdot \vec{e}_z \cdot z = \left(\begin{array}{r} p & 0 & -2 \end{array}\right) \cdot x + \left(\begin{array}{r} -2 & p & 0 \end{array}\right) \cdot y + \left(\begin{array}{r} 0 & -2 & p \end{array}\right) \cdot z\)
Ik snap wat aapje1 Inc. bedoelt. Deze formule lijkt immers erg op de eerdere formule met de 'a'-vector er in. Als de derde vector een lineaire combinatie is van de eerste twee dan kan ik niet meer de hele ruimte beschrijven.
Welke waarde voor p moet ik dus niet kiezen (en jij voor je oorspronkelijke vraagstuk dus wel)?