تابع علامت
در ریاضیات، **تابع علامت** تابعی فرد است که علامت یک عدد حقیقی را بدست می‌دهد. در ریاضی با نماد **sgn** کاربرد دارد که کوتاه‌نوشتی برای **sign** به معنی علامت است، چرا که، اعداد را بر حسب علامتشان جدا می‌کند. این تابع نمونه‌ای از توابع چند ضابطه‌ای است.

تعریف
-----

تابع علامت برای عدد حقیقی x\! به‌صورت زیر تعریف می‌شود:

 \sgn x = \begin{cases}
-1 & \text{if } x <0, \\
0 & \text{if } x = 0, \\
1 & \text{if } x> 0. \end{cases}

ویژگی‌ها
--------

هر عدد حقیقی را می‌توان به صورت حاصل ضرب قدر مطلق آن در تابع علامتش نوشت:

 x = \sgn(x) \cdot |x|\,. \qquad \qquad (1)
از معادلهٔ بالا چنین بدست می‌آید که هرگاه *x* ناصفر باشد تابع علامت آن را می‌توان به صورت زیر بازنویسی کرد:

 \sgn(x) = {x \over |x|}
و البته برای تمامی اعداد حقیقی *x* می‌توان گفت:

 |x| = \sgn(x) \cdot x \,.
تابع علامت مشتق تابع قدر مطلق نیز است (تا سر نامعینی در صفر):

 {d |x| \over dx} = \sgn(x) \mbox{ for } x \ne 0 
آنچه باقی می‌ماند تنها علامت *x* است.

تابع علامت در همه جا جز صفر، مشتق‌پذیر است و مقدار مشتق آن برابر صفر است. این تابع در حالت عادی در نقطهٔ صفر مشتق‌پذیر نیست ولی در شرایط مفهوم عمومی مشتق‌گیری در نظریهٔ توزیع، مشتق تابع علامت برابر است با دو برابر تابع دلتای دیراک که برای بیان آن می‌توان از رابطهٔ زیر بهره برد:

 \sgn(x) = 2 H(x) - 1 \,
که در آن *H*(*x*) تابع پله‌ای هویساید است و *H*(۰) = ۱/۲ می‌باشد. با کمک این برابری دوباره مشتق‌گیری می‌کنیم:

 {d \sgn(x) \over dx} = 2 {d H(x) \over dx} = 2\delta(x) \,.
می توان تابع علامت را به کمک براکت ایورسون هم نوشت:

\ \sgn(x) = -[x <0] + [x> 0] \,.
که در آن k \gg 1، تقریب مناسبی برای تابع علامت به صورت زیر است:

\ \sgn(x) \approx \tanh(kx) \,.
تقریب دیگر چنین است:

\ \sgn(x) \approx \frac{x}{\sqrt{x^2 + \epsilon^2}} \,.
که برای \epsilon \to 0 مقدار آن نزدیک‌تر به دقیق می‌شود. یادآوری می‌شود که این رابطه مشتق \sqrt{x^2 + \epsilon^2} است. این مطلب از آنجا بدست آمده که: رابطهٔ بالا در صورت صفر بودن \epsilon  برای تمام *x*های ناصفر رابطه‌ای دقیق است و مانند تعمیم دادن تابع علامت در بُعدهای دیگر می‌ماند (مانند مشتق جزئی \sqrt{x^2 + y^2}).

نگاه کنید به مقالهٔ تابع پله‌ای هویساید.

تابع علامت مختلط
----------------

تابع علامت را می‌توان تا مجموعهٔ اعداد مختلط هم گسترش داد؛ به این ترتیب:

\sgn(z) = \frac{z}{|z|} 
که در آن *z* عضو \mathbb{C} است مگر در نقطهٔ صفر. تابع علامت عدد دلخواه *z* در مجموعهٔ اعداد مختلط، برابر با نقطه‌ای است روی دایره واحد یک صفحهٔ مختلط که در نزدیک‌ترین فاصله به *z* قرار دارد. پس برای *z*های ناصفر داریم:

