Coefficient of Determination (R²)

Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds—smooth manifolds equipped with a Riemannian metric. This metric is a collection of inner products on the tangent spaces, varying smoothly from point to point. It allows for the definition of local geometric notions like angle, length of curves, surface area, and volume, leading to a generalized notion of curvature.

In linear algebra, the rank-nullity theorem states that for any linear map \(T: V \to W\) between finite-dimensional vector spaces, the dimension of its domain \(V\) is the sum of its rank (the dimension of its image) and its nullity (the dimension of its kernel). The formula is \(\dim(V) = \text{rank}(T) + \text{nullity}(T)\).

The Prime Number Theorem describes the asymptotic distribution of prime numbers among the integers. It states that the prime-counting function \(\pi(x)\), which gives the number of primes less than or equal to \(x\), is asymptotically equivalent to \(x / \ln(x)\). Formally, \(\lim_{x \to \infty} \frac{\pi(x)}{x/\ln(x)} = 1\). This provides a fundamental link between primes and the natural logarithm.

The Fredholm index generalizes the rank-nullity theorem to infinite-dimensional spaces like Banach spaces. For a Fredholm operator \(T: X \to Y\), its index is defined as \(\text{ind}(T) = \dim(\ker(T)) - \dim(\text{coker}(T))\), where the Cokernel's dimension measures how far the image is from being the whole space. This index is a stable integer value under small perturbations of the operator.

A topological space is an ordered pair \((X, \tau)\), where \(X\) is a set and \(\tau\) is a collection of subsets of \(X\), called open sets, satisfying three axioms: 1) The empty set \(\emptyset\) and \(X\) itself are in \(\tau\). 2) The union of any number of sets in \(\tau\) is also in \(\tau\). 3) The intersection of any finite number of sets in \(\tau\) is also in \(\tau\).

A graphical tool used in SPC to monitor a process variable over time. It plots data points between a central line (CL), representing the process average, and upper (UCL) and lower (LCL) control limits. These limits are typically set at three standard deviations from the mean (\(\mu \pm 3\sigma\)), defining the range of expected common cause variation.

A differentiable manifold is a topological space that is locally similar to Euclidean space, allowing calculus to be applied. Each point has a neighborhood that is homeomorphic to an open subset of \(\mathbb{R}^n\). These local coordinate systems, called charts, are related by smooth transition functions, forming an atlas that defines the manifold's differentiable structure.

Digital electronics is based on Boolean algebra, a mathematical system of logic introduced by George Boole. It uses two values, typically 0 and 1 (or false and true), and three basic operations: AND (conjunction), OR (disjunction), and NOT (negation). These operations directly correspond to the logic gates that form the building blocks of all digital circuits.

A homeomorphism is a continuous function between two topological spaces that has a continuous inverse function. Two topological spaces are called homeomorphic if such a function exists. From a topological viewpoint, homeomorphic spaces are identical. This concept captures the idea that an object can be stretched, bent, or deformed into another without tearing or gluing, like a coffee mug into a donut.

The Gibbs phenomenon describes the behavior of a Fourier series at a jump discontinuity. The partial sums of the series exhibit an overshoot near the jump, which does not disappear as more terms are added. This overshoot converges to a constant value of about 9% of the jump height, regardless of the number of terms in the series.

This theorem states that in a linear regression model where the errors have zero mean, are uncorrelated, and have constant variance (homoscedasticity), the ordinary least squares (OLS) estimator is the Best Linear Unbiased Estimator (BLUE). 'Best' means it has the minimum variance among all linear unbiased estimators of the regression coefficients, making it the most precise.

This theorem states that for any continuous function \(f\) mapping a compact convex set to itself, there is a point \(x_0\) such that \(f(x_0) = x_0\). This point is called a fixed point. Informally, if you take a map of a country, crumple it up, and place it inside the country's borders, there will always be at least one point on the map directly above its corresponding real-world location.

Zermelo–Fraenkel set theory, commonly abbreviated as ZFC (with the axiom of choice), is the standard axiomatic system for contemporary mathematics. It consists of a collection of axioms, expressed in first-order logic, that formalize the properties of sets. Nearly all mathematical theorems in use today can be formulated and proven within ZFC.

Analysis of Variance (ANOVA) is a statistical method that partitions the total observed variability in a data set into components attributable to different sources. The core idea is to compare the variance between the means of different groups to the variance within those groups. If the between-group variance is significantly larger, it suggests the group means are genuinely different.