Theorem   정리 (Theorem)

(2021-09-30)

정리 , Lemma, 보조 정리, Corollary, 따름 정리


1. 정리 (Theorem)수학적 논증의 추론 결과에 따라 참으로 증명명제
     - 특정 이론에 대한 정의 및 공리
     - 다른 정리로부터 논리적으로 추론되어지는 것

  ㅇ 공리로부터 유추되는(증명되어질 수 있는) 유용한 결론
     - 정리는 시행착오,영감,추측 등의 방법을 통해서 발견되고,
     - 그 정리는 반드시 증명되어야 함

  ㅇ 결국, 정리는 증명되어야할 유용한 대상인 셈
     - 정리는 증명에 의해 질서정연하게 전개됨


2. 보조 정리 (Lemma)

  ㅇ 어떤 정리를 증명하는데 쓰이는 디딤돌 역할을 하는(보조적인) 정리를 말함


3. 따름 정리 (Corollary)

  ㅇ 어떤 정리에서 곧바로 유도되는 정리로써, 주로 이용가치가 높은 것을 말함



Copyrightⓒ written by 차재복 (Cha Jae Bok)
"본 웹사이트 내 모든 저작물은 원출처를 밝히는 한 자유롭게 사용(상업화포함) 가능합니다"