[일반] lemma가 무슨 용도인지 잘 모르겠어요

[익명(222.100)]

교수님이 명제 증명할 때 lemma로 나눠서 하기는 하시던데 정확히 어떤 쓰임새인지 아무 언급도 안하고 그냥 쓰셔서 그냥 명제 작게 나누는 용도인가? 싶은데

정확히 무슨 용도인가요?

[익명(1.240)]

정리는 정린데 그 자체로 엄청 중요하다기보단 다른 정리 증명할 때 보조로 쓰는 용도

[익명(222.100)]

아하!

[익명(222.100)]

그럼 초른의 보조정리는 예외적인건가요?

[익명(1.240)]

ㅇㅇ 그건 관용적으로 이름이 그냥 굳어짐

[익명(79.251)]

Zorn's Lemma 도 예외아님. 그 자체로 의미 있는것보다 정리들 증명할때 쓰잖음.

[익명(175.223)]

theorem이라기엔 내용이 간단하고, 보편적이고, 그럼에도 불구하고 매우 중요한 내용을 담고 있는걸 lemma라고 부르는 느낌임 나카야마 렘마, 요네다 렘마 같은거

[hentaiMATH_Play(nsa15464)]

보통 이름없이 그냥 lemma라고 하는 경우가 많을텐데 뒤에 나오는 thm에서 처리하기 번거롭거나 귀찮은 부분을 따로 빼서 증명하고 lemma라고 부르는거임

[익명(222.100)]

오호 그렇게 기술적으로 쓰는군요