Lemma (수학)

Lemma (mathematics)

수학, 비공식 논리 및 인수 매핑에서, 보조명제(복수 보조명제 또는 보조명제)는 더 큰 결과의 디딤돌로 사용되는 일반적으로 사소한 증명된 명제이다.이러한 이유로, 그것은 "도움정리" 또는 "보조정리"[1][2]라고도 알려져 있다.많은 경우에, 레마는 증명하고자 하는 정리로부터 그것의 중요성을 도출한다; 하지만, 레마는 또한 원래 [3]생각했던 것보다 더 중요한 것으로 판명될 수 있다."렘마"라는 단어는 고대 그리스어 μμα (선물, 이익 또는 뇌물과 같이 받는 모든 것)[2]에서 유래했습니다.

정리와의 비교

규칙과 정리 사이에는 형식적인 구별이 없고, 의도적인 것 하나일 뿐이다.하지만, 보조정리는 보다 실질적인 정리를 증명하는 것을 돕는 것이 유일한 목적인 사소한 결과로 간주될 수 있습니다. 즉,[3] 증명의 방향으로의 단계입니다.

잘 알려진 렘

좋은 디딤돌은 다른 많은 것을 이끌 수 있다.수학의 몇몇 강력한 결과들은 레몬마로 알려져 있는데, 처음에는 그들의 원래 사소한 [a]목적에서 이름이 붙여졌다.여기에는 다음이 포함됩니다.

이러한 결과는 원래 너무 단순하거나 너무 기술적이어서 독립적인 관심을 보장하지 못하는 것처럼 보였지만, 결국 이러한 결과가 발생하는 이론의 중심인 것으로 밝혀졌다.

「 」를 참조해 주세요.

메모들

  1. ^ 양심적인 수학자들은 때때로 "렘마"가 아닌 "테옴"으로 이름을 올리는 충동을 주기도 하지만, 오랜 사용으로 인해, 익숙하고 더 겸손한 "렘마"라는 이름이 항상 우세하다.

레퍼런스

  1. ^ Higham, Nicholas J. (1998). Handbook of Writing for the Mathematical Sciences. Society for Industrial and Applied Mathematics. pp. 16. ISBN 0-89871-420-6.
  2. ^ a b "Definition of lemma Dictionary.com". www.dictionary.com. Retrieved 2019-11-28.
  3. ^ a b Richeson, Dave (2008-09-23). "What is the difference between a theorem, a lemma, and a corollary?". David Richeson: Division by Zero. Retrieved 2019-11-28.

외부 링크

이 문서에는 Creative Commons Attribution/Share-Alike License에 따라 라이센스가 부여된 PlanetMath의 Lemma 자료가 포함되어 있습니다.