ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Subset
▼ Power set
▼ Hyperpower set sequence
▼ Hyperpower set
▼ Hypersubset
▼ Subset algebra
▼ Subset structure
▼ Measurable space
▼ Measure space
▼ Probability space
▼ Filtered probability space
▼ Random time
▼ Stopping time
▼ Negative binomial random natural number
▼ Geometric random positive integer
Definition D5116
Cogeometric random natural number
Formulation 1
Let $N$ be a D4001: Geometric random positive integer with parameter $\theta$.
A D5216: Random natural number $M \in \mathsf{Random}(\mathbb{N})$ is a geometric random natural number if and only if \begin{equation} M \overset{d}{=} N - 1 \end{equation}
Formulation 3
Let $X_1, X_2, X_3, \dots \in \text{Bernoulli}(\theta)$ each be a D207: Bernoulli random boolean number such that
(i) $X_1, X_2, X_3, \dots$ is an D2713: Independent random collection
(ii) $\theta \in (0, 1]$
A D5748: Random positive integer $G \in \text{Random} \{ 0, 1, 2, \ldots \}$ is a cogeometric random natural number with parameter $\theta$ if and only if \begin{equation} G \overset{d}{=} \max \left\{ N \in \{ 0, 1, 2, \ldots \} : \sum_{n = 1}^N X_n \neq 1 \right\} \end{equation}
Also known as
Shifted geometric random number, Shifted geometric random variable
Results
▶ R4801: Probability mass function for cogeometric random basic natural number