Possible title: How to Construct a Surjection Map from N to Z

  • Thread starter Thread starter missavvy
  • Start date Start date
  • Tags Tags
    Surjection
missavvy
Messages
73
Reaction score
0
Surjection from N --> Z

Homework Statement



Find a surjection map,
f: N -> Z

Homework Equations





The Attempt at a Solution


I think this is equivalent to finding an injection map:
g: Z -> N

So I defined it:

g(z) =

-z, if z is negative
z, if z is positive

Is this incorrect?
 
Physics news on Phys.org


1. It's not -- exactly -- equivalent to finding an injection g: \mathbb{Z} \to \mathbb{N}, because the inverse of such a g is only a partial function \mathbb{N} \to \mathbb{Z}; you have to extend it to be defined on \mathbb{N} \setminus g(\mathbb{Z}). However, the result of that process is indeed a surjection \mathbb{N} \to \mathbb{Z}.

2. The function you give is not an injection; g(-1) = g(1) = 1.

It's probably easier to attack this problem by constructing the surjection you want "by hand". There are several simple algorithms which will work.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top