<aside> 馃挕
Proposici贸n (Variables aleatorias discretas)
Sea $X:\Omega \to \mathbb{R}$ una variable aleatoria. Son equivalentes:
Obs: Que un conjunto sea contable significa que es finito o numerable.
<aside> 馃挕
Definici贸n (Funci贸n de probabilidad)
Sea $X$ una v.a discreta. La funci贸n de probabilidad de $X$ es la funci贸n
$$ \begin{aligned} f_X: \mathbb{R} &\to [0,1] \\ x &\mapsto \mathbb{P}(\set{x}) = P(X=x) \end{aligned} $$
</aside>
Ejemplo
<aside> 馃挕
Definici贸n (Soporte)
Sea $f_X$ la funci贸n de probabilidad de la v.a $X$. El soporte de $f_X$ es
$$ sop(f_X) = \set{ x \in \mathbb{R} : f_X(x) > 0} $$
</aside>
<aside> 馃挕
Proposici贸n
Si $X$ es una v.a discreta con funci贸n de probabilidad $f_X$, entonces
$$ Im(X) = sop(f_X) $$
</aside>
Es decir, el soporte de la variable aleatoria consiste en los valores que toma.
Ejemplo
<aside> 馃挕
Proposici贸n
Si $f_X$ es la funci贸n de probabilidad de $X$, entonces
$$ \sum_{x \in sop(f_X)} f_X(x) = 1 $$
</aside>
<aside> 馃挕
Caracterizaci贸n
Cualquier funci贸n $f: \mathbb{R} \to \mathbb{R}$ con soporte contable tal que $\forall x \in \mathbb{R}, f(x) \geq 0$ y $\sum_{x \in sop(f)} f(x) = 1$ es una funci贸n de probabilidad. Es decir, existe una v.a $X$ tal que $\mathbb{P}(\set{x}) = f(x)$
</aside>
Debido a esta caracterizaci贸n, podemos estudiar modelos de probabilidad sin necesidad de hablar directamente de variables aleatorias, sino 煤nicamente de funciones reales que satisfagan estas dos propiedades.
<aside> 馃挕
Proposici贸n (relaci贸n entre $F_X$ y $f_X$)
Sea $X$ una variable aleatoria discreta con funci贸n de distribuci贸n $F_X$ y funci贸n de probabilidad $f_X$. Entonces
$$ \begin{align*} F_X(x) &= \sum_{u \leq x} f_X (u) \\[0.6cm] f_X(x) &= F_X(x) - F_X(x^{-}) \\ \end{align*} $$
donde $u \leq x \equiv \set{u \in sop(f_X) | u \leq x}$ y $F_X(x^{-}) = \lim_{ y \to x^{-} } F_X(y)$.
</aside>
Ejemplo
<aside> 馃挕
Definici贸n (Modelo Bernoulli)
Una v.a $X$ sigue una distribuci贸n Bernoulli con par谩metro $p \in (0,1)$, denotado por $X \sim Bern(p)$ si
$$ sop(f_X) = \set{0,1} $$
$$ f_X(x) = p^{x} (1-p)^{1-x}\textbf{1}_{sop(f_X)}(x) $$
</aside>
El modelo Bernoulli modela experimentos con 2 posibles resultados, normalmente denotados por
$$ \begin{align*} 1 &\longrightarrow \text{茅xito} \\ 0 &\longrightarrow \text{fracaso} \\ \end{align*} $$