Existence of a function vs being well-defined?

  • Context: Graduate 
  • Thread starter Thread starter merry
  • Start date Start date
  • Tags Tags
    Existence Function
Click For Summary
SUMMARY

The discussion clarifies that a function must be well-defined at all points in an open subset U of R to exist as a function. If a function is not well-defined at a point, its derivative cannot exist at that point either. The concept of well-definedness is further explained in the context of equivalence relations, where a function is considered well-defined if its value is independent of the choice of representative. Therefore, continuity at a point is necessary for the existence of a derivative, but not sufficient.

PREREQUISITES
  • Understanding of real functions and their definitions
  • Knowledge of derivatives and continuity in calculus
  • Familiarity with equivalence relations in mathematics
  • Basic concepts of open subsets in topology
NEXT STEPS
  • Study the definition of well-defined functions in mathematical analysis
  • Learn about the implications of continuity on the existence of derivatives
  • Explore equivalence relations and their applications in defining functions
  • Investigate the properties of functions approaching infinity and their derivatives
USEFUL FOR

Mathematics students, educators, and anyone interested in the foundational concepts of functions, derivatives, and continuity in real analysis.

merry
Messages
44
Reaction score
0
Hello,

So I am confused on whether the statement that "a function f exists at all points in an open subset U of (say) R" , indicates that it is well-defined on all the points in that subset i.e will the function have a real value on all the points in the subset?
Also, can the derivative of a function exist at a point if the function is not well-defined at the point? For example, if the function goes to infinity at a point, is it possible for its derivative to exist at that point?

thanks!
 
Physics news on Phys.org
No, the word function implies well definition, otherwise we have a relation, not a function.
merry said:
Also, can the derivative of a function exist at a point if the function is not well-defined at the point?
If a function isn't defined at a certain point, then neither is its derivative there.
 
Function must actually be continuous at a point x ( necessary but not sufficient) for the derivative to exist at x.Edit: in my experience, well-definedness applies to cases where the function f is defined on a set partitioned by an equivalence relation . We then say f is well-defined iff( def.) its value is independent of choice of representative, i.e. if [a]= then we must have f(a)=f (b).
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K