0
$\begingroup$

Let $f:X\to X'$ and $g:Y\to Y'$ be continuous mappings. We'll define the decart product $Z:=X\times Y$ and metric $d_Z(z_1, z_2):=d_X(x_1,x_2)+d_Y(y_1,y_2)$ where $z_1=(x_1,y_1)$ and $z_2=(x_2,y_2)$.

We'll prove that $(f,g):X\times Y\to X'\times Y'$ is continuous.

Proof: $(f,g):X\times Y\to X'\times Y'$ is continuous at $(x_0,y_0)\in X\times Y$ if $\quad\forall \varepsilon>0$ $\exists \delta>0$ such that for any $(x,y)\in X\times Y$ and $d_Z((x,y),(x_0,y_0))<\delta$ implies that $$d_{Z'}((f(x),g(y)),(f(x_0),g(y_0)))<\varepsilon.$$

  1. So $f$ is continuous at $x_0\in X$. For given $\varepsilon>0$ $\exists \delta_1>0$ such that for any $x\in X$ and $d_X(x,x_0)<\delta_1$ implies that $d_{X'}(f(x),f(x_0))<\varepsilon$.

  2. So $g$ is continuous at $y_0\in Y$. For given $\varepsilon>0$ $\exists \delta_2>0$ such that for any $y\in Y$ and $d_Y(y,y_0)<\delta_2$ implies that $d_{Y'}(f(y),f(y_0))<\varepsilon$.

How from above conclusions I can get what I need?

$\endgroup$
  • $\begingroup$ Does your product derive its name from René Descartes? If so, some re-spelling may be in order... $\endgroup$ – pjs36 Sep 20 '15 at 19:31
  • $\begingroup$ @pjs36, Sorry please! I edited. $\endgroup$ – ZFR Sep 20 '15 at 19:33
1
$\begingroup$

Take delta= min{delta1, delta2 and in both 1 and 2 take epsilon/2 instead of epsilon, because as f and g are continuous so for any positive no. ,you will get a delta ,in particular we are taking that positive number to be epsilon/2. now combine both 1 and 2 you will get your solution.

$\endgroup$
  • $\begingroup$ Can you explain why $\delta=2\min\{\delta_1, \delta_2\}$? $\endgroup$ – ZFR Sep 20 '15 at 19:41
  • 1
    $\begingroup$ Actually delta = min{delta1 , delta2 will work and I choose such delta ,so that i can combine both the statements 1 and 2. $\endgroup$ – user268307 Sep 20 '15 at 19:45
  • $\begingroup$ At first you wrote that we can take $\delta=2\min\{\delta_1,\delta_2\}$. But I think thas this delta does not work. If I am not true can you explain? $\endgroup$ – ZFR Sep 20 '15 at 20:04
  • 1
    $\begingroup$ yes, delta=2 min{ delta1 ,delta 2 won't work. That was a mistake.That's why I had edited my answer. $\endgroup$ – user268307 Sep 20 '15 at 20:07
  • 1
    $\begingroup$ My pleasure @RFZ :) $\endgroup$ – user268307 Sep 20 '15 at 20:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.