The filtration tells you what information is available at a given point t in time. A „stopping time“ is a random variable, where – at any given time t – you have enough information to decide, whether the random event happened or not.
A simple application of stopping times are lazy sequences. Someone asked on the Clojure group to solve a certain problem fully lazy. However this was not possible, because the condition was not a stopping time.
In order to decide whether stop the current sequence and start processing the next one, one has to realise the next item of the input sequence. We have to know the weather of Sunday to decide on Saturday.
You can be fully lazy if and only if your condition is a stopping time!
Published by Meikel Brandmeyer on .