"소수 정리"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
4번째 줄: 4번째 줄:
 
* 복소함수론을 사용한 해석적 증명이 얻어짐
 
* 복소함수론을 사용한 해석적 증명이 얻어짐
 
* 후에 에르디시와 셀베르그에 의해 복소함수론을 사용하지 않는 초등적 증명(elementary proof)
 
* 후에 에르디시와 셀베르그에 의해 복소함수론을 사용하지 않는 초등적 증명(elementary proof)
 +
 +
 +
==체비셰프 $\psi$와 $\theta$==
 +
* $x>0$에 대하여, 다음과 같이 $\psi$와 $\theta$를 정의
 +
$$
 +
\psi(x)=\sum_{n \leq x}\Lambda(n)
 +
$$
 +
$$
 +
\theta(x)=\sum_{p\leq x}\log p
 +
$$
 +
  
  
 
==동치명제==
 
==동치명제==
 
;정리
 
;정리
−
다음은 소수정리와 동치이다
+
다음의 관계들은 동치이다
−
:<math>\theta(x)=\sum_{p\leq x}\log p \sim x</math>
+
$$
−
;증명
+
\lim_{x\to \infty}\frac{\pi(x)\log x}{x}=1 \\
−
:<math>\theta(x)=\sum_{p\leq x}\log p \leq \sum_{p\leq x}\log x=\pi(x)\log x</math>
+
\lim_{x\to \infty}\frac{\theta(x)}{x}=1 \\
−
임의의 <math>\epsilon>0</math>에 대하여,
+
\lim_{x\to \infty}\frac{\psi(x)}{x}=1
−
:<math>\theta(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>
+
$$
−
따라서 <math>\theta(x) \sim x</math> 임을 가정하면,
+
 
−
:<math>\pi(x)\sim\frac{x}{\log x}</math>
+
 
−
를 얻는다.■
 
  
 
==로그적분==
 
==로그적분==
  
 
* [[로그 적분(logarithmic integral)]]
 
* [[로그 적분(logarithmic integral)]]
−
:<math>\int_2^{\infty} \frac{1}{\log x}\,dx</math><br>
+
:<math>\int_2^{\infty} \frac{1}{\log x}\,dx</math>
  
 
 
 
 
39번째 줄: 49번째 줄:
 
* [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]
 
* <math>\pi(n)\sim \int_2^{n} \frac{1}{\log x}\,dx</math>
 
* <math>\pi(n)\sim \int_2^{n} \frac{1}{\log x}\,dx</math>
−
 
+
;증명
 +
:<math>\theta(x)=\sum_{p\leq x}\log p \leq \sum_{p\leq x}\log x=\pi(x)\log x</math>
 +
임의의 <math>\epsilon>0</math>에 대하여,
 +
:<math>\theta(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>
 +
따라서 <math>\theta(x) \sim x</math> 임을 가정하면,
 +
:<math>\pi(x)\sim\frac{x}{\log x}</math>
 +
를 얻는다.■
 
 
 
 
  

2014년 10월 26일 (일) 14:55 판

개요

  • \(x\) 이하의 소수의 갯수 \(\pi(x)\) 에 대해, \(x\) 가 크면 \(\pi(x)\sim\frac{x}{\log x}\) 이다. 즉, \(\lim_{x \rightarrow \infty} \frac{\pi(x)\log(x)}{x} = 1\) 이 성립한다.
  • 가우스가 소수 표를 보다가 처음 발견
  • 복소함수론을 사용한 해석적 증명이 얻어짐
  • 후에 에르디시와 셀베르그에 의해 복소함수론을 사용하지 않는 초등적 증명(elementary proof)


체비셰프 $\psi$와 $\theta$

  • $x>0$에 대하여, 다음과 같이 $\psi$와 $\theta$를 정의

$$ \psi(x)=\sum_{n \leq x}\Lambda(n) $$ $$ \theta(x)=\sum_{p\leq x}\log p $$


동치명제

정리

다음의 관계들은 동치이다 $$ \lim_{x\to \infty}\frac{\pi(x)\log x}{x}=1 \\ \lim_{x\to \infty}\frac{\theta(x)}{x}=1 \\ \lim_{x\to \infty}\frac{\psi(x)}{x}=1 $$


로그적분

\[\int_2^{\infty} \frac{1}{\log x}\,dx\]

 

 

역사

 

 

메모

증명

\[\theta(x)=\sum_{p\leq x}\log p \leq \sum_{p\leq x}\log x=\pi(x)\log x\] 임의의 \(\epsilon>0\)에 대하여, \[\theta(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}\}\] 따라서 \(\theta(x) \sim x\) 임을 가정하면, \[\pi(x)\sim\frac{x}{\log x}\] 를 얻는다.■  

관련된 항목들

 

 

사전 형태의 자료

 

 

관련논문

원본 주소 "https://wiki.mathnt.net/index.php?title=소수_정리&oldid=30627"