Why is the Binomial Formula a Derivation?

In summary: I'm sorry to say that you are mistaken: there are many coincidences in mathematics, mainly because there are many ways to do the same thing.
  • #1
Tenshou
153
1
I mean the binomial formula is something of the form

##\left(a+b\right)^n## = ##\sum_{i=1}^{n}\dbinom{n}{k}a^{n}b^{n-k}##

and then you have the linear map ##\psi : A \rightarrow A## which is a derivation when;
##\theta(xy) = y\theta(x) + x\theta(y)## for all x,y in A

so the leibniz formula for a ##\psi## derivation is
##\theta^n(xy)## = ##\sum_{k=1}^{n}\dbinom{n}{k}\theta^{n}(x)\theta^{n-k}(y)##

so does anyone have any idea why these two are very very similar if not the same? Also I am trying to understand how a Lie Algebra is a "Derivation"
 
Physics news on Phys.org
  • #2
You are, I think, confused by the wonderful ambiguity of natural languages. The word "derive" and the words based on it such as derivation and derivative have multiple meanings. "Derive" in some contexts means to "to obtain by reasoning". That's the meaning implied by mathematical theorems. Every mathematical theorem is a tautology. The trick is to show that this is the case.

"Derive" also has a derivative meaning, "derivative". That word, too, is overloaded. For example, ask an economist or a mathematician what a "derivative" is and you will get very different answers. To economists, derivatives were the things that some nefarious operators took advantage of and indirectly caused our current economic malaise. To mathematicians, a derivative what results from differentiation.

That latter meaning is the sense of the word with regard to Lie algebras. The concept of differentiation requires two operators, subtraction (addition) and division (multiplication). Nominally, a group in mathematics is something with one operator, so nominally the concept of differentiation does not make sense with respect to a mathematical group. A Lie group is a group that somehow has enough additional structure such that the concept of differentiation somehow does make sense. The derivative of a Lie group has both addition and multiplication. That's an algebra, and hence the name Lie algebra.
 
  • #3
Still why do the product rule" and the binomial formula look very similar if not the same?
 
  • #4
Tenshou said:
Still why do the product rule" and the binomial formula look very similar if not the same?

I never thought like you. Perhaps a coincidence. They just look the similar is due to coincidence in derivation.

For example: A body is revolved in a vertical circle from bottom to top. Using conservation of mechanical energy yields the same result as kinematic equations of motion,but still you know that those kinematic equations of motion hold for one dimensional motion only.
 
  • #5
Tenshou said:
I mean the binomial formula is something of the form

##\left(a+b\right)^n## = ##\sum_{i=1}^{n}\dbinom{n}{k}a^{n}b^{n-k}##

and then you have the linear map ##\psi : A \rightarrow A## which is a derivation when;
##\theta(xy) = y\theta(x) + x\theta(y)## for all x,y in A

so the leibniz formula for a ##\psi## derivation is
##\theta^n(xy)## = ##\sum_{k=1}^{n}\dbinom{n}{k}\theta^{n}(x)\theta^{n-k}(y)##

I think you may want to take another look at the definition of a derivation; your account is somewhat confused (What is [itex]\theta[/itex]? What is [itex]\psi[/itex]?).

so does anyone have any idea why these two are very very similar if not the same?

The inductive proofs of these results have exactly the same structure: you do an operation on a single sum which gives you two sums, which you have to recombine into a single sum.
 
  • #6
pasmith said:
I think you may want to take another look at the definition of a derivation; your account is somewhat confused (What is [itex]\theta[/itex]? What is [itex]\psi[/itex]?).

The inductive proofs of these results have exactly the same structure: you do an operation on a single sum which gives you two sums, which you have to recombine into a single sum.

I mean for ##\theta## which is suppose to be the linear map not ##\psi## that is a typo. that is what a derivation is. a linear map. What do you mean that they have the same structure? That is what I am asking the question about! Why is the structure the same? nothing is by coincidence ;)
 
  • #7
Consider the following algebra:

[tex]A=\bigoplus_{x\in \mathbb{R}} \mathbb{R}[/tex]

