A property connecting controlled variation of functions, integration of derivatives, and measures admitting densities.
absolute-continuityAlmost EverywhereA property holds almost everywhere when it fails only within a set of measure zero relative to a specified measure.
almost-everywhereAnalytic ContinuationAnalytic continuation extends an analytic function beyond its initial domain while preserving its local values and analytic structure.
analytic-continuationAnalytic FunctionAn analytic function is locally equal to a convergent power series; in complex analysis, analyticity is equivalent to holomorphicity.
analytic-functionAntiderivativeAn antiderivative of a function is a function whose derivative equals the original function, providing a central connection between differentiation and integration.
antiderivativeAsymptotic ExpansionA series describing a function in a limiting regime through controlled finite approximations, whether or not the infinite series converges.
asymptotic-expansionAugustin-Louis CauchyFrench mathematician whose work helped establish rigorous calculus and the foundations of complex analysis.
augustin-louis-cauchyBanach Fixed-Point TheoremThe Banach fixed-point theorem guarantees a unique fixed point for a contraction on a nonempty complete metric space and provides an iterative method with explicit error bounds.
banach-fixed-point-theoremBanach spaceA Banach space is a normed vector space in which every Cauchy sequence converges to an element of the space.
banach-spaceBernhard RiemannGerman mathematician whose work transformed geometry, complex analysis, integration, and the study of prime numbers.
bernhard-riemannBig-O NotationBig-O notation expresses an asymptotic upper bound on a function, widely used to describe algorithmic resource requirements and mathematical approximation errors.
big-o-notationBijective FunctionA bijective function pairs every element of its domain with exactly one element of its codomain, and has a unique inverse function.
bijective-functionBorel Sigma-algebraThe Borel sigma-algebra is the smallest sigma-algebra containing every open set of a topological space, connecting topology with measurable structures.
borel-sigma-algebraBoundary Value ProblemA boundary value problem seeks a solution of a differential equation that also satisfies prescribed conditions at the boundary of its domain.
boundary-value-problemCalculusCalculus is the branch of mathematics that studies continuous change through limits, derivatives, integrals and infinite series.
calculusCalculus of VariationsThe calculus of variations studies extrema and stationary values of functionals, typically by varying functions, curves, or fields subject to prescribed constraints.
calculus-of-variationsCauchy SequenceA Cauchy sequence has terms that become arbitrarily close to one another; in a complete metric space, every such sequence converges.
cauchy-sequenceCauchy–Riemann EquationsThe Cauchy–Riemann equations relate the real and imaginary parts of a complex function and, with suitable differentiability assumptions, characterize holomorphicity.
cauchy-riemann-equationsCauchy–Schwarz inequalityThe Cauchy–Schwarz inequality bounds the absolute inner product of two vectors by the product of their norms, with equality precisely when the vectors are linearly dependent.
cauchy-schwarz-inequalityChain RuleThe chain rule expresses the derivative of a composite function in terms of the derivatives of its component functions.
chain-ruleCodomainThe codomain is the specified target set of a function, containing every output but not necessarily consisting only of outputs actually attained.
codomainComplete Metric SpaceA complete metric space is a metric space in which every Cauchy sequence converges to a point belonging to the space.
complete-metric-spaceComplex AnalysisComplex analysis studies functions of complex variables, especially holomorphic functions, their integrals, singularities, and geometric properties.
complex-analysisContinuous FunctionA continuous function preserves limits: sufficiently small changes in its input produce arbitrarily small changes in its output.
continuous-functionContraction MappingA contraction mapping uniformly reduces distances by a factor less than one, guaranteeing a unique fixed point when it maps a nonempty complete metric space into itself.
contraction-mappingConvex functionA convex function assigns to a weighted average of inputs a value no greater than the corresponding weighted average of its values.
convex-functionConvolutionConvolution combines functions or sequences through shifted products, linking mathematical analysis, probability, signal processing, and neural networks.
convolutionDerivativeA derivative measures a function’s instantaneous rate of change and describes its local linear behavior.
derivativeDifferential EquationA differential equation relates an unknown function to its derivatives, providing a mathematical framework for describing change and spatial variation.
differential-equationDirectional DerivativeA directional derivative measures a function’s instantaneous rate of change at a point along a specified direction.
directional-derivativeDivergence TheoremThe divergence theorem equates the outward flux through a region’s boundary with the integral of a vector field’s divergence over its interior.
divergence-theoremDomain of a FunctionThe domain of a function is the set of inputs for which the function assigns a uniquely determined output.
domain-of-a-functionDominated Convergence TheoremThe dominated convergence theorem permits interchange of limits and integrals when a convergent sequence of measurable functions is bounded by a single integrable function.
dominated-convergence-theoremEuler–Lagrange EquationsDifferential equations expressing the stationarity of an integral functional, fundamental to variational calculus, mechanics, and field theory.
euler-lagrange-equationsExponential FunctionA function with a fixed positive base and a variable exponent, fundamental to calculus and models of proportional growth and decay.
exponential-functionExtreme value theoremThe extreme value theorem states that a continuous real-valued function on a nonempty compact domain attains both a maximum and a minimum.
extreme-value-theoremFixed PointA fixed point is an element that a function maps to itself, central to existence theorems, iterative computation, dynamics, and recursive definitions.
fixed-pointFourier SeriesA Fourier series represents a periodic function through sine and cosine waves, or complex exponentials, with coefficients specifying its harmonic components.
fourier-seriesFourier TransformA mathematical transform that represents a function in terms of its frequency components, connecting time or spatial descriptions with spectral descriptions.
fourier-transformFunction (mathematics)A function is a rule assigning exactly one output to each input; it is a basic concept across mathematics and its applications.
mathematical-functionFunction ApproximationFunction approximation represents a target function using a simpler or computationally tractable function, with accuracy measured by a specified error criterion.
function-approximationFunction CompositionFunction composition combines functions by using the output of one as the input of another, with order and domain compatibility determining the result.
function-compositionFunctional AnalysisFunctional analysis studies vector spaces equipped with notions of convergence and the operators and functionals acting on them, especially in infinite dimensions.
functional-analysisFundamental Theorem of CalculusThe fundamental theorem of calculus connects differentiation with integration, explaining how accumulation produces antiderivatives and how antiderivatives evaluate definite integrals.
fundamental-theorem-of-calculusGamma FunctionThe gamma function extends factorials to noninteger arguments and is fundamental in analysis, probability, and mathematical physics.
gamma-functionGeometric SeriesA geometric series sums terms related by a constant multiplier; its infinite form converges when the multiplier’s absolute value is less than one.
geometric-seriesGottfried Wilhelm LeibnizGerman mathematician and philosopher who independently developed calculus and contributed to logic, metaphysics, mechanics, and binary arithmetic.
gottfried-wilhelm-leibnizGradientThe gradient is a vector describing the direction and rate of greatest local increase of a differentiable scalar-valued function.
gradientGraph of a FunctionThe graph of a function is the set of ordered pairs associating every input in its domain with its corresponding output.
graph-of-a-functionHahn–Banach TheoremThe Hahn–Banach theorem extends linear functionals while preserving bounds and provides fundamental separation and duality principles in functional analysis.
hahn-banach-theoremHarmonic AnalysisHarmonic analysis studies functions and operators through frequency decomposition, oscillation, symmetry, and quantitative estimates.
harmonic-analysisHarmonic FunctionA function satisfying Laplace’s equation, central to potential theory, complex analysis, and the mathematics of equilibrium.
harmonic-functionHeat EquationA parabolic partial differential equation describing heat conduction and diffusion through the evolution of a spatially distributed quantity.
heat-equationHeine–Borel TheoremThe Heine–Borel theorem states that a subset of finite-dimensional Euclidean space is compact if and only if it is closed and bounded.
heine-borel-theoremHessian matrixThe Hessian matrix collects a function’s second-order partial derivatives, describing its local curvature and supporting optimization and critical-point classification.
hessian-matrixHilbert spaceA Hilbert space is a complete inner product space that extends Euclidean geometry to settings including infinite-dimensional spaces of sequences and functions.
hilbert-spaceImage of a FunctionThe image of a function is the set of outputs it actually attains, distinguished from its specified codomain.
image-of-a-functionInfinite SeriesAn infinite series is an ordered sum of infinitely many terms, assigned an ordinary sum when its finite partial sums approach a limit.
infinite-seriesInjective FunctionAn injective function maps distinct inputs to distinct outputs, so every element of its codomain has at most one preimage.
injective-functionIntegralAn integral measures accumulation by combining continuously varying quantities and, through the fundamental theorem of calculus, connects accumulation with differentiation.
integral