[일반] 선대 질문좀여 질문질문

[익명(122.34)]

1.6.20 푸는 중인데 도무지 감이 오질 않네여..

n차원 벡터공간 V, 생성집합 S에 대하여 S의 부분집합 중 V의 기저가 존재함을 증명하시오

힌트에는 'S를 유한집합이라 가정하지 않는다'라고 되어있는데 이걸로 뭘 어케 써먹어야하나..

[익명(147.46)]

유한차원이니까 일차독립인 maximal subset을 잡을 수 있겠지

[익명(122.34)]

이 내용도 증명해야해요 혹시?

[익명(147.46)]

이유를 간략하게라도 말해주는게 좋겠지?

[익명(122.34)]

아니 근데 이거는 그냥 먼가 당연한 얘기 아닌가 으음;;; 대체정리에서 유도하나

[익명(147.46)]

당연한 얘기 맞음

[라바라(odg200)]

S에서 일차독립인 원소를 하나씩 뽑는 procedure를 짜서 유한한 시행 안에 끝내면 되지 않음?