User:Caliburn/sandbox/findsourceforthese

From ProofWiki
Jump to navigation Jump to search

These are in note form for now.

Definition (Almost Surely Constant Random Variable)

Let $X$ be a random variable.

Let:

$\map \Pr {X = c} = 1$

for some $c \in \R$.

We say that $X$ is almost surely constant.

Note that this is distinct from $X$ always taking the value $c$. Rather it takes the value $c$ with probability $1$.

For example if $X \sim \ContinuousUniform 0 1$ then $\map { {\mathbf 1}_{\Q} } X$ takes the value $0$ with probability $1$ and so is almost surely constant, yet it is possible for it to take the value $1$. It just has probability $0$ of doing so.

$X$ might be simply, perhaps misleadingly, called constant.

Definition (Negative Random Variable)

Let $X$ be a random variable.

Let:

$\map \Pr {X < 0} = 1$

We say that $X$ is negative.

$X$ might take non-negative values but with probability $0$.

Definition (Non-Positive Random Variable)

Let $X$ be a random variable.

Let:

$\map \Pr {X \le 0} = 1$

We say that $X$ is non-positive.

$X$ might take positive values but with probability $0$.

Definition (Positive Random Variable)

Let $X$ be a random variable.

Let:

$\map \Pr {X > 0} = 1$

We say that $X$ is positive.

$X$ might take non-positive values but with probability $0$.

Definition (Non-Negative Random Variable)

Let $X$ be a random variable.

Let:

$\map \Pr {X \ge 0} = 1$

We say that $X$ is non-negative.

$X$ might take negative values but with probability $0$.

Definition (Support (Discrete))

Let $X$ be a discrete random variable.

We define the support of $X$, $\map {\operatorname {supp} } X$, by:

$\map {\operatorname {supp} } X = \set {x \in \Img X \mid \map \Pr {X = x} \ne 0}$

Definition (Support (Continuous))

Let $X$ be a continuous random variable.

Let $f_X$ be the probability density function of $X$.

We define the support of $X$, $\map {\operatorname {supp} } X$, by:

$\map {\operatorname {supp} } X = \set {x \in \Img X \mid \map {f_X} x \ne 0}$