TheoremBase

Theorems

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

Showing 141-160 of 219
BackNext

  • Standard Brownian Motion

    definitiondef:brownian-motion-2026bProbability
    Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space and let R\mathbb{R} be the set of real numbers. A stochastic process (Bt)t≥0(B_t)_{t\ge0} on (Ω,F,P)(\Omega,\mathcal{F},P), indexed by the nonnegative real numbers, is a standard Brownian motion if: (i) (Initial value) B0=0B_0=0…

    +2 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Conditional Expectation Given Countably Many Jointly Gaussian Observations

    theoremthm:gaussian-conditional-expectation-countable-2026aProbability
    Let XX and UkU_k (k∈Nk\in\mathbb{N}) be random variables on a probability space (Ω,F,P)(\Omega,\mathcal{F},P) such that the family (X,U1,U2,… )(X,U_1,U_2,\dots) is jointly Gaussian. Write, with the generated σ\sigma-algebras,…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space, let JJ be a nonempty set, and let (Xj)j∈J(X_j)_{j\in J} be a family of random variables on (Ω,F,P)(\Omega,\mathcal{F},P). The family (Xj)j∈J(X_j)_{j\in J} is jointly Gaussian (a Gaussian family) if for every natural number dd and all disti…

    +0 / -0flags 1verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Conditional Expectation for Jointly Gaussian Random Variables is Affine

    theoremthm:gaussian-conditional-expectation-affine-2026aProbability
    Let rr be a natural number and let (X,U1,…,Ur)(X,U_1,\dots,U_r) be a Gaussian random vector on a probability space (Ω,F,P)(\Omega,\mathcal{F},P). Then there exist real numbers β0,β1,…,βr\beta_0,\beta_1,\dots,\beta_r such that the random variable Y=β0+∑k=1rβk UkY=\beta_0+\sum_{k=1}^{r}\beta_k\,U_k has the foll…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Uncorrelated Jointly Gaussian Blocks are Independent

    theoremthm:gaussian-uncorrelated-independent-2026aProbability
    Let dd and qq be natural numbers and let (X1,…,Xd,Y1,…,Yq)(X_1,\dots,X_d,Y_1,\dots,Y_q) be a Gaussian random vector on a probability space (Ω,F,P)(\Omega,\mathcal{F},P) such that, with the covariance of square-integrable random variables (defined and finite by…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let mm and pp be natural numbers, let Z1,…,ZmZ_1,\dots,Z_m be independent standard normal random variables on a probability space (Ω,F,P)(\Omega,\mathcal{F},P), and let w1,…,wpw_1,\dots,w_p, with coordinates wi=(wi1,…,wim)w_i=(w_{i1},\dots,w_{im}), be an orthonormal family in the Euclidean space…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let mm be a natural number with m≥2m\ge2, let Z1,…,ZmZ_1,\dots,Z_m be independent standard normal random variables on a probability space (Ω,F,P)(\Omega,\mathcal{F},P), let 1≤i<j≤m1\le i<j\le m, and let a,ba,b be real numbers with a2+b2=1a^{2}+b^{2}=1. Define…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let Z1Z_1 and Z2Z_2 be independent standard normal random variables on a probability space (Ω,F,P)(\Omega,\mathcal{F},P), and let aa and bb be real numbers with a2+b2=1a^{2}+b^{2}=1. Then W1=a Z1+b Z2,W2=−b Z1+a Z2W_1=a\,Z_1+b\,Z_2,\qquad W_2=-b\,Z_1+a\,Z_2 are independent standard normal random variables o…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • For a subset AA of the real line R\mathbb{R} and a real number tt, write A+t={x+t:x∈A}A+t=\{x+t:x\in A\}. Let λ∗\lambda^{*} be the Lebesgue outer measure, λ\lambda Lebesgue measure, and B(R)\mathcal{B}(\mathbb{R}) the Borel σ\sigma-algebra. Then for every real tt: 1. (Sets) For every…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let XX be a Gaussian random variable on a probability space (Ω,F,P)(\Omega,\mathcal{F},P), with mean μ=E[X]\mu=\mathbb{E}[X] and variance σ2=Var⁡(X)\sigma^{2}=\operatorname{Var}(X), both defined and finite by Square-Integrability, Moments, and Covariance Matrix of a Gaussian Random Vector. Then:…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • For a subset AA of the real line R\mathbb{R} write −A={−x:x∈A}-A=\{-x:x\in A\}. Let λ∗\lambda^{*} be the Lebesgue outer measure, λ\lambda Lebesgue measure, B(R)\mathcal{B}(\mathbb{R}) the Borel σ\sigma-algebra, and NN the standard normal distribution. Then:…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Covariance of Square-Integrable Random Variables

    definitiondef:covariance-square-integrable-2026aProbability
    Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space and let XX and YY be square-integrable random variables on it. The covariance of XX and YY is Cov⁡(X,Y)=E[(X−E[X])(Y−E[Y])].\operatorname{Cov}(X,Y)=\mathbb{E}\bigl[(X-\mathbb{E}[X])(Y-\mathbb{E}[Y])\bigr]. This is defined: square-integrable random…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Let (X1,…,Xd)(X_1,\dots,X_d) be a Gaussian random vector on a probability space (Ω,F,P)(\Omega,\mathcal{F},P) and let (m,(μi),(aij),(Zj))\bigl(m,(\mu_i),(a_{ij}),(Z_j)\bigr) be any Gaussian representation of it. Then: 1. (Square-integrability) Each XiX_i is square-integrable. 2. (Moments) With the…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let (X1,…,Xd)(X_1,\dots,X_d) be a Gaussian random vector on a probability space (Ω,F,P)(\Omega,\mathcal{F},P), let pp be a natural number, and let cic_i and MikM_{ik} (1≤i≤p1\le i\le p, 1≤k≤d1\le k\le d) be real numbers. Define Yi=ci+∑k=1dMikXk(1≤i≤p).Y_i=c_i+\sum_{k=1}^{d}M_{ik}X_k\qquad(1\le i\le p). Then…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space and let dd be a natural number. Random variables X1,…,XdX_1,\dots,X_d on (Ω,F,P)(\Omega,\mathcal{F},P) are jointly Gaussian, and the tuple (X1,…,Xd)(X_1,\dots,X_d) is called a Gaussian random vector, if there exist mm, either zero or a…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • There exist a probability space (Ω,F,P)(\Omega,\mathcal{F},P), random variables UU and VV on it, and a sequence (Un)n∈N(U^n)_{n\in\mathbb{N}} of random variables on it with the following properties, where σ(⋅)\sigma(\cdot) denotes the σ\sigma-algebra generated by a random variable, measur…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space. Let (Xn)n∈N(X_n)_{n\in\mathbb{N}} be a sequence of square-integrable random variables and XX a square-integrable random variable on (Ω,F,P)(\Omega,\mathcal{F},P) such that the mean-square distances…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Mean-Square Convergence of Sub-Sigma-Algebras

    definitiondef:mean-square-convergence-sigma-algebras-2026aProbability
    Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space, let (Gn)n∈N(\mathcal{G}_n)_{n\in\mathbb{N}} be a sequence of sub-σ\sigma-algebras of F\mathcal{F}, and let G\mathcal{G} be a sub-σ\sigma-algebra of F\mathcal{F}. Definition. The sequence (Gn)n∈N(\mathcal{G}_n)_{n\in\mathbb{N}}…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Levy's Upward Theorem in Mean Square

    theoremthm:levy-upward-mean-square-2026aProbability
    Let (Ω,F,P)(\Omega,\mathcal{F},P) be a probability space and let (Gn)n∈N(\mathcal{G}_n)_{n\in\mathbb{N}} be a sequence of sub-σ\sigma-algebras of F\mathcal{F} indexed by the natural numbers that is nondecreasing: Gn⊆Gn+1\mathcal{G}_n\subseteq\mathcal{G}_{n+1} for every n∈Nn\in\mathbb{N}. Let…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let λ:[0,∞)→R\lambda:[0,\infty)\to\mathbb{R} be an intensity function with mean function Λ\Lambda in the sense of Stochastic Process, Independent Increments, and Inhomogeneous Poisson Process, where R\mathbb{R} is the set of real numbers, and let N=(Nt)t≥0N=(N_t)_{t\ge0} be an…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

Showing 141-160 of 219
BackNext