1. ## topology continuity

Let F: X x Y -> Z. We say that F is continuous in each variable separately if for each y0 in Y, the map h: X-> Z defined by h(X)= F( x x y0) is continuous, and for each x0 in X, the map k: Y-> Z defined by k(y) =F(x0 x y) is continuous. Show that if F is continuous, then F is continuous in each variable separately.

I'm not sure how to do this....

if you guys would help me out that would be amazing!
Thank You

2. Originally Posted by tomboi03
Let F: X x Y -> Z. We say that F is continuous in each variable separately if for each y0 in Y, the map h: X-> Z defined by h(X)= F( x x y0) is continuous, and for each x0 in X, the map k: Y-> Z defined by k(y) =F(x0 x y) is continuous. Show that if F is continuous, then F is continuous in each variable separately.
Lemma 1. Let X, Y be topological spaces; let $\displaystyle f:X \rightarrow Y$. Then the following are equivalent.
(i) f is continuous.
(ii) For each $\displaystyle x \in X$ and each neighborhood V of $\displaystyle f(x)$, there is a neighborhood U of x such that $\displaystyle f(U) \subset V$.

Let W be a neighborhood of $\displaystyle h(x)=F(x \times y_0)$ for any $\displaystyle x \in X$ and a fixed point $\displaystyle y_0 \in Y$. Since F is continuous, there exists a neighborhood V of $\displaystyle x \times y_0$ such that $\displaystyle F(V) \subset W$ by lemma 1. Since $\displaystyle V$ is an open set containing $\displaystyle x \times y_0$ in $\displaystyle X \times Y$, there exists an open set U in X containing x such that $\displaystyle U=p_X(V)$, where $\displaystyle p_X:X \times Y \rightarrow X$ is an open projection map.

Now, for any neighborhood W of $\displaystyle h(x) = F(x \times y_0)$, we have an open set $\displaystyle U=p_X(V)$ containing x such that $\displaystyle h(U)=F(U \times y_0) \subset F(V) \subset W$.
Thus, h is a continous by lemma 1.

It is pretty similar to show that k is continuous.

3. Originally Posted by tomboi03
Let F: X x Y -> Z. We say that F is continuous in each variable separately if for each y0 in Y, the map h: X-> Z defined by h(X)= F( x x y0) is continuous, and for each x0 in X, the map k: Y-> Z defined by k(y) =F(x0 x y) is continuous. Show that if F is continuous, then F is continuous in each variable separately.

I'm not sure how to do this....

if you guys would help me out that would be amazing!
Thank You
Suppose F(x,y) is continuous at (a,b) then we must prove h(x) is continuous at a and k(y) is continuous at b.

If F(x,y) is continuous at (a,b) then given ε>0 there exists δ>0,such that

|F(x,y)-F(a,b)|<ε ,for all x,y satisfying |x-a|<δ,|y-b|<δ.

Since |b-b|=0<δ. By putting y=b in the above inequalities we have:

|F(x,b)-F(a,b)|<ε ,for all x satisfying |x-a|<δ.

But by definition F(x,b)=h(x),and F(a,b)=h(a), so the above inequalities become:

|h(x)-h(a)|<ε,for all x satisfying |x-a|<δ.

Hence h(x) is continuous at a.

In exactly the same way we prove k(y) is continuous at b.

The converse of the above theorem is not necessarily true