Pure formally, these are function [itex]f:\mathbb{R}\rightarrow \mathbb{R}[/itex] where only finitely many values f(x) are nonzero.

Define for [itex]a\in \mathbb{R}[/itex], the function [itex]\delta_a:\mathbb{R}\rightarrow \mathbb{R}[/itex] such that [itex]\delta_a(a)=1[/itex] and [itex]\delta_a(x)=0[/itex], for [itex]x\neq a[/itex]. We can write any [itex]f\in A[/itex] as

[tex]f=\sum_{a\in \mathbb{R}} x_a\delta_a[/tex]

where [itex]x_a\in \mathbb{R}[/itex] is nonzero for only finitely many a.

We now define a product by [itex]\delta_a\cdot \delta_b=\delta_{a+b}[/itex] and by extending this linearly.This gives a associative and commutative product on A.

Define the following derivation on A:

[tex]\theta(\sum_{a\in \mathbb{R}} x_a\delta_a ) = \sum_{a\in \mathbb{R}} a x_a \delta_a[/tex]

Note that [itex]\theta^n (\delta_a)= a^n \delta_a[/itex].

So [itex]\theta^n (\delta_a\delta_b) = (a+b)^n \delta_{a+b}[/itex]. And

[tex]\sum_{k=0}^n \binom{n}{k} \theta^k(\delta_a)\theta^{n-k}(\delta_b) = \sum_{k=0}^n \binom{n}{k} a^kb^{n-k}\delta_{a+b}[/tex]

So by the Leibniz rule, we get that

[tex](a+b)^n \delta_{a+b} = \sum_{k=0}^n \binom{n}{k} a^kb^{n-k}\delta_{a+b}[/tex]

and in particular, the coefficients of [itex]\delta_{a+b}[/itex] must equal so we have proven that

[tex](a+b)^n = \sum_{k=0}^n \binom{n}{k} a^kb^{n-k}[/tex]

which is the binomial formula. So this is a way to prove the binomial formula from the Leibniz rule.
 
  • #8
sankalpmittal said:
I never thought like you. Perhaps a coincidence. They just look the similar is due to coincidence in derivation.

For example: A body is revolved in a vertical circle from bottom to top. Using conservation of mechanical energy yields the same result as kinematic equations of motion,but still you know that those kinematic equations of motion hold for one dimensional motion only.

Nothing in math is a coincidence :tongue2: In physics maybe, but not in math.
 
  • #9
sankalpmittal said:
For example: A body is revolved in a vertical circle from bottom to top. Using conservation of mechanical energy yields the same result as kinematic equations of motion,but still you know that those kinematic equations of motion hold for one dimensional motion only.
That's because you have constrained the body to move in a circle. You eliminated one of the two degrees of freedom so you have reduced the system to a one dimensional problem. This isn't a coincidence =D.
 
  • #10
I cannot spot any flaws, and thank you! the ##\delta## looks kind of like an exponential function... Can I say that this helped me understand possibly how the Lie Algebra is a Derivative, I mean it is if you can tack on the structure of a commutator. Thank you micro mass, you work seems elegant (/•ิ_•ิ)/ I salute you, sir.
 
  • #11
I think I have found a flaw, after several weeks of looking at this in awe, I decided to put this to a test. And this proof fails for all numbers except when ##a=b=1## look...

Since ##a## must be equal to ##b## such that the coefficients of ##\delta_{a+b} \neq 0## me have ## (a+a)^n=2^{n}a^{n} \ge \sum\limits_{i=0}^{n} \binom{n}{k} a^{n}a^{n-k}=\sum \limits_{i=0}^{n} \binom{n}{k}a^{n}## The equality comes about when a = 1, To prove that it only happens at a=1 where it doesn't fail then... let's go :D

##\begin{align*}(1+1)^n=2^n= \sum \limits_{i=0}^{n} \binom{n}{k} 1^{k}1^{n-k} \\ = \sum\limits_{i=0}^{n} \binom{n}{k} 1^{n}\end{align*}##

