Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 32 of 32
As you get more sophisticated in mathematics,you begin to question simple things you took for granted as an undergraduate,even in theoretical courses. I was thinking about the formal definition of a derivative in calculus in various contexts and I began to wonder: Can a function have a derivative which is defined by a limit at a point but is not ITSELF a well defined function? For derivatives in higher dimensional Euclidean spaces and manifolds, the answer is clearly no since the derivative is defined by a linear map in these cases. But on the real line, it's not clear to me that the definition excludes cases where the derivative is a limit and NOT a function since limits aren't required to be singled valued for given a specific epsilon and delta "tolerance" for open intervals of a point. Yes,limits of functions are required to be unique for a specific point,but unless the function is continuous,this doesn't insure the limit determines the value of a function. ( Yes,every function with a derivative is continuous,but unless the map is smooth,this does not require the derivative to be continuous. Otherwise,the point is moot,of course.) I may be overthinking this and completely missing the obvious-which is why I asked the question on meta first. But do I have a legitimate concern here?
@Ryan I'm aware of the generalizations,but my question was reexamining the "plain vanilla" definition of a derivative of a function from real analysis of one variable as a limit of "quotients". It's not clear to me THIS always has to be itself a well defined function.
It IS quite interesting you bring up the concept of subderivative,which I'm not that familiar with-it was mentioned in my real analysis course in passing and it came up again in my advanced differential equations course. This is clearly always a well defined function since it is defined by one sided limits and these can be made functions by suitable domain restrictions.
As stated, the question does not make sense to me. But there is a certain amount of goodwill shown on math.SE to such questions: i.e., often people will work with the OP to craft a sensible question, if possible.
@gilkalai I think I'm an idiot who overthinks the simple things,that's what.
As for my distinction,I was referring to the total derivative in n-dimensional real Euclidean space,which can be defined by a linear transformation (which can be expressed in matrix form with a choice of basis). Where n=1,we get the usual plain vanilla derivative on the real line. So obviously from this context,the answer to my question is no and I feel like an idiot for asking. But these are the kinds of dumb questions you ask as a graduate student when you start questioning all the little things you took for granted as an undergraduate.
@Ryan Thank you for reminding me of a subtle and often forgotten fact from general topology. Clearly,every limit in the range of a real-valued function in R with the usual topology is a limit point in the topological sense,but the converse is not true. (My brain is too fried from insomnia to give a counterexample right now.)
I read the phrase "a derivative which is defined by a limit at a point but is not ITSELF a well defined function" as follows. The function $x \sin(1/x)$ has a well-defined derivative at every non-zero value of $x$, but at $x=0$, every slope between -1 and 1 is attainable as a limit. So you could define a "derivative" to be a subset of the plane which is the union of the graph of the derivative away from $x=0$ with the vertical segment {0}×[-1,1].
Supposing this is what you meant (or even if it's not), it's not clear to me what you're looking for in an answer.
gil said:
It is not clear what you mean by "Start questioning all the little things you took for granted as an undergraduate".
...nor why such questioning should happen in MO :)
Dear AndrewL, I would like to third (or fourth?) the recommendation that you use math.stackexchange.com for questions on undergraduate material. There is no reason for you to expect that you might receive a less qualified answer there than here, if indeed that is the reason for your reluctance. Also, if your question turns out to be not well-posed or misguided in some way, people will be much more patient and forgiving there than here.
I mean, it is easy to construct a function f(x) for which lim_{x -> 0^+} f'(x) and lim_{x -> 0^-} f'(x) both exist but don't agree. Is something like this what you're talking about?
In any case, I also agree that math.stackexchange would be a better venue for this question.
@gilkalai: I could be wrong, but when I read "I think I'm an idiot who overthinks the simple things,that's what", I didn't take that as sarcasm or hostility, but rather as AndrewL's berating himself over what he now regards as a simple question.
@Todd Your interpretation is the correct one. I'm clearly overthinking this. One of the derivative's great virtues is that it makes precise the idea of analysis as reversible linearization of differentiable functions and does so in a very simple manner. It's clear the answer is no when looked at from that perspective.
@Deane I assume by "sufficiently smooth",you mean the derivative fails to exist AT AT MOST a countable number of points in it's domain. If you allow the function to be complex differentiable (which is equivalent to saying it's infinitely differentiable as a vector function of 2 real valued components), the derivative has an even more interesting geometric interpretation: Under the "microscope", it becomes a convergent sequence of rotations in the complex plane whose modulus shrinks as one approaches the limit!
@AndrewL: FYI, I see two problems with your last post.
(i): Your characterization of complex differentiable functions is not correct. For instance, the function f(x+iy) = x-iy is infinitely differentiable as a function from R^2 to R^2. You are missing the Cauchy-Riemann equations.
(ii): The modulus of the rotation does not (necessarily) shrink as one approaches the limit: it approaches |f'(z_0)|.
[(iii): redacted. It seemed unnecessary in retrospect.]
[deleted upon request]
@Pete You either misunderstood what I said or I'm misunderstanding you,not sure which yet: "@AndrewL: FYI, I see two problems with your last post.
(i): Your characterization of complex differentiable functions is not correct. For instance, the function f(x+iy) = x-iy is infinitely differentiable as a function from R^2 to R^2. You are missing the Cauchy-Riemann equations."
By a function being "infinitely differentiable as a vector function of 2 real valued components",I meant the function has continuous partial derivatives of all orders as a function from R^2 to R^2. This,of course,is equivelent to saying the function is infinitely differentiable in R^2 at the point in question (at least,if I remember my vector analysis in R^n correctly).Clearly,the "conjugation" function defined in your post also fits that criteria.
I'm well aware of the CR equations and the resulting relationship of complex differentiablity with infinite real differentiabilty at a point in the plane. Every complex differentiable function is infinitely differentable as a function from R^2 to R^2,BUT THE CONVERSE IS NOT TRUE BY THE CR EQUATIONS. In fact,the only way a real valued function can satisfy the CR equations is if it's constant! (This is a surprisingly subtle point that a lot of people forget after thier first time around in complex variables. I wish I had a dollar for every graduate student I've seen that blows this when asked off the top of thier head if they haven't reviewed thier basic complex function theory.)
(ii): The modulus of the rotation does not (necessarily) shrink as one approaches the limit: it approaches |f'(z_0)|.
Oopsie,you're right,my bad.
@Deane Complex differentiability is indeed an extraordinarily strong condition,which is why the classical theory of functions of a complex variable is considered somewhat limited unless one considers functions defined on regions with singularities.
And people ask me why I won't choose analysis as one of my qualifying exam topics.........LOL
AndrewL, your original question was "is this undergraduate analysis question appropriate for MO?" and it received a pretty clear answer. Do you agree that the discussion of the actual mathematics doesn't belong on meta.MO either? You have been pointed to several sites, where this question and the ensuing discussion would be appropriate. So why not take it there? I find it strange that an undergrad analysis topic is discussed at such length on meta.MO. Maybe it's just me.
@Alex Never hurts to get feedback from professionals on the simple things. I won't get this quality and depth of feedback from undergraduates.It seems to me to be a question worth tossing around by professionals from time to time since a lot of us-especially when graduate students-are so busy trying to lay the foundations for research in our temples as quickly as possible,that we tend to accept a lot of things without questioning them. It's important to question things we take for granted once in awhile-if only to see if we can refine thier definitions in ways that advance research.
That being said-this one's pretty much exhausted, so I'll let it die now. Thanks for all the feedback!
It never hurts, sure. But the point Alex is making is that this is completely off-topic here.
@ AndrewL:
You wrote: "If you allow the function to be complex differentiable (which is equivalent to saying it's infinitely differentiable as a vector function of 2 real valued components)".
This is false. If you had said "implies" it would be true, but you said "equivalent".
Your writing consistently contains errors of spelling, punctuation, grammar, logic and mathematics. You create the impression of being unable or unwilling to get these details correct. For a while I thought I could be of some help with this, but at this point I realize I am quite frustrated. I have decided to stop responding to what you write, at least for now.
@ Pete Please don't get frustrated. You're right,equivalent in the mathematical sense means "iff" rather then "if",so again,my bad. It's a small linguistic error,but this is mathematics,so it means everything. From my context,it's clear I meant "implies".I'm still learning and I have a tendency to be careless in informal discussion forums like this. It's no excuse,though-these are professionals in here and I need to work to be more careful.
@Ryan Which is why I agreed to let it die.
1 to 32 of 32