Показательное, конечно. Проблема в том, что не очень понятно, куда послать: процесс Пуассона можно ввести несколькими эквивалентными способами, и на какой из них Вам следует опираться, я не знаю. А про то, что интервалы между событиями пуассоновского потока показательные и независимые, даже и в википедии написано.
(Оффтоп)
Если, скажем, мыслить себе процесс Пуассона как вот в этой лекции (В.И.Афанасьев)
http://www.math.msu.su/department/matst ... opic10.pdf , то он сразу даётся как процесс восстановления, построенный по показательным слагаемым: берём независимые и одинаково показательно распределённые слагаемые
с распределением
, строим суммы
,
, и процесс Пуассона есть
,
- сколько раз успели суммы отметиться на отрезке
.
Но при таком определении следует доказывать остальные свойства процесса Пуассона, что и делается в теореме 2 (см. также аксиомы 1-3 на стр.4). А именно, следует доказывать, что количество событий процесса на любом интервале времени имеет распределение Пуассона с параметром, зависящим только от длины этого интервала, и что случайные величины, равные количествам событий на непересекающихся интервалах времени, независимы в совокупности.
Можно, наоборот, исходить из аксиом 1-3 (стр.4) как из определения процесса Пуассона. Тогда, например, просто получается, что время до первого события имеет показательное распределение: это время больше
, когда за интервал
не случилось ни одного события потока. Эта вероятность в распределении Пуассона есть
. Вот и показательное распределение. Но независимость интервалов между событиями уже надо получать отдельно (см. там же задачу 2 на стр.5).
Мне больше нравится третье определение процесса Пуассона, из которого нужно долго и трудно получать искомые свойства, зато эффект красивый. Пусть в некоторые положительные случайные моменты времени наступают какие-то события, и наш процесс
считает число событий за время
. Предположим, что
обладает свойствами:
1) стационарность: распределение числа событий на интервале
такое же, как на
для любых
,
;
2) отсутствие последействия: для любых попарно непересекающихся интервалов количества случившихся в них событий суть взаимно независимые случайные величины;
3) ординарность: вероятность появиться двум или более событиям потока в любом интервале длиной
есть
при
.
Тогда
является однородным процессом Пуассона со всеми вытекающими последствиями.
Получение остальных свойств процесса из этих мало к чему обязывающих качеств можно найти много где, обычно в лекциях любят такие вещи. Навскидку приходит в голову вот такой очень подробный источник: Б.В.Гнеденко, И.Н.Коваленко "Введение в теорию массового обслуживания", параграф 1.1. (см. libgen.org).