오일러 공식

최근 편집일시 :

분류

'''해석학 · 미적분학
Analysis · Calculus'''

[ 펼치기 · 접기 ]
기본 이론
함수
합성 · 항등원 · 역원 · 멱함수( 비례·반비례 ) · 초등함수( 대수함수 · 초월함수) · 특수함수 · 범함수 · 다변수 ( 동차 · 숨은 함수( 다가 함수 )) · 그래프 · 대칭 · 증감표 · 극값 · 연속 · 매끄러움 · 계단형 · 미끄럼틀형 · 볼록/오목 · 닮은꼴 함수 · 병리적 함수
극한
부정형 · 유계( 콤팩트성 ) · 어림 · 근방 · 수열의 극한 · 엡실론-델타 논법 · 수렴 ( 균등수렴 ) · 발산 · 점근선 · 무한대 · 무한소 · 스털링 근사 · FEM
수열
규칙과 대응 · 단조 수렴 정리 · 급수(멱급수) · 테일러 급수 ( 일람 ) · 조화급수 · 그란디 급수 · 망원급수 ( 부분분수분해 ) · 오일러 수열 · 베르누이 수열 · 파울하버의 공식 · 리만 재배열 정리
미분
도함수 일람 · 차분 · 유율법 · 변화량 · 변분법 · 도함수 ( 편도함수 ) · 곱미분 · 몫미분 · 연쇄 법칙 · 역함수 정리 · 임계점 ( 변곡점 · 안장점 ) · 미분형식 · 미분방정식 ( 풀이 ) · [math(\boldsymbol\nabla)] · 라그랑주 승수법
적분
역도함수 일람 · 부분적분 ( LIATE 법칙 · 도표적분법 · 예제 ) · 치환적분 · 정적분 ( 예제 ) · 이상적분 · 중적분 ( 선적분 · 면적분 ) · 르베그 적분 · 스틸체스 적분 · 코시 주요값
정리 · 토픽
중간값 정리 · 최대·최소 정리 · 평균값 정리 ( 롤의 정리 ) · 로피탈의 정리 · 미적분의 기본정리 · 스토크스 정리 ( 발산 정리 ) · 중심극한정리 · 오일러 공식 ( 드 무아브르 공식 ) · 오일러 동차함수 정리 · 리우빌의 정리 · 부동점 정리 · 뉴턴-랩슨 방법 · 리시 방법 · 좌표계 · 소수 정리 · 라플라스 변환 · 푸리에 해석 ( 푸리에 변환·이산 푸리에 변환) · 아다마르 변환 · 바젤 문제 · 라마누잔합 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리 · 디랙 델타 함수 · 2학년의 꿈 · 0.999…=1 · 리만 가설미해결 · 카오스 이론미해결
분야
실해석학 · 복소해석학 · 수치해석학 · 측도론 · 미분기하학 · 해석기하학 · 해석적 정수론 · 확률론 · 수리물리학 · 수리경제학(경제수학) · 공업수학



삼각함수 · 쌍곡선함수
Trigonometric Functions · Hyperbolic Functions



1. 개요
1.1. 함수 꼴
2. 증명
3. 의의
4. 유용성
4.1. 수학
4.2. 전자공학, 진동학, 제어공학
5. 참조
6. 기타



1. 개요[편집]

Eulersche Formel / Euler's formula / Euler 公式

1714년 로저 코츠가 이 공식의 양변에 자연로그를 씌운 형태의 공식을 처음으로 발견했다는 주장이 있는데, 부호 오류가 있었고 그 문맥이 기하학적인 것이었기 때문에 이를 오일러 공식으로 봐야 할지에 대해서는 논란의 여지가 있다. 1748년에 출판된 오일러의 책《Introduction》에 현재 알려진 것과 같은 형태로 처음 수록된 것으로, 다음과 같은 내용이다.

실수 [math( x )]에 대해 다음이 성립한다.

[math( e^{ix} \triangleq \cos x + i \sin x )]

