Revision #312 → #1589 · back to history
addedIsomorphism of probability spaces80b853a8f570
addedIsomorphic probability spaces0604e821074d
addedIsomorphism modulo zero452e1f5667af
addedStandard probability space3fabd216e6e1
addedA naive white noise5fc118cb26b0
addedA perforated interval08dce0db8be4
addedA superfluous measurable setb5e0bfae6ae7
addedPushforward measure42ed26d411a6
addedGenerating function5e6f986f592a
addedInsufficient condition for generating886dc1e5b343
addedStandardness criterion (single random variable)2aeed12c0d48
addedStandardness criterion (random vector)62c7dfaa9f37
addedStandardness criterion (random sequence)d11e956d2998
addedGenerating for a sequence of eventsbde3144aa8ba
addedBasis of a probability spacec76910a614e5
addedComplete mod 0 basisb6667643a724
addedCompleteness independent of basis (Rokhlin)1045a24f47e0
addedEquivalence of the four cases454ef94d8c9e
addedCountably separateda9fb5e326c78
addedCountably generatede88525acee46
addedInjective implies generating8488fd816d7e
addedCountably generated is mod 0 invariant86255c30369d
addedCountably separated iff cardinality ≤ continuum331855bda6e3
addedStandardness via absolute measurability0084a223c36e
addedStandardness via perfectnessc742af82ab6b
addedStandardness via topology60b4e3173883
addedDistributions on the real line are standard3a51794231de
addedDistributions on Polish spaces are standard86f4412198d2
addedWiener measure gives a standard space0301c0d11389
addedJoint distribution of a sequence567bc3ad12af
addedProduct of two standard spacesd9adacae026c
addedProduct of countably many standard spaces7c842c275cb9
addedMeasurable subset of a standard space8903bf3c601e
addedMeasure on a standard Borel space9473e3de5bd2
addedExistence of regular conditional probabilities0a213f75c56c
addedMeasure preserving map covers standard spacec0263568f440
addedInverse of one-to-one measure preserving map924aeef90ebd
addedMeasure algebra53b98535d0a9
addedHomomorphisms of measure algebras come from mapsac3e38afd518