Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Topic: On the infinite binary Tree
Replies: 64   Last Post: Dec 17, 2012 11:06 AM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: On the infinite binary Tree
Posted: Dec 12, 2012 4:10 PM

In article
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 12 Dez., 11:26, Zuhair <zaljo...@gmail.com> wrote:
> > WM has presented the idea that the infinite binary tree must have
> > countably many paths. It seems that he thinks that the total number of
> > paths in a binary tree is always smaller than or equal to the total
> > number of nodes. So since obviously the number of nodes in an infinite
> > binary tree is countable, then the number of paths must be so. But
> > since each real can be represented by a path in a 0,1 labeled infinite
> > binary tree, then we must have countably many reals thus defying
> > Cantor.

>
> Correct. It is nice that there are mathematician who have grasped it.

Zuhair has only grasped what it is that you claim, he has not endorsed
it as being valid.

And almost certainly won't because it isn't

Each path in a CIBT (complete infinite binary tree) corresponds uniquely
to the set of level numbers at which the path branches left.

Thus there is simple and obvious bijection between the set of all paths
of a CIBT and the set of subsets of N+ ( the N without a 0 in it)

For every finite set, its power set is of larger cardiality, with the
difference in sizes increasing rapidly as the set sizes increases.
It seems obvious, and Cantor proved, that for any infinite set its power
set would again be larger than the base set.

Thus, despite WM's claims to the contrary, no countable set can surject
onto the set of all such paths of a COMPLETE binary tree..

> The issue is this:
> Every partial tree from level 0 to level n has
> -1 + 2^(n+1) nodes.
> The number of all finite paths is the same, because every finite path
> ends at some node.
> The number of all path traversing the complete partial tree and
> branching after that in two paths is
> 2^(n+1).
> In the limit we have
> numbers of paths traversing the complete tree (and after that
> branching in two paths) divided by number of nodes of the complete
> tree = 1.

How does a path which has finished traversing the complete tree have any
further branching possible?

It is a stupid self-contradiction to claim that a process which has been
completed will then continue beyond its completion.
--

Date Subject Author
12/12/12 Zaljohar@gmail.com
12/12/12 mueckenh@rz.fh-augsburg.de
12/12/12 Virgil
12/12/12 mueckenh@rz.fh-augsburg.de
12/12/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 trj
12/13/12 Virgil
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/13/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/13/12 Virgil
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/13/12 Virgil
12/13/12 Virgil
12/13/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/13/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/14/12 mueckenh@rz.fh-augsburg.de
12/13/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/14/12 Zaljohar@gmail.com
12/14/12 Zaljohar@gmail.com
12/15/12 mueckenh@rz.fh-augsburg.de
12/15/12 Virgil
12/14/12 mueckenh@rz.fh-augsburg.de
12/14/12 Tanu R.
12/14/12 Virgil
12/15/12 mueckenh@rz.fh-augsburg.de
12/15/12 Virgil
12/12/12 Virgil
12/13/12 mueckenh@rz.fh-augsburg.de
12/12/12 george
12/13/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 george
12/14/12 mueckenh@rz.fh-augsburg.de
12/14/12 Virgil
12/14/12 mueckenh@rz.fh-augsburg.de
12/14/12 Tanu R.
12/14/12 Virgil
12/15/12 mueckenh@rz.fh-augsburg.de
12/15/12 Virgil
12/15/12 Tanu R.
12/14/12 Charlie-Boo
12/14/12 forbisgaryg@gmail.com
12/15/12 ross.finlayson@gmail.com
12/15/12 forbisgaryg@gmail.com
12/15/12 ross.finlayson@gmail.com
12/16/12 forbisgaryg@gmail.com
12/17/12 ross.finlayson@gmail.com
12/16/12 Ciekaw
12/16/12 Virgil