تابع توما تابعی است که در سال ۱۸۷۵ میلادی توسط ریاضیدان آلمانی، کارل یوهانس توما معرفی شد. تابع توما در تمام نقاط گنگ دامنه اش پیوسته و در تمام نقاط گویای دامنه اش ناپیوسته است.تابع دیریکلهفرض می کنیم A := { x ∈ R : x > 0 } {\displaystyle A:=\left\{x\in \mathbb {R} :x>0\right\}} در اینصورت تابع توما چنین تعریف می شود:f ( x ) := { 0 , x ∉ Q 1 n , ( x = m n , ( m...