This seems trivial, but I'm getting stuck/confused how to prove it formally. Please help.
Consider expansions of
Let the coefficient of be
Let me define a set, as
I want to show that
I know what's going on behind the scenes, but just not able to express it coherently/rigorusly. I mean I'm not getting a smart bi-jection between the two sets
Thanks for your answer. But I'm not too convinced about. Not to say that you are not correct, but more so because I think I not framing the question properly/or am getting thoroughly confused .
I am inclined to ask you what is the guarantee that you will be able to do what you say -
" Write those terms in any order you please and map the first to 1, the second to 2, etc. up to mapping the last one to C"
I was thinking on these lines. Isn't this situation exactly similar to the following:
You have a urn with red and white balls. You pick balls one by one, if it is red you increase a counter(initially set as zero) by 1. Once you exhaust all the balls - the counter will tell you how many red balls were there. So, I need to do three things here:
a> Establish more formally that the "situations are exactly similar" i.e. the coefficient = counter
b> Counter indeed is number of balls (i.e. establish a bijection)
Sorry if I'm messing stuff up - but as you would have guessed I'm struggling to say this in the language of mathematics. I'm unable to establish/prove both the above.
Solution: It is clear that may be expressed in an expanded but completely unsimplified manner. It is clear that this unsimplified expansion may be interpreted as an ordered -tuple, which we will denote , with each coordinate as an unsimplified term. Also, with the same evidence it is clear that we may define a projection in the normal way. Furthermore, for a fixed define as the set of all coordinates of such that the exponent of the coordinate is when simplified. Lastly, if and are defined as in the problem let be defined recurrisvely by is the unique such that is the minimum of and is the unique element of such that is a minimum. It is clear that is an injection. Also, it is clear that if were not a surjection then there would be at least coordinates of such that their simplified exponent would be where it follows that the coefficient of in the simplified expression of must be at least which is a contradiction.
EDIT: I didn't actually map to with , but it's easily fixable.
I mean though, this is just a formal way of putting what HallsOfIvy said.