Set of functions that is eventually zero

  • Context: Graduate 
  • Thread starter Thread starter Marioqwe
  • Start date Start date
  • Tags Tags
    Functions Set Zero
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 2K views
Marioqwe
Messages
65
Reaction score
4
Usually, in homework problems, I come across something like, "Let [itex]F[/itex] be the set of all functions [itex]f:\mathbf{N}\rightarrow\{0,1\}[/itex] that are eventually zero."

But I don't really understand what is meant by that. Is it right to think about it as the set of binary numbers? If I take each [itex]f[/itex] to be a sequence of 0's and 1's and I read them from right to left then they are eventually zero right? I'm not sure this is the right way of thinking about this.
 
Physics news on Phys.org
Hi Marioqwe! :smile:
Marioqwe said:
… If I take each [itex]f[/itex] to be a sequence of 0's and 1's and I read them from right to left then they are eventually zero right?

yes

an f:N -> {0,1} is a sequence of 0s and 1s

for example, 110110100100000000000000…

if it ends with all 0s after some time ("zero recurring"), then it is eventually zero :wink:
 
Marioqwe said:
Usually, in homework problems, I come across something like, "Let [itex]F[/itex] be the set of all functions [itex]f:\mathbf{N}\rightarrow\{0,1\}[/itex] that are eventually zero."

But I don't really understand what is meant by that. Is it right to think about it as the set of binary numbers? If I take each [itex]f[/itex] to be a sequence of 0's and 1's and I read them from right to left then they are eventually zero right? I'm not sure this is the right way of thinking about this.

Did you mean left to right? That's how to think of this. Another way to say it is that a binary sequence is eventually zero if it contains only finitely many 1's.