\sgn(z) = \exp(i\arg z)\,,
در این رابطه arg همان زاویهٔ *φ* در بیان قطبی عدد مختلط است.
*توضیح:* اگر یک عدد مختلط را به صورت r(\cos \phi + i \sin \phi) یا r e^{i\phi} نمایش دهیم، arg همان زاویهٔ *φ* است. به دلیل تقارن و همچنین برای آنکه تابع را به تمامی تعمیم داده باشیم، برای نقطهٔ *0 = z* تابع را چنین نشان می‌دهیم:

\operatorname{sgn}(0+0i)=0
روش دیگر برای گسترش تابع علامت هم بر روی عددهای حقیقی و هم مختلط، به کار گرفتن *csgn* است که به صورت زیر تعریف می‌شود:

 \operatorname{csgn}(z)= \begin{cases}
 1 & \text{if } \Re(z)> 0, \\
 -1 & \text{if } \Re(z) <0, \\
 \sgn(\Im(z)) & \text{if } \Re(z) = 0
\end{cases}

که در آن \Re(z) بخش حقیقی *z* و \Im(z) بخش موهومی آن است.

در نتیجه در تمام نقطه‌ها جز *0 = z* خواهیم داشت:

\operatorname{csgn}(z) = \frac{z}{\sqrt{z^2}} = \frac{\sqrt{z^2}}{z}.

تابع علامت در حالت کلی
----------------------

به ازای مقدارهای حقیقی ~x~ می‌توان نسخهٔ تابع عمومی برای تابع علامت تعریف کرد و نام  \varepsilon (x), را بر آن گذاشت. که در آن در همه جا ~\varepsilon(x)^2 =1~ حتی در نقطهٔ ~x=0~ (این قسمت برخلاف تابع ~\sgn~ است چون \sgn(0)^2 =0~) چنین عمومی‌سازی اجازهٔ کار بر روی جبر تابع‌های عمومی را می‌دهد اما این عمومی‌سازی به قیمت از دست رفتن خاصیت جابجایی تمام می‌شود. به ویژه تابع علامت تعمیم یافته با تابع دلتا ویژگی ناجابجایی دارد:

\varepsilon(x) \delta(x)+\delta(x) \varepsilon(x) = 0~
همچنین ~\varepsilon(x)~ در ~x=0~ تعریف نشده‌است. کاربرد نام ویژهٔ \varepsilon در این جا ضروری است تا \varepsilon با ~\sgn~ اشتباه گرفته نشود. (\varepsilon(0) تعریف نشده‌است ولی ~\sgn(0) = 0~)

جستارهای وابسته
---------------

* قدر مطلق (ریاضی)
* تابع پله‌ای هویساید
* اعداد منفی
* تابع مستطیلی

منابع
-----

* احمد قندهاری، حمیدرضا امیری. *تابع*. انتشارات مدرسه. تهران.

1. ↑  Sign - from Wolfram MathWorld
2. ↑  Heaviside Step Function - from Wolfram MathWorld
3. ↑  Maple V documentation. May 21, 1998
4. ↑  
Yu.M.Shirokov (1979). "Algebra of one-dimensional generalized functions". *TMF*. **39** (3): 471–477. doi:10.1007/BF01017992.

| * ن
* ب
* و
توابع ریاضی |
| --- |
| مفاهیم | تابع یک به یک، تابع پوشا، تابع زوج و فرد، تابع تحلیلی، تابع برداری، تابع پیوسته، تابع دیفرانسیل‌پذیر، تابع یکنوا | *x* ↦ *f*(*x*) |
| توابع متعارف | تابع ثابت، تابع همانی، تابع علامت، توابع چندجمله‌ای، توابع گویا، توابع مثلثاتی، تابع نمایی (تابع هذلولوی)، قدر مطلق، لگاریتم |
| توابع مثلثاتی | سینوس، کسینوس، تانژانت، کتانژانت، توابع وارون مثلثاتی، فهرست انتگرال توابع مثلثاتی، مشتق توابع مثلثاتی |
| توابع خاص | تابع بسل، تابع لژاندر، تابع پله‌ای، تابع گاما، تابع خطا، تابع چبیشف، تابع گرین، دلتای دیراک، تابع زتای ریمان، تابع هیون، تابع گاوسی، تابع دیریکله |