[math(e)]는 자연로그의 밑, [math(i)]는 허수단위.

[math( x )]에 [math( \pi )] (또는 [math(\dfrac\tau2)])를 대입하면 오일러 등식을 얻을 수 있다.

순허수가 아닌 일반적인 복소수에서는 다음과 같이 된다.

[math(e^z = e^{\Re(z)+i\,\Im(z)} = e^{\Re(z)}e^{i\,\Im(z)} = e^{\Re(z)}((\cos \circ \Im)(z) + i\,(\sin \circ \Im)(z)))]



1.1. 함수 꼴[편집]

초등함수
Elementary Functions



특수함수
Special Functions

[ 펼치기 · 접기 ]
적분
오차함수(error function) · 베타 함수(불완전 베타 함수) · 감마 함수(불완전 감마 함수 · 로그 감마 함수) · 타원 적분 · 야코비 타원 함수 · 지수 적분 함수 · 로그 적분 함수 · 삼각 적분 함수 · 쌍곡선 적분 함수 · 프레넬 적분 함수 · 구데르만 함수
미분방정식
르장드르 함수* · 구면 조화 함수 · 베셀 함수 · 에르미트 함수 · 라게르 함수 · 에어리 함수
역함수
브링 근호 · 람베르트 [math(W)] 함수 · 역삼각함수
급수
제타 함수 · 세타 함수 · 초기하함수 · 폴리로그함수 · 바이어슈트라스 타원 함수
정수론
소수 계량 함수 · 소인수 계량 함수 · 뫼비우스 함수 · 최대공약수 · 최소공배수 · 약수 함수 · 오일러 파이 함수 · 폰 망골트 함수 · 체비쇼프 함수 · 바쁜 비버 함수
기타
헤비사이드 계단 함수 · 부호 함수 · 테트레이션(무한 지수 탑 함수) · 집합 판별 함수 · 바닥함수 / 천장함수 · 허수지수함수 · 혹 함수
* 특수함수가 아니라 특정 조건을 만족시키는 다항함수이지만, 편의상 이곳에 기술했다.



[math(\mathrm{cis}(x) \equiv e^{ix}= \cos x + i \sin x)]

[math(\overline{\mathrm{cis}}(x) \equiv e^{-ix}= \cos x - i \sin x)]

한편 오일러 공식 자체를 함수로 만든 것도 있는데, 함수의 이름자는 cosine, imaginary unit, sine에서 한 글자씩 따왔다. 윌리엄 로원 해밀턴이 이 표기를 정립했다.

이 함수에서 파생된 [math(\rm cas)]라는 함수도 있다. 위 정의식에서 [math(i)]가 빠진 형태.


2. 증명[편집]

증명은 테일러 급수[1], 미분법[2], 미분방정식[3], 복소평면과 함수의 극한[4] 등을 이용해서 할 수 있다.

간단한 예를 들면 양쪽을 함수로 보고 미분하되, 미분한 결과를 테일러 급수로 나타내서 비교하는 걸로 끝. 대부분은 3차항까지 전개하기 전에 규칙을 깨달을 것이다. 모르겠으면 이항정리를 다시 볼 것. [math( \Re \left( e^{ix} \right) =\cos x )]을 [math( x )]축의 실수, [math( \Im \left( e^{ix} \right) = \sin x )]을 [math( y )]축의 허수로 보면 복소평면과 관련된 공식들을 이해하기 쉬위진다.[5]

사실 증명이라고 하지만 미적분을 이용해서 복소수 지수를 정의하는 것에 가깝다.[6] 복소수의 지수가 정의되었기에 복소수의 로그 또한 정의된다.

