Neyman-Pearson의 명예는 왜 정리가 아닌 명예인가?


10

이것은 기술적 인 질문보다 역사 질문에 가깝습니다.

왜``Neyman-Pearson lemma ''가 정리가 아닌 Lemma입니까?

위키 링크 : https://en.wikipedia.org/wiki/Neyman%E2%80%93Pearson_lemma

NB : 질문은 하지 하지만 Neyman - 피어슨 보조 정리의 역사에 대해, 표제어과 보조 정리는 정리를 증명하기 위해 사용되는 방법 일에 대해. 정리를 증명하는 데 사용되었는데 더 유용 했습니까? 이것이 사실이라는 의심의 여지가없는 증거가 있습니까?


6
용어 : 주체는 "도움이되는 정리"로, 큰 정리의 증거의 일부를 형성한다는 점을 제외하고는 적용 가능성이 거의없는 제안입니다. 어떤 경우에는, 다른 정리의 상대적인 중요성이 더 명확 해짐에 따라, "엘레 마"라는 단어는 여전히 이름으로 남아 있지만, 일단 한 정리로 간주되었던 것은 이제 정리로 간주된다.
Carl

2
@Carl 물론입니다. 왜 Neyman-Pearson의 명예는 정리가 아닌 정리입니다? 정리가 있었습니까? 그리고 그 증거가 있습니까? 내가 말했듯이, 그것은 기술적 인 문제가 아니라 역사 문제입니다.
Tauto

2
NP 준법은 칼린-루빈 정리를 증명하는 데 사용되었으며, 라오의 점수 테스트는 로컬에서 가장 강력합니다. 이러한 결과는 아마도 NP 정리보다 더 광범위하게 적용될 수있다 (point null vs point alternative).
Scortchi-Monica Monica 복원

답변:


-2

주의 : 이것은 역사적으로 OP 질문에 대한 첫 번째 답변입니다. 통계에 따르면, Jerzy Neyman과 Egon Pearson이 1933 년에 논문으로 Neyman-Pearson 렘마를 소개했습니다 . 또한 통계 학자들은 실제로는 정리 가 아니라 정리 로 사용되며 , 1936 년 논문 때문에 크게 정리 정리라고 부릅니다. IMHO, 역사적 대우는 "왜"질문에 대답하지 않으며,이 포스트는 그 일을 시도합니다.

정리 나 추론과 대조되는 정리 정리는 다른 곳 이나 여기에서 다루어진다 . 보다 정확하게는 정의의 문제와 관련하여 : Lemma, 첫 번째 의미 : 논증 또는 증거의 보조 또는 중간 정리. 나는 옥스포드 사전에 동의하지만 단어 순서를 변경하고 정확한 언어를 주목할 것입니다 : 중간 또는 보조 정리. 일부 저자는 실수로 클레 마가 증거에서 중개자가되어야한다고 믿으며, 이는 이름이없는 많은 렘마의 경우입니다. 그러나, 명명 된 렘마에 대해서는, 렘마 결과가 이미 입증 된 정리로부터 발생하는 의미가되어, 렘마가 부가 적, 즉 보조 정리가되도록하는 것이 일반적이다. 로부터 새로운 세계 백과 사전 한 수학자의 주요 결과는 다른 수수께끼의 주장이기 때문에 이론과 음운의 구별은 다소 자의적입니다. 예를 들어 가우스의 명예와 Zorn의 명예는 일부 저자가 어떤 이론의 증거로 그것을 사용하지 않고 명목상의 명예를 제시 할 정도로 충분히 흥미 롭다. 이러한 다른 예에서하지 다음 에반스 표제어 인 증거 제 카탄 구조 방정식 두 테트라에 가설의 평등 ... 테트라를 가정이라고 ... 쇼 미분 기하학의 간단한 원리 [ SiC를 자체] 이고 미분 기하학의 에반스 렘마의 근원. Wikipedia 는 시간에 따른 정리의 진화를 언급합니다.어떤 경우에는, 다른 정리의 상대적인 중요성이 더 명확 해짐에 따라, "엘레 마"라는 단어는 여전히 이름으로 남아 있지만, 일단 한 정리로 간주되었던 것은 이제 정리로 간주된다.

그러나, 그들이 독립형에 속하는지 아닌지는 또한 정리라는 점에 유의하십시오. 즉, 정리는 정리 인 정리 는 때때로 "(위의 정리는 무엇을 의미 하는가?") 질문에 대한 답이 될 있습니다. 때로는 정리는 정리를 설정하는 데 사용되는 디딤돌입니다.

1933 년 논문을 읽는 것은 분명하다 : IX. 통계적 가설에 대한 가장 효율적인 테스트 문제. Jerzy Neyman, Egon Sharpe Pearson 및 Karl Pearson베이 즈 정리 입니다. 이 글의 일부 독자들은 Bayes의 정리를 1933 년 논문과 관련시키는 데 어려움을 겪고 있습니다. 1933 년 논문은 벤 다이어그램으로 흩어져 있으며 벤 다이어그램 은 베이 즈 정리 인 조건부 확률을 보여줍니다 . 어떤 사람들은이 규칙을 "정리"라고 언급하는 것이 과장되기 때문에 이것을 베이 즈의 규칙이라고 부릅니다. 예를 들어, 규칙이 아니라 '가산'정리를 불러야한다면 설명보다는 혼란 스러울 것입니다.

따라서 Neyman - 피어슨 보조 정리 A는 정리 베이지안 가설의 가장 효율적인 테스트와 관련된,하지만 현재는 아니므로 시작하는 것을 호출되지 않습니다.


