Is It Possible to Prove Normality of Polynomials?

  • Thread starter Thread starter Zurtex
  • Start date Start date
  • Tags Tags
    Polynomials
Zurtex
Science Advisor
Homework Helper
Messages
1,118
Reaction score
1
I was just wondering if it was possible to prove anything about the normality of the number:

\sum_{x=0}^{\infty} \left((P(x) \mod b)\left(b^{-x}\right)\right)

Where P(x) is a Polynomial with integer coefficients and b is the base of decimal representation. Is anything even known for simple polynomials such as P(x) = x^2?
 
Physics news on Phys.org
that looks like a pretty normal number to me.
 
mathwonk said:
that looks like a pretty normal number to me.
Well thinking about it is fairly obvious that for P(x) = x^a it is normal to base b and I would imagine not too difficult to prove rigourously. For that matter P(x) = x^a + c would seem to always be normal to base b as well.

Hmm, just a matter of curiosity I suppose, I've always been interested in the normality of numbers since I first heard about it.
 
Am I being stupid here?

Have I simply defined a rational number :confused:, anyone?
 
Zurtex said:
Have I simply defined a rational number :confused:, anyone?

Looks that way. P(x) = P(x+k*b) mod b for all integers k, so you have a repeating decimal.
 
shmoe said:
Looks that way. P(x) = P(x+k*b) mod b for all integers k, so you have a repeating decimal.
Hmm, o.k fair enough, but let's suppose I start here in thinking about normal numbers. The way I've defined rational numbers here doesn't stray too far from being able to define all real numbers. So does anyone know if this defines all rational numbers or at least how I would start about proving if it does?
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
Back
Top