OCME · Bilingual mathematics & derivations
Wave5 Fourth Layer: Rank-Nullity, Uniform and Absolute Convergence, Estimators, CRT, Spanning Trees and Lp Limits
On this page
- Kernel of a linear map
- Image of a linear map
- Matrix rank
- Dimension of a finite-dimensional vector space
- Pointwise convergence of functions
- Metric space
- Absolute value
- Quantifiers and explicit domains
- Infinite series
- Sequence limits and exact tail cutoffs
- Parametric statistical model
- Real random variables on finite sample spaces
- Sample space
- Integer
- Natural-number congruence modulo a positive modulus
- Greatest common divisor and coprimality
- Nonempty finite trees: connectivity, cycles, and unique paths
- Finite simple undirected graphs
- Connected component
- Expectation in finite models
- Natural-number powers and principal square roots
- Sigma-algebras and measure spaces
- Rank-nullity theorem
- Uniform convergence of functions
- Absolute convergence of series
- Statistical estimator
- Chinese remainder theorem
- Spanning tree
- Lp convergence
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.
Kernel of a linear map
Existing canonical prerequisite for the new objects in this pulse.
Image of a linear map
Existing canonical prerequisite for the new objects in this pulse.
Matrix rank
Existing canonical prerequisite for the new objects in this pulse.
Dimension of a finite-dimensional vector space
Existing canonical prerequisite for the new objects in this pulse.
Pointwise convergence of functions
Existing canonical prerequisite for the new objects in this pulse.
Metric space
Existing canonical prerequisite for the new objects in this pulse.
Absolute value
Existing canonical prerequisite for the new objects in this pulse.
Quantifiers and explicit domains
Existing canonical prerequisite for the new objects in this pulse.
Infinite series
Existing canonical prerequisite for the new objects in this pulse.
Sequence limits and exact tail cutoffs
Existing canonical prerequisite for the new objects in this pulse.
Parametric statistical model
Existing canonical prerequisite for the new objects in this pulse.
Real random variables on finite sample spaces
Existing canonical prerequisite for the new objects in this pulse.
Sample space
Existing canonical prerequisite for the new objects in this pulse.
Integer
Existing canonical prerequisite for the new objects in this pulse.
Natural-number congruence modulo a positive modulus
Existing canonical prerequisite for the new objects in this pulse.
Greatest common divisor and coprimality
Existing canonical prerequisite for the new objects in this pulse.
Nonempty finite trees: connectivity, cycles, and unique paths
Existing canonical prerequisite for the new objects in this pulse.
Finite simple undirected graphs
Existing canonical prerequisite for the new objects in this pulse.
Connected component
Existing canonical prerequisite for the new objects in this pulse.
Expectation in finite models
Existing canonical prerequisite for the new objects in this pulse.
Natural-number powers and principal square roots
Existing canonical prerequisite for the new objects in this pulse.
Sigma-algebras and measure spaces
Existing canonical prerequisite for the new objects in this pulse.
Rank-nullity theorem
A linear map T:V→W with finite-dimensional source satisfies dim(V)=dim(ker T)+rank(T).
Uniform convergence of functions
Uniform convergence requires one witness N(epsilon) controlling every point of the domain simultaneously.
Absolute convergence of series
A series is absolutely convergent when the sum of absolute terms converges; absolute convergence implies convergence, but the converse does not hold in general.
Statistical estimator
An estimator is a fixed measurable total statistic independent of the unknown parameter; its observed numerical value is an estimate.
Chinese remainder theorem
For positive pairwise-coprime moduli, an integer congruence system has a unique solution class modulo their product.
Spanning tree
A spanning tree is a connected acyclic subgraph containing every vertex of its parent graph.
Lp convergence
On a common probability space with fixed integer p≥1, Lp convergence means E|X_n−X|^p tends to zero.
Path source & status
path-pulse-foundations-20261104 · candidate