1
나는 당신이 여기서 정확히 말하는 것에 대해 약간 혼란 스럽습니다. 이 논문이나 다른 곳에서 NP 정리가 베이 즈 정리를 증명하는 데 사용되는 것은 분명하지 않다. "왜"엘레 마 "인가?" 유적. NP 지체 본 논문의 섹션 III & IV에서 UMP 유사 테스트 도출에 사용되며, 이러한 이유로 지명이라고 불릴 수도있다.
Scortchi-Monica Monica 복원

3
"네이 먼-피어슨 (Neyman-Pearson)의 정리는 정리라고 부를 수있다"는 당신의 진술은 근거가 없으며 우리가 '네이 먼-피어슨 (Neyman-Pearson)의 정리'를 하나의 정리로 언급하는 이유는 설명하지 않습니다. 게다가 베이 즈 정리와 관련이있는 것은 완전히 불분명하고 거짓으로 보입니다. 귀하의 답변은 모호하고 무의미한 공감대를받을 자격이 있지만, 귀하는 그러한 공여 품을 좋아하지 않기 때문에 공제 없이도 가치가 있다고 진술 할 것입니다.
Sextus Empiricus

2
정리는 단지 정리 일뿐입니다 (더 큰 증거에서 '도움말'과는 다른 맥락으로 만 배치됨). 이것은 질문이 아니며 수학 사이트의 여러 스레드에서 답변되었습니다. 우리는 렘마가 그들 자신의 삶을 살기 시작할 수 있다는 것을 알고 있습니다. 이 질문은 Neyman Pearson Lemma와 관련하여 이의 역사를 명시 적으로 요구합니다. 프랜시스는 이미 이에 대한 훌륭한 답변을했으며 다른 답변은 필요하지 않습니다. 귀하의 답변이 혼란스럽고 (베이 즈 규칙에 관한 것들) 도움이되거나 해를 끼치 지 않기 때문에 귀하의 답변을 비난했습니다.
Sextus Empiricus

4
'lemma'라는 단어의 해석 / 사용에 대한 자료가 있습니까? 그렇지 않으면 나는 당신이 단순히 '부 정권'의 의미를 오해했다고 생각합니다. 동반자 사이트에서 링크 된 답변에서 언어를 빌리려면이 질문의 현재 버전과 이전 버전을 "Neyman-Pearsion lemma가 '도우미'사실이었던 더 중요한 결과는 무엇입니까?"를 의미한다고 해석합니다.
Juho Kokkala

2
"이것은"다른 것 "일 필요가 없기 때문에 과장된 것입니다." 이 주장은 어디에서 왔습니까? 이것은 (원래 '또 다른'정리에 대한 증거의 일부가 아닌) 수학자들이 용어 정리라는 용어를 사용하는 방법이 아닙니다. 그것은 논리 A-> B-> C 에서의 사용 과 매우 유사 하며 문제는 B가 Neyman Pearson lemma (Bays 규칙 / 정리가 아님) 인 경우 L이 B 인 경우 C가 무엇인지 묻습니다.
Sextus Empiricus

9

클래식 버전은 1933 년에 등장했지만 "명칭"이라고 불리는 가장 초기의 사례는 아마도 Neyman과 Pearson의 1936 년 기사 통계적 가설 테스트 이론에 대한 공헌에 있을 것입니다 (Passific Research Memoirs Volume I의 1-37 페이지). . 명예와 그것을 증명하는 데 사용 된 제안은 다음과 같이 언급되었습니다. 여기에 이미지 설명을 입력하십시오

m=1

다음은 Neyman-Pearson lemma의 역사에 관심이있는 관련 기사 / 책 목록입니다.

  • Neyman-Pearson Story : 1926-34 , ES Pearson, 통계 연구 논문 : J. Neyman의 Festschrift .
  • 통계적 가설에 대한 가장 효율적인 검정 문제인 EL Lehmann의 통계 : 혁신 및 기초 이론 에 관한 Neyman and Pearson 소개 (1933) .
  • Neyman-From Life , C. Reid.

그렇습니다. 그러나 Neyman-Pearson의 명예는 1933 년의 정의에 대한 명예 즉, 당시의 명예에 부합했기 때문에 이후에 명예라고 불 렸습니다.
Carl

1
@Carl, 'but'를 사용하여 당신의 요점은 무엇입니까? 이 답변에 문제가 있습니까?
Sextus Empiricus

1
@MartijnWeterings : Google Scholar에서 용어를 검색하고 날짜 범위를 제한 할 수 있습니다. PL Hsu에서 가장 먼저 사용하는 것 같습니다. 1940 년 Wald의 강의 노트 도 인용했다.
Francis

2
@Carl, 다음 부분을 놓치셨습니까? " NB : 문제는 정리가 무엇인지, 정리가 증명을 위해 어떻게 정리가 사용되는지에 관한 것이 아니라 Neyman-Pearson 정리의 역사에 관한 것입니다." 그것은 역사 에 관한 입니다. 문제는 이 정리가 어떻게 정리라고 불려지는지에 대한 맥락을 묻습니다 . 아니 정리 (theorem) (또는 더 구체적으로이 정리)는 보조 정리를 호출 할 수 있습니다.
Sextus Empiricus

2
@Carl,이 답변은 그것이 어떻게 그 역할을 수행했는지를 잘 설명하고 사람들이 그 역할을 어떻게 보았는지에 대한 역사를 포함합니다.
Sextus Empiricus
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.