Antwoord:
# #
# "(i) Waar." #
# "(ii) Fout." #
Uitleg:
# #
# "Bewijzen." #
# "(i) We kunnen zo'n reeks subruimten maken:" #
# "1)" forall r in RR ", laat:" qquad quad V_r = (x, r x) in RR ^ 2. #
# "Geometrisch," V_r "is de regel door de oorsprong van" RR ^ 2, "of slope" r. #
# "2) We zullen controleren of deze subruimten bewering rechtvaardigen (i)." #
# "3) Het is duidelijk:" qquad qquad qquad qquad qquad qquad qquad V_r sube RR ^ 2. #
# "4) Controleer of:" qquad qquad V_r "een goede deelruimte is van" RR ^ 2. #
# "Let:" qquad u, v in V_r, alpha, beta in RR. qquad qquad qquad quad "Verifieer dat:" quad alpha u + beta v in V_r. #
# u, v in V_r rArr u = (x_1, r x_1), v = (x_2, r x_2); "voor sommigen" x_1, x_2 in RR #
# qquad qquad qquad:. qquad quad alpha u + beta v = alpha (x_1, r x_1) + beta (x_2, r x_2) #
# qquad qquad qquad qquad qquad qquad qquad qquad qquad quad = alpha (x_1, r x_1) + beta (x_2, r x_2) #
# qquad qquad qquad qquad qquad qquad qquad qquad qquad quad = (alpha x_1, alpha r x_1) + (beta x_2, beta r x_2) #
# qquad qquad qquad qquad qquad qquad qquad qquad qquad quad = (alpha x_1 + bèta x_2, alpha r x_1 + beta r x_2) #
# qquad qquad qquad qquad qquad qquad qquad qquad qquad quad = (alpha x_1 + beta x_2, r (alpha x_1 + beta x_2)) #
# qquad qquad qquad qquad qquad quad quad = (x_3, r x_3) in V_r; qquad "met" x_3 = alpha x_1 + bèta x_2. #
# "Dus:" qquad qquad qquadu, v in V_r, alpha, beta in RR quadrArr quad alpha u + beta v in V_r. #
# "Dus:" qquad qquad qquad qquad qquad qquad quad V_r "is een deelruimte van" RR ^ 2. #
# "Om te zien dat" V_r "niet gelijk is aan nul, merk op:" #
# qquad qquad qquad qquad qquad qquad (1, r) in V_r, "en" (1, r) ne (0, 0). #
# "Om te zien dat" V_r "juist is," noteer dat " (1, r + 1)! In V_r: #
# (1, r + 1) in V_r rArr "(door constructie van" V_r ")" quad r cdot 1 = r + 1 #
# qquad qquad qquad qquad qquad qquad rArr r = r + 1, "duidelijk onmogelijk." #
# "Dus:" qquad qquad qquad V_r "is een niet-nul, juiste deelruimte van" RR ^ 2. qquad qquad qquad (1) #
# "5) Laat nu zien dat er oneindig veel van dergelijke subruimtes zijn" V_r. #
# "Let:" qquad qquad r, s in RR. qquad qquad qquad quad "We zullen laten zien:" qquad r ne s rArr V_r ne V_s. #
# "Per definitie:" quad (1, r) = (1, r cdot 1) in V_r; (1, s) = (1, s cdot 1) in V_s. #
# "Duidelijk:" qquad qquad qquad qquad qquad r ne s rArr (1, r) ne (1, s). #
# "Dus:" qquad qquad qquad qquad qquad qquad r ne s rArr V_r ne V_s. #
# "Dus elke" r in RR "produceert een afzonderlijke subruimte" V_r. #
# "Dit, samen met (1), geeft:" #
# "De familie van subruimten:" r in RR, "is een oneindige familie" #
# "van niet-nul, juiste subruimten van" RR ^ 2. qquad qquad qquad qquad qquad qquad qquad qquad qquad qquad square #
# "(ii) Dit is eigenlijk eenvoudig. Als het systeem vierkant is, en de" #
# "coëfficiëntmatrix van het systeem in inverteerbaar, er zal alleen" # zijn
# "de nuloplossing." #
# "Stel:" qquad qquad quad A "is een vierkante, inverteerbare matrix." #
# "Overweeg het homogene systeem:" #
# qquad qquad qquad qquad qquad qquad qquad qquad qquad qquad A x = 0. #
# "Dus, zoals" A "is omkeerbaar:" #
# qquad qquad qquad qquad qquad qquad qquad A ^ {- 1} cdot A x = A ^ {- 1} cdot 0. #
# qquad qquad qquad qquad:. qquad qquad qquad qquad I x = 0. #
# qquad qquad qquad qquad:. qquad qquad qquad qquad x = 0. #
# "Het homogene systeem" A x = 0, "heeft dus geen" #
# "niet-nuloplossing." qquad qquad qquad qquad qquad qquad qquad qquad qquad qquad qquad qquad qquad qquad qquad qquad qquad qquad square #