3
$\begingroup$

I realize this may be a very thick question, but I have been wondering for some time. Sometimes I am asked to prove or read proofs involving "functions that vanish at a point" or "every point" or something along these lines. The problem is I do not know what it means for a function to vanish at a point. It sounds like it means the function goes to 0 as a sequence of points arrives at the point, but if the function is continuous, doesn't that just mean the function is equivalently 0 at the point? I am basically confused what "vanish" means.

  • 5
    It simply means that the function is $0$ at the point in question.2012-10-06
  • 0
    @BrianM.Scott So, I am reading a proof of the fact that "a function of x,y in a region whose partial derivatives vanish at every point in that region is constant". Isn't this trivial, since that just implies the function's partial derivatives are 0, and thus the function must be constant?2012-10-06
  • 0
    It’s not quite trivial: the partial derivatives are actually directional derivatives, so the fact that they vanish immediately says only that the function is constant in two specific directions. It takes a little work to get from that to the function’s actually being constant.2012-10-06
  • 0
    Why is this trivial?2012-10-06
  • 1
    Face palm. Oops. Right, u_x + u_y != du/dz. Sorry, it was thicker than I thought.2012-10-06

3 Answers 3

6

Vanish just means the function is $0$.

2

Customarily, it means the function has a zero at the point or on the set. I usually just say the function is zero there.

0

Yeah it basically means that the function outputs the value zero at that point. I guess this can be interpreted as a "thick" answer. Also in case of a continuous function on a closed interval which can be looked at as a sequence of uniformly converging polynomials, this might mean something more. Maybe someone can comment on this, if there is anything to comment. It just occurred to me and might not mean much.

Also, this is not directly tied into your question, but there's what is called the support of a function. It is those set of points in the domain at which the function has a non-zero value or the closure of this set. If this set is compact, then it leads to several interesting results in analysis.