تابع توما

نمودار تابع توما در بازهٔ (۰,۱)

تابع توما تابعی است که در سال ۱۸۷۵ میلادی توسط ریاضیدان آلمانی، کارل یوهانس توما معرفی شد. تابع توما در تمام نقاط گنگ دامنه‌اش پیوسته و در تمام نقاط گویای دامنه‌اش ناپیوسته است.

تعریف

فرض می‌کنیم $A:=\{x\in ℝ:x>0\}$ در اینصورت تابع توما چنین تعریف می‌شود:

$f(x):=\{\begin{array}{cc}0,& x\notin \mathbb{Q}\\ \frac{1}{n},& (x=\frac{m}{n},(m,n)=1,m,n\in \mathbb{N})\end{array}$

یعنی برای هر عدد گنگ x>۰ تعریف می‌کنیم f(x):=۰ و برای یک عدد گویا در A به صورت الگو:Sfrac، که در آن اعداد طبیعی m و n بجز ۱ عامل مشترکی ندارند، تعریف می‌کنیم الگو:Math.الگو:رچ

بحث در پیوستگی تابع توما

با توجه به تعریف بالا ادعا می‌کنیم که f در هر عدد گنگ در A پیوسته و در هر عدد گویا در A ناپیوسته است.

اگر a>۰ گویا باشد، فرض می‌کنیم (x_n) دنباله‌ای از اعداد گنگ در A باشد که به a همگراست. در اینصورت الگو:Math، در حالی که الگو:Math. بنابراین f در a ناپیوسته است.

حال فرض می‌کنیم x_۰ عدد گنگ دلخواهی باشد. حدس می‌زنیم که $\lim {\mathrm{\backslash limits}}_{x\to x_0}f(x)=0$ برای تحقیق در درستی این حدس باید نشان دهیم که:

$\mathrm{\forall }\epsilon \mathrm{\exists }\delta \mathrm{\forall }x(0<|x-x_0|<\delta \Rightarrow |f(x)|<\epsilon )$

اگر x∉ ℚ، گزارهٔ بالا درست است. در غیر اینصورت عدد N را طوری انتخاب می‌کنیم که الگو:Math. فرض کنید

$\delta =Min\{|\frac{m}{n}-x_0|:1\le m\le N\}$

واضح است که الگو:Math، حال اگر الگو:Math آنگاه مخرج عدد گویای x بزرگتر از N است و

پس حدسمان ثابت شد. یعنی ثابت کردیم که تابع f در عدد گنگ دلخواه x_۰ پیوسته است.

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

• تابع دیریکله

منابع

• الگو:یادکرد کتاب
• الگو:یادکرد کتاب