다만 이 공식은 사실상 우연에 의해서 완성된 것에 가깝다. 애당초 결과값이 수렴하는 무한급수라도 항의 순서를 바꿔서 재정리시에는 원래 급수의 합과 일치하지 않는 경우가 있기 때문이다. 심지어 이렇게 일치하지 않는 경우라면, 임의의 값으로 수렴하도록 재배열할 수 있다는 것이 증명되어 있다. 리만 재배열 정리 참조. 다행히 [math(\{e^{x}\}_{x=ix})]의 테일러 급수전개는 절대수렴하는 급수의 합[7]으로 표현되기 때문에 허수단위와 실수단위의 순서를 바꾸는 것이 허용된다. 오일러가 연구할 때만 하더라도 아직 무한급수의 절대수렴 조건이 알려지지 않았기 때문에 오일러에게 있어서는 천운에 가깝다.


3. 의의[편집]

이 식이 출현하기 전엔 애초에 실수와 순허수는 서로 계산 불가능했으며[8], 자연로그의 밑 [math(e)]은 지수함수 계산에, 원주율은 삼각함수 계산에 쓰던, 각기 독자적으로 발견, 개발되고 서로 고유의 영역을 이루고 있어서 여간해선 만날 일 없던 수들이었다. 이 식이 출현하고 나서, 실수와 순허수는 복소평면이라는 공간에서 서로 만나게 되었으며, 초월함수인 지수함수와 삼각함수가 복소평면 상에서 결국 동일한 현상이었다는 것을 밝혔다.

여담으로 분할복소수(Split-Complex Number)에서도 비슷한 식이 적용되는데, [math(e^{jx}=\cosh x+j\sinh x)]의 형태로 전개된다.([math(j\neq\pm 1, j^{2}=1)]인 허수단위.)

재미있게도 멱영원을 대입하면 더 재미있는 결과가 발생하는데, [math(e^{\epsilon x}=1+x\epsilon)]이라는 1차함수로 바뀌게 된다.

즉, 지수함수인 [math(e^{x})]가 3개의 허수단위를 통해서 삼각함수, 쌍곡선함수, 1차함수와 동일한 현상이라는 결론이 나오게 된다. 다만 이는 정확히 따지면 지수함수 [math(e^{x})]의 매클로린 급수식에 허수단위를 대입한 결과다. 복소수, 이원수, 분할복소수 모두 2행2열 실행렬로 구현이 가능한걸 안다면 눈치챌 수 있는데 정사각행렬의 지수함수도 이런식으로 정의한다.

[math(e^{z}=\displaystyle \sum_{n=0}^{\infty}{\frac{z^n}{n!}} = 1 + z + \frac{z^2}{2!} + \frac{z^3}{3!} + \frac{z^4}{4!} + \cdots)]에서, z 대신 [math(ix, jx, \epsilon x)]을 각각 대입하면, 다음과 같이 전개된다.

허수단위 [math(ix)]를 대입 시: [math(e^{ix}=\displaystyle \sum_{n=0}^{\infty}{\frac{\left(ix\right)^n}{n!}} = 1 + ix + \frac{-x^{2}}{2!} + \frac{-ix^{3}}{3!} + \frac{x^{4}}{4!} + \cdots=\cos x+i\sin x)]
멱일원 [math(jx)]를 대입 시: [math(e^{jx}=\displaystyle \sum_{n=0}^{\infty}{\frac{\left(jx\right)^n}{n!}} = 1 + jx + \frac{x^{2}}{2!} + \frac{jx^{3}}{3!} + \frac{x^{4}}{4!} + \cdots=\cosh x+j\sinh x)]
멱영원 [math(\epsilon x)]를 대입 시: [math(e^{\epsilon x}=\displaystyle \sum_{n=0}^{\infty}{\frac{\left(\epsilon x\right)^n}{n!}} = 1 + \epsilon x + \epsilon^{2} \left\{\frac{x^{2}}{2!} + \frac{\epsilon x^{3}}{3!} + \frac{\epsilon^{2} x^{4}}{4!} + \cdots \right\} =1+\epsilon x+0\times \left\{\frac{x^{2}}{2!} + \frac{\epsilon x^{3}}{3!} + \frac{\epsilon^{2} x^{4}}{4!} + \cdots \right\}=1+\epsilon x )]

