"I might try to introduce th..."

https://arbital.com/p/4jd

by Eric Rogstad Jun 17 2016


Imagine you are the Count von Count\. You care only about counting things\. You don't care what it is you count, you just care how many there are\. You decide that you want to collect the objects that you count into boxes, and you consider two boxes equal if there are the same number of items in both boxes\. How do you know if two boxes have the same number of items? You take one element out of each box and put them to one side\. You continue pairing elements up in this way and when one box runs out you check if there are any left over in the other box\. If there aren't any left over, then the boxes are bijective and the way that you paired them up is a bijection\. A bijection is a simple form of an isomorphism and the boxes are said to be isomorphic\.

I might try to introduce these terms one at a time, and a bit more slowly -- the paragraph up to this point reads like Simple English (good!), and then in the last two sentences I've got two terms thrown at me.

I think if a reader doesn't yet know what an isomorphism is, it would be helpful to spend more time building the intuition that there's something the same about both boxes, maybe like this:

If there aren't any left over, then you know there were the same number of items in each box. So to Count von Count, who only cares about counting things, the two boxes are basically equivalent, and might as well be the same box. Whenever two objects are the same from a certain perspective, we say that they are isomorphic.

In this example, the way in which the boxes were the same is that you could pair up each item in one box with an item in the other (which you wouldn't have been able to do if the boxes had different numbers of elements). Whenever you can match each item in one set with exactly one item in another set, we say that the sets are [-bijective] and the way you paired them is a [-bijection]. %%note: Note that two sets have to have the same number of elements to be bijective, but that's not enough — you also need some way to say which item in one should be paired with which item in the other. In the case above, we paired the items up using the order in which they were removed from their boxes.%% A bijection is a kind of isomorphism.

What do you think?