home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / math / 11252 < prev    next >
Encoding:
Internet Message Format  |  1992-09-10  |  4.1 KB
  1. Path: sparky!uunet!spool.mu.edu!wupost!waikato.ac.nz!comp.vuw.ac.nz!canterbury.ac.nz!math!wft
  2. Newsgroups: sci.math
  3. Subject: Some BIG and SMALL sets of integers.
  4. Message-ID: <1992Sep11.171806.778@csc.canterbury.ac.nz>
  5. From: wft@math.canterbury.ac.nz (Bill Taylor)
  6. Date: 11 Sep 92 17:18:04 +1200
  7. Distribution: world
  8. Organization: Department of Mathematics, University of Canterbury
  9. Nntp-Posting-Host: math.canterbury.ac.nz
  10. Lines: 73
  11.  
  12. The thread on the "size" of various sets of positive integers, reminded me of an
  13. amazing result, which I read in "A Number for Your Thoughts", by S.P.Richards.
  14. ---
  15.  
  16. Call a subset of N, "BIG", if the sum of reciprocals of its elements is
  17. infinite, and "SMALL", if finite. So any set with positive "density", as
  18. defined in recent posts, is BIG; as can be proved without too much trouble.
  19.  
  20. But not vice versa. The set of primes is zero-density, but is still BIG;
  21. whereas the set of powers-of-2 is zero-density and SMALL.
  22.  
  23. [ Extraneous query: are sets with no limiting density necessarily "big" ? ]
  24. ---
  25.  
  26. Anyway, Richards now looks at the decimal representation (groan) of integers,
  27. and asks, how many have the "correct" number of "1"s.    i.e. how many
  28. integers have *exactly* one tenth of their digits being a "1".
  29. As it were, "1-average" numbers.    6733310002 is an example.
  30.  
  31. At first sight it doesn't seem like many, as for a start the integer would
  32. have to have a multiple-of-10 number of digits. But there are quite a few
  33. of these, in fact, and with a bit of work one can prove that the set of
  34. integers with exactly 1/10 of their digits being "1" is BIG.
  35.  
  36. Of course there is nothing special about "1"; any other named digit would
  37. easily give the same result. Now suppose we look at the proportions of two
  38. named digits, say "1" and "2" (again, exactly which two is irrelevant); and
  39. ask similarly, how many integers have exactly 1/10 of their digits being "1"
  40. *and*  1/10 of their digits being "2".  What we might call "1-2-average" numbers.
  41.  
  42. Again, this time with quite a bit more work, which I will leave as an excercise
  43. for the reader,  :)  one can show that the set of "1-2-average" numbers is
  44. a BIG set.
  45.  
  46. So we find that there are "a lot" of 1-digit-average and 2-digit-average numbers.
  47.  
  48. Obviously, we ask the same about "3-digit-average" numbers, and so on all
  49. the way up to 9 (equivalently, 10); and it seems obvious that they should all
  50. be BIG sets of numbers as well.
  51.  
  52. BUT NO !!!!!!!
  53. ~~~~~~
  54. Amazingly, as soon as we go to "3-digit-average" numbers, these are now
  55. only a SMALL set of numbers.  (Again the proof left to the reader.)
  56. That is, the set of numbers that have exactly 1/10 of their digits being
  57. a "1"  *and*  1/10  being a  "2"  *and*  1/10  being a "3", is a SMALL set !
  58. And as every 4-digit-average set is a subset of some 3-digit-average set,
  59. these (and higher ones) are all SMALL sets as well.
  60.  
  61. IMHO, this is a truly startling result. One could believe that there might
  62. be a difference between 1-digit-average and the rest, maybe; or between
  63. 9-digit-average and those below, perhaps. But that the distinction should come
  64. between  *2*  and  *3* ;  that is really weird !
  65.                                   ~~~~~~~~~~~~
  66. ---
  67. As a final incidental remark: changing the base from 10 to any other base
  68. from 2 upwards, doesn't essentially change things. This is especially intriguing
  69. for base 2 and base 3, as then we get that the set of numbers with the "correct"
  70. proportion of *all* digits is a BIG set !
  71.  
  72. -------
  73. A coda.  Perhaps those familiar with the recurrence/transcience of
  74. random walks on lattices in 2/3 dimensions might not find this *quite* so
  75. startling; and if you search for the proofs of the above results, you may
  76. find that they hold, "for the same reason" as do the random walk results.
  77.  
  78. -------------------------------------------------------------------------------
  79.            Bill Taylor              wft@math.canterbury.ac.nz
  80. -------------------------------------------------------------------------------
  81.  Free will- the result of chaotic amplification of quantum events in the brain.
  82. Galaxies- the result of chaotic amplification of quantum events in the big bang.
  83. --------------------------------------------------------------------------------
  84.  
  85.