Results 1 to 3 of 3

Math Help - Topological Groups

  1. #1
    Junior Member
    Joined
    Oct 2010
    Posts
    49

    Topological Groups

    Can anybody help me with this question

    Given topological groups X and Y and homomorphism f:X->Y, verify the following are equivalent:
    (a) f is an open map
    (b) for each neighborhood N of e(x), f(N) is a neighborhood of e(y)
    (c) for each open neighborhood N of e(x), f(N) is a neighborhood of e(y)
    (d) for each open neighborhood N of e(x), f(N) is an open neighborhood of e(y)

    I already know that f is continuous which implies f is continuous at the identity e(x) of x
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by Turloughmack View Post
    Can anybody help me with this question

    Given topological groups X and Y and homomorphism f:X->Y, verify the following are equivalent:
    (a) f is an open map
    (b) for each neighborhood N of e(x), f(N) is a neighborhood of e(y)
    (c) for each open neighborhood N of e(x), f(N) is a neighborhood of e(y)
    (d) for each open neighborhood N of e(x), f(N) is an open neighborhood of e(y)

    I already know that f is continuous which implies f is continuous at the identity e(x) of x
    I helped you with the other one. Any ideas for this one?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Oct 2010
    Posts
    49
    (a) Well I know that to show f is an open map I need something like

    For all G a subset of X , f(G) is open in Y.

    (b) the identity e(x) is an element of G which is a subset of N. So f(e(x)) = e(y) which is an element of open f(G). This is however a subset of f(N) so it makes that f(N) is a neighborhood of e(y).

    (c) I think this is implied from the previous answer but not sure how I would do it, maybe by finding an open neighborhood of e(x)?

    (d) To solve this I'd have to prove that f(N) is an open neighborhood which would be implied form the previous answer.

    Am I going about the right way to solve these 4 questions?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. About minimal normal groups and subnormal groups
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: October 20th 2011, 01:53 PM
  2. Topological Groups
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: November 15th 2010, 03:53 AM
  3. Quotient Groups - Infinite Groups, finite orders
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: August 11th 2010, 07:07 AM
  4. free groups, finitely generated groups
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: May 23rd 2009, 03:31 AM
  5. Order of groups involving conjugates and abelian groups
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: February 5th 2009, 08:55 PM

Search Tags


/mathhelpforum @mathhelpforum