Showing a set is closed with the definition of continuity

radou
Homework Helper
Messages
3,148
Reaction score
8

Homework Statement



I need to show that the subset of R^2 given with A = {(x, y) : xy = 1} is closed by using the "closed set formulation" of continuity.

The Attempt at a Solution



So, if a function f : X --> Y is continuous, then for every closed subset B of Y, its preimage f^-1(B) is closed.

The set A can be written as A = {(x, 1/x) : x is in R\{0}}. Since f(x) = 1/x is a continuous function on R\{0}, and since any subset of R containing only one element is closed, f^-1{a} = {1/a} is a closed subset of R, for every a in R\{0}. Any ordered pair of the form (a, 1/a) can be written as a cartesian product of the sets {a} x {1/a}, which is closed, since the sets are closed. But an infinite union of such sets need not be closed. I feel it's warm around here, but I just can't figure it out.

Perhaps I'm not on the right track. Any help appreciated, as always.
 
Physics news on Phys.org
...no thoughts?
 
One major difficulty with your proof is that your function is NOT continuous on any set including x= 0! And there is nothing in your initial statement that says you can exclude x= 0.

I would be inclined, instead, to use the function f(x, y)= xy. That is continuous for all (x, y) in R2.
 
HallsofIvy said:
I would be inclined, instead, to use the function f(x, y)= xy. That is continuous for all (x, y) in R2.

Thanks a lot. In this case, the proof is almost trivial - since {1} is a closed set in R, its preimage must be closed, and it is exactly the set we're looking at.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top