قدر مطلق (ریاضی)

بندانگشتی|250px|تابع قدر مطلق
چپ|بندانگشتی|قدر مطلق عدد مختلط ''z'' برابر است با ''r'' یا فاصلهٔ نقطهٔ ''z'' تا نقطهٔ مرجع. همانگونه که در شکل نمایش داده شده‌است قدر مطلق ''z'' و مزدوج آن  با یکدیگر برابرند.

در ریاضیات، **قدر مطلق**  یا **مقدار مطلقِ** یک عددی حقیقی *x*، که با علامت |*x*| نشان داده می‌شود، مقدارِ *x* به صورت غیر منفی و بدون توجه به علامت آن است. پس قدر مطلق یک عدد همواره نامنفی است؛ یعنی یا مثبت است یا صفر. به بیان دیگر، قدر مطلقِ یک عدد برابر است با فاصله آن عدد تا صفر.

قدر مطلق در بسیاری از بخش‌های گوناگون ریاضی کاربرد دارد که از آن میان می‌توان از مجموعهٔ اعداد مختلط، چهارگان‌ها، میدان‌ها، فضای برداری نام برد. قدر مطلق را در فیزیک و ریاضی بیش از همه می‌توان به مفهوم بزرگی، فاصله و نُرم نزدیک دانست.

## پیشینه
در سال ۱۸۰۶ ژان رابرت ارگاند مفهوم «قدر مطلق» و یکای «اندازه‌گیری» را به فرانسوی معرفی کرد، که البته توجه ویژهٔ وی بیشتر بر روی اعداد مختلط بود. در سال ۱۸۶۶ این مفهوم به زبان انگلیسی برده شده و نام هم سنگ *modulus* برای آن از لاتین انتخاب شد. مفهوم *absolute value* در زبان فرانسوی حداقل از ۱۸۰۶ کاربرد داشته‌است و از ۱۸۵۷ در انگلیسی استفاده می‌شد. نماد | *a* | برای قدر مطلق در سال ۱۸۴۱ از سوی کارل ویرسترس پیشنهاد شد. دیگر نام‌های قدر مطلق، عبارتند از *مقدار عددی*  و بزرگی  است.

## مفهوم و ویژگی‌ها
### اعداد حقیقی
برای هر عدد حقیقی **a** **قدر مطلق** که آن را با **|a|** نمایش می‌دهیم به صورت زیر تعریف می‌شود:

:|a| = \begin{cases} a, & \mbox{if}  a> 0  \\ -a,  & \mbox{if} a 

همان گونه که در بالا نشان داده شده‌است قدر مطلق یک عدد همواره صفر یا مثبت است و هرگز منفی نیست.

در هندسهٔ تحلیلی قدر مطلق یک عدد حقیقی برابر است با فاصلهٔ آن تا صفر بر روی یک خط حقیقی؛ در حالت کلی قدر مطلق تفاضل دو عدد برابر است با فاصلهٔ میان آن دو عدد. در واقع می‌توان گفت که مفهوم تابع فاصله در ریاضی همان قدر مطلق تفاضل است که در حالت کلی بیان شده‌است.

ریشهٔ دوم یک عدد را می‌توان به صورت زیر نشان داد:

:

که گاهی از آن به عنوان تعریف قدر مطلق استفاده می‌شود.

چهار ویژگی اصلی قدر مطلق عبارتند از:

:

دیگر ویژگی‌های آن عبارتند از:

:

اگر فرض کنیم که b> ۰ است آنگاه دو ویژگی دیگر قدر مطلق می‌توان چنین نوشت:

:|a| \le b \iff -b \le a \le b 
:|a| \ge b \iff a \le -b \mbox{ or} b \le a 

از این ویژگی‌ها می‌توان در حل نامساوی‌ها استفاده کرد؛ برای نمونه:

:

از قدر مطلق دز تعیین فاصلهٔ مطلق در سامانهٔ متری در مجموعه اعداد حقیقی استفاده می‌شود.

### اعداد مختلط
از آنجایی که اعداد مختلط دارای ترتیب کامل نیستند، تعریفی که در بالا برای قدر مطلق اعداد حقیقی گفته شد را نمی‌توان به‌طور مستقیم برای یک عدد مختلط به کار برد. از تعریف (۱) که در بالا گفته شد استفاده می‌کنیم:

|a| = \sqrt{a^2}

برای هر عدد مختلط داریم:

z = x + iy

که در آن x و y هردو اعدادی حقیقی‌اند. **قدر مطلق** z که آن را با |z| نمایش می‌دهیم به صورت زیر تعریف می‌شود:

|z| = \sqrt{x^2 + y^2}

بنابراین قدر مطلق یک عدد حقیقی مانند X را می‌توان با استفاده از مفهوم اعداد مختلط به صورت زیر نشان داد:

 |x + i0| = \sqrt{x^2 + 0^2} = \sqrt{x^2} = |x|

