Aronszajn trees
August 23rd, 2007 by WaltA well-known theorem about infinite trees that if a tree only grows a finite amount at each node, it must have an infinite branch. This is known as König’s lemma. Obviously, an uncountable tree that only grows a countable amount at each node must have an uncountable branch, right? Amazingly, the answer is no. Counterexamples, now known as Aronszajn trees, were constructed by Nachman Aronszajn. Keith Devlin has more.
August 24th, 2007 at 11:48 am
Yeah, Aronszajn trees really ought not to exist, but you can get used to them. The really weird ones are Suslin (or Souslin) trees. Not only is each level countable, but so is each anti-chain. I know that it’s consistent that Suslin trees don’t exist - but I think it’s also consistent that they do (at least, assuming the consistency of some relatively small large cardinal).
August 24th, 2007 at 6:06 pm
Is a “relatively small large cardinal” more like a Jumbo Shrimp or a Dwarf Mammoth?
August 24th, 2007 at 8:38 pm
Kenny, that’ll be today’s post.
August 24th, 2007 at 10:44 pm
[...] Ars Mathematica Dedicated to the mathematical arts. « Aronszajn trees [...]
August 25th, 2007 at 10:09 am
Dwarf Mammoth.