"원 위에서 각도함수 정의하기"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
9번째 줄: 9번째 줄:
 
<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>
 
<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>
+
원점을 중심으로 하고, 반지름이 r 인 원 <math>x^2 + y^2=r^2</math> 위에서 각도함수를 연속적으로 확장하는 것은 불가능<br>
각도함수는 단위원이 아닌 단위원의 [[universal covering]] 에서 정의되는 함수이다.<br>
+
각도함수는 원이 아닌 원의 [[universal covering]] 에서 정의되는 함수이다.<br>
 
+
1-미분형식 <math>d\theta</math> 는 단위원위에서 정의된다<br><math>d\theta = \frac{1}{r^2} \left( x\,dy - y\,dx \right)</math><br>
The angle element can satisfy the relation
+
*  각도함수는 이 미분형식의 원 위에서의 선적분으로 표현된다<br>  <math>\theta =\int_C \,\frac{x\,dy-y\,dx}{x^2+y^2} </math><br>
 
 
<math>\tan\theta=\frac{y}{x}</math> , or equivalently, <math>\theta=\arctan{\frac{y}{x}}</math>
 
 
 
1-미분형식 <math>d\theta</math> 는 단위원위에
 
 
 
<math>d\theta = \frac{1}{r^2} \left( x\,dy - y\,dx \right)\quad\text{where }r^2 = x^2 + y^2</math>
 
 
 
So now the angle function can be written as an integral on the circle,  <math>\theta =\int_C \,\frac{x\,dy-y\,dx}{x^2+y^2} </math>.
 
  
 
 
 
 
26번째 줄: 18번째 줄:
 
 
 
 
  
