random walk probability

[jakey]

Hi guys,

I was reading about random walks and i encountered one step of a proof which i dont know how to derive in a mathematically rigorous way.

the problem is in the attached file and S is a random walk with X_i as increments, X_i =
{-1,+1}

I know that intuitively we can switch the indices to obtain the second equation from the first but how do we prove it rigorously?

EDIT: btw, im just looking for hints, not the entire solution. i think one of the possible hints is that the X_i's are i.i.d. but i cant think of a way to use this

[mathman]

Since all X_i have the same distribution renumbering the indices makes no difference.

[jakey]

hi mathman, thanks btw! so there's no rigorous proof for this?

[mathman]

I don't what you need to make it rigorous.

[bpet]

Mathman's lemma: (X1,X2) has the same distribution as (X2,X1).

Proof: P[X1<=x1,X2<=x2] = P[X1<=x1]P[X2<=x2] = P[X2<=x1]P[X1<=x2] = P[X2<=x1,X1<=x2]

[alexfloo]

You started with the assumption that the Xi's were iid. Part of the definition of iid is that they are identical - that is, every marginal probability statement for one variable can be exchanged for any probability statement about another. The other bard of the definition of iid is that they are independent. This fact allows us to extend the above from marginal probability statements to any arbitrary joint probability statement.