최근 수정 시각 : 2022-03-13 12:39:32

부호 함수

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


1. 개요2. 성질3. 복소 부호 함수4. 기타

1. 개요

파일:나무_부호함수_그래프_수정.png
부호 함수의 그래프 개형

부호 함수(sign(um) function)[1] 특수함수 중 하나로, 어떤 실수 부호를 출력하는 함수이다. 기호로는 [math(\mathrm{sgn}\,x)]로 쓰며, 정의는 아래와 같다.


[math(\displaystyle \mathrm{sgn}\,x \equiv \begin{cases}
\displaystyle \frac{x}{|x|} & \text{ if } x \neq 0 \\
\\
0 & \text{ if } x=0
\end{cases} )]

구체적인 값은 아래와 같다.

[math(\displaystyle \mathrm{sgn}\,x=\begin{cases}
\displaystyle 1 & \text{ if } x>0 \\
\displaystyle 0 & \text{ if } x=0 \\
-1 & \text{ if } x<0
\end{cases} )]


보통 점화식에서 특정항의 부호만을 취할 때 사용되는 함수이다.

2. 성질

  1. 부호 함수는 멱등 함수이다. 즉,
    {{{#!wiki style="text-align: center"

    [math( (\mathrm{sgn} \circ \mathrm{sgn})(a)=\mathrm{sgn}\, a )] }}}
    가 성립한다.

  2. 부호 함수는 홀함수(Odd function, 기함수)이다. 따라서
    {{{#!wiki style="text-align: center"

    [math( \mathrm{sgn} \,x=-\mathrm{sgn}\,(-x) )] }}}
    가 성립한다.

  3. 계단 함수(Step function)의 일종이다.

  4. 불연속점이 [math(x=0)]에서 존재한다. 따라서
    {{{#!wiki style="text-align: center"

    [math( \begin{aligned} \lim_{x \to 0^{+}} \mathrm{sgn}\, x &=1 \neq 0 \\ \lim_{x \to 0^{-}} \mathrm{sgn}\, x &=-1 \neq 0 \end{aligned})] }}}
    이므로 [math(\displaystyle \lim_{x \to 0} \mathrm{sgn}\, x)]는 정의되지 않는다.

  5. 도함수 디랙 델타 함수에 2를 곱한 값이다. 즉,
    {{{#!wiki style="text-align: center"

    [math( \dfrac{\mathrm{d}}{\mathrm{d}x} (\mathrm{sgn}\,x) =2 \delta (x))] }}}

  6. 역도함수 절댓값 함수이다. 즉,
    {{{#!wiki style="text-align: center"

    [math(\displaystyle \int \mathrm{sgn}\,x\,\mathrm{d}x=|x|+C )] }}}

  7. 정의역이 복소수인 경우는 [math( \{ -1,\,0,\,1 \})]이 아닌 다른 값을 띄게 되는데, 이는 복소수의 절댓값이 실수하고는 다르게 정의[2]되기 때문이다. 다만, 원점과의 거리는 항상 1이 된다.[3]

3. 복소 부호 함수


[math(\displaystyle \mathrm{csgn} (z) = \begin{cases} \dfrac{\Re(z)}{\|\Re(z)\|} & \mathrm{if} \ \Re(z) \neq 0 \\ \\ \dfrac{\Im(z)}{\|\Im(z)\|} & \mathrm{if} \ \Re(z) =0,\, \Im(z) \neq 0 \\ \\ 0 & \mathrm{if} \ \Re(z) = 0,\, \Im(z) = 0 \end{cases} )]


복소수에서 부호 함수가 '부호 판별'의 기능을 잃어버리기 때문에 복소수에 맞게 재정의한 함수이다.

정의를 보듯, 순허수인 경우에만 허수부의 부호를 판별하고 나머지는 실수부의 부호를 판별한다.

4. 기타

  • 간단한 정의임에도 중등교육과정 이하에서 코빼기도 보이지 않는 함수이다.[4] 대학 과정에서 푸리에 변환을 배울 때 처음 접한다.
    • 푸리에 변환의 결과로 나오는 함수는 분수함수이다: [math(\widehat{\rm sgn}(x) = -i/ \pi \xi)]
  • 컴퓨터과학에서는 음수 값을 1, 양수 값을 0으로 정의한다는 차이점이 있다.[5] 이 정의는 헤비사이드 계단 함수 천장함수를 사용한 [math(1 - \lceil u(x) \rceil)] 또는 집합 판별 함수을 사용한 [math(\mathbf{1}_{\mathbb{R^-}})]과 동치이다.
  • 부호 함수에 x를 곱할 경우에는 x=0에서 미분이 불가능하지만 , [math(x^2)]을 곱한 [math(x^2\mathrm{sgn }x)]는 전 구간에서 미분이 가능하다.[6]
  • Microsoft Excel에도 부호 함수가 존재한다. SIGN(number).
  • 지수함수로도 정의가 가능하다. [math(\displaystyle \mathrm{sgn}\,x=\lim\limits_{n\to\infty}\frac{1-2^{-nx}}{1+2^{-nx}})]

[1] Signum이라는 이름이 따로 있는 이유는 Sign과 발음이 같은 Sine과 혼동할 수 있기 때문. [2] 복소수 [math(z)]에 대하여, [math(|z| = \sqrt{z z^{\ast}} = \sqrt{[\Re(z) ]^2+[\Im(z) ]^2})]이다. 여기서 [math(z^{\ast})]는 [math(z)]의 켤레 복소수이다. [3] 파일:나무_부호함수_복소평면.png
위 그림과 같이 복소평면 상 복소수 [math(z)]에 대한 부호함숫값 [math({\rm sgn} \, z)]는 복소평면 상 [math(|z|=1)]의 원판 상에 존재한다.
[4] 정작 수학Ⅱ의 함수의 극한, 함수의 연속 파트에서 부호 함수를 알아야 풀 수 있는 문제가 출제되곤 한다. [5] 정의하는 위치는 MSB(Most Significant Bit), 즉 맨 왼쪽 자리다. [6] 실제로 부호함수에 [math(x)]를 곱하면 [math(|x|)] 함수가 되며 , [math(x^2)]을 곱하면 [math(x|x|)] 함수가 된다. 그 후 0에서 양쪽의 미분계수를 구해보면 된다.