Discovering Surjective and Non-Injective Functions in Function Theory

  • Thread starter Thread starter philosophking
  • Start date Start date
  • Tags Tags
    Function Theory
AI Thread Summary
The discussion focuses on identifying functions from the natural numbers to themselves that exhibit specific properties: surjective but not injective, and neither surjective nor injective. Examples provided include f(n) = n as bijective, f(n) = 2n as injective but not surjective, and f(n) = floor(n/2) as surjective but not injective. Additionally, constant functions are noted as neither injective nor surjective. The user expresses confusion but ultimately clarifies their understanding of these concepts through examples.
philosophking
Messages
175
Reaction score
0
Please help me. I'm trying to find functions where f:N-->N (the set of natural numbers to the set of natural numbers), such that:

f is surjective but not injective,
f is neither surjective nor injective

I'm really not sure how to determine these. Thanks for your consideration.
 
Physics news on Phys.org
errr... now that I look back at my other answers ( i had to find one that is bijective and one that is not surjective but injective), i don't even know if those are right.

For bijective, could you have f(n) = n ?
For injective but not surjective, could you have f(n) = 2n + 1 ?

I'm so confused.
 
OK hehe i think i figured some stuff out, for my first original question, f(n) = (n-5) + 2 works. But I still need help on my last question! please!

Also, the most recent two questions i asked can be disregarded... haha wow sorry if i confused anyone
 
f: N -> N

If f(n) = n, f is bijective.
If f(n) = 2n, f is injective but not surjective (2n+1 also works).
If f(n) = floor(n/2), f is surjective but not injective.
If f(n) = constant, f is neither injective nor surjective.

I think these are all pretty well-known examples.
 
thanks, much appreciated
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top