|
|
| (사용자 2명의 중간 판 23개는 보이지 않습니다) |
| 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>
| + | ==개요== |
| | | | |
| − | * [[원 위에서 각도함수 정의하기]] | + | * 원점을 중심으로 하고, 반지름이 r 인 원 <math>x^2 + y^2=r^2</math> 위에서 각도함수를 연속적으로 확장하는 것은 불가능 |
| | + | * 각도함수는 원이 아닌 원의 [[보편 덮개 (universal covering)]] 에서 정의되는 함수이다 |
| | + | * 1-미분형식 <math>d\theta</math> 는 단위원 위에서 정의된다 |
| | + | :<math>d\theta = \frac{1}{r^2} \left( x\,dy - y\,dx \right)</math> |
| | + | * 이 미분형식은 [[각원소 벡터장]]이라는 이름으로 불리기도 한다 |
| | + | * 각도함수는 이 미분형식의 원 위에서의 선적분으로 표현된다 |
| | + | :<math>\theta =\int_C \,\frac{x\,dy-y\,dx}{x^2+y^2} </math> |
| | + | |
| | | | |
| − |
| + | |
| | | | |
| − |
| + | ==각도함수를 왜 연속함수로 확장할 수 없나== |
| | | | |
| − | <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> | + | 먼저 원위에서 한바퀴를 돌면 <math>2\pi</math> (라디안) 만큼의 각의 변화가 있다는 사실은 고딩 1학년 정도에서 배울 것입니다. 이에 대해서는 [[라디안]] 항목을 참고하시기 바랍니다. |
| | | | |
| − | * 원점을 중심으로 하고, 반지름이 r 인 원 <math>x^2 + y^2=r^2</math> 위에서 각도함수를 연속적으로 확장하는 것은 불가능<br>
| + | 단위원의 모든 점 (x,y)에서 연속적으로 정의된 각도함수 <math>\theta</math>의 값 <math>\theta(P)</math> 를 정의하는 일이 가능한지 생각해 봅시다. |
| − | * 각도함수는 원이 아닌 원의 [[universal covering]] 에서 정의되는 함수이다.<br>
| |
| − | * 1-미분형식 <math>d\theta</math> 는 단위원위에서 정의된다<br><math>d\theta = \frac{1}{r^2} \left( x\,dy - y\,dx \right)</math><br>
| |
| − | * 각도함수는 이 미분형식의 원 위에서의 선적분으로 표현된다<br> <math>\theta =\int_C \,\frac{x\,dy-y\,dx}{x^2+y^2} </math><br>
| |
| | | | |
| − |
| + | 일단 시작을 위해 점 (1,0)에 일단 각도함수의 값을 <math>\theta(1,0)=0</math> 이라고 정의를 해봅시다. 위의 그림대로 원위의 점을 따라 조금씩 반시계 방향으로 이동하면서 각도함수를 연속적으로 정의해 나갈수가 있을 것으로 보입니다. 하지만 문제는 원의 한바퀴를 돌아서 다시 같은 점에 돌아왔을 때 발생합니다. 이미 <math>\theta(1,0)=0</math> 으로 정의를 해놓은 마당에, 반시계 방향으로 원주 한바퀴를 돌면서 <math>\theta(x,y)</math>의 정의를 확장해 가다보면, 각도함수를 연속함수로 정의하기 위해서는 <math>\theta(1,0)=2\pi</math> 라고 정의를 해야하는 문제에 봉착하게 됩니다. |
| | | | |
| − |
| + | 결론은 단위원의 모든 점 (x,y)에서 연속적으로 정의된 각도함수 <math>\theta</math>를 정의하는 것은 불가능하다는 것입니다. 그럼에도 우리는 연속적으로 계속 확장이 가능한 각도함수 <math>\theta</math> 를 잘 이해할 수 있을 것 같다는 듭니다. 이 문제를 어떻게 해결해야 할까요? |
| − | | |
| − | <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]] 항목을 참고하시기 바랍니다.
| |
| − | | |
| − |
| |
| − | | |
| − | 단위원의 모든 점 (x,y)에서 연속적으로 정의된 각도함수 [http://www.sitmo.com/gg/latex/latex2png.2.php?z=100&eq=%5Ctheta ]의 값 [http://www.sitmo.com/gg/latex/latex2png.2.php?z=100&eq=%5Ctheta%28P%29 ] 를 정의하는 일이 가능한지 생각해 봅시다.
| |
| − | | |
| − |
| |
| − | | |
| − | [/pages/2696052/attachments/1295162 alg2_radians.gif]
| |
| − | | |
| − |
| |
| − | | |
| − |
| |
| − | | |
| − | 일단 시작을 위해 점 (1,0)에 일단 각도함수의 값을 [http://www.sitmo.com/gg/latex/latex2png.2.php?z=100&eq=%5Ctheta%281,0%29=0 ] 이라고 정의를 해봅시다. 위의 그림대로 원위의 점을 따라 조금씩 반시계 방향으로 이동하면서 각도함수를 연속적으로 정의해 나갈수가 있을 것으로 보입니다. 하지만 문제는 원의 한바퀴를 돌아서 다시 같은 점에 돌아왔을 때 발생합니다. 이미 [http://www.sitmo.com/gg/latex/latex2png.2.php?z=100&eq=%5Ctheta%281,0%29=0 ] 으로 정의를 해놓은 마당에, 반시계 방향으로 원주 한바퀴를 돌면서 [http://www.sitmo.com/gg/latex/latex2png.2.php?z=100&eq=%5Ctheta%28x,y%29 ]의 정의를 확장해 가다보면, 각도함수를 연속함수로 정의하기 위해서는 [http://www.sitmo.com/gg/latex/latex2png.2.php?z=100&eq=%5Ctheta%281,0%29=2%5Cpi ] 라고 정의를 해야하는 문제에 봉착하게 됩니다.
| |
| − | | |
| − |
| |
| − | | |
| − | 결론은 단위원의 모든 점 (x,y)에서 연속적으로 정의된 각도함수 [http://www.sitmo.com/gg/latex/latex2png.2.php?z=100&eq=%5Ctheta ]를 정의하는 것은 불가능하다는 것입니다. 그럼에도 우리는 연속적으로 계속 확장이 가능한 각도함수 [http://www.sitmo.com/gg/latex/latex2png.2.php?z=100&eq=%5Ctheta ] 를 잘 이해할 수 있을 것 같다는 듭니다. 이 문제를 어떻게 해결해야 할까요? | |
| − | | |
| − |
| |
| | | | |
| | 함수는 분명히 있는데, 정의역이 원이 아니다. 그렇다면 도대체 정의역이 무엇이란 말인가? 이 문제에 대해 생각을 하다보면, 우리는 원 위에 놓여 있는 또다른 기하학적 공간을 발견하게 됩니다. 이것은 다름 아닌 직선입니다. | | 함수는 분명히 있는데, 정의역이 원이 아니다. 그렇다면 도대체 정의역이 무엇이란 말인가? 이 문제에 대해 생각을 하다보면, 우리는 원 위에 놓여 있는 또다른 기하학적 공간을 발견하게 됩니다. 이것은 다름 아닌 직선입니다. |
| | | | |
| − |
| + | [[파일:Covering.jpg]] |
| − | | |
| − |
| |
| − | | |
| − | [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 ]
| |
| − | | |
| − |
| |
| − | | |
| − | [http://bomber0.byus.net/index.php/2009/03/12/1102 학부수학의 뼈대] 에서 보여드린 바로 그 그림인 것이지요.
| |
| − | | |
| − |
| |
| − | | |
| − | 원위에서 각도함수를 정의하려다보면, 우리는 그것이 불가능함을 알게 되었습니다. 원이라는 공간과 거기서 국소적으로 확장 가능한 함수가 만나, 우리는 원위에 펼쳐진 새로운 공간을 발견하게 됩니다. 결론적으로 각도함수가 정의되어 있는 ''''올바른'''' 공간은 원이 아니라, 원을 무한번 둘둘 감고 있는 ''''직선'을 발견'''하게 되는 것입니다.
| |
| − | | |
| − |
| |
| − | | |
| − |
| |
| − | | |
| − | <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>로 보내는 함수로 이해할 수 있다.
| |
| − | | |
| − |
| |
| − | | |
| − |
| |
| − | | |
| − |
| |
| − | | |
| − | <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>
| |
| − | | |
| − | * 원 위의 점 <math>(x,y)</math> 에서 각도함수 <math>\theta</math> 의 값은 다음 관계를 만족시킴<br><math>\theta=\arctan{\frac{y}{x}}</math><br>
| |
| − | * 따라서 미분형식들 사이의 다음관계를 얻는다<br><math>d\theta=\frac{-y dx +x dy}{x^2+y^2}=\frac{-y dx +x dy}{r^2}</math><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.<br>
| |
| − | | |
| − |
| |
| − | | |
| − |
| |
| − | | |
| − | [http://en.wikipedia.org/wiki/Winding_number ]http://en.wikipedia.org/wiki/Winding_number
| |
| − | | |
| − |
| |
| − | | |
| − |
| |
| − | | |
| − | <h5>역사</h5>
| |
| − | | |
| − |
| |
| − | | |
| − | * http://www.google.com/search?hl=en&tbs=tl:1&q=
| |
| − | * [[수학사연표 (역사)|수학사연표]]
| |
| − | | |
| − |
| |
| − | | |
| − |
| |
| | | | |
| − | <h5>메모</h5>
| + | [http://bomber0.byus.net/index.php/2009/03/12/1102 학부수학의 뼈대] 에서 보여드린 바로 그 그림인 것이지요. |
| | | | |
| − |
| + | 원위에서 각도함수를 정의하려다, 우리는 그것이 불가능함을 알게 되었습니다. 원이라는 공간과 거기서 국소적으로 확장 가능한 함수가 만나, 우리는 원위에 펼쳐진 새로운 공간을 발견하게 됩니다. 결론적으로 각도함수가 정의되어 있는 ''''올바른'''' 공간은 원이 아니라, 원을 무한번 둘둘 감고 있는 ''''직선'을 발견'''하게 되는 것입니다. |
| | | | |
| − | * Math Overflow http://mathoverflow.net/search?q=
| + | |
| | | | |
| − |
| + | |
| | | | |
| − |
| + | ==universal covering== |
| | | | |
| − | <h5>관련된 항목들</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이며, |
| | | | |
| − |
| + | |
| | | | |
| − | <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> | + | 각도라는 것은 원위의 한점 <math>e^{i \theta}= \cos \theta + i \sin \theta</math>에 대응되는 모든 실수 <math>\theta</math> <math>\cdots, \theta-2\pi, \theta,\theta+2\pi,\cdots</math> 가 되며, |
| | | | |
| − | * 단어사전<br>
| + | 각도함수란 실수 <math>\theta</math> 를 <math>\theta</math>로 보내는 함수로 이해할 수 있다. |
| − | ** 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://www.piedmont.edu/math/jroberts/notes/deRham.pdf |
| − | * 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]
| |
| | | | |
| − |
| |
| | | | |
| − |
| + | |
| | | | |
| − | <h5>리뷰논문, 에세이, 강의노트</h5>
| + | ==관련된 항목들== |
| | + | * [[복소로그함수]] |
| | + | * [[미분형식 (differential forms)과 다변수 미적분학]] |
| | | | |
| − |
| + | |
| | + | |
| | | | |
| − |
| + | ==사전 형태의 자료== |
| | | | |
| − |
| + | * http://ko.wikipedia.org/wiki/드람_코호몰로지 |
| | + | * http://en.wikipedia.org/wiki/Winding_number |
| | | | |
| − | <h5>관련논문</h5>
| |
| | | | |
| − | * http://www.jstor.org/action/doBasicSearch?Query=
| |
| − | * http://www.ams.org/mathscinet
| |
| − | * http://dx.doi.org/
| |
| | | | |
| − |
| |
| | | | |
| − |
| |
| | | | |
| − | <h5>관련도서</h5>
| + | [[분류:삼각함수]] |
| | | | |
| − | * 도서내검색<br> | + | ==메타데이터== |
| − | ** http://books.google.com/books?q=
| + | ===위키데이터=== |
| − | ** http://book.daum.net/search/contentSearch.do?query= | + | * ID : [https://www.wikidata.org/wiki/Q576728 Q576728] |
| | + | ===Spacy 패턴 목록=== |
| | + | * [{'LOWER': 'winding'}, {'LEMMA': 'number'}] |
개요
- 원점을 중심으로 하고, 반지름이 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} \]
각도함수를 왜 연속함수로 확장할 수 없나
먼저 원위에서 한바퀴를 돌면 \(2\pi\) (라디안) 만큼의 각의 변화가 있다는 사실은 고딩 1학년 정도에서 배울 것입니다. 이에 대해서는 라디안 항목을 참고하시기 바랍니다.
단위원의 모든 점 (x,y)에서 연속적으로 정의된 각도함수 \(\theta\)의 값 \(\theta(P)\) 를 정의하는 일이 가능한지 생각해 봅시다.
일단 시작을 위해 점 (1,0)에 일단 각도함수의 값을 \(\theta(1,0)=0\) 이라고 정의를 해봅시다. 위의 그림대로 원위의 점을 따라 조금씩 반시계 방향으로 이동하면서 각도함수를 연속적으로 정의해 나갈수가 있을 것으로 보입니다. 하지만 문제는 원의 한바퀴를 돌아서 다시 같은 점에 돌아왔을 때 발생합니다. 이미 \(\theta(1,0)=0\) 으로 정의를 해놓은 마당에, 반시계 방향으로 원주 한바퀴를 돌면서 \(\theta(x,y)\)의 정의를 확장해 가다보면, 각도함수를 연속함수로 정의하기 위해서는 \(\theta(1,0)=2\pi\) 라고 정의를 해야하는 문제에 봉착하게 됩니다.
결론은 단위원의 모든 점 (x,y)에서 연속적으로 정의된 각도함수 \(\theta\)를 정의하는 것은 불가능하다는 것입니다. 그럼에도 우리는 연속적으로 계속 확장이 가능한 각도함수 \(\theta\) 를 잘 이해할 수 있을 것 같다는 듭니다. 이 문제를 어떻게 해결해야 할까요?
함수는 분명히 있는데, 정의역이 원이 아니다. 그렇다면 도대체 정의역이 무엇이란 말인가? 이 문제에 대해 생각을 하다보면, 우리는 원 위에 놓여 있는 또다른 기하학적 공간을 발견하게 됩니다. 이것은 다름 아닌 직선입니다.
학부수학의 뼈대 에서 보여드린 바로 그 그림인 것이지요.
원위에서 각도함수를 정의하려다, 우리는 그것이 불가능함을 알게 되었습니다. 원이라는 공간과 거기서 국소적으로 확장 가능한 함수가 만나, 우리는 원위에 펼쳐진 새로운 공간을 발견하게 됩니다. 결론적으로 각도함수가 정의되어 있는 '올바른' 공간은 원이 아니라, 원을 무한번 둘둘 감고 있는 '직선'을 발견하게 되는 것입니다.
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이며,
각도라는 것은 원위의 한점 \(e^{i \theta}= \cos \theta + i \sin \theta\)에 대응되는 모든 실수 \(\theta\) \(\cdots, \theta-2\pi, \theta,\theta+2\pi,\cdots\) 가 되며,
각도함수란 실수 \(\theta\) 를 \(\theta\)로 보내는 함수로 이해할 수 있다.
메모
관련된 항목들
사전 형태의 자료
메타데이터
위키데이터
Spacy 패턴 목록
- [{'LOWER': 'winding'}, {'LEMMA': 'number'}]
