6개중 하나는 5개로 표현됨을 식으로 쓰고 좌변에 v1,v2,v3 우변에 w1,w2,w3 모아봐. 그다음에 양변이 0이 아님을 보이기 위해수 걔네들끼리도 선형독립이라는거 쓰면 된다
Rafle(probaroque)2021-01-31 18:07
답글
아 낫 놓고 ㄱ도 몰랐네 ㄹㅇ... 알려주셔서 감사합니다. 윗분이 알려준 거 증명하려는데 같은 논리가 필요해서 막혔었는데 이제 되네요
익명(59.23)2021-01-31 18:18
w1=a1w2+a2w2+b1v1+b2v2+b3v3라 했을 때, w1,w2,w3끼리는 linearly independent해야 하므로 b1v1+b2v2+b3v3가 0이 될 수는 없음.(만약 0이라면 w1이 w2와 w3에 의해 표현되므로) 그 다음 w들은 좌변으로 보내면 w1-a1w2-a2w2=b1v1+b2v2+b3v3인데 좌변은 W의 원소고 우변은 V의 원
dim(V+W)=dim(V)+dim(W)-dim(V intersection W) 쓰셈. 처음보는 등식이면 증명해보고.
6개중 하나는 5개로 표현됨을 식으로 쓰고 좌변에 v1,v2,v3 우변에 w1,w2,w3 모아봐. 그다음에 양변이 0이 아님을 보이기 위해수 걔네들끼리도 선형독립이라는거 쓰면 된다
아 낫 놓고 ㄱ도 몰랐네 ㄹㅇ... 알려주셔서 감사합니다. 윗분이 알려준 거 증명하려는데 같은 논리가 필요해서 막혔었는데 이제 되네요
w1=a1w2+a2w2+b1v1+b2v2+b3v3라 했을 때, w1,w2,w3끼리는 linearly independent해야 하므로 b1v1+b2v2+b3v3가 0이 될 수는 없음.(만약 0이라면 w1이 w2와 w3에 의해 표현되므로) 그 다음 w들은 좌변으로 보내면 w1-a1w2-a2w2=b1v1+b2v2+b3v3인데 좌변은 W의 원소고 우변은 V의 원
소임. 우변이 0이 아니므로 V와 W가 공통인 nonzero element를 가짐