# Structural Depth Wave4 Fourth Layer: Finite Fields, Hilbert Spaces, Martingales, Quotients, Cardinality, CDFs and Convergence in Probability Complete seven traceable knowledge objects in dependency order on the existing number-system and function foundations. This is a suggested learning sequence, not a universal logical dependency or a formal proof. - Stage 1 · required ## [Finite integral domain](/en/mko/mko-finite-integral-domain/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-finite-integral-domain) [Concept guides](/en/derivations/?q=mko-finite-integral-domain) - Stage 1 · required ## [Finite unital ring](/en/mko/mko-finite-unital-ring/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-finite-unital-ring) [Concept guides](/en/derivations/?q=mko-finite-unital-ring) - Stage 1 · required ## [Finite abelian group](/en/mko/mko-finite-abelian-group/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-finite-abelian-group) [Concept guides](/en/derivations/?q=mko-finite-abelian-group) - Stage 1 · required ## [Real inner-product space](/en/mko/mko-real-inner-product-space/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-real-inner-product-space) [Concept guides](/en/derivations/?q=mko-real-inner-product-space) - Stage 1 · required ## [Inner-product-induced norm](/en/mko/mko-inner-product-induced-norm/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-inner-product-induced-norm) [Concept guides](/en/derivations/?q=mko-inner-product-induced-norm) - Stage 1 · required ## [Norm-induced metric](/en/mko/mko-norm-induced-metric/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-norm-induced-metric) [Concept guides](/en/derivations/?q=mko-norm-induced-metric) - Stage 1 · required ## [Complete metric space](/en/mko/mko-complete-metric-space/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-complete-metric-space) [Concept guides](/en/derivations/?q=mko-complete-metric-space) - Stage 1 · required ## [Finite filtration](/en/mko/mko-finite-filtration/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-finite-filtration) [Concept guides](/en/derivations/?q=mko-finite-filtration) - Stage 1 · required ## [Finite conditional expectation](/en/mko/mko-conditional-expectation/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-conditional-expectation) [Concept guides](/en/derivations/?q=mko-conditional-expectation) - Stage 1 · required ## [Discrete-time stochastic process](/en/mko/mko-discrete-stochastic-process/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-discrete-stochastic-process) [Concept guides](/en/derivations/?q=mko-discrete-stochastic-process) - Stage 1 · required ## [Expectation in finite models](/en/mko/mko-expectation/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-expectation) [Concept guides](/en/derivations/?q=mko-expectation) - Stage 1 · required ## [Measurable function](/en/mko/mko-measurable-function/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-measurable-function) [Concept guides](/en/derivations/?q=mko-measurable-function) - Stage 1 · required ## [Equivalence class](/en/mko/mko-equivalence-class/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-equivalence-class) [Concept guides](/en/derivations/?q=mko-equivalence-class) - Stage 1 · required ## [Set](/en/mko/mko-set/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-set) [Concept guides](/en/derivations/?q=mko-set) - Stage 1 · required ## [Function mapping](/en/mko/mko-function-mapping/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-function-mapping) [Concept guides](/en/derivations/?q=mko-function-mapping) - Stage 1 · required ## [Equivalence relation](/en/mko/mko-equivalence-relation/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-equivalence-relation) [Concept guides](/en/derivations/?q=mko-equivalence-relation) - Stage 1 · required ## [Injectivity and distinct inputs](/en/mko/mko-injective/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-injective) [Concept guides](/en/derivations/?q=mko-injective) - Stage 1 · required ## [Surjectivity and codomain coverage](/en/mko/mko-surjective/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-surjective) [Concept guides](/en/derivations/?q=mko-surjective) - Stage 1 · required ## [Bijectivity and unique preimages](/en/mko/mko-bijective/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-bijective) [Concept guides](/en/derivations/?q=mko-bijective) - Stage 1 · required ## [Finite discrete probability distribution](/en/mko/mko-finite-discrete-probability-distribution/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-finite-discrete-probability-distribution) [Concept guides](/en/derivations/?q=mko-finite-discrete-probability-distribution) - Stage 1 · required ## [Usual order on the real numbers](/en/mko/mko-order-relation/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-order-relation) [Concept guides](/en/derivations/?q=mko-order-relation) - Stage 1 · required ## [Probability on finite sample spaces](/en/mko/mko-probability/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-probability) [Concept guides](/en/derivations/?q=mko-probability) - Stage 1 · required ## [Finite joint distribution](/en/mko/mko-finite-joint-distribution/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-finite-joint-distribution) [Concept guides](/en/derivations/?q=mko-finite-joint-distribution) - Stage 1 · required ## [Real random variables on finite sample spaces](/en/mko/mko-random-variable/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-random-variable) [Concept guides](/en/derivations/?q=mko-random-variable) - Stage 1 · required ## [Sequence](/en/mko/mko-sequence/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-sequence) [Concept guides](/en/derivations/?q=mko-sequence) - Stage 1 · required ## [Convergence in a metric space](/en/mko/mko-metric-convergence/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-metric-convergence) [Concept guides](/en/derivations/?q=mko-metric-convergence) - Stage 2 · optional ## [Finite field](/en/mko/mko-finite-field/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) A finite commutative unital ring is a finite field when every nonzero element has a multiplicative inverse. [Related questions](/en/explore/?mko=mko-finite-field) [Concept guides](/en/derivations/?q=mko-finite-field) - Stage 3 · optional ## [Real Hilbert space](/en/mko/mko-real-hilbert-space/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) A real inner-product space is Hilbert when it is complete in the norm and metric induced by that same inner product. [Related questions](/en/explore/?mko=mko-real-hilbert-space) [Concept guides](/en/derivations/?q=mko-real-hilbert-space) - Stage 4 · optional ## [Finite martingale](/en/mko/mko-martingale/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) An integrable finite process adapted to the same filtration is a martingale when the next value's conditional expectation equals the current value almost surely at every step. [Related questions](/en/explore/?mko=mko-martingale) [Concept guides](/en/derivations/?q=mko-martingale) - Stage 5 · optional ## [Quotient set](/en/mko/mko-quotient-set/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) The distinct equivalence classes of a complete equivalence relation form its quotient set and partition the original carrier. [Related questions](/en/explore/?mko=mko-quotient-set) [Concept guides](/en/derivations/?q=mko-quotient-set) - Stage 6 · optional ## [Cardinality comparison of sets](/en/mko/mko-cardinality-comparison/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) An injection, surjection or bijection between explicit finite source and target sets supplies a corresponding finite cardinality-comparison certificate. [Related questions](/en/explore/?mko=mko-cardinality-comparison) [Concept guides](/en/derivations/?q=mko-cardinality-comparison) - Stage 7 · optional ## [Cumulative distribution function](/en/mko/mko-cumulative-distribution-function/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) For a real-valued random variable, F(t)=P(X≤t) is nondecreasing and right-continuous; in a finite discrete law, its jump is the point mass. [Related questions](/en/explore/?mko=mko-cumulative-distribution-function) [Concept guides](/en/derivations/?q=mko-cumulative-distribution-function) - Stage 8 · optional ## [Convergence in probability](/en/mko/mko-convergence-in-probability/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261030%2F) X_n converges in probability to X when, for every epsilon>0, the probability of deviation greater than epsilon tends to zero. [Related questions](/en/explore/?mko=mko-convergence-in-probability) [Concept guides](/en/derivations/?q=mko-convergence-in-probability) Path source & statuspath-pulse-foundations-20261030 · candidate [Original paths JSON](/data/architecture/learning-paths.json)