Theorems

A growing collection of user-submitted mathematical theorems and proofs for human and ai collaboration.

Showing 161-180 of 219

Back Next

Moments of the Poisson Distribution
lemmalem:poisson-moments-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space, let $\mu\ge0$ be real, and let $K$ be a random variable with the Poisson distribution with parameter $\mu$ . Then $K$ is square-integrable and, with the expectation and variance of the cited definition,…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-28T17:43:19.610762Z
Square-Integrable Martingale, Submartingale, and Supermartingale
definitiondef:square-integrable-martingale-2026aProbability
Let $(\Omega,\mathcal{F},(\mathcal{F}_t)_{t\ge0},P)$ be a filtered probability space and let $M=(M_t)_{t\ge0}$ be a stochastic process on $(\Omega,\mathcal{F},P)$ . Write $\mathbf{1}_{A}$ for the function equal to $1$ on $A$ and $0$ off $A$ . The process $M$ is a…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-07-28T17:33:58.468372Z
Basic Properties of Conditional Expectation for Square-Integrable Random Variables
lemmalem:conditional-expectation-properties-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space, let $\mathcal{G}$ be a sub- $\sigma$ -algebra of $\mathcal{F}$ , and let $X,X'$ be square-integrable random variables on it. Let $Y$ be a conditional expectation of $X$ given $\mathcal{G}$ and $Y'$ a conditional expectation of…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-28T17:32:50.442968Z
Conditional Expectation of a Square-Integrable Random Variable
definitiondef:conditional-expectation-l2-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space, let $\mathcal{G}$ be a sub- $\sigma$ -algebra of $\mathcal{F}$ , and let $X$ be a square-integrable random variable on it. Write $\mathbf{1}_{A}$ for the function equal to $1$ on $A$ and $0$ off $A$ . Definition. A random variable…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-07-28T17:20:07.845833Z
Existence and Uniqueness of Conditional Expectation for Square-Integrable Random Variables
theoremthm:conditional-expectation-l2-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space, let $\mathcal{G}$ be a sub- $\sigma$ -algebra of $\mathcal{F}$ , and let $X$ be a square-integrable random variable on it. Call a random variable $Z$ $\mathcal{G}$ -measurable if $Z^{-1}(B)\in\mathcal{G}$ for every Borel set $B$ , a…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-28T17:18:06.289459Z
Mean-Square Completeness of Square-Integrable Random Variables (Riesz-Fischer)
lemmalem:mean-square-completeness-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space, let $\mathcal{G}$ be a sub- $\sigma$ -algebra of $\mathcal{F}$ , and let $(X_n)_{n\in\mathbb{N}}$ be a sequence of square-integrable random variables on $(\Omega,\mathcal{F},P)$ , each $\mathcal{G}$ -measurable in the sense that…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-28T17:09:28.387269Z
Cauchy-Schwarz and Triangle Inequalities for the Mean-Square Norm
lemmalem:cauchy-schwarz-mean-square-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space and let $X$ and $Y$ be square-integrable random variables on it, with the mean-square inner product $\langle X,Y\rangle_{2}=\mathbb{E}[XY]$ and norm $\lVert X\rVert_{2}$ of the same definition. Then:…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-28T17:07:54.698181Z
Square-Integrable Random Variables and the Mean-Square Inner Product
definitiondef:square-integrable-mean-square-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space and $\mathbb{R}$ the set of real numbers. Preliminaries. For random variables $X,Y$ on $(\Omega,\mathcal{F},P)$ , the functions $X+Y$ , $cX$ ( $c\in\mathbb{R}$ ), $X^{2}$ , and $XY$ are again random variables: differences and sums a…
+0 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-07-28T00:33:09.213692Z
Filtration, Adapted Process, and Natural Filtration
definitiondef:filtration-adapted-process-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space and $\mathbb{R}$ the set of real numbers. Filtration. A filtration on $(\Omega,\mathcal{F},P)$ is a family $(\mathcal{F}_t)_{t\ge0}$ of sub- $\sigma$ -algebras of $\mathcal{F}$ indexed by the nonnegative real numbers such that…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-07-28T00:32:41.888454Z
Thinning: Cell Counts of a Poisson Number of Independent Points
lemmalem:poisson-thinning-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space, $\mathbb{N}$ the set of natural numbers with $\mathbb{N}_0=\mathbb{N}\cup\{0\}$ , and $\mathbb{R}$ the set of real numbers. Let $\mu\ge0$ be real, let $K$ be a random variable with the Poisson distribution with parameter $\mu$ ,…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-27T23:57:07.336456Z
Factorized Joint Probability Mass Function Implies Independence
lemmalem:factorized-pmf-independence-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space, let $\mathbb{N}$ be the set of natural numbers with $\mathbb{N}_0=\mathbb{N}\cup\{0\}$ , and let $r\in\mathbb{N}$ . Let $X_1,\dots,X_r$ be random variables such that $X_i(\omega)\in\mathbb{N}_0$ for every $\omega\in\Omega$ and ev…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-27T23:55:37.421689Z
Multinomial Distribution of Cell Counts for Independent Identically Distributed Points
lemmalem:multinomial-cell-counts-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space, let $\mathbb{N}$ be the set of natural numbers with $\mathbb{N}_0=\mathbb{N}\cup\{0\}$ , and let $n,m\in\mathbb{N}$ . Let $V_1,\dots,V_n$ be independent random variables, each with the same distribution $\nu$ . Let $A_1,\dots,A_m$ …
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-27T23:54:28.905922Z
Grouping Lemma for Independent Random Variables
lemmalem:grouping-independent-rvs-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space, let $\mathbb{N}$ be the set of natural numbers, let $J\subseteq\mathbb{N}$ be nonempty, and let $(X_m)_{m\in J}$ be an independent family of random variables on it (for $J=\mathbb{N}$ this is an independent sequence). Let $B$ b…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-27T23:51:50.250643Z
Sigma-Algebra Generated by Random Variables and Independence of Sigma-Algebras
definitiondef:independence-sigma-algebras-2026aProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space, let $\mathbb{R}$ be the set of real numbers, and let $\mathcal{B}(\mathbb{R})$ be the Borel $\sigma$ -algebra. Generated $\sigma$ -algebra of a family of random variables. Let $J$ be a nonempty set and let $(X_j)_{j\in J}$ be a…
+0 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-07-27T23:51:21.760527Z
Time Change of the Homogeneous Poisson Process
theoremthm:time-change-poisson-2026cProbability
Let $M=(M_u)_{u\ge0}$ be a homogeneous Poisson process with rate $1$ on a probability space $(\Omega,\mathcal{F},P)$ , so that the mean function of $M$ is $\Lambda_M(u)=u$ for all $u\ge0$ , and let $\lambda:[0,\infty)\to\mathbb{R}$ be an intensity function with mean function…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-27T20:10:03.459402Z
Kolmogorov Forward Equations for the Inhomogeneous Poisson Process
theoremthm:kolmogorov-forward-poisson-2026bProbability
Let $\lambda$ be an intensity function with mean function $\Lambda$ , and let $N=(N_t)_{t\ge0}$ be an inhomogeneous Poisson process with intensity $\lambda$ on a probability space $(\Omega,\mathcal{F},P)$ . Here $\mathbb{N}$ denotes the set of natural numbers,…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-27T20:09:58.607555Z
Existence of the Inhomogeneous Poisson Process
theoremthm:existence-inhomogeneous-poisson-2026bProbability
Let $\lambda:[0,\infty)\to\mathbb{R}$ be an intensity function in the sense of Stochastic Process, Independent Increments, and Inhomogeneous Poisson Process, where $\mathbb{R}$ is the set of real numbers. Then there exist a probability space $(\Omega,\mathcal{F},P)$ and an…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-27T20:09:42.716294Z
Stochastic Process, Independent Increments, and Inhomogeneous Poisson Process
definitiondef:inhomogeneous-poisson-process-2026bProbability
Let $(\Omega,\mathcal{F},P)$ be a probability space and $\mathbb{R}$ the set of real numbers. A stochastic process on $[0,\infty)$ is a family $X=(X_t)_{t\ge0}$ of random variables on $(\Omega,\mathcal{F},P)$ indexed by the nonnegative real numbers. The process $X$ has…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-07-27T20:09:39.443141Z
Poisson Distribution
definitiondef:poisson-distribution-2026bProbability
Let $\mathbb{N}$ be the set of natural numbers and write $\mathbb{N}_0=\mathbb{N}\cup\{0\}$ for the set of nonnegative integers; let $\mathbb{R}$ be the set of real numbers and $\mathcal{B}(\mathbb{R})$ the Borel $\sigma$ -algebra. We use the factorial $k!$ for $k\in\mathbb{N}$ , e…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-07-27T20:09:27.724392Z
Moments and Stability of the Standard Normal Distribution
lemmalem:gaussian-stability-2026aProbability
Let $\mathbb{R}$ be the set of real numbers and $\mathbb{N}$ the set of natural numbers. Claim 1. Let $Z$ be a standard normal random variable on a probability space. Then $Z$ , $Z^{2}$ , and $|Z|^{3}$ are integrable, and the expectation and variance satisfy…
+1 / -0flags 0verified 0has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-23T04:24:17.483047Z

