5
$\begingroup$

I have been wondered the definition of cardinality and number of elements. One mathematician told me that one can't said that the cardinality or size of the set $\{1\}$ is one, it should be said that the number of elements in the set is one. I guess that his opinion is that there is no term size in mathematics. Is these true? On the other hand, if we have an infinite set like $\mathbb Z$, can we say that the number of elements of $\mathbb Z$ is infinite or is the term "number of elements" used only in finite sets?

  • 0
    For finite sets there is absolutely no problem; a set has cardinality or size $n$ if it is in bijection with $\{ 1, 2, ... n \}$, and it has cardinality or size $0$ if it is empty. (The empty set is unique!) It is silly to prevent yourself from being able to say this.2012-06-15

2 Answers 2

3

Converting my comment to an answer:

I have no idea what the mathematician was thinking: the cardinality of the set $\{1\}$ is indeed $1$, and that’s a perfectly normal way to express the fact. Of course it’s also true that $1$ is the number of elements in the set.

I would probably not myself use the expression number of elements when speaking of an infinite set, but ‘$\Bbb R$ has $2^\omega$ elements’ is a perfectly fine synonym of ‘the cardinality of $\Bbb R$ is $2^ω$’.

  • 0
    @mathenthusiast: I wouldn’t say so: it’s more general, as it can also refer to length, area, volume, etc.2012-06-15
4

The question you need to ask yourself is "what is the meaning of the notion number?"

Natural numbers can be used to measure size, length, etc. while rational numbers measure ratio between two integers, real numbers measure length... what do complex numbers measure?

In mathematics we allow ourselves to define new ways of measuring things, and usually we refer to the values of these measures as numbers. Indeed there is no real difference between the length of a $100$ meters running track, and a $100$ meters long hot dog...

When measuring the size of a set we came up with a clever way to discuss infinite sets. This way is "cardinality", and the cardinal of a set represents in a good sense the "number of elements in the set". So it has a perfectly good meaning to say that a set has $\aleph_0$ many elements, or that a set is of size $\aleph_1$.