Injectivity and Surjectivity of Functions with Lists and Sets

AI Thread Summary
The discussion focuses on determining the injectivity and surjectivity of two functions: one mapping natural numbers to lists and another mapping lists to their corresponding sets. For the first function, the range is interpreted as all possible lists, leading to the conclusion that it is both injective and surjective. The second function maps a list to a set of its elements, raising questions about whether different lists can yield the same set, which would indicate a lack of injectivity. Additionally, the discussion considers whether all sets produced by the function are covered, which would confirm surjectivity. The overall analysis emphasizes the importance of understanding the definitions and implications of injective and surjective functions in this context.
arnold28
Messages
14
Reaction score
0

Homework Statement


Are the given functions injective? Surjective?

a) seq: N -> Lists[N]

b) f: Lists[A] -> P(A), f(x)=(<x1,x2,...,xn>)={x1,x2,...,xn}

Homework Equations


The Attempt at a Solution



a) Ok so the domain contains a sequence of natural numbers.
and the range contains a list? What is that list? Is it all lists possible? If it means all lists possible, then a) is injective and surjective?
 
Physics news on Phys.org
I think the range is supposed to be the powerset of A, f will map a list to a set with the same values in it. (you might have told as a bit more about the notation used here)

Can you think of two lists that produce the same set? if so, it's not an injection

Are all the sets produced by letting f act on some list? If so, it's a surjection.
 
I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...
Back
Top