Skip to main content

The wonder of cardinality

Cardinality: one leg per horseman, but we don't need to know how many
The cardinality of which I speak has nothing to do with the Pope's visit to the UK, or even Cardinal Fang from the Spanish Inquisition sketch on Monty Python. No, it's maths, but a truly wondrous aspect of maths.

Cardinality is part of set theory. It defines the size of a set. But the clever thing about cardinality is that you don't have to know how big a set is to see if it's the same size as another set. All you have to do is pair off the items in one set with the items in the other. If they have one-to-one correspondence, the sets have the same cardinality. They're the same size.

This may sound trivial but it's really quite profound. I first came across this when writing my book on Infinity. It's very useful to be able to do this with an infinite set, because it's a touch tedious counting the contents - but provided you can set up a way to pair off the items in the sets working all the way through in a repeatable pattern, you can establish the two infinite sets have the same cardinality. (Things get particularly exciting when you discover there are some infinite sets that are so big you can't pair them off this way - but that's a different story.)

That sounds a bit abstract, but in fact this approach to cardinality has been used since time immemorial in real life, practical applications. Imagine you are shepherd with what we now know is a flock of 100 sheep. But you can only count up to 3. How are you going to see if you've got all your sheep back in the fold? Easy. As they leave the fold, make a mark on a piece of wood or a slate with a line for each sheep. Then on the way back in, run your finger along the tally as each sheep comes back. You can check you've got all your sheep without ever knowing how many there are.

This technique, where you score a mark on a piece of wood (or whatever) is where we get the idea of keeping score or scoring from. And these score marks were often grouped into 20s which - you guessed it - makes 20 a score. As in three score years and ten.

Nice one, cardinality.

Okay, I can't resist:


Popular posts from this blog

Why I hate opera

If I'm honest, the title of this post is an exaggeration to make a point. I don't really hate opera. There are a couple of operas - notably Monteverdi's Incoranazione di Poppea and Purcell's Dido & Aeneas - that I quite like. But what I do find truly sickening is the reverence with which opera is treated, as if it were some particularly great art form. Nowhere was this more obvious than in ITV's recent gut-wrenchingly awful series Pop Star to Opera Star , where the likes of Alan Tichmarsh treated the real opera singers as if they were fragile pieces on Antiques Roadshow, and the music as if it were a gift of the gods. In my opinion - and I know not everyone agrees - opera is: Mediocre music Melodramatic plots Amateurishly hammy acting A forced and unpleasant singing style Ridiculously over-supported by public funds I won't even bother to go into any detail on the plots and the acting - this is just self-evident. But the other aspects need some ex

Is 5x3 the same as 3x5?

The Internet has gone mildly bonkers over a child in America who was marked down in a test because when asked to work out 5x3 by repeated addition he/she used 5+5+5 instead of 3+3+3+3+3. Those who support the teacher say that 5x3 means 'five lots of 3' where the complainants say that 'times' is commutative (reversible) so the distinction is meaningless as 5x3 and 3x5 are indistinguishable. It's certainly true that not all mathematical operations are commutative. I think we are all comfortable that 5-3 is not the same as 3-5.  However. This not true of multiplication (of numbers). And so if there is to be any distinction, it has to be in the use of English to interpret the 'x' sign. Unfortunately, even here there is no logical way of coming up with a definitive answer. I suspect most primary school teachers would expands 'times' as 'lots of' as mentioned above. So we get 5 x 3 as '5 lots of 3'. Unfortunately that only wor

Which idiot came up with percentage-based gradient signs

Rant warning: the contents of this post could sound like something produced by UKIP. I wish to make it clear that I do not in any way support or endorse that political party. In fact it gives me the creeps. Once upon a time, the signs for a steep hill on British roads displayed the gradient in a simple, easy-to-understand form. If the hill went up, say, one yard for every three yards forward it said '1 in 3'. Then some bureaucrat came along and decided that it would be a good idea to state the slope as a percentage. So now the sign for (say) a 1 in 10 slope says 10% (I think). That 'I think' is because the percentage-based slope is so unnatural. There are two ways we conventionally measure slopes. Either on X/Y coordiates (as in 1 in 4) or using degrees - say at a 15° angle. We don't measure them in percentages. It's easy to visualize a 1 in 3 slope, or a 30 degree angle. Much less obvious what a 33.333 recurring percent slope is. And what's a 100% slope