3
$\begingroup$

Let $E$ be an infinite set and $f:E\rightarrow E$. Then there exists a subset $S$ of $E$ such that $\emptyset\neq S\neq E$ and $f(S)\subset S$.

This seems easy, but I don't have an idea. A hint would be nice.

  • 5
    Hint: Let $a$ be in the set. Look at the set that has the objects $a$, $f(a)$, $f(f(a))$, and so on. If things close up you have a finite (and so proper) subset. If not, then everything is OK too.2011-05-19
  • 1
    @Stefan: I didn't intend to be scolding; it's less my issue that the issue many seem to have here: posting questions in the "imperative" or simply stating a theorem with as though copied from a text...Some get pretty brutal with their responses. At any rate, I'll delete my comment(s)...this one after you've had a chance to read it. No offense intended.2011-05-19
  • 0
    @Amy: In that case, I am sorry for getting your post wrong. I'm sometimes a little touchy when I feel I'm being lectured about something I already know. So hopefully no bad feelings.2011-05-20
  • 0
    @Stefan Walker: Has the Hint been enough for you to push things through? If so, you should write the solution up very carefully, and post it. If the Hint is not sufficient, please so indicate, and I can post a solution.2011-05-20
  • 0
    @Stefan - I understand...no bad feelings whatsoever ;-)2011-05-20
  • 0
    @user6312: Thanks a lot. It took me a while to understand what you meant by "everything is OK".2011-05-20
  • 0
    @Stefan Walker: That's good, after all it was called a hint, not a solution.2011-05-20

1 Answers 1

10

Thanks to a hint of user6312 and on his suggestion:

Let $a$ be an element of $E$. If there exists $n\geq 1$ such that $f^n(a)=a$, then define $S=\{a,f(a),f^2(a),\ldots,f^{n-1}(a)\}$. Since $S$ is finite, $S\neq E$. Obviously, $f(S)\subset S$.

If $f^n(a)\neq a$ for all $n\geq 1$, then define $S=\{f^n(a)|n\geq 1\}$. Obviously, $f(S)\subset S$, and since $a\notin S$, $S\neq E$.

  • 1
    You can accept your own answer, by the way, and in this case should it so that the question does not show up as "no answer accepted".2011-05-20