"소수 정리"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
이 항목의 스프링노트 원문주소==
Pythagoras0 (토론 | 기여) 잔글 (찾아 바꾸기 – “<h5>” 문자열을 “==” 문자열로) |
Pythagoras0 (토론 | 기여) 잔글 (찾아 바꾸기 – “</h5>” 문자열을 “==” 문자열로) |
||
| 1번째 줄: | 1번째 줄: | ||
| − | <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">이 항목의 스프링노트 원문주소 | + | <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">이 항목의 스프링노트 원문주소== |
* [[소수정리]] | * [[소수정리]] | ||
| 7번째 줄: | 7번째 줄: | ||
| − | <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">개요 | + | <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">개요== |
* <math>x</math> 이하의 소수의 갯수 <math>\pi(x)</math> 에 대해, <math>x</math> 가 크면 <math>\pi(x)\sim\frac{x}{\log x}</math> 이다. 즉, <math>\lim_{x \rightarrow \infty} \frac{\pi(x)\log(x)}{x} = 1</math> 이 성립한다. | * <math>x</math> 이하의 소수의 갯수 <math>\pi(x)</math> 에 대해, <math>x</math> 가 크면 <math>\pi(x)\sim\frac{x}{\log x}</math> 이다. 즉, <math>\lim_{x \rightarrow \infty} \frac{\pi(x)\log(x)}{x} = 1</math> 이 성립한다. | ||
| 21번째 줄: | 21번째 줄: | ||
| − | <h5 style="margin: 0px; line-height: 2em;">동치명제 | + | <h5 style="margin: 0px; line-height: 2em;">동치명제== |
* 다음은 소수정리와 동치이다<br><math>\varphi(x)=\sum_{p\leq x}\log p \sim x</math><br> (증명)<br><math>\varphi(x)=\sum_{p\leq x}\log p \leq \sum_{p\leq x}\log x=\pi(x)\log x</math><br> 임의의 <math>\epsilon>0</math>에 대하여, <br><math>\varphi(x)\geq \sum_{x^{1-\epsilon}\leq p\leq x}\log p \geq \sum_{x^{1-\epsilon}\leq p\leq x}(1-\epsilon)\log x = (1-\epsilon)\log x\{\pi(x)+O(x^{1-\epsilon}\}</math><br> 따라서 <math>\varphi(x)=\sum_{p\leq x}\log p \sim x</math> 임을 가정하면, <math>\pi(x)\sim\frac{x}{\log x}</math> 를 얻는다. ■<br> | * 다음은 소수정리와 동치이다<br><math>\varphi(x)=\sum_{p\leq x}\log p \sim x</math><br> (증명)<br><math>\varphi(x)=\sum_{p\leq x}\log p \leq \sum_{p\leq x}\log x=\pi(x)\log x</math><br> 임의의 <math>\epsilon>0</math>에 대하여, <br><math>\varphi(x)\geq \sum_{x^{1-\epsilon}\leq p\leq x}\log p \geq \sum_{x^{1-\epsilon}\leq p\leq x}(1-\epsilon)\log x = (1-\epsilon)\log x\{\pi(x)+O(x^{1-\epsilon}\}</math><br> 따라서 <math>\varphi(x)=\sum_{p\leq x}\log p \sim x</math> 임을 가정하면, <math>\pi(x)\sim\frac{x}{\log x}</math> 를 얻는다. ■<br> | ||
| 29번째 줄: | 29번째 줄: | ||
| − | <h5 style="margin: 0px; line-height: 2em;">로그적분 | + | <h5 style="margin: 0px; line-height: 2em;">로그적분== |
* [[search?q=%EB%A1%9C%EA%B7%B8%EC%A0%81%EB%B6%84%28logarithmic%20integral%29&parent id=4426135|로그적분(logarithmic integral)]]<br>[[search?q=%EB%A1%9C%EA%B7%B8%EC%A0%81%EB%B6%84%28logarithmic%20integral%29&parent id=4426135|search?q=%EB%A1%9C%EA%B7%B8%EC%A0%81%EB%B6%84%28logarithmic%20integral%29&parent id=4426135]]<math>\int_2^{\infty} \frac{1}{\log x}\,dx</math><br> | * [[search?q=%EB%A1%9C%EA%B7%B8%EC%A0%81%EB%B6%84%28logarithmic%20integral%29&parent id=4426135|로그적분(logarithmic integral)]]<br>[[search?q=%EB%A1%9C%EA%B7%B8%EC%A0%81%EB%B6%84%28logarithmic%20integral%29&parent id=4426135|search?q=%EB%A1%9C%EA%B7%B8%EC%A0%81%EB%B6%84%28logarithmic%20integral%29&parent id=4426135]]<math>\int_2^{\infty} \frac{1}{\log x}\,dx</math><br> | ||
| 37번째 줄: | 37번째 줄: | ||
| − | ==역사 | + | ==역사== |
* [[수학사연표 (역사)|수학사연표]] | * [[수학사연표 (역사)|수학사연표]] | ||
| 45번째 줄: | 45번째 줄: | ||
| − | ==메모 | + | ==메모== |
* [http://www.math.uiuc.edu/%7Er-ash/CV/CV7.pdf http://www.math.uiuc.edu/~r-ash/CV/CV7.pdf] | * [http://www.math.uiuc.edu/%7Er-ash/CV/CV7.pdf http://www.math.uiuc.edu/~r-ash/CV/CV7.pdf] | ||
| 56번째 줄: | 56번째 줄: | ||
| − | ==관련된 항목들 | + | ==관련된 항목들== |
* [[부정적분의 초등함수 표현(Integration in finite terms)]] | * [[부정적분의 초등함수 표현(Integration in finite terms)]] | ||
| 66번째 줄: | 66번째 줄: | ||
| − | <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">수학용어번역 | + | <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">수학용어번역== |
* http://www.google.com/dictionary?langpair=en|ko&q= | * http://www.google.com/dictionary?langpair=en|ko&q= | ||
| 77번째 줄: | 77번째 줄: | ||
| − | ==사전 형태의 자료 | + | ==사전 형태의 자료== |
* [http://ko.wikipedia.org/wiki/%EC%86%8C%EC%88%98%EC%A0%95%EB%A6%AC http://ko.wikipedia.org/wiki/소수정리] | * [http://ko.wikipedia.org/wiki/%EC%86%8C%EC%88%98%EC%A0%95%EB%A6%AC http://ko.wikipedia.org/wiki/소수정리] | ||
| 92번째 줄: | 92번째 줄: | ||
| − | ==관련논문 | + | ==관련논문== |
* D. Goldfeld, [http://www.math.columbia.edu/%7Egoldfeld/ErdosSelbergDispute.pdf THE ELEMENTARY PROOF OF THE PRIME NUMBER THEOREM: AN HISTORICAL PERSPECTIVE] | * D. Goldfeld, [http://www.math.columbia.edu/%7Egoldfeld/ErdosSelbergDispute.pdf THE ELEMENTARY PROOF OF THE PRIME NUMBER THEOREM: AN HISTORICAL PERSPECTIVE] | ||
| 103번째 줄: | 103번째 줄: | ||
| − | ==관련도서 | + | ==관련도서== |
* 도서내검색<br> | * 도서내검색<br> | ||
| 117번째 줄: | 117번째 줄: | ||
| − | ==관련기사 | + | ==관련기사== |
* 네이버 뉴스 검색 (키워드 수정)<br> | * 네이버 뉴스 검색 (키워드 수정)<br> | ||
| 128번째 줄: | 128번째 줄: | ||
| − | ==블로그 | + | ==블로그== |
* 구글 블로그 검색 [http://blogsearch.google.com/blogsearch?q=%EC%86%8C%EC%88%98%EC%A0%95%EB%A6%AC http://blogsearch.google.com/blogsearch?q=소수정리] | * 구글 블로그 검색 [http://blogsearch.google.com/blogsearch?q=%EC%86%8C%EC%88%98%EC%A0%95%EB%A6%AC http://blogsearch.google.com/blogsearch?q=소수정리] | ||
2012년 11월 1일 (목) 12:51 판
이 항목의 스프링노트 원문주소==
개요==
- \(x\) 이하의 소수의 갯수 \(\pi(x)\) 에 대해, \(x\) 가 크면 \(\pi(x)\sim\frac{x}{\log x}\) 이다. 즉, \(\lim_{x \rightarrow \infty} \frac{\pi(x)\log(x)}{x} = 1\) 이 성립한다.
- 가우스가 소수 표를 보다가 처음 발견
- 복소함수론을 사용한 해석적 증명이 얻어짐
- 후에 에르디시와 셀베르그에 의해 복소함수론을 사용하지 않는 초등적 증명(elementary proof)
동치명제==
- 다음은 소수정리와 동치이다
\(\varphi(x)=\sum_{p\leq x}\log p \sim x\)
(증명)
\(\varphi(x)=\sum_{p\leq x}\log p \leq \sum_{p\leq x}\log x=\pi(x)\log x\)
임의의 \(\epsilon>0\)에 대하여,
\(\varphi(x)\geq \sum_{x^{1-\epsilon}\leq p\leq x}\log p \geq \sum_{x^{1-\epsilon}\leq p\leq x}(1-\epsilon)\log x = (1-\epsilon)\log x\{\pi(x)+O(x^{1-\epsilon}\}\)
따라서 \(\varphi(x)=\sum_{p\leq x}\log p \sim x\) 임을 가정하면, \(\pi(x)\sim\frac{x}{\log x}\) 를 얻는다. ■
로그적분==
- 로그적분(logarithmic integral)
search?q=%EB%A1%9C%EA%B7%B8%EC%A0%81%EB%B6%84%28logarithmic%20integral%29&parent id=4426135\(\int_2^{\infty} \frac{1}{\log x}\,dx\)
역사
메모
- http://www.math.uiuc.edu/~r-ash/CV/CV7.pdf
- \(\pi(n)\sim \int_2^{n} \frac{1}{\log x}\,dx\)
관련된 항목들
수학용어번역==
사전 형태의 자료
- http://ko.wikipedia.org/wiki/소수정리
- http://en.wikipedia.org/wiki/prime_number_theorem
- [1]http://en.wikipedia.org/wiki/Explicit_formula
- http://en.wikipedia.org/wiki/Hardy–Littlewood_tauberian_theorem
- http://www.wolframalpha.com/input/?i=
- NIST Digital Library of Mathematical Functions
- The On-Line Encyclopedia of Integer Sequences
관련논문
- D. Goldfeld, THE ELEMENTARY PROOF OF THE PRIME NUMBER THEOREM: AN HISTORICAL PERSPECTIVE
- An Elementary Proof of the Prime-Number Theorem
- Atle Selberg, The Annals of Mathematics, Second Series, Vol. 50, No. 2 (Apr., 1949), pp. 305-313
- http://www.jstor.org/action/doBasicSearch?Query=
관련도서
- 도서내검색
- 도서검색
관련기사
- 네이버 뉴스 검색 (키워드 수정)
블로그
- \(x\) 이하의 소수의 갯수 \(\pi(x)\) 에 대해, \(x\) 가 크면 \(\pi(x)\sim\frac{x}{\log x}\) 이다. 즉, \(\lim_{x \rightarrow \infty} \frac{\pi(x)\log(x)}{x} = 1\) 이 성립한다.
- 가우스가 소수 표를 보다가 처음 발견
- 복소함수론을 사용한 해석적 증명이 얻어짐
- 후에 에르디시와 셀베르그에 의해 복소함수론을 사용하지 않는 초등적 증명(elementary proof)
- 다음은 소수정리와 동치이다
\(\varphi(x)=\sum_{p\leq x}\log p \sim x\)
(증명)
\(\varphi(x)=\sum_{p\leq x}\log p \leq \sum_{p\leq x}\log x=\pi(x)\log x\)
임의의 \(\epsilon>0\)에 대하여,
\(\varphi(x)\geq \sum_{x^{1-\epsilon}\leq p\leq x}\log p \geq \sum_{x^{1-\epsilon}\leq p\leq x}(1-\epsilon)\log x = (1-\epsilon)\log x\{\pi(x)+O(x^{1-\epsilon}\}\)
따라서 \(\varphi(x)=\sum_{p\leq x}\log p \sim x\) 임을 가정하면, \(\pi(x)\sim\frac{x}{\log x}\) 를 얻는다. ■
- 로그적분(logarithmic integral)
search?q=%EB%A1%9C%EA%B7%B8%EC%A0%81%EB%B6%84%28logarithmic%20integral%29&parent id=4426135\(\int_2^{\infty} \frac{1}{\log x}\,dx\)
사전 형태의 자료
- http://ko.wikipedia.org/wiki/소수정리
- http://en.wikipedia.org/wiki/prime_number_theorem
- [1]http://en.wikipedia.org/wiki/Explicit_formula
- http://en.wikipedia.org/wiki/Hardy–Littlewood_tauberian_theorem
- http://www.wolframalpha.com/input/?i=
- NIST Digital Library of Mathematical Functions
- The On-Line Encyclopedia of Integer Sequences
관련논문
- D. Goldfeld, THE ELEMENTARY PROOF OF THE PRIME NUMBER THEOREM: AN HISTORICAL PERSPECTIVE
- An Elementary Proof of the Prime-Number Theorem
- Atle Selberg, The Annals of Mathematics, Second Series, Vol. 50, No. 2 (Apr., 1949), pp. 305-313
- http://www.jstor.org/action/doBasicSearch?Query=
관련도서
- 도서내검색
- 도서검색
관련기사
- 네이버 뉴스 검색 (키워드 수정)