밑과 지수가 허수인 거듭 제곱을 정의할 수 있다. 예를 들어
[math(\displaystyle i^{i}=(\cos (2n+\frac{1}{2})\pi + i\sin (2n+\frac{1}{2})\pi )^{i}= [{e^{(2n+\frac{1}{2})\pi i}}]_{}^{i}=e^{-(2n+\frac{1}{2})\pi})]
로써 값이 하나로 정해지지 않지만, 보통 n=0, 즉 [math(\mathrm{arg}(z) \in (-\pi,\pi])]이게 정해서 값이 하나가 되도록 한다. 특이하게도 이 값은 0.20787957635... 으로 표현되는 실수이며, 지수의 밑의 절댓값이 1인데, 정작 그 지수함수로서의 결과물의 절댓값이 1이 아니라는 특이성을 보여준다.


4. 유용성[편집]


4.1. 수학[편집]

이 식을 이용하면 [math( x^n = z )] ([math(n)]은 자연수, [math( z )]는 0이 아닌 복소수)의 [math(n)]개의 복소수 해 [math(x)]가 복소평면에서 정[math(n)]각형을 이룬다는 걸 보이거나 [math( x^3 = \pm 1 )]의 복소수근에 관한 문제를 인수분해 없이 풀 수 있다.[9] 이 방법은 [math( x^n = \pm 1 )]의 복소수근을 구하는 데에도 그대로 사용될 수 있다.

또한 이 식을 이용하면 [math( e^x )] ([math(x)]는 순허수)의 절댓값은 항상 1이라는 것도 알 수 있다.(복소평면에서의 단위벡터)

군론에서도 자주 활용되는데 [math( z^n = 1 )] 의 근들은 곱셈에 관해 군을 이루기 때문. 이는 드 무아브르 공식을 이용하여 간단하게 증명할 수 있다. 그리고 해당 군은 [math( Z_n )] 형태의 순환군과 동형이다. 이는 [math( |z| = 1 )] 들만 모아놓아도 곱셈군을 이루는데 해당 군에서는 모든 자연수에 대한 [math( Z_n )] 부분군을 잡을 수 있으나 본래 군은 비가산개의 원소를 가지는 특이한 군의 예시가 되기도 한다. 또한 이 공식을 활용해 유리수 확대체 에서의 갈루아 군을 계산하는 등 대수학에서도 무궁무진하게 활용되는 식이다.

또한 푸리에 해석에서도 핵심이 되는 공식인데 이 공식 하나만 알고 있으면 삼각함수와 쌍곡함수의 라플라스 변환 공식은 외울 필요도 없이 그냥 지수함수로 계산하여 실수부 허수부를 취하는 것만으로 쉽게 계산할 수 있으며 푸리에 해석에서 함수공간의 기저가 되는 직교함수(Orthogonal function)를 순허수 지수를 갖는 지수함수들로 정의하여 푸리에 계수를 계산하는것이 일반적이다.

그리고 이전까지 실수 위에서 전개되던 미적분학을 복소수 범위까지 확장시켜 복소해석학이라는 분야를 개척하는데 기여한 일등공신이라 할 수 있다.

고등학생의 경우 이 공식을 접할 일이 없으나,사실 고등학생의 입장에서 보면 상수 개노답 삼형제의 혼종 알고만 있다면 종종 강력한 무기가 되어주기도 하는데, 이유는 짜증나는 삼각함수의 미적분과 공식들을 간단한 지수함수 미적분과 곱셈으로 바꿔주기 때문. 특히 수험생들을 괴롭히는 삼각함수의 덧셈정리를 유도할 때 이 공식을 활용하면 간단한 복소수의 곱셈만으로 대부분의 공식을 유도할 수 있다.

서로 곱하면 편각이 더해진다는 점을 이용해 편각을 구하는 데에 꽤나 도움이 된다. 예를 들어, 기울기가 2인 직선과 기울기가 0.5인 직선의 사이의 각도를 구할 때, 복잡한 탄젠트 공식 쓰지 말고 그냥 (1+2i)(2-i) 해줘서 4+3i, 즉 약 37도 라는것을 쉽게 구할 수 있다.


