Recursive defintion of the product notation

  • Thread starter neutrino
  • Start date
2,036
2
I'm asked to define recursively (definition by induction) [itex]\prod_{k=1}^{n}a_k[/itex]

Well, I wrote down the following:

[tex]\prod_{k=1}^{1}a_k = a_1[/tex]

Assuming [itex]\prod_{k=1}^{n}a_k[/itex] has been defined for some [itex]n\geq1[/itex],

[tex]\prod_{k=1}^{n+1}a_k = a_{n+1}\prod_{k=1}^{n}a_k[/tex]

A similar method was used to define the summation notation in the text, so I used it here.

But the answer given at the back is

[tex]\prod_{k=1}^{0}a_k = 1; \prod_{k=1}^{n+1}a_k = a_{n+1}\prod_{k=1}^{n}a_k[/tex]

I don't understand why the index goes from 1 to 0, and why they have defined it to be 1. Please clarify this.
 

mathman

Science Advisor
7,613
369
A little background - in Quantum mechanics a massless particle is needed to carry a force, the photon carries the electric force and W and Z particles carry the forces that hold atoms together.
It is a somewhat pedantic point. When the upper limit goes from n=0 to n=1 (induction step), you need 1 for the n=0 product to get a1 for the n=1 product.
 
The reason they define the product starting from k=1 to 0 is to define the empty product to be 1. This is a useful definition, as it avoids many special cases. It is clearly an equivalent definition to yours for all upper bounds greater than 0, since their inductive step is the same and by their definition,

[tex]\prod_{k = 1}^1 a_k = a_1 \prod_{k = 1}^0 a_k = a_1 \cdot 1 = a_1.[/tex]
 
2,036
2
Thanks for the replies. Could you give me a simple example where this definition will be useful? Also, why was not the summation notation defined to be [itex]\sum_{1}^{0} = 0[/itex]? [As implied in my first post, [itex]a_1[/itex] was defined as the sum from 1 to 1.]
 

mathman

Science Advisor
7,613
369
In summation notation sum from 1 to 0 is considered 0.
 

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads

Top