مشابه ترجمهٔ هندسی قدر مطلق اعداد حقیقی، در قدر مطلق اعداد مختلط نیز از مفهوم قضیهٔ فیثاغورس استفاده می‌شود. قدر مطلق یک عدد مختلط برابر است با فاصلهٔ آن عدد مختلط در صفحهٔ مختلط از مبدأ و در حالت کلی تر قدر مطلق تفاضل دو عدد مختلط برابر است با فاصلهٔ میان آن دو.

تمامی ویژگی‌هایی که برای قدر مطلق اعداد حقیقی بیان شد، از (۲) تا (۱۰) برای قدر مطلق اعداد مختلط نیز وجود دارد. اگر داشته باشیم:

 z = x + i y = r (\cos \phi + i \sin \phi) 

آنگاه مزدوج مختلط z عبارت است از:

\overline{z} = x - iy

حال به آسانی می‌توان نشان داد که:

\begin{align} |z| & = r, \\ |z| & = |\overline{z}|\end{align}

و

|z| = \sqrt{\overline{z}}

با توجه به فرمولی آخر که گفته شد و ویژگی‌های قدر مطلق، توان ۲ قدر مطلق z به صورت زیر نوشته می‌شود:

|z|^2 = z\overline{z} = x^2 + y^2

## تابع‌های قدر مطلق
تابع حقیقی قدر مطلق در همه جا پیوسته است و در همه جا به جز نقطهٔ x = ۰ مشتق‌پذیر است. این تابع در بازهٔ [۰ ∞-) اکیداً نزولی و در بازهٔ (∞+ ۰] اکیداً صعودی است و چون قدر مطلق عدد مثبت و منفی با هم برابر است پس تابعی زوج است و وارون ناپذیر.

تابع مختلط قدر مطلق در همه جا پیوسته‌است ولی هیچ جا مشتق‌پذیر نیست. (نگاه کنید به معادلات کوشی-ریمان)
در هر دو تابع مختلط و حقیقی قدر مطلق، تابع مرکب خود آن‌ها به صورت f(f(x)) با خود تابع f(x) برابر است.تابعی محدب و غیرخطی است.

### مشتق
مشتق تابع قدر مطلق حقیقی برابر است با تابع علامت که با نماد sgn نمایش داده می‌شود، تابع زیر تنها به ازای *x*های ناصفر تعریف شده‌است:

:\sgn (x) = \frac{x},

تابع قدر مطلق حقیقی در *x* = ۰ مشتق‌پذیر نیست.
*یادآوری*: تابع علامت تابعی است که بدون توجه به مقدار *x* تنها علامت *x* را نشان می‌دهد بنابراین می‌توان گفت که x = sgn(x)abs(x)

تابع علامت را می‌توان به گونه‌ای شبیه تابع پله‌ای هویساید دانست؛ این تابع عبارت است از:

: u(x) =
  \begin{cases} 0,           & x  0,
  \end{cases}


که مقدار تابع هویساید در صفر تعریف شده‌است. پس به ازای تمامی اعداد حقیقی ناصفر داریم:

:u(x) = \frac{\sgn(x) +1}{2}. \,

تابع قدر مطلق حقیقی در هیچ نقطه‌ای دارای تقعر نیست چون مشتق اول آن یعنی تابع علامت، در تمامی نقاط مقدار ثابت دارد پس مشتق دوم آن نسبت به *x* صفر است.

تابع قدر مطلق حقیقی انتگرال پذیر است. انتگرال آن عبارت است از:

:\int|x|dx=\frac{x|x|}{2}+C,

چون *x*۲ = |*x*|۲ است:

:{\int|x|dx=x|x|-\int\frac{x^2}dx= x|x|-\int|x|dx\iff 2\int|x|dx = x|x| \iff \int|x|dx =\frac{x|x|}{2}+C.}

## نمودار تابع قدر مطلق
### روش انتقال
فرم کلی تابع قدر مطلق به صورت زیر است:

f(x)=a|x-h|+k  
# **a** ضریب قدر مطلق باعث **باز و بسته** شدن دهانه نمودار قدر مطلق می‌شود.
# **h** قابلیت انتقال به **چپ و راست** که **برخلاف** علامت h حرکت می‌کند.
# **k** قابلیت انتقال به **بالا و پایین** که **هم سو** با علامت k حرکت می‌کند.

جایگزین=خلاصه تابع قدر مطلق و انتقالش|وسط|بندانگشتی|357x357پیکسل|خلاصه تابع قدر مطلق و انتقالش
**نکته:** اگر |a|  بزرگتر از یک باشد دهانه قدر مطلق بسته تر خواهد شد. **(کشش عمودی)**

**نکته:** اگر |a|  بین صفر و یک باشد دهانه باز تر خواهد شد. **(کشش افقی)**

### روش نقطه یابی
در این روش ابتدا راس قدر مطلق را پیدا می‌کنیم که برابر است با S(-h,k)  سپس با استفاده از دو نقطه کمکی که یک واحد قبل و بعد طول راس می‌باشد نمودار را رسم می‌کنیم.