4.2. 전자공학, 진동학, 제어공학[편집]

전자공학에서 이 식이 없었다면, 모든 전자분야가 이 정도로 발전하긴 힘들었을지도 모른다. 간단히 말하자면 주파수에 관련하여 [math( e^{j\omega t} )] 형태의 서술이 꼭 필요하다.[10] 이런 복소지수 표현은 전자공학을 공부하거나, 혹은 진동에 대해서 공부한다면 페이저라는 형태로 매 강의마다 당연히 보게된다. 특히 무선통신은 이 식 없이는 설명이 거의 불가능하다. 전자기학에서도 중요한 식인데 전자기학 자체가 이 등식처럼 전기와 자기를 결합하는 이론이기 때문이다.

[math( x =A\cos \left( wt+\theta \right) =\text{Re}\left[ Ae^{j\left( \omega t+\theta \right) }\right])]
[math(\rightarrow X =Ae^{j\theta } =A\angle \theta )]

즉 진폭과 진동수를 가지고 진동하는 모든 것들(가령 AC 신호)은 삼각함수를 사용하면 난해하기 때문에 삼각함수를 대체하기 위해서[11], 그리고 미분방정식을 대수적으로 쉽게 풀기 위해서 등 다양한 이유로 인해, 저런 복소 지수표현을 통해 미분이고 적분이고 지지고 볶고 계산한 후, 이후 실수부가 필요할 경우[12] [math(\text{Re}\left[\cdot\right])][13]를 씌워 실수부를 취하는 것이다. 이것을 페이저 변환이라 부르기도 한다.

오일러의 공식과 페이저의 유용함을 확인하기 위해 페이저 사용법 중 하나를 살펴보자. [math(\dfrac {\mathrm{d}} {\mathrm{d}t}e^{j\omega t}=j\omega e^{jwt})]이므로 [math(\dfrac {\mathrm{d}} {\mathrm{d}t}\equiv jw)]라는 뭔가 이상한 정의를 해보자. 이를 미분방정식에 대입해서 [math(\dfrac {\mathrm{d}} {\mathrm{d}t})]를 [math(jw)]로 모조리 바꿔치기하면 미분방정식이 대수방정식으로 바뀌게 되어 해를 매우 쉽게 구할 수 있다. 예를 들어 저항, 커패시터, 인덕터가 복잡하게 들어간 회로를 정상 상태 분석(steady state analysis)하려면 연립 미분방정식을 풀어야 한다. 이때 페이저를 도입하면[14] 키르히호프의 법칙 등 DC 저항 회로를 해석하는 방식을 그대로 적용해서 대수방정식 풀이만으로 간단히 회로 해석이 가능하다. 회로이론 문서 참조. 이런 식으로 미분연산자를 치환해서 해를 구하는 방법은 당시 수학자들이 보기에 수학적 엄밀함이 황당할 정도로 부족했고 오류로 가득 차 보였으므로 올리버 헤비사이드가 이 방법을 제안했을 때 많은 수학자들의 공격을 받았다. 헤비사이드는 수학자들의 비판에 대해 "증명은 실험실에서 한다.", "나는 소화과정을 이해하지 못한다는 이유로 저녁식사를 거부하진 않는다."고 비꼬았다고 한다. 미분방정식의 풀이 방법은 이상했지만 결과는 정확하게 나왔으므로 이를 기반으로 임피던스 등의 유용한 개념이 개발되었으며, 후에 라플라스 변환과의 관련성이 밝혀지면서 수학적 엄밀함을 확보하게 되었다.

