Results 1 to 2 of 2

Math Help - [SOLVED] nonempty set, injective function

  1. #1
    Newbie
    Joined
    Feb 2009
    Posts
    5

    [SOLVED] nonempty set, injective function

    Prove or disprove: For every nonempty set A, there exists an injective function f: A -> P(A).
    So this is saying that for this function f, every element of A has an image in the power set of A, right? But not every element of the power set has to be defined by f(A), right?
    I think this could be proven but honestly i cannot think of a way to go about doing it. Please help and if you have a strategy please explain where you got it/how you came up with it so I can better understand the problem. Thanks so much!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Grandad's Avatar
    Joined
    Dec 2008
    From
    South Coast of England
    Posts
    2,570
    Thanks
    1

    Injective function and power set

    Hello deathbyproofs
    Quote Originally Posted by deathbyproofs View Post
    Prove or disprove: For every nonempty set A, there exists an injective function f: A -> P(A).
    So this is saying that for this function f, every element of A has an image in the power set of A, right? But not every element of the power set has to be defined by f(A), right?
    Yes, you are quite right. So if we're going to prove the statement, all we need to do is to find a function f that does this.

    Well, the power set P(A) is the set of all the subsets of A. So, for any x \in A, \{x\} \in P(A). Therefore if we define f as f(x) = \{x\}, \forall x \in A, that would do it.

    Grandad
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Injective function f: Z_p x Z_p -> Z_{p^2}
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: July 31st 2011, 09:13 AM
  2. Injective Function
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: June 3rd 2010, 04:27 AM
  3. [SOLVED] proving g of f of x is injective/surjective
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: August 11th 2009, 03:31 AM
  4. Injective Function
    Posted in the Pre-Calculus Forum
    Replies: 1
    Last Post: December 1st 2008, 12:52 PM
  5. injective function
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: November 20th 2008, 01:00 AM

Search Tags


/mathhelpforum @mathhelpforum