Compact-valued range doesnot imply compact graph

  • Context: Graduate 
  • Thread starter Thread starter CHatUPenn
  • Start date Start date
  • Tags Tags
    Compact Graph Range
Click For Summary

Discussion Overview

The discussion revolves around the relationship between compact-valued correspondences and the compactness of their graphs. Participants explore examples and conditions under which a correspondence can have a compact range while its graph does not exhibit compactness, focusing on theoretical implications and examples.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested

Main Points Raised

  • One participant requests an example of a correspondence with a compact range but a non-compact graph, indicating a need for clarification on this concept.
  • Another participant suggests that the function y(x) = sin x has a compact image but notes that its graph is unbounded, implying it is not compact.
  • A third participant acknowledges the question's complexity and suggests that if the domain is compact, finding a continuous function with a non-compact graph may be challenging, recommending the exploration of discontinuous functions like step functions.
  • There is a mention of differing backgrounds among participants, with one indicating a focus on economics rather than physics, which may influence their approach to the problem.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the existence of such examples, and multiple viewpoints regarding the nature of the functions and their graphs remain present.

Contextual Notes

Some assumptions about the nature of the spaces involved (e.g., Hausdorff conditions) are not fully explored, and there is an implicit dependence on the definitions of compactness and continuity that may vary among participants.

CHatUPenn
Messages
7
Reaction score
0
y is a correspondence of x. X is compact.
Can somebody give me an example where y is compacted valued, but the graph(x,y) is not compact.

A graph will be highly appreciated.
 
Last edited:
Physics news on Phys.org
Maybe I'm misunderstanding your question but it seems y(x) = sin x has image [-1,1] yet graph(y) is not compact because unbounded..
 
Quasar 987:
I just edited my question. Assuming X is compact,...
The statement is true even though the domain is compact.
I can tell you are doing physics. I am doing economics, sin function will never cross my mind.
Cheers
 
Let me see if I understand what you're asking correctly. You want a function f:X->Y whose domain and range are compact, but whose graph isn't? If this is the case, then (unless you look at non-Hausdorff spaces) you won't be very lucky finding one that is continuous, so try to find that isn't continuous. (Another hint: Try a step function.)
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
7K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K