I had a question about the following theorem.(adsbygoogle = window.adsbygoogle || []).push({});

Basis Representation Theorem:Let [tex] k [/tex] be any integer larger than 1. Then, for each positive integer [tex] n [/tex], there exists a representation

[tex] n = a_{0}k^{s} + a_{1}k^{s-1} + ... + a_{s} [/tex]

where [tex] a_{0} \neq 0 [/tex], and where each [tex] a_{i} [/tex] is nonnegative and less than [tex] k [/tex]. Furthermore, this representation of [tex] n [/tex] is unique; it is called the representation of [tex] n [/tex] to base [tex] k [/tex].

Proof:Let [tex] b_{k}\left(n\right) [/tex] denote the number of representations of [tex] n [/tex] to the base [tex] k [/tex]. We must show that [tex] b_{k}\left(n\right) [/tex] always equals 1.

Suppose that

[tex] n = a_{0}k^{s} + a_{1}k^{s-1} + ... + a_{s-t}k^{t} [/tex]

where neither [tex] a_{0} [/tex] nor [tex] a_{s-t} [/tex] equals zero. Then

[tex] n - 1 = a_{0}k^{s} + a_{1}k^{s-1} + ... + a_{s-t}k^{t} - 1 = a_{0}k^{s} + a_{1}k^{s-1} + ... + \left(a_{s-t} - 1\right)k^{t} + k^{t} - 1 = a_{0}k^{s} + a_{1}k^{s-1} + ... + \left(a_{s-t} - 1\right)k^{t} + \sum_{j=0}^{t-1} \left(k - 1\right)k^{t}[/tex]

Thus we see that for each representation of [tex] n [/tex] to the base [tex] k [/tex], we can find a representation of [tex] n-1 [/tex]. Consequently,

[tex] b_{k}\left(n\right) \leq b_{k}\left(n-1\right) [/tex]

Question:In the previous line, why is there a "less than or equal to" sign rather than an "equal" or "greater than or equal to" sign?

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Proof: Basis Representation Theorem

Loading...

Similar Threads for Proof Basis Representation | Date |
---|---|

A Is the proof of these results correct? | Jan 29, 2018 |

I Doubt about proof on self-adjoint operators. | Nov 11, 2017 |

I Proof that every basis has the same cardinality | Oct 6, 2016 |

Is this proof correct? If {u,v,w} is a basis for V then {u+v+w,v+w,w}is also a basis? | Dec 5, 2011 |

**Physics Forums - The Fusion of Science and Community**