Continuity proved by differentiation

Click For Summary

Discussion Overview

The discussion revolves around the continuity and differentiability of a piecewise function defined on the interval (0, +∞), where the function takes the value 0 for irrational inputs and 1/n for rational inputs, with n being a positive integer. Participants are exploring the implications of differentiability on continuity and attempting to demonstrate the continuity or discontinuity of the function at rational and irrational points.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested, Mathematical reasoning

Main Points Raised

  • One participant suggests that the function is continuous at all irrational points and discontinuous at rational points, but struggles to apply differentiability to the problem.
  • Another participant identifies the function as a variant of the "Dirichlet" function and asserts that the limit approaches 0 for all x, indicating continuity at irrationals and discontinuity at rationals, while noting that the function is not differentiable.
  • A participant questions the applicability of differentiability, stating that differentiability implies continuity but not vice versa, and highlights that a function can be continuous everywhere but differentiable nowhere.
  • There is a request for clarification on how to demonstrate discontinuity at rational points, particularly in relation to the established continuity at irrational points.

Areas of Agreement / Disagreement

Participants express differing views on the relationship between differentiability and continuity, with some asserting that the function is continuous at irrationals and discontinuous at rationals, while others question the method of proving discontinuity based on continuity at irrationals. The discussion remains unresolved regarding the best approach to demonstrate these properties.

Contextual Notes

The discussion lacks a clear definition of the term 'n' and the implications of its randomness on the function's behavior. There is also ambiguity in the approach to proving discontinuity at rational points based on the established continuity at irrational points.

losin
Messages
12
Reaction score
0
f: (0,+inf)->R and

f(x) is

0 if x is irrational

1/n if x is rational (n is positive integer)


For each rational and irrational, i want to show continuity/discontinuity of f

Intuitively, i think at each rational f is discontinuous, and at each irrational f is continuous,

but i cannot figure out how should i apply differentiability to this problem...
 
Physics news on Phys.org
you haven't defined n?
 
I strongly suspect that this is supposed to be one of the "Dirichlet" examples:

f(x)= 0 if x is irrational, f(x)= 1/n, if x is rational where n is the denominator of x expressed as a fraction in lowest terms. It can be shown that [itex]lim_{x\to a} f(x)= 0[/itex] for all x so, yes, it is continuous for all irrationals. It is not defined at x= 0 but if you define f(0)= 0, it is continuous at x= 0 and discontinuous for all other rationals.

There is no way to "apply differentiability" to this problem, the function is not differentiable.
 
for f(x)=1/n when x is rational, n is random

so differentiability is not applicable?

since differentiability implies continuity, i tried to use that method..
 
losin said:
for f(x)=1/n when x is rational, n is random

so differentiability is not applicable?

since differentiability implies continuity, i tried to use that method..

A function can fail to be differentiable but be continuous. On this note, there are functions that are continuous everywhere but differentiable nowhere. So showing that a function is not differentiable, doesn't tell you anything about continuity. It works the other way around. That is, since if a function f is differentiable then it is continuous, it means that if it is not continuous then it is not differentiable.

...and what do you mean 'n' is random? random what?
 
n is a random positive integer.

and how should i show discontinuity when x is rational?

when i prove 'f is continuous when x is irrational', does it follows that

'for rationals, f is not continuous'...?
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K