نمایش مبدأ برای تابع مشخصه

{{بدون منبع}}{{ویکی‌سازی}}
[[پرونده:Dfunction.jpg|بندانگشتی|شکل(۱۱) نمودار پیکانی تابع مشخصه A در X]]
فرض کنید X [[مجموعه تهی|مجموعه‌ای ناتهی]] و A زیرمجموعه‌ای از X باشد. در این صورت ''تابع مشخصه A در X''، یعنی <math>\mathcal{\chi}_A:X\to \{0,1\}</math>(بخوانید خی A) را برای هر x∈X به صورت زیر تعریف می‌کنیم:

:<math>\mathcal{\chi}_A(x)=\begin{cases} 1 &\ x\in A \\ 0 &\ x\in X-A \end{cases}</math>

البته انتخاب مجموعه {۰٬۱} هر چند معمول‌تر است ولی الزامی نیست و می‌توان هر مجموعه دو عضوی دیگر را نیز انتخاب کرد. این تابع به هر عضو مجموعه A، عدد یک و به هر عضو X-A یعنی عناصری که متعلق به X هستند ولی به A تعلق ندارند مقدار صفر را نسبت می‌دهد. [[وجه تسمیه]] این تابع این است که عناصری زیرمجموعه A از X را از سایر عناصری که در A قرار ندارند جدا می‌کند.

نمونه‌ای از یک تابع مشخصه معروف [[تابع دیریکله]] است که همان تابع مشخصه '''Q'''([[اعداد گویا]]) در '''R'''([[اعداد حقیقی]]) است که آن را با '''D''' نشان می‌دهیم و به این صورت تعریف می‌کنیم:

::<math>D(x)=\begin{cases} 1 &\ x\in \mathbb{Q} \\ 0 &\ x\in \mathbb{R}-\mathbb{Q} \end{cases}</math>

به سادگی می‌توان نشان داد این تابع در هیچ‌یک از نقاط دامنه خود [[پیوستگی|پیوسته]] نیست.

اگر بخواهیم به سادگی تابع بودن یک تابع را در نمودار پی ببریم کافی است که خط راستی موازی محورyها رسم کنیم اگر بیشتر ازیک نقطه محور را قطع کرد تابع نیست در غیراین صورت تابع بودن ان الزامی است

[[رده:آنالیز حقیقی]]
[[رده:توابع خاص]]
[[رده:حساب انتگرال]]
[[رده:مفاهیم پایه در نظریه مجموعه‌ها]]
[[رده:منطق ریاضی]]
[[رده:نظریه احتمالات]]
[[رده:نظریه اندازه]]