Reflection principle (Wiener process) (source code)

= Reflection principle (Wiener process)
{wiki}

= Brownian reflection principle
{c}
{synonym}

Reflecting a Brownian path after its first hit of a level $b>0$ preserves Wiener measure and maps an endpoint $x\leq b$ to $2b-x\geq b$.