I^i 는 무엇일까?
이 항목의 스프링노트 원문주소
개요
- \(i^{i}\)의 값은 하나로 결정되는 것이 아니라, 무한히 많다.
- 그러나 그 주치(principal value)는 \(e^{-\frac{\pi}{2}}\)로 주어진다.
- 일반적으로 \(i^i=e^{-\frac{\pi}{2}}e^{2k\pi}\)이며, 여기서 k는 어떠한 정수라도 가능하다.
복소거듭제곱
대학교 학부과정의 복소함수론에서는 복소수의 복소수 거듭제곱을 다음과 같이 정의한다. (복소지수함수([[오일러의 공식 e^{iπ}+1=0]] 참조)와 복소로그함수 가 사용된다. )
두 복소수 \(z,\alpha\)에 대하여, \(z^{\alpha}=e^{\alpha \log z}\). 여기서 \(\log z\)는 복소로그함수.
복소로그함수에 대하여, 잠시 복습을 하자. 복소로그함수는 복소수 \(z = re^{i\theta}\) 에 대하여, 다음과 같이 정의된다
\(\log(z) = \ln|z| + i\arg(z) = \ln(r) + i\left(\theta + 2 \pi k \right)\). 여기서 \(k\in\mathbb{Z}\).
예를 들어보자면,
\(\log(1) = \ln|1| + i\arg(1) = \ln(1) + i\left(0 + 2 \pi k \right) =\cdots, -6\pi i,-4\pi i,-2\pi i,0,2\pi i,4\pi i,6\pi i, \cdots\)
\(\log(i) = \ln|i| + i\arg(i) = \ln(1) + i\left(\frac{\pi}{2} + 2 \pi k \right) =\cdots, ,\frac{\pi}{2}i-4\pi i,\frac{\pi}{2}i-2\pi i,\frac{\pi}{2}i,\frac{\pi}{2}i+2\pi i,\frac{\pi}{2}i+4\pi i,\cdots\)
i^i의 계산
정의를 따르면,
\(i^{i}=e^{i \log i}=e^{i(\frac{\pi}{2}+2k\pi)i}=e^{-(\frac{\pi}{2}+2k\pi)}=e^{-\frac{\pi}{2}}e^{-2k\pi}\) , \(k\in\mathbb{Z}\) 를 얻는다.
따라서,
\(i^{i}=\cdots,e^{-\frac{5\pi}{2}},e^{-\frac{\pi}{2}},e^{\frac{3\pi}{2}},\cdots\)
재미있는 사실
- Math Overflow http://mathoverflow.net/search?q=
- 네이버 지식인 http://kin.search.naver.com/search.naver?where=kin_qna&query=
역사
메모
관련된 항목들
수학용어번역
- 단어사전 http://www.google.com/dictionary?langpair=en%7Cko&q=
- 발음사전 http://www.forvo.com/search/
- 대한수학회 수학 학술 용어집
- 남·북한수학용어비교
- 대한수학회 수학용어한글화 게시판
사전 형태의 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/
- http://www.proofwiki.org/wiki/
- http://www.wolframalpha.com/input/?i=
- NIST Digital Library of Mathematical Functions
- The On-Line Encyclopedia of Integer Sequences
관련논문
관련도서
- 도서내검색
- 도서검색
관련기사
- 네이버 뉴스 검색 (키워드 수정)