Brouwer Fixed-Point Theorem

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.

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.

The Courant–Friedrichs–Lewy (CFL) condition is a necessary stability criterion for numerical solutions of hyperbolic partial differential equations using explicit time-integration schemes. It dictates that the time step size must be small enough that information does not travel further than one spatial grid cell per time step. For a 1D case, \(C = u \frac{\Delta t}{\Delta x} \le C_{max}\), ensuring numerical stability.

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.

A statistic indicating the goodness of fit of a model, representing the proportion of the variance in the dependent variable that is predictable from the independent variable(s). An R² of 1 indicates a perfect fit, while 0 indicates no linear relationship. It is calculated as \(R^2 \equiv 1 - \frac{SS_{res}}{SS_{tot}}\), where \(SS_{res}\) is the residual sum of squares.

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.

One-way ANOVA is used to determine whether there are any statistically significant differences between the means of three or more independent groups. It analyzes the effect of a single categorical independent variable, known as a factor, on a continuous dependent variable. The null hypothesis states that all group means are equal, \(H_0: \mu_1 = \mu_2 = \dots = \mu_k\).