The idea is exactly the same for any k:
Consider f: {1, 2, .., k, ..., n} -> {1, 2, .., k, ..., n}
f(i) = i for all 1 ≤ i ≤ k-1
= i + 1 for k ≤ i ≤ n-1
= k for i = n
For the above function, there are exactly 2^k invariant sets.
oh ok. i had tried this but i cudnt get the 4 invariant sets for k=2. i got the null set, the whole set itself and the set {1}. which is the 4th one?
On Fri, Jun 15, 2012 at 12:38 PM, Amit Goyal [via Discussion forum] <[hidden email]> wrote:
The idea is exactly the same for any k:
Consider f: {1, 2, .., k, ..., n} -> {1, 2, .., k, ..., n}
f(i) = i for all 1 ≤ i ≤ k-1
= i + 1 for k ≤ i ≤ n-1
= k for i = n
For the above function, there are exactly 2^k invariant sets.
If you reply to this email, your message will be added to the discussion below:
we had to prove that out of all one-one and onto functions, there existed some function that satisfied the condition. now u can see that for this function the condition will be satisfied.
in part a, v had 2 find any one-one and onto function that had no invariant subset except for the null set and S itself. so v try 2 define the images of 1,2,..n in such a way that whenever v pick some (not all) elements from them, the image of at least one of them isnt included.