complement, open, close question

**mathbeginner** · November 6th 2010, 01:52 PM

[QUOTE]Support f: $R^n-> R^m$ and A (subset) $R^m$ . Define a subset of $R^n$ the pre-image of the set A by $f"$ and denoted $\left(f^{-1}(A)\right)$ by

$\left(f^{-1}(A)\right)$ = { $x in R^n| f(x) in A$ }

Prove that $\left(f^{-1}(A)\right)^c$ = $\left(f^{-1}(A^c)\right)$ , where $X^c$ denotes the complement of X in $R^n$ .

Prove the $f:R^n ->R^m$ is continuous <=> for all open V (subset) $R^m$ , $\left(f^{-1}(V)\right)$ is open in $R^n$

Pls help

**mathbeginner** · November 6th 2010, 03:22 PM

I know that $f^{-1}( A) is mean f(x) =A$

for the first one that when I want to prove that $\left(f^{-1}(A)\right)^c$ = $\left(f^{-1}(A^c)\right)$
should I use this idea?

and the $A^c$ does it mean the thing that not in A?

**Plato** · November 6th 2010, 03:28 PM

If you expect to have your posts answered, you must learn to post in symbols? You can use LaTeX tags.
[tex] \left(f^{-1}(A)\right)^c[/tex] gives $\left(f^{-1}(A)\right)^c$

We cannot help on things we cannot read.

**mathbeginner** · November 6th 2010, 03:57 PM

thanks for your remind. I am still thinking how can I post them in symbols.

**mathbeginner** · November 8th 2010, 12:27 PM

I know how to prove that since $f:R^n ->R^m$ is continuous => for all open V (subset) $R^m$ , $\left(f^{-1}(V)\right)$ is open in $R^n$
but I have no idea how can I show the other way around.

**Plato** · November 8th 2010, 12:30 PM

Originally Posted by mathbeginner

I know how to prove that since $f:R^n ->R^m$ is continuous => for all open V (subset) $R^m$ , $\left(f^{-1}(V)\right)$ is open in $R^n$
but I have no idea how can I show the other way around.

What does "other way around" mean?

**teachermath** · November 8th 2010, 12:33 PM

did you tried by settings open balls?? note that $B(f(x_{0}),\epsilon)$ is an open subset of $R^{m}$ (write up the continuity's definition in orden to understand mostly of what I am saying.)

**mathbeginner** · November 8th 2010, 04:43 PM

the other way around mean $f:R^n ->R^m$ is continuous <= for all open V (subset) $R^m$ , $\left(f^{-1}(V)\right)$ is open in $R^n$

**mathbeginner** · November 8th 2010, 05:05 PM

Originally Posted by teachermath

did you tried by settings open balls?? note that $B(f(x_{0}),\epsilon)$ is an open subset of $R^{m}$ (write up the continuity's definition in orden to understand mostly of what I am saying.)

you are saying since the function is a open set, so there exist $B(f(x_{0}),\epsilon)$ in $R^{m}$ then use the open ball to prove that this is continuous?

**Plato** · November 8th 2010, 05:16 PM

Originally Posted by mathbeginner

the other way around mean $f:R^n ->R^m$ is continuous <= for all open V (subset) $R^m$ , $\left(f^{-1}(V)\right)$ is open in $R^n$

That reply makes no sense whatsoever.
By definition if $f$ is continuous and $O$ is open then $f^{-1}(O)$ is open.

I thought you meant by the ‘other way around’ the following:
$f$ is continuous and $M$ is closed then $f^{-1}(M)$ is close.

That is a theorem. So what do you mean?

**teachermath** · November 8th 2010, 05:52 PM

Originally Posted by mathbeginner

you are saying since the function is a open set, so there exist $B(f(x_{0}),\epsilon)$ in $R^{m}$ then use the open ball to prove that this is continuous?

exactly my friend.

this demostration is strong enought to remain writable even in topological settings without assumptions about metric stuff.

**mathbeginner** · November 8th 2010, 05:59 PM

Originally Posted by Plato

That reply makes no sense whatsoever.
By definition if $f$ is continuous and $O$ is open then $f^{-1}(O)$ is open.

I thought you meant by the ‘other way around’ the following:
$f$ is continuous and $M$ is closed then $f^{-1}(M)$ is close.

That is a theorem. So what do you mean?

the equation is $f:R^n ->R^m$ is continuous <=> for all open V (subset) $R^m$ , $\left(f^{-1}(V)\right)$ is open in $R^n$ .

since it is <=> so after proving => then I have to prove <=
$f:R^n ->R^m$ is continuous <= for all open V (subset) $R^m$ , $\left(f^{-1}(V)\right)$ is open in $R^n$ .
I did prove => but I have no idea how to prove <=

**Drexel28** · November 8th 2010, 10:11 PM

Originally Posted by mathbeginner

the equation is $f:R^n ->R^m$ is continuous <=> for all open V (subset) $R^m$ , $\left(f^{-1}(V)\right)$ is open in $R^n$ .

since it is <=> so after proving => then I have to prove <=
$f:R^n ->R^m$ is continuous <= for all open V (subset) $R^m$ , $\left(f^{-1}(V)\right)$ is open in $R^n$ .
I did prove => but I have no idea how to prove <=

You need merely note that if the preimage of open sets is open then for each $B_{\varepsilon}(f(x))$ you have that $f^{-1}\left(B_{\varepsilon}(f(x))\right)$ is open and so there is some $B_{\delta}(x)\subseteq f^{-1}\left(B_{\varepsilon}(f(x))\right)$ and so...

**teachermath** · November 9th 2010, 06:38 AM

Hi again ^^

I think here a more metric proof is needed, because of we are in $\mathbb{R}^{m}$ so I prefer to say that:

Let $x_{0}\in\mathbb{R}^{n}$ be fixed and let $\epsilon$ be a positive number, we have that $B(f(x_{0}),\epsilon)$ is an open set of $\mathbb{R}^{m}$ , so by hypothesis $f^{-1}(B(f(x_{0}),\epsilon))$ should be an open set in $\mathbb{R}^{n}$ .
Now we take $x\inf^{-1}(B(f(x_{0}),\epsilon))$ , which means that $f(x)\in B(f(x_{0}),\epsilon)$ and therefore $|f(x)-f(x_{0})|<\epsilon$ .
On the other hand you'll se that there is a positive number $\delta$ such that $|x-x_{0}|<\delta$ (look at the set where $x$ lies).
Finally we see continuity of $f$ at $x$ .

Thread: complement, open, close question

LinkBack

Thread Tools

Display

complement, open, close question

Similar Math Help Forum Discussions

unitary,close to it seflf defintion question

Open - Close Function.

numerical analisys close numbers question..

complement question..

Metric Space , Close and open

Search Tags