Skip to content
ISEGORIABenjamin Haire

ISEGORIA / MATH ENCYCLOPEDIA

Probability: learning from uncertainty

Bayesian updating, sums of random variables, and conditional probability.

Before you begin: Fractions, counting, and basic probability

Predict, manipulate, then check your reasoning against the example and question. Graphs illustrate the mathematics; they do not replace a proof.

1. Update a belief

Choose a beta prior and counts of heads and tails. The solid posterior is the prior multiplied by the likelihood and renormalized; the shaded band is its central 95% credible interval, and the gold line marks the posterior mean. Play the flips to watch the belief update one observation at a time.

Worked example. The uniform prior Beta(1, 1) with 3 heads and 1 tail gives Beta(4, 2), whose mean is 2/3.

Watch out. The model assumes independent flips with a fixed unknown probability. The posterior is conditional on these assumptions.

Why is the posterior mean not exactly the observed fraction?

The prior also contributes information; its relative influence decreases as observations accumulate.

Reference: Brown University · Seeing Theory

2. Standardized sums

Increase the number of independent Bernoulli trials. On the left, bars show the exact binomial mass of the standardized sum, multiplied by σ so that bar areas are probabilities; the curve is the standard normal density. On the right, the largest gap between the two distribution functions is computed for every n and compared with the Berry–Esseen bound.

Worked example. For n=20 and p=0.5, the sum has mean 10 and variance 5.

Watch out. The central limit theorem concerns distributional convergence. Small n or highly skewed trials can give poor approximations.

Does the theorem say individual trials become normally distributed?

No. The standardized sum approaches a normal law; each trial remains Bernoulli.

Reference: Brown University · Probability Distributions

3. Conditional probability

The unit square is the sample space and area is probability. Event B is a vertical strip; drag its edge, and drag the heights of A inside and outside B. On the right, the same intersection A∩B is divided by P(B) to give P(A | B) and by P(A) to give P(B | A).

Worked example. If P(B)=0.4 and P(A|B)=0.75, then P(A∩B)=0.3.

Watch out. Conditional probability is not generally symmetric: P(A|B) and P(B|A) can differ.

When are A and B independent here?

When the two conditional heights are equal, so knowing B does not change the probability of A.

Reference: Brown University · Seeing Theory

Continue exploring

Linear algebra: the geometry of transformationsFourier analysis: functions made of wavesDynamical systems: stability and chaosOptimization: the geometry of the best choiceGroup theory: symmetry as algebraAlgebraic topology: detecting holesNumerical analysis: when computation misleadsNumber theory: patterns in the integersGraph theory: routes, trees, and networksPartial differential equations: fields in motionInformation theory: uncertainty and codesCalculus of variations: paths and principlesClassical mechanics: motion and forcesElectromagnetism: fields and inductionOptics: rays, waves, and colourThermodynamics: energy, work, and entropyQuantum mechanics: amplitudes and spinComplex analysis: maps, residues, and harmonic fieldsFluid dynamics: flow, pressure, and vorticityStatistics and inference: signals in dataSpecial relativity: space, time, and lightDifferential geometry: curvature and shapeStatistical mechanics: microstates and temperatureMeasure theory: size, approximation, and convergenceMarkov chains: transition, stationarity, and absorptionDifferential forms: circulation, curl, and pullbacksGeneral relativity: curvature, clocks, and lightFunctional analysis: norms, projections, and operatorsPlasma physics: screening, orbits, and wavesLie groups and Lie algebras: continuous symmetryHamiltonian mechanics: phase space and its geometryStochastic processes: Brownian motion and noiseSolid-state physics: waves in a crystalControl theory: feedback, poles, and stabilityLogic and computability: what can be computedHyperbolic geometry: where parallels multiplyRigid-body dynamics: spinning, tumbling, precessingElliptic curves: geometry that addsAtomic physics: orbitals and spectraQuaternions: rotation as multiplicationPush-forward and pullback: integrating through a mapKnot theory: telling tangles apartFractal geometry: dimension between the integersQuantum information: entanglement and its limitsCosmology: the expanding universeCellular automata: computation from local rulesComplex systems: order from many simple partsGalois theory: the symmetry of equationsMagnetism and the Ising model: order from alignmentOscillators and escapements: how a watch keeps timeGears and mechanisms: transmitting motion exactlyQuartz resonators: a crystal that keeps timeLoudspeakers: the moving-coil driverFilters and crossovers: splitting sound between driversRoom acoustics: the room is part of the speakerWavelets: zooming in on a signalLaser physics: light that copies itselfRepresentation theory: groups acting as matricesSemiconductor physics: bands, doping, junctions

Back to the math encyclopedia