duvin103time said:
"The Dirac's Delta Function is not a Lebesgue measurable function, so the standard change-of-variable formula cannot handle the problem."
Is that right?
Please, see
http://mathforum.org/kb/thread.jspa?thr ... &tstart=15
,and find the fault in that discussion. I am confused.
You changed my statements by adding the "so." I did not link those two statements.
On the Dirac Delta function not being a Lebesgue measureable function, see
http://en.wikipedia.org/wiki/Dirac_delta_function. The standard change-of-variable formula does not handle change of dimensions. Those statements were correct as far as they go.
But I see the possibilities in your solution
f(inv(P3)*q3)/|det(P3)|*delta(qn-Pn*inv(P3)*q3)
provided in that other thread. I don't know enough about the theory behind the delta function to know whether this solution is rigorous, but I see what you did. Essentially you computed a density on \(\displaystyle R^3\) assuming the first 3 rows of P form an invertible matrix. But to extend this density to vectors \(\displaystyle q \in R^n\), you have to check that \(\displaystyle q\) is in the image of \(\displaystyle Q.\) You express this by using the delta function.
Can you rigorously defend this use of the delta function? Denoting your density by \(\displaystyle g\), can you show that for any measurable set \(\displaystyle A \subset R^n\) that \(\displaystyle \int_A g = \int_{Q^{-1}(A)} f\)?
The use of the delta function may be a good notational device, but I'll make two points for better understanding. First, the density is not a Lebesgue measurable function. That is OK, you were not requiring that. Second, if you actually use the density to compute probabilities, you will end up using ordinary integration on \(\displaystyle R^3\) and checking that the vectors are in the image of \(\displaystyle Q\) as I described.
The issue for me was understanding what you were looking for. As I pointed out and someone in the other thread pointed out, your notation and use of terms was confusing.
This was an interesting question. Thanks for posting it. Good luck!