The first measurable hit was performned by who in 1951 ?
Then the first hit time " τ "" A " : Ω → [ 0 , + ∞ is the random variable defined by formula_1 The first exit time ( from " A " ) is defined to be the first hit time for " S " \ " A " , the complement of " A " in " S " .