k에 -1, u=v로 택하면 0 포함하기는 함.
v=0일경우 kuㅌW, k=1일경우 u+vㅌW, k=-1,u=v 이면 0ㅌW
이런 식의 명제는 다른 대수적 구조에도 많이 나옴 예를 들어 부분군인지 테스트할때에도 임의의 부분집합의 원소 u, v에 대해서 u^(-1)v 가 부분집합에 포함되면 부분군이라던가 그냥 한번 직접 증명해보고 익숙해지는게 좋음
그래서 '모든'이라고 써놓은거지
k에 -1, u=v로 택하면 0 포함하기는 함.
v=0일경우 kuㅌW, k=1일경우 u+vㅌW, k=-1,u=v 이면 0ㅌW
이런 식의 명제는 다른 대수적 구조에도 많이 나옴 예를 들어 부분군인지 테스트할때에도 임의의 부분집합의 원소 u, v에 대해서 u^(-1)v 가 부분집합에 포함되면 부분군이라던가 그냥 한번 직접 증명해보고 익숙해지는게 좋음
그래서 '모든'이라고 써놓은거지