Renewal process - sample space

My question is related to the renewal process, as defined in this document.

Renewal process is an arrival process in which the interarrival intervals are positive, independent and identically distributed random variables denoted $\{X_n; n \ge 1\}$.

$\{N(t); t\ge 0\}$ is a renewal process with inter-renewal random variables $\{X_n; n \ge 1\}$. $N(t)$ is the number of arrivals to a system in the interval $(0,t]$.

See page 3 for lemma 3.1. The first sentence of the proof says:

Note that for each sample point $\omega \in \Omega$, $N(t,\omega)$ is a nondecreasing function of $t$ and thus either has a finite limit or an infinite limit.

What is the sample space $\Omega$ of a renewal process?

My guess: Let's denote the observed value of r.v. $X_i$ by $x_i$.

What is a random variable? It's a function that assigns a value to every outcome from the sample space $\Omega$. If we have the sequence of random variables (that sequence can be infinite), $\{X_n\}$, then we need to define what $\Omega$ is.

I'd say $\Omega$ has to be the collection of all possible infinite sequences of the form $\{x_1, x_2, x_3, ...\}$. Then essentially the random variable $X_i$ is equal to the value on the $i$th position of particular outcome from the sample space $\Omega$. A single outcome is an infinite sequence, because the renewal process consists of an infinite sequence of random variables $X_n$.

Is there anything that should be added or corrected in my definition of the sample space here?

• I like to think of the points in the sample space as the set of all 'possible continuations' of the actual experiment (or possible worlds). – Berci Dec 21 '15 at 11:36
• @Berci the renewal process is just an experiment, just like any other, right? And it has to conform to the definition of probability space. So if you were to define a single outcome of the experiment, would my definition make any sense? – user4205580 Dec 21 '15 at 11:40

Your definition is similar to the usual one, except that you don't want to have separate points $\omega\in\Omega$ for the finite sequences. Just treat them as prefixes of infinite sequences. The $X_i=X_i(\omega)$ you mention are usually called the coordinate functions. So the probability that the first arrival is less than 3 is the measure on $\Omega$ of $\{\omega:X_1(\omega)<3\}$. The measure on $\Omega$ is determined by the distribution of the $X_i$. You might look up Kolmogorov's extension theorem for details. The process $N(t,\omega)$, although it has a continuous time parameter, is determined by the $X_i$, so you can define it on the same probability space, i.e., $N(t,\omega)$ is a random variable on the sample space of sequences, just like the coordinate functions. An event about $N(t)$ is an event about the $X_i$.
• Do you mean, does the model for a renewal process constrain the # of arrivals to be finite, say 10? I don't think that would be called a renewal process. If you mean, could there be just 10 arrivals and none further, well that would occur with probability 0 assuming $P(X_i=\infty)=0$. – snarfblaat Dec 21 '15 at 19:03
• I'm asking whether the sequence of random variables $X_n$ representing the interarrival times is always infinite. My guess is 'yes'. – user4205580 Dec 21 '15 at 19:12
• But it isn't clear to me whether you're asking a question about the physical process (i.e., could arrivals stop/there is an infinitely long interrarival time) or about how we model the process (the probability space). As to how we model the process, we can still use infinite sequences, even if some element of that sequence assumes the value $\infty$. – snarfblaat Dec 22 '15 at 19:10