What are the necessary conditions for a closed subset in metric spaces?

  • Thread starter Thread starter Ted123
  • Start date Start date
  • Tags Tags
    Closed Set
Click For Summary
SUMMARY

The discussion focuses on proving that the graphs of continuous functions are closed subsets in metric spaces. Specifically, it establishes that the graph of a continuous function f: ℝ → ℝ is a closed subset of ℝ² by utilizing the preimage of a continuous function F(x,y) = y - f(x). Furthermore, it extends this concept to show that the set {(x, f(x), g(x)) : x ∈ ℝ} is a closed subset of ℝ³, represented as the preimage of the function defined by the equations y - f(x) = 0 and z - g(x) = 0.

PREREQUISITES
  • Understanding of metric spaces and closed sets
  • Knowledge of continuous functions and their properties
  • Familiarity with preimages in topology
  • Basic proficiency in mathematical notation and functions
NEXT STEPS
  • Study the properties of continuous functions in metric spaces
  • Learn about the concept of preimages and their applications in topology
  • Explore the definitions and examples of closed sets in higher dimensions
  • Investigate the implications of the graph theorem for multivariable functions
USEFUL FOR

Mathematics students, particularly those studying topology or real analysis, as well as educators seeking to deepen their understanding of the properties of continuous functions and closed sets in metric spaces.

Ted123
Messages
428
Reaction score
0

Homework Statement



If f:\mathbb{R}\to\mathbb{R} and g:\mathbb{R}\to\mathbb{R} are continuous functions show that:

(a) the graph of f, \{(x,f(x)) : x\in\mathbb{R} \} is a closed subset of \mathbb{R}^2.

(b) \{ (x,f(x),g(x)) : x\in \mathbb{R} \} is a closed subset of \mathbb{R}^3.

The Attempt at a Solution



I've done (a): the graph can be written as \{ (x,y) \in \mathbb{R}^2: y-f(x) = 0 \} so we can use preimages:

Considering the function F : \mathbb{R}^2 \to \mathbb{R} defined F(x,y) = y-f(x); F is continuous and the graph of f is the preimage F^*(0) and since \{0\} is closed so is the graph.

(b) must be similar but I can't see how to write the set in a form where I can use preimages immediately.

The set can be written as:

\{ (x,y,z)\in\mathbb{R}^3 : y = f(x) , z = g(x) \}

i.e. \{ (x,y,z)\in\mathbb{R}^3 : y - f(x) = g(x) - z = 0 \}
 
Physics news on Phys.org
Hint: What must be the values of a,b\in\mathbb{R} so that a^2+b^2=0?
 

Similar threads

Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
1
Views
1K
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
4
Views
2K
Replies
5
Views
2K
  • · Replies 51 ·
2
Replies
51
Views
5K
  • · Replies 1 ·
Replies
1
Views
1K