**نکته:** اگر داخل تابع قدر مطلق، تابع دیگری قرار بگیرد مانند سهمی. ابتدا نمودار تابع داخل قدر مطلق را رسم می‌کنیم سپس اگر قسمتی از نمودار زیر محور xها قرار گرفته باشد. قرینه آن را نسبت به محور xها در بالای محور رسم می‌کنیم.

## فاصله
مفهوم قدر مطلق و فاصله با یکدیگر رابطهٔ مستقیم دارند. همان گونه که در بالا گفته شد، قدر مطلق یک عدد حقیقی یا مختلط برابر است با فاصلهٔ آن عدد تا نقطهٔ مرجع و به صورت کلی تر قدر مطلق تفاضل دو عدد حقیقی یا دو عدد مختلط برابر است با فاصلهٔ میان آن دو.

فاصلهٔ اقلیدوسی استاندارد میان دو نقطه:

:a = (a_1, a_2, \dots , a_n) 

و

:b = (b_1, b_2, \dots , b_n) 

که در فضای* n* بعدی اقلیدوسی به صورت زیر تعریف می‌شود:

:\sqrt{(a_1-b_1)^2 + (a_2-b_2)^2 + \cdots + (a_n-b_n)^2}. 

اگر a و b دو عدد در مجموعهٔ اعداد حقیقی باشند، در حالت کلی | a − b | را می‌توان به صورت زیر نمایش داد:

:|a - b| = \sqrt{(a - b)^2}.

و چنانچه a و b مختلط باشند:

: a = a_1 + i a_2 \,

و

: b = b_1 + i b_2 \,

آنگاه |a - b| به صورت زیر است:

:

رابطه‌های بالا نشان می‌دهد که قدر مطلق فاصله برای اعداد حقیقی یا مختلط در هر دو حالت با فاصلهٔ استاندارد اقلیدوسی آنان برابر است.

قدر مطلق فاصلهٔ میان دو عدد حقیقی یا مختلط، همواره نامنفی است. اگر تابع حقیقی *d* را به عنوان تابع فاصله تعریف کنیم، این تابع دارای ویژگی‌های زیر خواهد بود:

:

## در حالت کلی
### حلقه‌های مرتب
تعریف قدر مطلق در اعداد حقیقی را می‌توان به آسانی برای حلقه‌های مرتب گسترش داد. اگر *a* یک عضو حلقهٔ مرتب *R* باشد، آنگاه **قدر مطلق** *a* که آن را با | *a* | نمایش می‌دهند به صورت زیر تعریف می‌شود:

:|a| = \begin{cases} a, & \mbox{if}  a \ge 0  \\ -a,  & \mbox{if} a 

که در آن *a* − وارون *a* در جمع و صفر، عضو بی‌اثر در جمع است.

### میدان‌ها
ویژگی‌های بنیادی قدر مطلق برای اعداد حقیقی، که در بالا گفته شد، شماره‌های ۲ تا ۵، را می‌توان برای هر میدان دلخواهی گسترش داد:

تابع حقیقی *v* در می‌دانی مانند *F* را قدر مطلق (یا بزرگی یا مقدار) می‌نامند، اگر ویژگی‌های زیر را داشته باشد:

:

در رابطه‌های بالا، **صفر** عضو بی‌اثر در جمع برای *F* است. همچنین از شرط سوم می‌توان دریافت که *v*(**۱**) = ۱ در نتیجه **۱** عضو بی‌اثر در ضرب برای *F* است. قدر مطلق اعداد حقیقی و مختلط که در بالا گفته شدند حالت خاصی از قدر مطلق در میدان‌ها بودند.

اگر v یک قدر مطلق روی *F* باشد، آنگاه تابع *d* روی *F* × *F* به صورت زیر است:

d(a, b) = v(a − b)

حال خواهیم داشت:

* *d*(*x*, *y*) &lt; max{*d*(*x*, *z*), *d*(*y*, *z*)}
*  \big\{ v\Big({\textstyle \sum_{k=1}^n} \mathbf{1}\Big): n \in \mathbb{N} \big\}  is bounded in **R**
*  v\Big({\textstyle \sum_{k=1}^n} \mathbf{1}\Big) \le 1 \text{ for every} n \in \mathbb{N}.
*  v(a) \le 1 \Rightarrow v(1+a) \le 1 \text{ for all} a \in F.
*  v(a + b) \le \mathrm{max}\{v(a), v(b)\} \text{ for all} a, b \in F.

### فضای برداری
در مبحث بردارها قدر مطلق بیانگر طول یک بردار می‌باشد

## یادداشت و منابع
### پانویس

### کتابشناسی
* 

## پیوند به بیرون
نمودار تابع قدر مطلق
* ویدیوهای آموزشی قدر مطلق در کلاس درس

رده:اعداد حقیقی
رده:توابع ریاضی
رده:حسابان
رده:نرم‌ها (ریاضیات)