"베이커의 정리"의 두 판 사이의 차이

2012년 11월 2일 (금) 08:06 판

버전1

0이 아닌 대수적수 \(\alpha_1,\cdots,\alpha_n\) 에 대하여 \(\log \alpha_1,\cdots,\log \alpha_n\)이 유리수체 위에서 선형독립이라고 가정하자.

그러면 \(1, \log \alpha_1,\cdots,\log \alpha_n\)은 대수적수체 위에서 선형독립이다.

버전2

0이 아닌 대수적수 \(\alpha_1,\cdots,\alpha_n\)와 대수적수 \(\beta_0,\cdots, \beta_n\)에 대하여, \(\sum_{m=1}^{n}\beta_m\log \alpha_m\) 는 0 또는 초월수이다.

베이커의 정리는 다음 겔폰드-슈나이더 정리 의 일반화로 이해할 수 있다.
\(\alpha \ne 0\),\(\alpha \ne 1\),\(\beta\notin \mathbb{Q}\) 인 복소수 \(\alpha\)와 \(\beta\) 가 대수적수이면, \(\alpha^{\beta} =e^{\beta \log \alpha\) 는 초월수이다.
만약 \(\alpha^{\beta} =e^{\beta \log \alpha\)가 어떤 대수적수 \(\gamma\)라고 하면, \(\alpha^{\beta} =\gamma\)가 성립한다.
양변에 로그를 취하면, \({\beta}\log \alpha =\log \gamma\) 가 되어, \(\log \alpha\)와 \(\log \gamma\)가 대수적수체 위에서 선형독립이라는 베이커의 정리에 의해 모순을 얻는다.

@@ 110번째 줄: / 110번째 줄: @@
-==관련기사==
-*  네이버 뉴스 검색 (키워드 수정)<br>
-** http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
-** http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
-** http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=