Results 1 to 3 of 3

Math Help - Kernel

  1. #1
    Junior Member
    Joined
    Nov 2010
    Posts
    37

    Kernel

    Let G denote the set G = {f : R → R | f is infinitely differentiable at every point x ∈ R}. (R as in the reals)
    (a) Prove that G is a group under addition. Is G a group under multiplication? Why or why not?
    (b) Consider the function ϕ : G → G defined by ϕ(f) = f′
    Prove that ϕ is a homomorphism with respect to the group operation of addition. What is the kernel of ϕ?
    (c) Consider the function ψ : G → G defined by ψ(f) = f′′ − f. Prove that ψ is a homomorphism with respect to the group operation of addition. What is the kernel of ψ?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Dec 2010
    Posts
    470
    This question is mostly about understanding definitions.

    For (a) prove that G satisfies all the group axioms under addition. Let f, g, h be infinitely differentiable at every point x in R
    Closure : f + g is infinitely differentiable at every point x in R
    Associativity : (f + g) + h = f + (g + h)
    Identity : Find a function e in G such that for all functions f in G such that f + e = e + f = f
    Inverse : For all f in G find an inverse ~f in G such that f + ~f = e

    Is G a group under multiplication? Well, is f^{-1} always infinitely differentiable when f is infinitely differentiable? Try f(x) = x

    For (b) and (c)

    The kernel of a homomophism are all elements of the domain group that map to the zero element, e, of the codomain.

    What is the zero element of the codomain? This is e you found for G in the group axioms. In this problem e is the zero function zero(x) = 0.

    So for (b), the problem is asking for which functions f in G does phi(f) = zero, i.e. which functions has f'(x) = 0 for all x in R?

    Similar for (c), the problem is asking for which functions f in G does psi(f) = zero, i.e. which functions has f''(x) - f(x) = 0 for all x in R?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,527
    Thanks
    773
    The forum rules say that you are expected to make an effort. This can be as simple as writing what the definition of group is applied to this situation. You can also describe problems you are having in more detail.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. kernel
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: May 31st 2010, 05:19 AM
  2. Kernel
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: May 8th 2010, 04:30 AM
  3. Kernel
    Posted in the Differential Geometry Forum
    Replies: 0
    Last Post: March 5th 2010, 02:15 AM
  4. Kernel
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 19th 2009, 05:38 AM
  5. kernel
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: August 3rd 2008, 08:57 AM

Search Tags


/mathhelpforum @mathhelpforum