프리드버그 연습 문제인데… 5번부터 10번까지 계속 span한다를 증명하라는 문제가 나와서 제가 푼 방법이 맞는지 여쭤보고 싶습니다.

세 벡터 (1,1,0) (1,0,1) (0,1,1)이 F^3을 생성함을 보여라

Let S={(1,1,0) (1,0,1) (0,1,1)}, then Span(S)={(a+b, a+c, b+c): a, b, c < F}
F^3 :={(x, y, z) : x, y, z < F}
Since F is a field, it is closed under the addition.
Therefore, (a+b), (a+c), (b+c) < F
Let P=a+b, Q=a+c, R=b+c, then Span(S)={(P, Q, R) : P, Q, R < F}
For all (x_1, y_1, z_1) < F^3, (x_1, y_1, z_1) < Span(S)
(Because for all i, x_i, y_i, z_i < F)
Therefore, F^3 < Span(S)

For all (p, q, r) < Span(S), (p, q, r) < F^3 because p, q, r < F.
Therefore, Span(S) < F^3

Thus, Span(S) = F^3


Span(S)=W 를 증명하려면, 각 집합에서 임의의 원소 하나씩 잡아서 span(S) <=W, W<=span(S) 두 방향으로 보이는 게 가장 전형적인 방법이라 알고 있는데 (모바일이라 포함 기호가 없어서 <로 대체했습니다)