### 1.1: The Set of Natural Numbers

The first mathematics we learned as children was how to count: “One, two, three. . .” (or “Un, deux, trois. . .” or what have you). Only later did we learn about other kinds of numbers: fractions and negative numbers, for example. The counting numbers are thus the most “natural”, and the set is sometimes called the set of natural numbers. However, for certain technical reasons it’s convenient to include zero and so we define the set of **natural numbers** as .

The set brackets “” and “” tell us to consider the collection of things between them as one object—namely a **set**. The symbol “” is just an abbreviation to allow us to refer to this object concisely. The **elements** of a set are the “things” in the collection. The symbol “” is pronounced “is an element of”, so for example is an abbreviation for the sentence “Thirty-seven is an element of the set of natural numbers.”.

The ellipses ( … ) in the definition of tell us to continue the pattern displayed. The result is an **infinite** set—one with no last element. Ellipses are also sometimes used in defining finite sets, for example the familiar

The usual convention is to use capital letters to refer to sets. To read the definition out loud, you could say, “ is the set whose elements are zero, one, two, and so on forever.” The formal way to pronounce the symbol is “the set of natural numbers”. Usually, unless there is some need to be precise, one simply says “en”.

This can be trickier than it might appear because it’s common to use “*n*” as a **variable**. The convention here is that lower-case letters refer to numbers. So one can say, for example, “If , then must be either even or odd”. This should be pronounced “If en is a natural number, then …”.

The slash “/” is used to denote *negation*, as in . This idea is common even outside of mathematics, where we find “” (meaning “no”) on street signs, for example. So it shouldn’t come as any surprise that stands for the (true) sentence “One-half is not an element of the set of natural numbers.” (or just “one-half isn’t in ” or some such variation).

There are several other common ways to say “”: for example, “Two doesn’t go into one” or “One is not a multiple of two”. Here is another way: This is pronounced “Two does not divide one”. In general, whenever we have natural numbers *n* and *m* we can say that *n* **divides** *m*, and write , whenever . We can also say in this case that *n* is a **factor** of *m*, or that *n* is a **divisor** of *m*.

Thus, for example, , because and . This can be rephrased slightly as “because and 19 is a natural number”. But because there is *no* natural number with . In other words, because .

Two special cases involve zero. Suppose we have and . Then **and** To confirm these facts, look at the definition of “”: since and , we get as advertised. But . In fact isn’t a number at all! Be careful when working with 0 to avoid thinking of the wrong special case.

*In the original version [~1995] of this piece, several exercises follow (of course!). As of this moment, they’re too much trouble to reproduce here. Exercise: find an expert user of the various notations and discuss.*

July 16, 2008 at 6:04 pm

I hesitate to write because I’m delighted that you are posting something other than links. I’ve always enjoyed your posts and your writing. And also because I’ve not consulted an expert user – I’m certainly not one. However, I would like to make a comment and let the expert users comment.

N = {1, 2, 3, …} does represent the natural numbers (sometimes called ‘counting’ numbers’ for reasons probably referring to your intro. However, I always thought that when zero was added to the set it had a new name, the whole numbers — W = {0, 1, 2,…} Perhaps this wasn’t always so. But it makes a great deal of sense. Zero is not a counting number. Young children, and perhaps their teachers, when counting objects, use ‘0’ to refer to no objects. This later leads to a very common beginning algebra error when solving and x = 0. Many students will express the solution set as the ‘null’ set instead of {0}.

July 16, 2008 at 6:26 pm

Here is a possible explanation of my puzzlement. Obviously I should have checked before writing!

From Wikipedia, the free encyclopedia

In mathematics, a natural number (also called counting number) can mean either an element of the set {1, 2, 3, …} (the positive integers) or an element of the set {0, 1, 2, 3, …} (the non-negative integers). The former is generally used in number theory, while the latter is preferred in mathematical logic, set theory, and computer science.

July 17, 2008 at 2:06 pm

thanks for delurking.

“hypatia” is a very cool name!

everybody in the department i came up in

seems to’ve called {1, 2, 3 …}

“the positive integers” (& quite a few of ’em

abbreviated it );

i always sort of figured this whole

“whole number” thing was the invention

of misguided pedagogues (like “ln”

instead of “log” for the natural logarithm).

can’t agree with w’edia at all–

“counting numbers” refers to

*regardless* of how one defines !

(computer-heads are often said to begin

counting with zero but this is mostly in jest.)

July 17, 2008 at 4:26 pm

your comment about the solution set

for x=0 is also very interesting.

one day during a vent-the-pet-peeve

session with a colleague (for instance,

he’s strongly anti-“FOIL” [

cfjonathan];i can take it or leave it).

then he says something to the effect

“they keep saying ‘no solution’

whenever the solution is the empty set’.

but waitaminute, mister anonymous!

those students are righter than you are!

“solution” is a technical term

(a value of the variable that makes

a given equation *true* is called

a *solution* to the equation);

there’s an *answer* to the problem

(namely “no solution”) but there sure

as hell isn’t any solution to the equation

(x = x + 1, say, for concreteness)!

indeed, that’s what it *means* to say

the *solution set* (for pity sake) is empty!

(let’s try to get with the program here.)

i was of course much more polite about

correcting him than this imaginary dialogue

would make it appear … but he just blew me off

with “i disagree” (or some such) as if this

were merely a matter of opinion. and i let it go.

if i’d’ve loved the guy like i should

i would’ve risked ticking him off for life

by arguing about it. but to heck with it.

July 17, 2008 at 10:59 pm

You’re lucky it was just one colleague. We have whole departmental meetings of ‘vent the pet peeve’ . So as not to offend, everyone’s pet peeves are adopted as ‘official department policy” after two or three hours of discussion. When the adjunct faculty pool alters significantly, we start all over again.

April 1, 2010 at 10:57 am

https://vlorbik.wordpress.com/2010/01/13/partial-contents-version-ii/

vlorbik on math ed

selecta

October 4, 2012 at 6:28 am

My question is that whats “about base 10 for natural numbers”?

October 5, 2012 at 8:51 am

i don’t think i understand your question.

maybe you should point google (or your

favorite search engine) at “number bases

wiki”.

February 11, 2013 at 5:50 pm

+

l+´0o