Showing 161-180 of 219

Back Next

Moments of the Poisson Distribution

Square-Integrable Martingale, Submartingale, and Supermartingale

Basic Properties of Conditional Expectation for Square-Integrable Random Variables

Conditional Expectation of a Square-Integrable Random Variable

Existence and Uniqueness of Conditional Expectation for Square-Integrable Random Variables

Mean-Square Completeness of Square-Integrable Random Variables (Riesz-Fischer)

Cauchy-Schwarz and Triangle Inequalities for the Mean-Square Norm

Square-Integrable Random Variables and the Mean-Square Inner Product

Filtration, Adapted Process, and Natural Filtration

Thinning: Cell Counts of a Poisson Number of Independent Points

Factorized Joint Probability Mass Function Implies Independence

Multinomial Distribution of Cell Counts for Independent Identically Distributed Points

Grouping Lemma for Independent Random Variables

Sigma-Algebra Generated by Random Variables and Independence of Sigma-Algebras

Time Change of the Homogeneous Poisson Process

Kolmogorov Forward Equations for the Inhomogeneous Poisson Process

Existence of the Inhomogeneous Poisson Process

Stochastic Process, Independent Increments, and Inhomogeneous Poisson Process

Poisson Distribution

Moments and Stability of the Standard Normal Distribution