Is the Characteristic Function Continuous in a Given Metric Space?

Click For Summary
SUMMARY

The discussion centers on the continuity of the characteristic function x_A of a subset A in a metric space (X, d). It establishes that x_A is continuous at a point x in X if and only if there exists a neighborhood V in V_d(x) that is a subset of both A and the complement of A (X\A). The participants explore the implications of this condition, particularly focusing on the challenges of identifying such a neighborhood V, given that it cannot be empty.

PREREQUISITES
  • Understanding of metric spaces and their properties
  • Familiarity with characteristic functions and their definitions
  • Knowledge of closed sets and their preimages in real analysis
  • Basic concepts of continuity in the context of functions
NEXT STEPS
  • Study the properties of characteristic functions in metric spaces
  • Learn about the relationship between neighborhoods and continuity
  • Explore examples of continuous functions in metric spaces
  • Investigate the implications of closed sets and their preimages in real analysis
USEFUL FOR

Mathematics students, particularly those studying real analysis or topology, as well as educators seeking to clarify concepts related to continuity in metric spaces.

Carl140
Messages
49
Reaction score
0

Homework Statement



Let (X,d) be a metric space, A subset of X, x_A: X->R the characteristic
function of A. (R is the set of all real numbers)

Let V_d(x) denote the set of neighbourhoods of x with respect the metric d.
Prove that x_A is continuous in x (x in X) if and only if there
exists an element V in V_d(x) such that V is a subset of A and V is a
subset of X\A.




The Attempt at a Solution



OK, so assume x_A is continuous then for each closed subset of R
the preimage of this closed subset under x_A must be closed.
Take V= {0} then V is closed so (x_A)^(-1) = { y in X: x_A(y) = 0} = X\A.

But I don't see how this helps..I don't know hwo to find such V in V_d(x).
 
Physics news on Phys.org
My work:
So assume it is continuous at a point c.
Then put e=1/2 then there exists delta > 0 such that if d(x,c)< delta
then |x_A(x) - x_A(c)|< 1/2.
So we have 2 cases: x and c in A or x,c in X\A.
Then I don't know what to take as V..
 
Am I reading this right? V is a subset of both A and X\A? This is only possible if V is empty, and the empty set is certainly not a neighborhood of anything.
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
Replies
23
Views
4K
Replies
20
Views
5K
  • · Replies 27 ·
Replies
27
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
Replies
2
Views
2K