В вероятности и статистике отсутствие памяти является свойством определенных распределений вероятностей . Оно описывает ситуации, в которых время , уже потраченное на ожидание события, не влияет на то, насколько долгим будет ожидание. Чтобы точно смоделировать ситуации без памяти, мы должны игнорировать прошлое состояние системы — вероятности остаются неизменными из-за истории процесса. [1]
Только два вида распределений не имеют памяти : геометрическое и экспоненциальное распределения вероятностей.
Большинство явлений не лишены памяти, что означает, что наблюдатели будут получать информацию о них с течением времени. Например, предположим, что X — это случайная величина , срок службы двигателя автомобиля, выраженный в терминах «количество пройденных миль до поломки двигателя». Очевидно, исходя из нашей интуиции, что двигатель, который уже проехал 300 000 миль, будет иметь гораздо более низкий X , чем второй (эквивалентный) двигатель, который проехал всего 1000 миль. Следовательно, эта случайная величина не будет обладать свойством отсутствия памяти.
Напротив, давайте рассмотрим ситуацию, которая продемонстрирует отсутствие памяти. Представьте себе длинный коридор, вдоль одной стены которого выстроились тысячи сейфов. У каждого сейфа есть циферблат с 500 позициями, и каждому сейфу случайным образом назначена позиция открытия. Представьте себе, что эксцентричный человек идет по коридору, останавливаясь у каждого сейфа, чтобы сделать одну случайную попытку открыть его. В этом случае мы могли бы определить случайную величину X как продолжительность его поиска, выраженную в терминах «количества попыток, которые человек должен сделать, пока не успешно откроет сейф». В этом случае E[ X ] всегда будет равно значению 500, независимо от того, сколько попыток уже было сделано. Каждая новая попытка имеет (1/500) шанс на успех, поэтому человек, скорее всего, откроет ровно один сейф в течение следующих 500 попыток, но с каждой новой неудачей он не «продвигается» к окончательному успеху. Даже если взломщик сейфов только что потерпел неудачу 499 раз подряд (или 4999 раз), мы ожидаем, что нам придется ждать еще 500 попыток, пока мы не увидим следующий успех. Если же вместо этого этот человек сосредоточит свои попытки на одном сейфе и «вспомнит» свои предыдущие попытки его открыть, он гарантированно откроет сейф максимум после 500 попыток (и, по сути, в начале он будет ожидать, что ему понадобится всего 250 попыток, а не 500).
Универсальный закон радиоактивного распада , описывающий время до распада данной радиоактивной частицы, является реальным примером отсутствия памяти. Часто используемый (теоретический) пример отсутствия памяти в теории очередей — это время, которое кладовщик должен ждать до прихода следующего покупателя.
Если дискретная случайная величина не имеет памяти, то она удовлетворяет , где и — натуральные числа . Равенство остается верным, если подставить в левую часть уравнения. [2]
Единственная дискретная случайная величина, не имеющая памяти, — это геометрическая случайная величина, принимающая значения в . [3] Эта случайная величина описывает момент, когда происходит первый успех в бесконечной последовательности независимых и одинаково распределенных испытаний Бернулли . [4] Свойство отсутствия памяти утверждает, что количество ранее неудачных испытаний не влияет на количество будущих испытаний, необходимых для успеха.
Геометрические случайные величины также могут быть определены как принимающие значения в , что описывает количество неудачных попыток до первого успеха в последовательности независимых и одинаково распределенных испытаний Бернулли. Эти случайные величины не удовлетворяют условию отсутствия памяти, указанному выше; однако они удовлетворяют слегка измененному условию отсутствия памяти: [5]
Подобно первому определению, только дискретные случайные величины, удовлетворяющие этому условию отсутствия памяти, являются геометрическими случайными величинами, принимающими значения в . В непрерывном случае эти два определения отсутствия памяти эквивалентны.
Если непрерывная случайная величина не имеет памяти, то она удовлетворяет условию , где и — неотрицательные действительные числа . [6] Равенство остается верным при подстановке. [7]
Единственная непрерывная случайная величина, которая не имеет памяти, — это экспоненциальная случайная величина . Она моделирует случайные процессы, такие как время между последовательными событиями. [8] Свойство отсутствия памяти утверждает, что количество времени с момента предыдущего события не влияет на будущее время, пока не произойдет следующее событие.
Единственным непрерывным распределением вероятностей без памяти является экспоненциальное распределение, показанное в следующем доказательстве: [9]
Сначала определим , также известную как функция выживания распределения . Из свойства отсутствия памяти и определения условной вероятности следует, что
Это дает функциональное уравнение , которое подразумевает, что где — натуральное число . Аналогично, где — натуральное число, за исключением . Следовательно, все рациональные числа удовлетворяют Поскольку является непрерывным и множество рациональных чисел плотно в множестве действительных чисел , где — неотрицательное действительное число. Когда , В результате, где .