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