다음은 무선 통신에서 오일러의 공식을 사용한 예인데, 무선 통신에서 안테나를 사용해 채널로 쏘아 보내는 신호를 오일러의 공식을 사용해서 [math(\mathrm{Re}[s_{l}\left( t\right) e^{j2\pi f_{c}t}])] 이렇게 나타낼 수 있다. [15] 음성, 영상등의 정보를 표현하는 신호인 [math(s_{l}\left( t\right))]를 원하는 주파수 대역에 통과시키기 위해 캐리어 주파수가 [math(f_{c})]인 고주파로 바꿔주는 것이다.[16] [math(s_{l}\left( t\right))]에 그냥 [math(\cos \left( 2\pi f_{c}t \right))] 을 곱하지 않고 복잡하게 [math(\mathrm{Re}[s_{l}\left( t\right) e^{j2\pi f_{c}t}])] 하는 식으로 나타낸 이유는 [math(s_{l}\left( t\right))]가 복소수 신호이기 때문인데, 자세한 내용은 변조(통신) 항목 참조.


5. 참조[편집]

오일러의 공식 위키백과


6. 기타[편집]

위상수학에서는 면의 수 [math(f)], 변의 수 [math(e)], 꼭지점의 수 [math(v)]라고 할 때 원과 위상적으로 같은 2차원 평면도형에서 [math(v-e+f=1)], 구와 위상적으로 같은 3차원 입체도형에서 [math(v-e+f=2)]라는 오일러의 공식[17]이 있다. 오일러 정리, 오일러 방정식과는 다른 것이다.

오일러가 하도 많은 업적을 남겨서 이름이 비슷한 것들이 많다.

파일:크리에이티브 커먼즈 라이선스__CC.png 이 문서의 내용 중 전체 또는 일부는 2023-12-10 10:12:31에 나무위키 오일러 공식 문서에서 가져왔습니다.

