GLOBAL KNOWLEDGE ARK

Reference library

Foundations

Explore concepts, laws, equations and methods, with clear explanations of their use and sources. Choose an area of study or find a specific entry.

More filters

Reference entries

Showing 151–180 of 360 reference entries

Mathematics & logicFubini and Tonelli interchange

On sigma-finite measure spaces, a nonnegative product-measurable function has equal product and iterated integrals, possibly infinite.

Mathematical statement
Mathematics & logicConnected and path-connected spaces

A topological space is connected when it cannot be partitioned into two nonempty disjoint open sets.

Definition
Mathematics & logicComplete metric spaces

A metric space is complete when every Cauchy sequence has a limit in that space.

Definition
Mathematics & logicContraction mapping principle

A self-map T of a nonempty complete metric space with d(Tx,Ty)≤k d(x,y), 0≤k<1, has one fixed point.

Mathematical statement
Mathematics & logicVariance, covariance and correlation

For square-integrable real X,Y, Var X=E[(X−EX)²] and Cov(X,Y)=E[(X−EX)(Y−EY)].

Definition
Mathematics & logicJoint and marginal distributions

A joint mass or density specifies simultaneous values; marginals sum or integrate out the other coordinates.

Definition
Mathematics & logicConditional expectation and iterated means

E[X|Y=y] averages X using its conditional law.

Mathematical statement
Mathematics & logicLaw of total variance

For square-integrable X, Var(X)=E[Var(X|Y)]+Var(E[X|Y]).

Mathematical statement
Mathematics & logicMoment generating functions

M_X(t)=E[eᵗˣ] is an MGF when it is finite on an open interval about zero.

Method
Mathematics & logicGamma and exponential distributions

In the shape–rate convention Gamma(α,β) has density βᵅxᵅ⁻¹e⁻ᵝˣ/Γ(α) for x>0, α,β>0.

Definition
Mathematics & logicEstimator bias and mean squared error

For estimator T of θ, bias is EθT−θ and MSE is Eθ[(T−θ)²]=Varθ(T)+bias².

Definition
Mathematics & logicConsistency and asymptotic normality

An estimator sequence Tₙ is consistent for θ when Pθ(|Tₙ−θ|>ε)→0 for every ε>0.

Definition
Mathematics & logicFisher information and Cramer–Rao bound

For a differentiable scalar iid model with score sθ=∂θlog fθ(X), Fisher information is I(θ)=Eθ[sθ²].

Mathematical statement
Mathematics & logicLinear regression coefficients and covariance

For fixed full-column-rank X and Y=Xβ+ε with Eε=0 and Cov ε=σ²I, least squares gives β̂=(XᵀX)⁻¹XᵀY, Eβ̂=β and Cov β̂=σ²(XᵀX)⁻¹.

Model
Mathematics & logicLogistic regression for binary responses

With independent Bernoulli Yᵢ, logistic regression assumes log[pᵢ/(1−pᵢ)]=xᵢᵀβ.

Model
Mathematics & logicBisection with an error certificate

For continuous real f with f(a)f(b)<0, test the midpoint and retain a half interval with opposite endpoint signs, unless the midpoint is a root.

Method
Mathematics & logicLagrange polynomial construction and error

At distinct nodes t₀,…,tₙ, p(x)=Σyₖℓₖ(x), ℓₖ(x)=∏_(i≠k)(x−tᵢ)/(tₖ−tᵢ), is the unique interpolant of degree at most n.

Method
Mathematics & logicStationary points and the Hessian test

A differentiable function has zero gradient at an interior local extremum.

Method
Mathematics & logicEquality-constrained Lagrange multipliers

For C¹ real f,g, a local constrained extremum of f on g(x)=c at a point where ∇g≠0 must satisfy ∇f=λ∇g together with g=c.

Method
Mathematics & logicConvexity and global gradient bounds

A differentiable function on an open convex domain is convex exactly when f(y)≥f(x)+∇f(x)·(y−x) for all domain points.

Mathematical statement
Mathematics & logicConvex KKT optimality certificate

For differentiable convex f₀,fᵢ on Rⁿ and affine equalities Ax=b, feasible x is optimal if λ≥0, λᵢfᵢ(x)=0 and ∇f₀(x)+Σλᵢ∇fᵢ(x)+Aᵀν=0.

Method
Mathematics & logicFourier transform and inversion on Schwartz functions

For a smooth rapidly decreasing f whose derivatives also decrease faster than any power, define f̂(ξ)=∫Rⁿe⁻ⁱˣ·ξf(x)dx.

Mathematical statement
Mathematics & logicVariation of parameters for forced equations

For y″+p(x)y′+q(x)y=f(x), use independent homogeneous solutions y₁,y₂ and set yₚ=u₁y₁+u₂y₂.

Method
Mathematics & logicSubset counting and Pascal recurrence

An n-element set has 2ⁿ subsets; its k-element subsets correspond to length-n binary strings with k ones.

Mathematical statement
Mathematics & logicCharacteristic roots for second-order recurrences

For aₙ=saₙ₋₁+taₙ₋₂ with t≠0, distinct roots r₁,r₂ of r²−sr−t give aₙ=Ar₁ⁿ+Br₂ⁿ; a repeated root r gives aₙ=(A+Bn)rⁿ.

Method
Mathematics & logicResidual diagnostics and model adequacy

Residuals eᵢ=yᵢ−f(xᵢ;β̂) compare observed and fitted responses.

Method
Mathematics & logicTime-homogeneous Markov chains

A chain satisfies P(Xₙ₊₁=j|X₀,…,Xₙ)=Pᵢⱼ when Xₙ=i, where P has nonnegative entries and each row sums to one.

Model
Mathematics & logicStationarity, recurrence and Markov equilibrium

A stationary distribution is a nonnegative row vector π with Σπᵢ=1 and πP=π.

Mathematical statement
Mathematics & logicHomogeneous Poisson process

A rate-λ Poisson counting process starts at zero, has independent increments and N(t+s)−N(s) distributed Poisson(λt).

Model
Mathematics & logicStandard Brownian motion

Standard Brownian motion has B(0)=0, almost surely continuous paths and independent increments with B(t)−B(s)∼N(0,t−s) for 0≤s<t.

Model