An inverse function reverses a bijective function, assigning each output its unique original input.
inverse-functionJacobian MatrixThe Jacobian matrix collects a function’s first-order partial derivatives and, when the function is differentiable, represents its local linear approximation.
jacobian-matrixJensen's InequalityJensen’s inequality states that a convex function evaluated at an average cannot exceed the average of its values.
jensens-inequalityKarl WeierstrassKarl Weierstrass was a German mathematician whose work on rigorous foundations, complex functions, and approximation helped shape modern mathematical analysis.
karl-weierstrassLaplace OperatorA second-order differential operator that measures local spatial variation and underlies equations of potential theory, diffusion, waves, and quantum mechanics.
laplace-operatorLaplace's EquationLaplace’s equation is a linear partial differential equation describing harmonic functions and source-free equilibrium fields.
laplace-equationLebesgue IntegralThe Lebesgue integral defines integration through measure, extending classical integration and providing powerful theorems for convergence and probability.
lebesgue-integralLebesgue MeasureLebesgue measure extends length, area, and volume to a broad class of sets, providing a foundation for modern integration and probability.
lebesgue-measureLeonhard EulerSwiss mathematician and physicist whose discoveries and writings transformed analysis, number theory, geometry, and mechanics.
leonhard-eulerLimitA limit describes the value approached by a function or sequence under a precisely specified process of convergence.
limitLine IntegralA line integral accumulates a scalar quantity or the tangential component of a vector field along a curve.
line-integralLipschitz continuityLipschitz continuity bounds changes in a function’s output by a fixed multiple of changes in its input.
lipschitz-continuityLogistic FunctionThe logistic function is an S-shaped mathematical function used to describe bounded growth, transform log-odds into probabilities, and provide nonlinear activation in neural networks.
logistic-functionLp SpaceAn Lp space is a space of measurable functions, identified up to equality almost everywhere, whose magnitude satisfies an integrability or essential boundedness condition.
lp-spaceMathematical AnalysisMathematical analysis studies limits, continuity, differentiation, integration, and the behavior of functions and infinite processes.
mathematical-analysisMean Value TheoremThe mean value theorem states that a differentiable real function attains its average rate of change at some interior point of an interval.
mean-value-theoremMeasurable FunctionA measurable function is a map whose inverse images of measurable sets are measurable, providing a foundation for integration and probability.
measurable-functionMeasurable SpaceA measurable space is a set equipped with a sigma-algebra specifying which subsets are measurable, without assigning them a measure.
measurable-spaceMeasure TheoryMeasure theory studies generalized notions of size for sets and provides a rigorous foundation for integration and probability.
measure-theoryMethod of ExhaustionThe method of exhaustion establishes exact areas and volumes through finite geometric approximations whose errors can be made arbitrarily small.
method-of-exhaustionMetric CompletionA metric completion embeds a metric space densely and isometrically into a complete metric space, supplying precisely its missing Cauchy limits.
metric-completionMetric SpaceA metric space is a set equipped with a distance function that satisfies positivity, symmetry, and the triangle inequality.
metric-spaceMonotonic FunctionA function that consistently preserves or reverses the ordering of its inputs, with strict and non-strict variants.
monotonic-functionNorm (mathematics)A norm measures the size of a vector, generalizing length through definiteness, absolute homogeneity, and the triangle inequality.
norm-mathematicsNormed vector spaceA normed vector space is a real or complex vector space equipped with a norm that measures vector size and induces a compatible metric.
normed-vector-spaceNull SetA null set is a measurable set assigned measure zero, expressing negligible size relative to a specified measure.
null-setOpen BallAn open ball is the set of points whose distance from a specified center is strictly less than a positive radius.
open-ballPartial DerivativeA partial derivative measures how a multivariable function changes with one input while its other inputs remain fixed.
partial-derivativePartial Differential EquationA partial differential equation relates a function of several independent variables to its partial derivatives, describing spatial variation, evolution, and other multivariable relationships.
partial-differential-equationPointwise ConvergencePointwise convergence is convergence of a sequence of functions at each fixed point of their common domain, without requiring uniform control across that domain.
pointwise-convergencePoisson's EquationPoisson's equation relates the Laplacian of an unknown function to a prescribed source, describing potentials and steady-state fields.
poisson-equationPower lawA power law relates quantities through a constant exponent, producing scale-invariant relationships and, in probability, distributions with slowly decaying tails.
power-lawPower SeriesA power series is an infinite sum of nonnegative integer powers of a variable, used to represent functions and encode sequences.
power-seriesRiemann IntegralThe Riemann integral defines accumulated quantities through limits of finite sums and exists for bounded functions whose discontinuities form a set of measure zero.
riemann-integralRiemann SumA Riemann sum approximates an integral by adding function values multiplied by the widths of corresponding subintervals.
riemann-sumRiemann Zeta FunctionThe Riemann zeta function is a complex function whose analytic properties encode fundamental information about prime numbers and their distribution.
riemann-zeta-functionSaddle pointA saddle point is a stationary point with nearby values both above and below it, or a solution defined by opposing minimization and maximization conditions.
saddle-pointSelf-adjoint OperatorA self-adjoint operator equals its adjoint, including its domain, and admits a real spectral representation fundamental to analysis and quantum mechanics.
self-adjoint-operatorSobolev SpaceA Sobolev space is a complete function space that measures both integrability and generalized differentiability, providing a principal framework for partial differential equations and variational problems.
sobolev-spaceSoftmax FunctionThe softmax function converts real-valued scores into a normalized probability distribution by exponentiating each score and dividing by the sum of all exponentials.
softmax-functionStokes' TheoremStokes’ theorem equates integration of a derivative over an oriented region with integration of the original quantity over its boundary.
stokes-theoremSurjective FunctionA surjective function maps its domain onto its entire codomain, so every element of the codomain has at least one preimage.
surjective-functionTaylor SeriesA Taylor series is a power series whose coefficients are determined by a function’s derivatives at a chosen point, providing local representations and polynomial approximations.
taylor-seriesTerence TaoAustralian-American mathematician whose research spans harmonic analysis, partial differential equations, combinatorics, and number theory.
terence-taoUniform ContinuityUniform continuity requires a single input-distance bound to control output differences everywhere in a function’s domain.
uniform-continuityUniform ConvergenceUniform convergence is convergence of functions in which one error bound eventually holds simultaneously at every point of the domain.
uniform-convergenceVector FieldA vector field assigns a vector to each point of a space, describing quantities such as velocity, force, or local directions of motion.
vector-fieldWeak SolutionA weak solution satisfies a differential equation through integral identities or distributional derivatives, allowing less regularity than a classical solution.
weak-solution