you can discard the one and there you go... I think the error is in how you defined the derivative. for example, it isn't clear if you took the derivative of ##x_a## or ##\delta_{a+b}## if you could clear that up it would fantastic :3
 
  • #12
Tenshou said:
I think I have found a flaw, after several weeks of looking at this in awe, I decided to put this to a test. And this proof fails for all numbers except when ##a=b=1## look...

Since ##a## must be equal to ##b## such that the coefficients of ##\delta_{a+b} \neq 0## me have ## (a+a)^n=2^{n}a^{n} \ge \sum\limits_{i=0}^{n} \binom{n}{k} a^{n}a^{n-k}=\sum \limits_{i=0}^{n} \binom{n}{k}a^{n}## The equality comes about when a = 1, To prove that it only happens at a=1 where it doesn't fail then... let's go :D

Why is the equality only true for a=1?

What you're saying now is not that the proof is flawed, but that the entire binomial theorem is flawed!
 
  • #13
I actually have the inequality going the wrong way, I am sorry I have been up for the past 24 hours I think I need some sleep... the sum to n should be greater than the other side of ##2^{n}a^n## It may be true that the proof is flawed, or the fact that math is either consistent and not complete or complete and not consistent, but for the sake of this I will take the latter. I mean can you just define the what it means to take ##\theta(f)## I am not sure what the derivation is on it I mean it is ##af##, it is that right?
 
  • #14
Tenshou said:
Since ##a## must be equal to ##b## such that the coefficients of ##\delta_{a+b} \neq 0## me have ## (a+a)^n=2^{n}a^{n} \ge \sum\limits_{i=0}^{n} \binom{n}{k} a^{n}a^{n-k}=\sum \limits_{i=0}^{n} \binom{n}{k}a^{n}##
How did you get the inequality? It should actually be
[tex]
(a+a)^n=2^{n}a^{n} = \sum\limits_{i=0}^{n} \binom{n}{k} a^{k}a^{n-k} = \sum\limits_{i=0}^{n} \binom{n}{k} a^n = a^n\sum\limits_{i=0}^{n} \binom{n}{k}.
[/tex]
This only proves that
[tex]
\sum\limits_{i=0}^{n} \binom{n}{k} = 2^{n}
[/tex]
which you can check is indeed true. So there is nothing wrong with the proof by micromass.
 

What is the binomial formula?

The binomial formula is a mathematical expression used to expand binomial expressions, which are expressions with two terms. It can also be used to calculate the probability of a certain number of successes in a given number of trials.

Why is the binomial formula important?

The binomial formula is important because it provides a systematic way to expand binomial expressions and solve probability problems. It is also used in many real-world applications, such as in statistics, genetics, and engineering.

How is the binomial formula derived?

The binomial formula can be derived using the principles of combinatorics and the binomial theorem. It involves determining the number of ways a set number of objects can be selected from a larger set and combining them in different orders.

What are the applications of the binomial formula?

As mentioned, the binomial formula has many applications in different fields such as statistics, genetics, and engineering. It is also used in calculating the probability of events in a given number of trials, as well as in simplifying mathematical expressions.

Can the binomial formula be used for more than two terms?

No, the binomial formula is specifically used for binomial expressions, which have only two terms. However, it can be extended to include more terms by using the multinomial theorem, which is a generalization of the binomial theorem.

Similar threads

  • Linear and Abstract Algebra
Replies
2
Views
882
  • Linear and Abstract Algebra
Replies
5
Views
947
  • Linear and Abstract Algebra
2
Replies
41
Views
2K
  • Linear and Abstract Algebra
Replies
8
Views
996
  • Linear and Abstract Algebra
Replies
24
Views
3K
  • Linear and Abstract Algebra
Replies
4
Views
810
  • Linear and Abstract Algebra
Replies
19
Views
2K
  • Linear and Abstract Algebra
Replies
10
Views
1K
  • Calculus and Beyond Homework Help
Replies
14
Views
2K
  • Linear and Abstract Algebra
Replies
4
Views
873
Back
Top