Challenging Compactness/Continuity Problem

  • Thread starter Thread starter SpaceTag
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the Compactness/Continuity Problem for functions f: R^2 -> R, which must satisfy continuity in both variables and compactness of the image of compact subsets. A key example provided is f(x,y) = (xy)/(x^4+y^4) with f(0,0) = 0, illustrating that while the function is continuous along lines of constant x and y, it is discontinuous at the origin. This example demonstrates the violation of the compactness criterion, as f(K) is unbounded near (0,0) for compact sets K that include neighborhoods of the origin.

PREREQUISITES
  • Understanding of continuity in multivariable calculus
  • Knowledge of compact sets in topology
  • Familiarity with the properties of functions defined on R^2
  • Experience with examples of discontinuous functions
NEXT STEPS
  • Study the properties of continuous functions on compact sets
  • Explore the implications of the Heine-Borel theorem in R^2
  • Investigate counterexamples to continuity in multivariable functions
  • Learn about the topology of R^2 and its impact on function behavior
USEFUL FOR

Mathematicians, students of advanced calculus, and anyone interested in the properties of functions in multivariable analysis will benefit from this discussion.

SpaceTag
Messages
12
Reaction score
0
Can anyone provide any ideas or hints for this problem?

Let f:R^2 -> R satisfy the following properties:

- For each fixed x, the function y -> f(x,y) is continuous.

- For each fixed y, the function x -> f(x,y) is continuous.

- If K is a compact subset of R^2, then f(K) is compact.

Prove that f is continuous.
 
Physics news on Phys.org
That is challenging. I've given it some thought and I don't have the answer. But I'll give you a way to start thinking about it. Start trying to find examples of functions that satisfy the first two criteria but which are not continuous and figure out how they violate the third criterion. I'll get you started. f(x,y)=(xy)/(x^4+y^4) and define f(0,0)=0. That's continuous along lines of constant x and y, but f is discontinuous at (0,0) and f(K) for K a compact set containing an open neighborhood of the origin is not compact. Because f(x,y) is unbounded near (0,0).
 

Similar threads

  • · Replies 20 ·
Replies
20
Views
3K
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 40 ·
2
Replies
40
Views
5K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
23
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K