"무리수와 디오판투스 근사"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
1번째 줄: 1번째 줄:
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">이 항목의 스프링노트 원문주소</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">이 항목의 스프링노트 원문주소</h5>
  
 
 
 
 
5번째 줄: 5번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">개요</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">개요</h5>
  
 
 
 
 
13번째 줄: 13번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">디리클레 근사정리(Dirichlet's approximation theorem)</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">디리클레 근사정리(Dirichlet's approximation theorem)</h5>
  
 
* [[디리클레 근사정리(Dirichlet's approximation theorem)]]에서 가져옴<br> 무리수 <math>\alpha</math> 에 대하여, 부등식<br>
 
* [[디리클레 근사정리(Dirichlet's approximation theorem)]]에서 가져옴<br> 무리수 <math>\alpha</math> 에 대하여, 부등식<br>
21번째 줄: 21번째 줄:
 
는 무한히 많은 유리수 <math>p/q</math>에 의하여 만족된다.
 
는 무한히 많은 유리수 <math>p/q</math>에 의하여 만족된다.
  
*  더 나아가 다음이 성립한다(후르비츠)<br> 무리수 <math>\alpha</math> 에 대하여, 부등식<br><math>|\alpha-\frac{p}{q}|<\frac{1}{\sqrt{5}{q^2}}</math><br> 는 무한히 많은 유리수<math>p/q</math> 에 의하여 만족된다. (하지만 여기서 <math>\sqrt{5}</math> 는 더 큰 수로 대체될 수 없다.)<br>
+
*  더 나아가 다음이 성립한다(후르비츠 정리)<br> 무리수 <math>\alpha</math> 에 대하여, 부등식<br><math>|\alpha-\frac{p}{q}|<\frac{1}{\sqrt{5}{q^2}}</math><br> 는 무한히 많은 유리수<math>p/q</math> 에 의하여 만족된다. (하지만 여기서 <math>\sqrt{5}</math> 는 더 큰 수로 대체될 수 없다.)<br>
 
* [[연분수와 유리수 근사|연분수]] 항목 참조<br>
 
* [[연분수와 유리수 근사|연분수]] 항목 참조<br>
  
32번째 줄: 32번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">리우빌 정리</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">리우빌 정리</h5>
  
 
*  리우빌 정리 (1844)<br>  <br> 무리수이면서 차수가 d인 대수적수 <math>\alpha</math> 와 임의의 양수 <math>\epsilon>0</math>에 대하여, 부등식 <br><math> \vert \alpha - \frac{p}{q} \vert < \frac{1}{q^{d+\epsilon}}</math><br> 의 유리수해 <math>p/q</math>는 유한하다<br>
 
*  리우빌 정리 (1844)<br>  <br> 무리수이면서 차수가 d인 대수적수 <math>\alpha</math> 와 임의의 양수 <math>\epsilon>0</math>에 대하여, 부등식 <br><math> \vert \alpha - \frac{p}{q} \vert < \frac{1}{q^{d+\epsilon}}</math><br> 의 유리수해 <math>p/q</math>는 유한하다<br>
*  리우빌 정리<br> 무리수이면서 차수가 d인 대수적수 <math>\alpha</math> 에 대하여, 적당한 상수 <math>c(\alpha)>0</math>가 존재하여, 모든 유리수 <math>p/q</math>에 대하여 다음 부등식이 만족된다. <br>
+
*  리우빌 정리의 또다른 버전<br> 무리수이면서 차수가 d인 대수적수 <math>\alpha</math> 에 대하여, 적당한 상수 <math>c(\alpha)>0</math>가 존재하여, 모든 유리수 <math>p/q</math>에 대하여 다음 부등식이 만족된다. <br><math> \vert \alpha - \frac{p}{q} \vert > \frac{c(\alpha)}{q^{d}}</math><br>
 
 
<math> \vert \alpha - \frac{p}{q} \vert > \frac{c(\alpha)}{q^{d}}</math>
 
  
 
*  이 정리를 사용하여, 리우빌 상수 c가 초월수임을 증명할 수 있다<br><math>c = \sum_{j=1}^\infty 10^{-j!} = 0.110001000000000000000001000\ldots</math><br>
 
*  이 정리를 사용하여, 리우빌 상수 c가 초월수임을 증명할 수 있다<br><math>c = \sum_{j=1}^\infty 10^{-j!} = 0.110001000000000000000001000\ldots</math><br>
45번째 줄: 43번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">Thue-Siegel-Roth 정리</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">Thue-Siegel-Roth 정리</h5>
  
 
주어진 <math>\epsilon}>0</math>에 대하여, 무리수이면서 대수적인수 <math>\alpha</math> 에 대하여, 부등식
 
주어진 <math>\epsilon}>0</math>에 대하여, 무리수이면서 대수적인수 <math>\alpha</math> 에 대하여, 부등식
59번째 줄: 57번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">재미있는 사실</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">재미있는 사실</h5>
  
 
 
 
 
70번째 줄: 68번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">역사</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">역사</h5>
 
 
 
 
  
 +
*  1844 리우빌<br>
 +
*  1909 Thue<br>
 +
*  1921 지겔<br>
 +
*  1955 Roth<br>
 +
* http://www.google.com/search?hl=en&tbs=tl:1&q=diophantine+approximation
 
* http://www.google.com/search?hl=en&tbs=tl:1&q=
 
* http://www.google.com/search?hl=en&tbs=tl:1&q=
 
* [[수학사연표 (역사)|수학사연표]]
 
* [[수학사연표 (역사)|수학사연표]]
82번째 줄: 83번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">메모</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">메모</h5>
  
 
 
 
 
88번째 줄: 89번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">관련된 항목들</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">관련된 항목들</h5>
  
 
* [[황금비]]<br>
 
* [[황금비]]<br>
96번째 줄: 97번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">수학용어번역</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">수학용어번역</h5>
  
 
* 단어사전 http://www.google.com/dictionary?langpair=en|ko&q=
 
* 단어사전 http://www.google.com/dictionary?langpair=en|ko&q=
109번째 줄: 110번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">사전 형태의 자료</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">사전 형태의 자료</h5>
  
 
* http://ko.wikipedia.org/wiki/
 
* http://ko.wikipedia.org/wiki/
117번째 줄: 118번째 줄:
 
* http://www.wolframalpha.com/input/?i=
 
* http://www.wolframalpha.com/input/?i=
 
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
 
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
* [http://www.research.att.com/~njas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]<br>
+
* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]<br>
 
** http://www.research.att.com/~njas/sequences/?q=
 
** http://www.research.att.com/~njas/sequences/?q=
  
124번째 줄: 125번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">관련논문</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">관련논문</h5>
  
* [http://people.math.jussieu.fr/~miw/articles/pdf/HCMUNS10.pdf Diophantine Approximation: historical survey]<br>
+
* [http://people.math.jussieu.fr/%7Emiw/articles/pdf/HCMUNS10.pdf Diophantine Approximation: historical survey]<br>
 
** From Introduction to Diophantine methods course by Michel Waldschmidt.
 
** From Introduction to Diophantine methods course by Michel Waldschmidt.
** [http://www.math.jussieu.fr/~miw/coursHCMUNS2007.html Introduction to Diophantine methods: irrationality and transcendence]
+
** [http://www.math.jussieu.fr/%7Emiw/coursHCMUNS2007.html Introduction to Diophantine methods: irrationality and transcendence]
 
* http://www.jstor.org/action/doBasicSearch?Query=
 
* http://www.jstor.org/action/doBasicSearch?Query=
 
* http://www.ams.org/mathscinet
 
* http://www.ams.org/mathscinet
137번째 줄: 138번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">관련도서</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">관련도서</h5>
  
 
*  도서내검색<br>
 
*  도서내검색<br>
151번째 줄: 152번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">관련기사</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">관련기사</h5>
  
 
*  네이버 뉴스 검색 (키워드 수정)<br>
 
*  네이버 뉴스 검색 (키워드 수정)<br>
162번째 줄: 163번째 줄:
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">블로그</h5>
+
<h5 style="line-height: 3.428em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">블로그</h5>
  
 
*  구글 블로그 검색<br>
 
*  구글 블로그 검색<br>

2010년 8월 20일 (금) 16:30 판

이 항목의 스프링노트 원문주소

 

 

개요

 

 

 

디리클레 근사정리(Dirichlet's approximation theorem)

\(|\alpha-\frac{p}{q}|<\frac{1}{q^2}\)

는 무한히 많은 유리수 \(p/q\)에 의하여 만족된다.

  • 더 나아가 다음이 성립한다(후르비츠 정리)
    무리수 \(\alpha\) 에 대하여, 부등식
    \(|\alpha-\frac{p}{q}|<\frac{1}{\sqrt{5}{q^2}}\)
    는 무한히 많은 유리수\(p/q\) 에 의하여 만족된다. (하지만 여기서 \(\sqrt{5}\) 는 더 큰 수로 대체될 수 없다.)
  • 연분수 항목 참조

 

 

 

 

리우빌 정리
  • 리우빌 정리 (1844)
     
    무리수이면서 차수가 d인 대수적수 \(\alpha\) 와 임의의 양수 \(\epsilon>0\)에 대하여, 부등식 
    \( \vert \alpha - \frac{p}{q} \vert < \frac{1}{q^{d+\epsilon}}\)
    의 유리수해 \(p/q\)는 유한하다
  • 리우빌 정리의 또다른 버전
    무리수이면서 차수가 d인 대수적수 \(\alpha\) 에 대하여, 적당한 상수 \(c(\alpha)>0\)가 존재하여, 모든 유리수 \(p/q\)에 대하여 다음 부등식이 만족된다. 
    \( \vert \alpha - \frac{p}{q} \vert > \frac{c(\alpha)}{q^{d}}\)
  • 이 정리를 사용하여, 리우빌 상수 c가 초월수임을 증명할 수 있다
    \(c = \sum_{j=1}^\infty 10^{-j!} = 0.110001000000000000000001000\ldots\)

 

 

Thue-Siegel-Roth 정리

주어진 \(\epsilon}>0\)에 대하여, 무리수이면서 대수적인수 \(\alpha\) 에 대하여, 부등식

\(\left|\alpha - \frac{p}{q}\right| < \frac{1}{q^{2 + \epsilon}}\)

의 유리수해 \(p/q\)는 유한하다

 

 

 

재미있는 사실

 

 

 

역사

 

 

메모

 

 

관련된 항목들

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

관련논문

 

 

관련도서

 

 

관련기사

 

 

블로그