Proving Thomae's Function f(x) Not Differentiable"

Click For Summary
SUMMARY

The discussion centers on Thomae's function, defined as f(x) = p/q for rational x (where p and q are relatively prime natural numbers) and f(x) = 0 for irrational x. Participants clarify that this function is continuous at irrational points but not differentiable there. The modified Dirichlet function is referenced, emphasizing that it is discontinuous at rational points. The key conclusion is that Thomae's function is not differentiable at any point due to its discontinuity at rational numbers.

PREREQUISITES
  • Understanding of Thomae's function and its definition
  • Knowledge of continuity and differentiability in real analysis
  • Familiarity with rational and irrational numbers
  • Basic concepts of limits in calculus
NEXT STEPS
  • Study the properties of the modified Dirichlet function
  • Learn about the implications of continuity on differentiability
  • Explore sequences and their limits in the context of real analysis
  • Investigate examples of functions that are continuous but not differentiable
USEFUL FOR

Mathematics students, educators, and anyone interested in real analysis, particularly those studying properties of functions and differentiability.

limdaesung
Messages
2
Reaction score
0
Thomae function f(x):(0,1)->R f(x)=p/q x is rational number (p and q are relatively prime natural number) f(x)=0 x in irrational number show that f is not differrentiable. l can show that this function is not differentiable at rational number. But i can't sequence that is example. not differrentiable at irrational number. how take this sequence.
 
Physics news on Phys.org
please i want to find this sequence quickly.
 
A good start would be rereading the problem and then writing it down correctly! What you have written makes no sense.
Thomae function f(x):(0,1)->R f(x)=p/q x is rational number (p and q are relatively prime natural number) f(x)=0 x in irrational number

I presume that means that if is an irrational number then f(x)= 0, but it's not clear to me what f(x) is if x is rational. You say f(x)= p/q but you haven't told us what numbers p and q are.

I might be inclined to guess that you mean "if x is a rational number, x= p/q with p and q relatively prime, the f(x)= 1/q." That's a fairly well known function, often called the "modified Dirichlet function". (The regular Dirichlet function is f(x)= 0 if x is irrational, f(x)= 1 if x is rational.)

If that is the function you are talking about, it can be shown that lim(x->a) f(x)= 0 for all a so the modified Dirichlet function is continuous for all irrational a, discontinuous for rational a. Since a function cannot be differentiable where it is not continuous, if this is the right function, then I presume the problem is to show that this function, even though it is continuous at each irrational number, is not differentiable there.
 

Similar threads

Replies
2
Views
1K
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
48
Views
7K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 35 ·
2
Replies
35
Views
8K
  • · Replies 9 ·
Replies
9
Views
3K