# Difference between revisions of "Separately continuous not implies continuous"

(Created page with "==Statement== ===For a function of two variables at a point=== It is possible to have the following: a function <math>f</math> of two variables <math>x,y</math> that is [[se...") |
(→Proof) |
||

Line 15: | Line 15: | ||

==Proof== | ==Proof== | ||

+ | |||

+ | ===Example=== | ||

We give a single example that illustrates both versions of the statement. | We give a single example that illustrates both versions of the statement. | ||

Line 22: | Line 24: | ||

<math>f(x,y) := \left\lbrace \begin{array}{rl} \frac{xy}{x^2 + y^2}, & (x,y) \ne (0,0) \\ 0, & (x,y) = (0,0) \\\end{array}\right.</math> | <math>f(x,y) := \left\lbrace \begin{array}{rl} \frac{xy}{x^2 + y^2}, & (x,y) \ne (0,0) \\ 0, & (x,y) = (0,0) \\\end{array}\right.</math> | ||

− | It's clear that <math>f</math> is continuous, as well as separately continuous, at all points other than <math>(0,0)</math>. At the point <math>(0,0)</math>, we calculate the limits along the <math>x</math>- | + | It's clear that <math>f</math> is continuous, as well as separately continuous, at all points other than <math>(0,0)</math>. At the point <math>(0,0)</math>, we calculate the limits along the <math>x</math>-direction and <math>y</math>-direction: |

* The limit along the <math>x</math>-direction is <math>\lim_{x \to 0} \frac{(x)(0)}{x^2 + 0^2} = \lim_{x \to 0} 0 = 0</math>. This coincides with the value <math>f(0,0)</math>. | * The limit along the <math>x</math>-direction is <math>\lim_{x \to 0} \frac{(x)(0)}{x^2 + 0^2} = \lim_{x \to 0} 0 = 0</math>. This coincides with the value <math>f(0,0)</math>. | ||

Line 34: | Line 36: | ||

Note that if the function were indeed continuous at <math>(0,0)</math>, the limit along every direction would equal the value at the point, so this shows that the function is not continuous at <math>(0,0)</math>. | Note that if the function were indeed continuous at <math>(0,0)</math>, the limit along every direction would equal the value at the point, so this shows that the function is not continuous at <math>(0,0)</math>. | ||

+ | |||

+ | ===Idea behind example=== | ||

+ | |||

+ | The secret behind the example can be better understood using polar coordinates, though this is not necessary to understand the example itself. In polar coordinates, we can rewrite <math>f(x,y) = g(r,\theta)</math> where: | ||

+ | |||

+ | <math>g(r,\theta) = \left \lbrace \begin{array}{rl} \frac{1}{2}\sin(2\theta), & r \ne 0\\ 0, & r = 0 \\\end{array}\right.</math> | ||

+ | |||

+ | For <math>\theta</math> a multiple of <math>\pi/2</math> (which covers both the <math>x</math>- and the <math>y</math>-directions, both positive and negative), <math>g(r,\theta) = 0</math> identically. Hence, the limit <math>\lim_{r \to 0} g(r,\theta)</math> is zero. For other values of <math>\theta</math>, on the other hand, <math>g(r,\theta) = \frac{1}{2}\sin(2\theta)</math> identically along the line and the limit <math>\lim_{r \to 0} g(r,\theta)</math> is also the number <math>\frac{1}{2}\sin(2\theta)</math>, which is nonzero. Thus, the function is not continuous along any slanting direction, and hence is not a continuous function at the origin (which in polar coordinates we'd call the pole). |

## Revision as of 18:46, 13 April 2012

## Contents

## Statement

### For a function of two variables at a point

It is possible to have the following: a function of two variables that is separately continuous in both variables at the point , but is not a continuous function at .

### For a function of two variables overall

It is possible to have the following: a function of two variables that is separately continuous in both variables everywhere on , but is not continuous everywhere on (i.e., there exist points where it is not continuous.

## Related facts

- Existence of partial derivatives not implies differentiable
- Continuous along every linear direction not implies continuous

## Proof

### Example

We give a single example that illustrates both versions of the statement.

Consider the function:

It's clear that is continuous, as well as separately continuous, at all points other than . At the point , we calculate the limits along the -direction and -direction:

- The limit along the -direction is . This coincides with the value .
- The limit along the -direction is . This coincides with the value .

Thus, the function is *separately continuous* in both and at the point . Since we already established that it's separately continuous everywhere else, we obtain that it is separately continuous on all of .

On the other hand, is not continuous at . To see this, consider the limit along the line . Setting , we get that the limit is:

Note that if the function were indeed continuous at , the limit along every direction would equal the value at the point, so this shows that the function is not continuous at .

### Idea behind example

The secret behind the example can be better understood using polar coordinates, though this is not necessary to understand the example itself. In polar coordinates, we can rewrite where:

For a multiple of (which covers both the - and the -directions, both positive and negative), identically. Hence, the limit is zero. For other values of , on the other hand, identically along the line and the limit is also the number , which is nonzero. Thus, the function is not continuous along any slanting direction, and hence is not a continuous function at the origin (which in polar coordinates we'd call the pole).