Proving Non-Continuity at (0,0) for f(x,y) = |xy|

[math2010]

Homework Statement

Let f(x, y) = |xy|.

I want to prove that f is not continuous at (0,0).

The Attempt at a Solution

To prove that f is not continuous at (0,0) I think I need to show that

[tex]\lim_{(x, y) \to (0, 0)}|xy| \neq 0[/tex]

I'm a little confused about the |absolute value| signs and I don't know know what to do with them. Can anyone help please? (there's nothin about this in my book)

 

[tiny-tim]

Hi math2010!

Let f(x, y) = |xy|.

I want to prove that f is not continuous at (0,0).

I think it is continuous at (0,0)

Try proving that. ​

 

[math2010]

Hi math2010!


I think it is continuous at (0,0)

Try proving that. ​

Well the whole problem says "Show that [tex]f \notin C^1[/tex] at (0,0)."

In my course "[tex]f \in C^1[/tex]" means that "[tex]f_x[/tex] and [tex]f_y[/tex] exist and are continuous".

So, I know that f(x, y) = |xy| is differentiable at (0,0). I want to prove that it does not belong to [tex]C^1[/tex], which is why I tried to show it's not continous. I'm very confused here

 

[jbunniii]

I think the notion of [itex]C^1[/itex] is defined only if you are talking about some open set. I don't think it makes any sense to say "[itex]f \in C^1[/itex] at the point [itex](0,0)[/itex]".

It's true that [itex]f[/itex] is both continuous and differentiable at [itex](0,0)[/itex].

However, [itex]f[/itex] is NOT differentiable at [itex](x,0)[/itex] for [itex]x \neq 0[/itex], nor at [itex](0,y)[/itex] for [itex]y \neq 0[/itex]. Therefore if [itex]U[/itex] is an open set containing the origin, then [itex]f \not\in C^1(U)[/itex].

 

[tiny-tim]

Well the whole problem says "Show that [tex]f \notin C^1[/tex] at (0,0)."

ah! that's not what you said originally

So f is in C⁰ (the continuous functions), but not in C¹ (the continuously differentiable functions)

In my course "[tex]f \in C^1[/tex]" means that "[tex]f_x[/tex] and [tex]f_y[/tex] exist and are continuous".

So, I know that f(x, y) = |xy| is differentiable at (0,0). I want to prove that it does not belong to [tex]C^1[/tex], which is why I tried to show it's not continous. I'm very confused here

As jbunniii says, you need to show that f is not continuously differentiable in a neighbourhood of (0,0).

First step … what are the derivatives of f ? ​

 

[math2010]

ah! that's not what you said originally

So f is in C⁰ (the continuous functions), but not in C¹ (the continuously differentiable functions)


As jbunniii says, you need to show that f is not continuously differentiable in a neighbourhood of (0,0).

First step … what are the derivatives of f ? ​

Since the derivative of the absolute value function is the function [tex]\frac{x}{|x|}[/tex] (where the denominator isn't zero), I guess the derivatives of f(x,y)=|xy| are [tex]f_{x}(x,y)= f_y(x,y)= \frac{xy}{|xy|}[/tex].

So what does this tell us?

 

[tiny-tim]

Since the derivative of the absolute value function is the function [tex]\frac{x}{|x|}[/tex] (where the denominator isn't zero), I guess the derivatives of f(x,y)=|xy| are [tex]f_{x}(x,y)= f_y(x,y)= \frac{xy}{|xy|}[/tex].

No.

Differentiate without the ||, and then adjust it.

 

[math2010]

No.

Differentiate without the ||, and then adjust it.

without || it is:

So [tex]f_x (x,y) = y[/tex]

And I adjust it to [tex]\frac{y}{|xy|}[/tex].

And [tex]f_y (x,y) = x[/tex] so it is [tex]\frac{x}{|xy|}[/tex]. Is this correct?

 

[tiny-tim]

without || it is:

So [tex]f_x (x,y) = y[/tex]

And I adjust it to [tex]\frac{y}{|xy|}[/tex].

No, the magnitude will just be y, so you need to multiply by the sign of xy (or xy/|xy| or |xy|/xy).

 

[math2010]

No, the magnitude will just be y, so you need to multiply by the sign of xy (or xy/|xy| or |xy|/xy).

ah, you mean [tex]f_x (x,y)= \frac{y}{|y|}[/tex] and [tex]f_y(x,y)= \frac{x}{|x|}[/tex]?

 

[tiny-tim]

But they both have magnitude 1, and they don't involve the sign of xy.

 

[math2010]

But they both have magnitude 1, and they don't involve the sign of xy.

What do you mean?

 

[math2010]

I'm sorry, I don't really understand what you mean by saying "they don't involve the sign of xy". Do you mean it will be [tex]f_x(x,y) = y[/tex]?

 

[tiny-tim]

If it wasn't for the ||, fx(x,y) would be y.

The || will change the sign, but not the magnitude.

 

[math2010]

So how does this enable us to show [tex]f \notin C^1[/tex]?

 

[tiny-tim]

I think f is differentiable at (0,0), but not continuously differentiable.