<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>
+
<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.sitmo.com/gg/latex/latex2png.2.php?z=100&eq=2%5Cpi ] (라디안) 만큼의 각의 변화가 있다는 사실은 고딩 1학년 정도에서 배울 것입니다. 이에 대해서는 [[라디안|http://pythagoras0.springnote.com/pages/1950888]] 항목을 참고하시기 바랍니다.
 
먼저 원위에서 한바퀴를 돌면 [http://www.sitmo.com/gg/latex/latex2png.2.php?z=100&eq=2%5Cpi ] (라디안) 만큼의 각의 변화가 있다는 사실은 고딩 1학년 정도에서 배울 것입니다. 이에 대해서는 [[라디안|http://pythagoras0.springnote.com/pages/1950888]] 항목을 참고하시기 바랍니다.
70번째 줄: 62번째 줄:
 
 
 
 
  
오늘은 일단, 얘기된 내용과 관련된 2분20초 동영상으로 마무리합니다.
+
 
 +
 
 +
<h5 style="line-height: 2em; 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>
 +
* <math>\tan\theta=\frac{y}{x}</math> , or equivalently, <math>\theta=\arctan{\frac{y}{x}}</math><br>
 +
*   <br>
 +
 
 +
The [http://en.wikipedia.org/wiki/One-form one-form] dθ (defined on the complement of the origin) is [http://en.wikipedia.org/wiki/Closed_and_exact_differential_forms closed] but not exact, and it generates the first [http://en.wikipedia.org/wiki/De_Rham_cohomology De Rham cohomology] group of the [http://en.wikipedia.org/wiki/Punctured_plane punctured plane]. In particular, if ω is any closed differentiable one-form defined on the complement of the origin, then the integral of ω along closed loops gives a multiple of the winding number.
 +
 
 +
 
 +
 
 +
 
 +
 
 +
<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%;">universal covering</h5>
 +
 
 +
직선위의 한 점 즉 실수 <math>\theta</math> 에 대하여 대응되는 단위원 위의 한 점 <math>(\cos \theta,\sin \theta)</math>은 크기가 1인 [[복소수]] <math>e^{i \theta}= \cos \theta + i \sin \theta</math>로 이해할 수 있다. 
 +
 
 +
따라서  <math>\theta</math>를 <math>e^{i \theta}= \cos \theta + i \sin \theta</math> 로 보내는 함수가 바로 아래 그림의 p이며, 
 +
 
 +
 [http://lh5.ggpht.com/_knry6PkLCS4/SbmZwU-6zkI/AAAAAAAAXrU/IzZXmtQmVSo/s800/%EC%A0%84%EC%B2%B4%ED%99%94%EB%A9%B4%20%EC%BA%A1%EC%B2%98%202009-03-12%20%EC%98%A4%ED%9B%84%2042318.jpg ]
 +
 
 +
각도라는 것은 원위의 한점 <math>e^{i \theta}= \cos \theta + i \sin \theta</math>에 대응되는 모든 실수 <math>\theta</math> <math>\cdots, \theta-2\pi, \theta,\theta+2\pi,\cdots</math> 가 되며, 
 +
 
 +
각도함수란 실수  <math>\theta</math> 를  <math>\theta</math>로 보내는 함수로 이해할 수 있다. 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
[http://en.wikipedia.org/wiki/Winding_number ]http://en.wikipedia.org/wiki/Winding_number
 +
 
 +
 
 +
 
 +
 
 +
 
 +
<h5>역사</h5>
  
 
 
 
 
  
http://en.wikipedia.org/wiki/Winding_number
+
* http://www.google.com/search?hl=en&tbs=tl:1&q=
 +
* [[수학사연표 (역사)|수학사연표]]
  
[http://en.wikipedia.org/wiki/Winding_number ]
+
 
  
 
 
 
 
 +
 +
<h5>메모</h5>
 +
 +
 
 +
 +
* Math Overflow http://mathoverflow.net/search?q=
  
 
 
 
 
84번째 줄: 119번째 줄:
 
 
 
 
  
<h5 style="line-height: 2em; margin: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">각도함수와 cohomology</h5>
+
<h5>관련된 항목들</h5>
  
*   <br>
+
 
 +
 
 +
 
 +
 
 +
<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>
 +
 
 +
단어사전<br>
 +
** http://translate.google.com/#en|ko|
 +
** http://ko.wiktionary.org/wiki/
 +
* 발음사전 http://www.forvo.com/search/
 +
* [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br>
 +
** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=
 +
* [http://www.kss.or.kr/pds/sec/dic.aspx 한국통계학회 통계학 용어 온라인 대조표]
 +
* [http://www.nktech.net/science/term/term_l.jsp?l_mode=cate&s_code_cd=MA 남·북한수학용어비교]
 +
* [http://kms.or.kr/home/kor/board/bulletin_list_subject.asp?bulletinid=%7BD6048897-56F9-43D7-8BB6-50B362D1243A%7D&boardname=%BC%F6%C7%D0%BF%EB%BE%EE%C5%E4%B7%D0%B9%E6&globalmenu=7&localmenu=4 대한수학회 수학용어한글화 게시판]
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
<h5>사전 형태의 자료</h5>
 +
 
 +
* http://ko.wikipedia.org/wiki/
 +
* http://en.wikipedia.org/wiki/
 +
* [http://eom.springer.de/default.htm The Online Encyclopaedia of Mathematics]
 +
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
 +
* [http://eqworld.ipmnet.ru/ The World of Mathematical Equations]
 +
 
 +
 
 +
 
 +
 
  
The [http://en.wikipedia.org/wiki/One-form one-form] dθ (defined on the complement of the origin) is [http://en.wikipedia.org/wiki/Closed_and_exact_differential_forms closed] but not exact, and it generates the first [http://en.wikipedia.org/wiki/De_Rham_cohomology De Rham cohomology] group of the [http://en.wikipedia.org/wiki/Punctured_plane punctured plane]. In particular, if ω is any closed differentiable one-form defined on the complement of the origin, then the integral of ω along closed loops gives a multiple of the winding number.
+
<h5>리뷰논문, 에세이, 강의노트</h5>
  
 
 
 
 
96번째 줄: 163번째 줄:
 
 
 
 
  
<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>
+
<h5>관련논문</h5>
  
직선위의 한 점 즉 실수 <math>\theta</math> 에 대하여 대응되는 단위원 위의 한 점 <math>(\cos \theta,\sin \theta)</math>은 크기가 1인 [[복소수]] <math>e^{i \theta}= \cos \theta + i \sin \theta</math>로 이해할 수 있다. 
+
* http://www.jstor.org/action/doBasicSearch?Query=
 +
* http://www.ams.org/mathscinet
 +
* http://dx.doi.org/
  
따라서  <math>\theta</math>를 <math>e^{i \theta}= \cos \theta + i \sin \theta</math> 로 보내는 함수가 바로 아래 그림의 p이며, 
+
 
  
 [http://lh5.ggpht.com/_knry6PkLCS4/SbmZwU-6zkI/AAAAAAAAXrU/IzZXmtQmVSo/s800/%EC%A0%84%EC%B2%B4%ED%99%94%EB%A9%B4%20%EC%BA%A1%EC%B2%98%202009-03-12%20%EC%98%A4%ED%9B%84%2042318.jpg ]
+
 
  
각도라는 것은 원위의 한점 <math>e^{i \theta}= \cos \theta + i \sin \theta</math>에 대응되는 모든 실수 <math>\theta</math> <math>\cdots, \theta-2\pi, \theta,\theta+2\pi,\cdots</math> 가 되며, 
+
<h5>관련도서</h5>
  
각도함수란 실수  <math>\theta</math> 를  <math>\theta</math>로 보내는 함수로 이해할 수 있다.
+
*  도서내검색<br>
 +
** http://books.google.com/books?q=
 +
** http://book.daum.net/search/contentSearch.do?query=

2011년 11월 9일 (수) 11:34 판

이 항목의 수학노트 원문주소

 

 

개요
  • 원점을 중심으로 하고, 반지름이 r 인 원 \(x^2 + y^2=r^2\) 위에서 각도함수를 연속적으로 확장하는 것은 불가능
  • 각도함수는 원이 아닌 원의 universal covering 에서 정의되는 함수이다.
  • 1-미분형식 \(d\theta\) 는 단위원위에서 정의된다
    \(d\theta = \frac{1}{r^2} \left( x\,dy - y\,dx \right)\)
  • 각도함수는 이 미분형식의 원 위에서의 선적분으로 표현된다
     \(\theta =\int_C \,\frac{x\,dy-y\,dx}{x^2+y^2} \)

 

 

각도함수를 왜 연속함수로 확장할 수 없나

먼저 원위에서 한바퀴를 돌면 [1] (라디안) 만큼의 각의 변화가 있다는 사실은 고딩 1학년 정도에서 배울 것입니다. 이에 대해서는 http://pythagoras0.springnote.com/pages/1950888 항목을 참고하시기 바랍니다.

 

단위원의 모든 점 (x,y)에서 연속적으로 정의된 각도함수 [2]의 값 [3] 를 정의하는 일이 가능한지 생각해 봅시다.

 

[/pages/2696052/attachments/1295162 alg2_radians.gif]

 

 

일단 시작을 위해 점 (1,0)에 일단 각도함수의 값을  [4]  이라고 정의를 해봅시다. 위의 그림대로 원위의 점을 따라 조금씩 반시계 방향으로 이동하면서 각도함수를 연속적으로 정의해 나갈수가 있을 것으로 보입니다. 하지만 문제는 원의 한바퀴를 돌아서 다시 같은 점에 돌아왔을 때 발생합니다. 이미 [5] 으로 정의를 해놓은 마당에, 반시계 방향으로 원주 한바퀴를 돌면서  [6]의 정의를 확장해 가다보면, 각도함수를 연속함수로 정의하기 위해서는 [7] 라고 정의를 해야하는 문제에 봉착하게 됩니다.

 

결론은 단위원의 모든 점 (x,y)에서 연속적으로 정의된 각도함수  [8]를 정의하는 것은 불가능하다는 것입니다. 그럼에도 우리는 연속적으로 계속 확장이 가능한 각도함수 [9] 를 잘 이해할 수 있을 것 같다는 듭니다. 이 문제를 어떻게 해결해야 할까요?

 

함수는 분명히 있는데, 정의역이 원이 아니다. 그렇다면 도대체 정의역이 무엇이란 말인가? 이 문제에 대해 생각을 하다보면, 우리는 원 위에 놓여 있는 또다른 기하학적 공간을 발견하게 됩니다. 이것은 다름 아닌 직선입니다.

 

 

[10]

 

학부수학의 뼈대 에서 보여드린 바로 그 그림인 것이지요.

 

원위에서 각도함수를 정의하려다보면, 우리는 그것이 불가능함을 알게 되었습니다. 원이라는 공간과 거기서 국소적으로 확장 가능한 함수가 만나, 우리는 원위에 펼쳐진 새로운 공간을 발견하게 됩니다. 결론적으로 각도함수가 정의되어 있는 '올바른' 공간은 원이 아니라, 원을 무한번 둘둘 감고 있는 '직선'을 발견하게 되는 것입니다.

 

 

 

미분형식
  •  
  • \(\tan\theta=\frac{y}{x}\) , or equivalently, \(\theta=\arctan{\frac{y}{x}}\)
  •  

The one-form dθ (defined on the complement of the origin) is closed but not exact, and it generates the first De Rham cohomology group of the punctured plane. In particular, if ω is any closed differentiable one-form defined on the complement of the origin, then the integral of ω along closed loops gives a multiple of the winding number.

 

 

universal covering

직선위의 한 점 즉 실수 \(\theta\) 에 대하여 대응되는 단위원 위의 한 점 \((\cos \theta,\sin \theta)\)은 크기가 1인 복소수 \(e^{i \theta}= \cos \theta + i \sin \theta\)로 이해할 수 있다. 

따라서  \(\theta\)를 \(e^{i \theta}= \cos \theta + i \sin \theta\) 로 보내는 함수가 바로 아래 그림의 p이며, 

 [11]

각도라는 것은 원위의 한점 \(e^{i \theta}= \cos \theta + i \sin \theta\)에 대응되는 모든 실수 \(\theta\) \(\cdots, \theta-2\pi, \theta,\theta+2\pi,\cdots\) 가 되며, 

각도함수란 실수  \(\theta\) 를  \(\theta\)로 보내는 함수로 이해할 수 있다. 

 

 

[12]http://en.wikipedia.org/wiki/Winding_number

 

 

역사

 

 

 

메모

 

 

 

관련된 항목들

 

 

수학용어번역

 

 

 

사전 형태의 자료

 

 

리뷰논문, 에세이, 강의노트

 

 

 

관련논문

 

 

관련도서