Results 1 to 3 of 3

Math Help - topology continuity

  1. #1
    Newbie
    Joined
    Feb 2009
    Posts
    3

    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
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    Posts
    394
    Quote Originally Posted by tomboi03 View Post
    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 f:X \rightarrow Y. Then the following are equivalent.
    (i) f is continuous.
    (ii) For each  x \in X and each neighborhood V of f(x), there is a neighborhood U of x such that f(U) \subset V.

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

    Now, for any neighborhood W of h(x) = F(x \times y_0), we have an open set U=p_X(V) containing x such that 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.
    Last edited by aliceinwonderland; February 24th 2009 at 08:09 PM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Banned
    Joined
    Feb 2009
    Posts
    18
    Quote Originally Posted by tomboi03 View Post
    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
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] continuity of a function; uniform topology on R^\omega
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: January 4th 2012, 06:03 AM
  2. Continuity, Topology
    Posted in the Differential Geometry Forum
    Replies: 5
    Last Post: May 11th 2010, 06:10 PM
  3. topology epsilon-delta definition of continuity
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: February 23rd 2009, 03:10 AM
  4. topology, continuity
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: January 15th 2009, 03:25 PM
  5. Replies: 2
    Last Post: September 2nd 2007, 06:12 PM

Search Tags


/mathhelpforum @mathhelpforum