[1] [math( e^x )]의 전개식에 [math( x := ix )]를 넣으면 기적처럼 [math(i \sin{ x })]의 전개식과 [math( \cos{ x } )]의 전개식이 등장한다.[2] [math( e^{ ix } )]를 네 번 미분하면 자기 자신으로 돌아오는데 이때 이런 함수는 [math(\sin{ x }, \cos{ x } )]가 대표적. 그러므로 이를 선형결합시키고 상수를 계산하면 공식이 등장한다.[3] [math( f \left( x \right)=\cos x+i\sin x )] 으로 하면 [math( i f \left( x \right) =f' \left( x \right) )]이므로 미분방정식을 풀면 [math(f \left( x \right) = e^{ ix } )]이다.[4] 네이버 캐스트 오일러의 공식참고[5] 대표적으로 두 복소수의 편각의 합이 두 복소수의 곱의 편각과 같다든가...(이 경우 삼각함수의 덧셈정리로 증명할 수 있다.)[6] 고등학생때 지수를 '유리지수'와 '실지수'로 확장시켰듯이.[7] 원래 급수도 수렴하며 각 항의 절대값에 대한 급수값도 수렴하는 급수. 절대수렴과 순서 재배치 후의 수렴값이 일치하는 성질은 유한차원 벡터공간에선 동치이다. 무한차원의 경우 조화급수를 이용한 반례가 있다.[8] 고등학교 1학년 수학에서 복소수 단원을 상기해보자. 복소수는 a+bi이며 a와 b는 실수라고 정의하고 있었다. 복소수끼리 덧셈과 뺄셈을 할 경우엔 실수부와 허수부끼리만 놀았으며 곱셈은 [math( i^2 = -1 )]을 이용하여, 나눗셈은 분모의 허수부를 곱셈공식으로 없애는 식이었다. 즉 실수와 순허수는 아예 따로 노는 놈들이었다.[9] 이 방정식 자체는 고등학교 수준이지만, 고등학교 과정에서 이 방정식의 해를 완전히 구하려면 결국 인수분해와 이차방정식의 근의 공식을 이용해야 한다. 또는 문제에 따라서는 해를 완전히 구하지 않고 해의 성질들을 이용하기도 한다. 그런데, 이 문서의 내용을 알고 삼각함수에 조금 익숙하다면, [math( x^3 = \pm 1 )]의 복소수근에 관한 문제를 머릿속으로 풀어 버린 뒤 바로 답을 적어 버리는 것이 가능하다. 조금 예를 들면 [math( x^3 = \pm 1 )]을 읽자마자 바로 이 방정식의 세 근을 완전하게 적어 내려갈 수 있다든지.[10] [math( \omega )]는 각주파수, [math( j )]는 허수 단위. 전류가 이미 [math(i)]를 먹어버린 전자공학에서는 허수 단위를 [math(i)] 대신 [math(j)]로 표기한다.[11] 삼각함수의 지저분한 공식들을 생각해보자. 그에 비하면 지수함수의 계산은 매우 간단하다. 따라서 지수함수와 오일러의 공식을 이용한 복소 지수 표현으로 삼각함수를 대체하면 식의 전개가 매우 간단해진다. 페이저는 여기서 한발짝 더 나가 선형 변환에서 주파수는 변하지 않으므로 복소 지수 표현에서 주파수를 뻬고 크기와 위상만 표기해서 더 쓰기 편하게 만든다는 개념이 포함되어 있다.[12] 예를 들면 입출력 함수를 t(시간)에 관한 식으로 표현하는 경우[13] 순수수학에서는 [math(\Re(\cdot))]로 쓰기도 한다. 자매품으로 허수부만을 취하는 [math(\Im(\cdot))] / [math(\mathrm{Im} \left[ \cdot \right])] 이 있다.[14] 입력 신호가 교류 사인곡선 형태라면 페이저를 바로 도입할 수 있다. 입력 신호가 사인곡선이 아닌 다른 형태여도 푸리에 해석에 의해 신호를 삼각함수의 합으로 표현하는게 가능하므로 페이저를 도입하는게 가능하다.[15] [math( \omega \triangleq 2 \pi f )]로 정의하면 [math(\mathrm{Re}[s_{l}\left( t\right) e^{j \omega_{c} t}])]로 바꿔 쓸 수도 있다. 이와 같은 표현을 '페이저 [math(s_l (t) )]를 순시치로 변환한다'고 말한다.[16] [math(\mathrm{Re}[s_{l}\left( t\right) e^{j2\pi f_{c}t}])]를 푸리에 변환하면 [math(\dfrac {1} {2}S_{l}\left( f-f_{c}\right) +\dfrac {1} {2}S_{l}^{\ast }\left( -f-f_{c}\right))]가 되는데 [math(s_{l}\left( t\right))]의 스팩트럼이 고주파 대역으로 이동한 모습이다. 참고로 라디오에서 원하는 채널의 방송을 듣기 위해 주파수를 맞춰줘야 하는데, 이때 맞춰주는 주파수가 듣고자 하는 라디오 채널의 캐리어 주파수 [math(f_{c})]이다.[17] 이쪽은 주로 오일러 지표(Euler Characteristic)라고 불리며, 이 값 자체를 [math(\chi(M))]라고 표기한다. 위상적 불변량인데, 엄밀히는 입체도형의 구멍 수인 [math(h)]를 정의하면 [math(\chi(M)=v-e+f=2-2h)]로 일반화시킬 수 있다. 즉 원환면(토러스)의 경우는 구멍이 하나니까 [math(v-e+f=0)]이 되는 것. 또한 가우스 곡률과도 관계가 있는데, 컴팩트 곡면 [math(M)] 상에서 가우스 곡률 [math(K)] 사이에는 다음과 같은 관계가 존재한다.
[math(\displaystyle\iint_{M}KdM=2\pi\chi(M))]. 이를 가우스-보네 정리(Gauss-Bonnet Theory)라고 한다. 여담으로 컴팩트 곡면이 아닌 경우. 즉 경계가 있는 곡면의 경우는 공식이 조금 바뀌는데, 경계선을 [math(\partial M)]이라 하고 측지곡률 [math(k_g)]을 정의하면 [math(\displaystyle\iint_{M}KdM+\int_{\partial M}k_{g}ds=2\pi\chi(M))]가 된다.

관련 문서