Exponential distribution/Definition

Grade: B

This page requires references, it is on a to-do list for being expanded with them.

Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
The message provided is:

use Rice's $\mathbb{P}$ book. Page 48

Using this page

Set home to something when using this page to change the "the proof of this is claim 1 message"

Definition

Let $\lambda\in\mathbb{R}_{\ge 0}$ be given, and let $X\sim\text{Exp}(\lambda)$ be an exponentially distributed random variable. Then:

• the probability density function, $f:\mathbb{R}_{\ge 0}\rightarrow\mathbb{R}_{\ge 0}$ is given as follows:
  • $f:x\mapsto \lambda e^{-\lambda x}$, from this we can obtain:
• the cumulative distribution function, $F:\mathbb{R}_{\ge 0}\rightarrow[0,1]\subseteq\mathbb{R}$, which is:
  • $F:x\mapsto 1-e^{-\lambda x}$
    • The proof of this is claim 1 on the exponential distribution page

The exponential distribution has the memoryless property