— Are you bigger than me? — asked N to Z

I’ve always had in my head the question: what is more “infinite”, the infinity of natural numbers or the infinity of integer numbers?

The concept of infinity is both magical and dangerous, it’s confused, we have heard and used this concept since basic education without caution, simply we have used it.

If you ask somebody, everybody will tell you that integer numbers are infinite, that there are infinity numbers, people use the word “infinity” when they are talking about numbers, I wanna go ahead, what’s the meaning of “there are infinity numbers”?

Maybe sometimes everybody have asked himself the question I started this post with, there are more integer numbers than natural numbers?, or clearly, is the set of integer numbers bigger than the set of natural numbers? Maybe the question sounds stupid, it could be true, What a nonsense, numbers are infinite! or natural numbers are a type of integer numbers, obviously there are more integer numbers than naturals!

The first answer sounds offensive, while second is interesting and reasonable , but to find a better answer, we have to study a little of sets theory, cause we are talking about sets of numbers, like are N and Z.

When we talk about N and Z, we refer to the sets of natural and integer numbers.      Like every set, they are compound of elements:

The number of elements of a set is the cardinality of that set, |N| or |Z|. We have more concepts about sets, now we have to know what is the cartesian product of two sets and the concept of function derived of him.

The cartesian product of two sets A and B, A x B is the set formed by all the ordered pairs such as (a,b) where a€A and b€B. The position of a and b is significant,so                A x B /= B x A. Example:

A function from A to B is a subset of AxB where an element of A only appears at the first position of a unique par (an element of set A can’t be in more than one pair). A is the domain of the function and B is the range. Example:

Example of function from A to B

Another example with numbers:

Square function

In the last example, for each element of the domain (natural numbers) there is only one element of the range that belongs to him (his square).

In a 1 to 1 function, each element of the range appears only one in the set f. Example:

One to one function

With these concepts, we just can try solve our question. First, we can check if |N|=|Z|. The equality is true if can find a function 1 to 1 of N over Z, that means, find a function 1 to 1 such as his range be all the set Z, but after many tries of searching that function, we noticed that does not exists, we can’t find a range of f with all the elements of the set Z with a 1 to 1 function with domain in N.

We can check if |Z|=|N| ,seems that our question could be solved finding the absolute value function:

Absolute value function

This function verifies condition of function Z over N, but isn’t a function 1 to 1, because for every element of range N, there are two elements of domain Z with image on it. Bad.

At this point, we can say that |N|/=|Z|, we should check if |N|<|Z|. A easy function like this could help us:

We have found a function 1 to 1 of N to Z, so we can say that |N|<|Z|.                         Finally we have demostrated that set of integer numbers is more “infinite” than the set of natural numbers.

— Sure, I’m bigger than you, little set of natural numbers — said Z to N.


About victordefranciscodomingo

I'm a computer engineering student at the Technical School of Computer Engineering of the University of Valladolid, Spain.
This entry was posted in Maths. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s