2
$\begingroup$

I've been coming accross notation like this $\gamma = (id,id)_\# \mu$, where the hashtag/pound sign is used in the subscript. From context, it seems to have something to do with marginalizing probability measures, but I can't seem to find any resource that defines this notation.

For an example of the usage, you can see page 2 of these lecture notes by Chizat.

$\endgroup$
1
  • 3
    $\begingroup$ Possibly a push forward / pull back measure notation $\endgroup$ Commented Apr 29, 2022 at 18:59

1 Answer 1

Reset to default
3
$\begingroup$

Thanks to @FShrike'scomment, I was able to confirm that this indicates a push-forward measure. If anyone in the future is looking for a definition to reference, I found it in Exercise 1.4.38 (p.103) of Terence Tao's "An Introduction to Measure Theory": $$ \phi_\# \mu(E) = \mu(\phi^{-1}(E)). $$

$\endgroup$

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.