Confluence (abstract rewriting): Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Jochen Burghardt
converted ((math)) to unicode; indicated proof(s) of R6 using confluent+terminating rewrite system
en>CommonsDelinker
m Replacing Cyclic_locally,_but_not_globally_confluent_rewrite_system.gif with File:Cyclic_locally,_but_not_globally_confluent_rewrite_system.png (by GifTagger because: Replacing GIF by exact PNG duplicate.).
 
Line 1: Line 1:
 
Hi there, I am Alyson Pomerleau and I believe it seems fairly good when you say it. Mississippi is where his house is. Office supervising is where her main income comes from but she's already applied for another 1. To climb is something she would never give up.<br><br>Here is my weblog; real psychic readings ([http://galab-work.cs.pusan.ac.kr/Sol09B/?document_srl=1489804 galab-work.cs.pusan.ac.kr])
In [[Recreational mathematics|recreational]] [[number theory]], a '''narcissistic number'''<ref name="mw">{{MathWorld |title=Narcissistic Number |urlname=NarcissisticNumber}}</ref><ref name="moore">[http://www.cs.umd.edu/Honors/reports/NarcissisticNums/NarcissisticNums.html ''Perfect and PluPerfect Digital Invariants''] by Scott Moore</ref> (also known as a '''pluperfect digital invariant''' ('''PPDI'''),<ref>[http://web.archive.org/web/20091027123639/http://www.geocities.com/~harveyh/narciss.htm  PPDI (Armstrong) Numbers] by Harvey Heinz</ref> an '''Armstrong number'''<ref>[http://homepages.cwi.nl/~dik/english/mathematics/armstrong.htm Armstrong Numbersl] by Dik T. Winter</ref> (after Michael F. Armstrong)<ref>[http://blog.deimel.org/2010/05/mystery-solved.html Lionel Deimel’s Web Log]</ref> or a '''plus perfect number''')<ref>{{OEIS|id=A005188}}</ref> is a number that is the sum of its own digits each raised to the power of the number of digits. This definition depends on the base ''b'' of the number system used, e.g. ''b''&nbsp;=&nbsp;10 for the [[decimal|decimal system]] or ''b''&nbsp;=&nbsp;2 for the [[binary numeral system|binary system]].
 
==Definition==
The definition of a narcissistic number relies on the decimal representation ''n''&nbsp;=&nbsp;''d''<sub>''k''</sub>''d''<sub>''k''-1</sub>...''d''<sub>1</sub> of a [[natural number]]&nbsp;''n'', i.e.
:''n''&nbsp;=&nbsp;''d''<sub>''k''</sub>·10<sup>''k''-1</sup>&nbsp;+&nbsp;''d''<sub>''k''-1</sub>·10<sup>''k''-2</sup>&nbsp;+&nbsp;...&nbsp;+&nbsp;''d''<sub>2</sub>·10&nbsp;+&nbsp;''d''<sub>1</sub>,
with ''k'' digits ''d''<sub>''i''</sub> satisfying 0&nbsp;≤&nbsp;''d''<sub>''i''</sub>&nbsp;≤&nbsp;9. Such a number ''n'' is called narcissistic if it satisfies the condition
:''n''&nbsp;=&nbsp;''d''<sub>''k''</sub><sup>''k''</sup>&nbsp;+&nbsp;''d''<sub>''k''-1</sub><sup>''k''</sup>&nbsp;+&nbsp;...&nbsp;+&nbsp;''d''<sub>2</sub><sup>''k''</sup>&nbsp;+&nbsp;''d''<sub>1</sub><sup>''k''</sup>.
For example the 3-digit decimal number 153 is a narcissistic number because 153&nbsp;=&nbsp;1<sup>3</sup>&nbsp;+&nbsp;5<sup>3</sup>&nbsp;+&nbsp;3<sup>3</sup>.
 
Narcissistic numbers can also be defined with respect to [[numeral system]]s with a base ''b'' other than ''b''&nbsp;=&nbsp;10. The base-''b'' representation of a natural number ''n'' is defined by
:''n''&nbsp;=&nbsp;''d''<sub>''k''</sub>''b''<sup>''k''-1</sup>&nbsp;+&nbsp;''d''<sub>''k''-1</sub>''b''<sup>''k''-2</sup>&nbsp;+&nbsp;...&nbsp;+&nbsp;''d''<sub>2</sub>''b''&nbsp;+&nbsp;''d''<sub>1</sub>,
where the base-''b'' digits ''d''<sub>''i''</sub> satisfy the condition 0&nbsp;≤&nbsp;''d''<sub>i</sub>&nbsp;≤&nbsp;''b''-1.
For example the (decimal) number 17 is a narcissistic number with respect to the numeral system with base ''b''&nbsp;=&nbsp;3. Its three base-3 digits are 122, because 17&nbsp;=&nbsp;1·3<sup>2</sup>&nbsp;+&nbsp;2·3&nbsp;+&nbsp;2&nbsp;, and it satisfies the equation 17&nbsp;=&nbsp;1<sup>3</sup>&nbsp;+&nbsp;2<sup>3</sup>&nbsp;+&nbsp;2<sup>3</sup>.
 
If the constraint that the power must equal the number of digits is dropped, so that for some ''m'' possibly different from ''k'' it happens that
:''n''&nbsp;=&nbsp;''d''<sub>''k''</sub><sup>''m''</sup>&nbsp;+&nbsp;''d''<sub>''k''-1</sub><sup>''m''</sup>&nbsp;+&nbsp;...&nbsp;+&nbsp;''d''<sub>2</sub><sup>''m''</sup>&nbsp;+&nbsp;''d''<sub>1</sub><sup>''m''</sup>,
then ''n'' is called a '''perfect digital invariant''' or '''PDI'''.<ref>[http://web.archive.org/web/20091027123639/http://www.geocities.com/~harveyh/narciss.htm  PDIs] by Harvey Heinz</ref><ref name="moore"/> For example, the decimal number 4150 has four decimal digits and is the sum of the ''fifth'' powers of its decimal digits
:4150&nbsp;=&nbsp;4<sup>5</sup>&nbsp;+&nbsp;1<sup>5</sup>&nbsp;+&nbsp;5<sup>5</sup>&nbsp;+&nbsp;0<sup>5</sup>,
so it is a perfect digital invariant but ''not'' a narcissistic number.
 
In "[[A Mathematician's Apology]]", [[G. H. Hardy]] wrote:
 
:''There are just four numbers, after unity, which are the sums of the cubes of their digits:''
::<math>153=1^3+5^3+3^3</math>
::<math>370=3^3+7^3+0^3</math>
::<math> 371=3^3+7^3+1^3</math>
::<math>407=4^3+0^3+7^3</math>.<br>
:''These are odd facts, very suitable for puzzle columns and likely to amuse amateurs, but there is nothing in them which appeals to the mathematician.''
 
==Narcissistic numbers in various bases==
The sequence of "base 10" narcissistic numbers starts:
[[0 (number)|0]], [[1 (number)|1]], [[2 (number)|2]], [[3 (number)|3]], [[4 (number)|4]], [[5 (number)|5]], [[6 (number)|6]], [[7 (number)|7]], [[8 (number)|8]], [[9 (number)|9]], [[153 (number)|153]], [[370 (number)|370]], [[371 (number)|371]], 407, 1634, 8208, 9474 ... {{OEIS|id=A005188}}
 
The sequence of "base 3" narcissistic numbers starts:
0, 1, 2, [[5 (number)|12]], [[8 (number)|22]], [[17 (number)|122]]
 
The sequence of "base 4" narcissistic numbers starts:
0, 1, 2, 3, [[28 (number)|130]], [[29 (number)|131]], [[35 (number)|203]], [[43 (number)|223]], [[55 (number)|313]]
 
The number of narcissistic numbers in a given base is finite, since the maximum possible sum of the ''k''th powers of a ''k'' digit number in base ''b'' is
 
:<math>k(b-1)^k\, ,</math>
 
and if ''k'' is large enough then
 
:<math>k(b-1)^k<b^{k-1}\, ,</math>
 
in which case no base ''b'' narcissistic number can have ''k'' or more digits. Setting ''b'' equal to 10 shows that the largest narcissistic number in base 10 must be less than 10<sup>60</sup>.<ref name="mw" />
 
There are only 88 narcissistic numbers in base 10, of which the largest is
 
:115,132,219,018,763,992,565,095,597,973,971,522,401
 
with 39 digits.<ref name="mw" />
 
Unlike narcissistic numbers, no upper bound can be determined for the size of PDIs in a given base, and it is not currently known whether or not the number of PDIs for an arbitrary base is finite or infinite.<ref name="moore"/>
 
==Related concepts==
The term "narcissistic number" is sometimes used in a wider sense to mean a number that is equal to any mathematical manipulation of its own digits. With this wider definition narcisstic numbers include:
* [[Constant base numbers]] : <math>n=m^{d_k} + m^{d_{k-1}} + \dots + m^{d_2} + m^{d_1}</math>  for some ''m''.
* [[Perfect digit-to-digit invariants]] {{OEIS|id=A046253}} : <math>n = d_k^{d_k} + d_{k-1}^{d_{k-1}} + \dots + d_2^{d_2} + d_1^{d_1}\, ,\text{ e.g. } 3435 = 3^3 + 4^4 + 3^3 + 5^5\, .</math>
* [[Ascending power numbers]] {{OEIS|id=A032799}} : <math>n = d_k^1 + d_{k-1}^2 + \dots + d_2^{k-1} + d_1^k\, ,\text{ e.g. } 135 = 1^1 + 3^2 + 5^3 \, .</math>
* [[Friedman number]]s {{OEIS|id=A036057}}.
* Radical narcissistic numbers {{OEIS|id= A119710}} <ref>Rose, Colin (2005), Radical Narcissistic Numbers, Journal of Recreational Mathematics, 33(4), pages 250-254.</ref> <math>{ e.g. } 729 = (7+2)^{\sqrt{9}}, \text{  }4096=\sqrt{\sqrt{\sqrt{\sqrt{4}+0}}}^{96}</math>
* Pretty wild narcissistic numbers <ref>[http://www.numq.com/pwn/  Pretty wild narcissistic numbers - numbers that pwn] by Colin Rose</ref>
* [[Sum-product number]]s {{OEIS|id=A038369}} : <math>n=\left(\sum_{i=1}^{k}{d_i}\right) \left(\prod_{i=1}^{k}{d_i}\right) \, ,\text{ e.g. } 144 = (1+4+4) \times (1 \times4 \times 4) \, .</math>
* [[Dudeney number]]s {{OEIS|id=A061209}} :<math>n=\left(\sum_{i=1}^{k}{d_i}\right)^3\, ,\text{ e.g. } 512 = (5+1+2)^3 \, .</math>
* [[Factorion]]s {{OEIS|id=A014080}} :<math>n=\sum_{i=1}^{k}{d_i}!\, ,\text{ e.g. } 145 = 1! + 4! + 5! \, .</math>
 
where ''d''<sub>''i''</sub> are the digits of ''n'' in some base.
 
==References==
{{reflist}}
{{refbegin}}
* [[Joseph Madachy|Joseph S. Madachy]], ''Mathematics on Vacation'', Thomas Nelson & Sons Ltd. 1966, pages 163-175.
* Rose, Colin (2005), ''Radical narcissistic numbers'', Journal of Recreational Mathematics,  33(4), 2004-2005, pages 250-254.
* [http://www.mathews-archive.com/digit-related-numbers/pdi.html ''Perfect Digital Invariants''] by Walter Schneider
* [http://arxiv.org/abs/0911.3038 ''On a curious property of 3435''] by Daan van Berkel
{{refend}}
 
==External links==
* [http://www.deimel.org/rec_math/DI_0.htm Digital Invariants]
* [http://everything2.net/index.pl?node_id=1407017&displaytype=printable&lastnode_id=1407017 Armstrong Numbers]
* [http://www.cs.mtu.edu/~shene/COURSES/cs201/NOTES/chap04/arms.html Armstrong numbers between 1-999 calculator]
* {{cite web|last=Symonds|first=Ria|title=153 ♥ Narcissistic Number|url=http://www.numberphile.com/videos/153_narcissistic.html|work=Numberphile|publisher=[[Brady Haran]]}}
 
{{Classes of natural numbers}}
[[Category:Base-dependent integer sequences]]
[[Category:Recreational mathematics]]

Latest revision as of 10:49, 4 December 2014

Hi there, I am Alyson Pomerleau and I believe it seems fairly good when you say it. Mississippi is where his house is. Office supervising is where her main income comes from but she's already applied for another 1. To climb is something she would never give up.

Here is my weblog; real psychic readings (galab-work.cs.pusan.ac.kr)