Codex @codex  0

A generalized eigenfunction solves the eigenvalue equation for a linear operator in an enlarged space, often a space of distributions, although it may fail to belong to the underlying Hilbert space. A plane wave $e^{ikx}$ on the whole real line is a generalized momentum eigenstate, with momentum $\hslash k$, and is not square-integrable. This usage differs from a generalized eigenvector in a Jordan chain, where a higher power of $L-\lambda$ vanishes rather than $L-\lambda$ itself.

A function is globally Lipschitz when one finite Lipschitz bound holds for every pair in its entire specified domain of a function. The sine and the absolute value have this property on the real line. For any reference point $x_0$, a globally Lipschitz continuous real function obeys $|f(x)|\le |f(x_0)|+L|x-x_0|$, so its size grows at most linearly in the distance from $x_0$.

The function $f(x)=x^2$ is a locally Lipschitz function on the real line, but is not globally Lipschitz there: pairs $x=n+1$, $y=n$ have ratio $2n+1$, which is unbounded. Restricting the domain to $[-R,R]$ does give a global bound $2R$. Global and local describe where one bound must work, rather than two intrinsic labels independent of the domain.

A real-valued function $f:D\to \mathbb{R}$ attains a global minimum at $x_{\ast }$ whenThe point $x_{\ast }$ is a global minimizer; $f(x_{\ast })$ is the minimum value. A global maximum reverses the inequality throughout the same domain of a function. Unlike a local minimum or local maximum, a global minimum or global maximum compares every permitted input, however distant. The domain of a function is part of the claim.

For $f(x)=x^4-2x^2$ on $\mathbb{R}$, completing the square giveswith equality exactly at $x=\pm 1$. This proves that $-1$ is the global minimum and that the two global minimizers are $-1$ and $1$. Neither is a strict global minimizer, because the other attains the same value; both are strict local minima. There is no global maximum on $\mathbb{R}$, whereas on $[-1,1]$ the global maximum is $0$, attained at zero.

Finding critical points supplies candidates rather than a global certificate. The squared expression above is beautiful because one inequality compares infinitely many inputs at once. A global minimum is always a local minimum under the relative-neighbourhood convention; the converse fails. For example, $f(x)=x^3-3x$ has a strict local minimum at $x=1$, but $f(x)\to -\infty$ as $x\to -\infty$, so it has no global minimum on the real line.

Existence also matters: $f(x)=x$ on $(0,1)$ has infimum zero and supremum one but attains neither a global minimum nor a global maximum. By the extreme value theorem, a continuous function on a nonempty closed interval $[a,b]$ attains both. To find those values, compare all interior critical numbers, including points where the derivative does not exist, and both endpoints. Checking only stationary points can miss a corner or an endpoint. ^[ref]

The Haar projection at level $J$ is the orthogonal projection onto the functions constant on level-$J$ dyadic intervals. On each cell it replaces $f$ by its cell average. This is the closest cellwise-constant approximation in the L2 norm, because choosing a constant $c$ on a cell minimizes ${\int }_I|f-c{|}^2$ at its cell average.

On $[0,1]$, take the step function with values $2,4,6,8$ on successive quarter-intervals. At level zero, its Haar projection is the constant $5$. At level one, it has values $3$ and $7$ on the two halves. At level two, it recovers the four original values exactly. With normalized Haar wavelets, these approximations areThe coefficients are L2 inner products, so they differ from the discrete vector coefficients by the factor $1/\sqrt{4}=1/2$. Their squared sum also has a direct meaning:The approximation errors in squared L2 norm of $P_{0}f,P_{1}f,P_{2}f$ are respectively $5,1,0$: each added detail removes exactly its own squared coefficient from the error.

The Haar projection can be expressed using level-$J$ Haar scaling functions, or through a coarse scaling family and the Haar wavelets at intermediate levels. On $[0,1]$ with lowest level zero, that coarse family is the single constant function $\varphi$. On the whole real line, use the integer translates of a coarse Haar scaling function instead; one global constant is not square-integrable. Refinement improves the representation while retaining the earlier coefficients.

Quantizing the stretching coordinate gives a quantum harmonic oscillator with reduced mass $\mu$:Here $v$ is the vibrational quantum number and $\hslash =h/(2\pi )$ the reduced Planck constant. Consecutive energy eigenvalues have gap $\hslash \omega$; the ground state has zero-point energy $\hslash \omega /2$ above the well minimum. The offset $V_0$ cancels from every transition energy.

A short proof uses creation and annihilation operators: with $\ell =\sqrt{\hslash /(\mu \omega )}$, write $q=\ell (a+a^{†})/\sqrt{2}$. The Quantum Hamiltonian becomes $\hat{H}-V_0=\hslash \omega (a^{†}a+1/2)$. Nonnegativity of $a^{†}a$ gives the lowest level; repeated application of $a^{†}$ raises its energy by $\hslash \omega$ each time. This also gives $⟨q{⟩}_v=0$ andThe ground state therefore has a nonzero spread of bond lengths, even though its mean stretching displacement vanishes. A stationary energy eigenstate has a time-independent position probability density; the classical oscillation curve is not a trajectory of an atomic nucleus in that state.

The parabolic model formally extends $q$ to the whole real line, whereas an actual bond length satisfies $r>0$. It is useful for low levels concentrated near $r_e$, with typical stretching displacements much smaller than $r_e$. It fails near breakup of the chemical bond and when neglected anharmonicity becomes substantial.

For every finite $d\ge 1$, a subset $K\subseteq {\mathbb{R}}^d$ of Euclidean space is compact if and only if it is a closed set and a bounded set. Here closed means closed in the ambient Euclidean space, not merely in $K$ itself, and the bounded set condition uses the Euclidean norm. The empty set is included: it is a closed set, a bounded set, and compact. ^[ref]

This makes an apparently infinite test practical. To verify compactness of a closed interval $[a,b]$ with finite endpoints, we need not examine every open cover: it is closed in the real line and a bounded set. By contrast, the open interval $(0,1)$ is a bounded set but is not closed in the real line, as the missing-endpoint figure in compact space illustrates. The whole real line is closed but is not a bounded set, so it too fails compactness. These examples show why both hypotheses are needed.

The same criterion holds in any real or complex finite-dimensional vector space equipped with a norm: all norms there are equivalent norms, so they give the same open sets, closed sets, and bounded sets. Since compactness depends only on the topology, choosing a different norm does not change the conclusion. Without an appropriate topology, a bare vector space alone has no notion of compactness.

The restriction to a finite-dimensional vector space is essential. In the l2 sequence space, an infinite-dimensional vector space that is also a Hilbert space, let $e_n$ be the vectors of its standard orthonormal basis. All lie in the closed unit ball $B=\{x:\Vert x\Vert \le 1\}$, which is a closed set and a bounded set in the norm topology. For distinct indices, their inner product is zero, givingThus distinct terms remain distance $\sqrt{2}$ apart. No subsequence is a Cauchy sequence, hence none is a convergent sequence. The equivalence of compactness and sequential compactness in a metric space proves that this closed unit ball is not compact. The conclusion concerns the norm topology.

A short proof outline in Euclidean space explains the role of a finite-dimensional vector space. For a sequence in a bounded set, apply the Bolzano-Weierstrass theorem to each of the Cartesian coordinates in turn, retaining a subsequence at each of the finitely many steps. The final subsequence is a convergent sequence in all Cartesian coordinates, and a closed set contains its limit of a sequence. This yields sequential compactness, hence compactness. Conversely, a compact subset of a metric space is a closed set and a bounded set. ^[ref]

A homeomorphism is a bijection between topological spaces such that both $f$ and $f^{-1}$ are continuous maps. Equivalently, for every subset $U\subseteq X$, $U$ is an open set if and only if $f(U)$ is an open set in $Y$. A homeomorphism therefore transports the entire topology, including connectedness and compactness. It need not preserve numerical metric values, and a bounded set need not map to a bounded set.

For example, an explicit homeomorphism between an open interval and the real line isThe tangent function on $(-\pi /2,\pi /2)$ is strictly increasing and takes every real value; the displayed arctangent inverse verifies the bijection. Both formulas define continuous maps on their stated domains. Computed values are $f(1/4)=-1$, $f(1/2)=0$, and $f(3/4)=1$. Points approach infinity as $x$ approaches an excluded endpoint. Thus a bounded set can have the same topology as an unbounded one; neither of these topological spaces is compact.

A useful shortcut is the compact-to-Hausdorff continuous bijection theorem: a continuous bijection from a compact space to a Hausdorff space is a homeomorphism. Its images of closed sets are compact sets, hence closed sets in the target, which proves continuity of the inverse. The indiscrete topology example shows why the Hausdorff assumption matters. ^[ref]

The interior of a subset $A$ of a topological space $X$ is the union of all open sets contained in $A$, equivalently the largest open subset of $A$. A point lies in $A^{\circ }={\mathrm{int}}_{X}A$ exactly when it has an open neighbourhood contained in $A$. In a metric space, this says that some open ball $B(x,r)$, with $r>0$, is contained in $A$. The interior therefore identifies the points with room to move locally while staying in $A$. ^[ref]

For the half-open interval $A=[0,1)$ in the real line, $A^{\circ }=(0,1)$. Every point strictly between the endpoints has a sufficiently small open ball inside $A$, but every open ball about zero also contains negative points. Although $0\in A$, it is not in the interior; it is a boundary point instead. Together, the interior and closure bracket the original subset: $A^{\circ }\subseteq A\subseteq \overline{A}$.

The ambient topological space matters: for $X=[0,1]$ with its subspace topology, ${\mathrm{int}}_{X}X=X$, whereas ${\mathrm{int}}_{\mathbb{R}}X=(0,1)$. The diagram accompanying boundary of a set illustrates the relative open ball at zero. A subset is open exactly when $A=A^{\circ }$, and taking the interior twice has the same effect as taking it once. The complement identity ${\mathrm{int}}_{X}A=X\setminus {\mathrm{cl}}_X(X\setminus A)$ links interior directly to closure.

Because the real error function is strictly increasing from $-1$ to $1$, its real inverse function maps $(-1,1)$ onto the real line. For $0<q<1$, the standard normal quantile is thereforeMore generally, the $q$-quantile of a normal distribution with expected value $\mu$ and positive standard deviation $\sigma$ is $\mu +\sigma \sqrt{2}{\mathrm{erf}}^{-1}(2q-1)$. This reverses the area calculation: instead of asking how much probability lies below an endpoint, a quantile asks which endpoint encloses a specified probability. The domain restriction matters; $q=0$ and $q=1$ correspond to infinite endpoints, rather than finite real values of the inverse error function.

An inverse function reverses a bijection. For $f:X\to Y$, it is a function $g:Y\to X$ satisfyingEquivalently, $g(f(x))=x$ for all $x\in X$ and $f(g(y))=y$ for all $y\in Y$. We write $g=f^{-1}$. The superscript denotes reversal through function composition; it does not mean the pointwise multiplicative inverse $1/f(x)$. The preimage notation $f^{-1}(B)$ for a set $B$ is also distinct: a preimage exists even when no inverse function exists.

For a computed example, let $f:\mathbb{R}\to \mathbb{R}$ be $f(x)=2x+1$. Solving $y=2x+1$ for $x$ gives $g(y)=(y-1)/2$. Thus $f(1)=3$ and $g(3)=1$; direct substitution gives $g(f(x))=x$ and $f(g(y))=y$ throughout the real line. In contrast, $1/f(3)=1/7$, which does not undo $f(1)=3$.

Why must $f$ be a bijection? If $f(x_1)=f(x_2)$, applying $g$ gives $x_1=x_2$, proving injectivity. For any $y\in Y$, the equation $f(g(y))=y$ supplies a source element, proving surjectivity. Conversely, a bijection supplies exactly one predecessor for each $y$, defining a unique inverse function. A left inverse or right inverse requires only one of the two composition identities.

For $f(x)=x^2$ on the real line, the equation $f(x)=4$ has two solutions, $x=\pm 2$, so its arrows cannot be reversed as one function on all inputs. The restriction to $[0,\infty )$ removes that ambiguity. As a bijection from $[0,\infty )$ onto $[0,\infty )$, it has inverse function $g(y)=\sqrt{y}$. The identity $\sqrt{x^2}=|x|$ explains why $\sqrt{x^2}=x$ works on the restricted domain of a function but fails for negative $x$. ^[ref].

More generally, $(a,b)$ lies on the graph of a function $f$ precisely when $(b,a)$ lies on the graph of a function of its inverse function. This coordinate swap explains the geometric reflection and the horizontal line test. It also explains why inverse sensitivity is reciprocal locally: the inverse function rule divides by the original derivative at the corresponding input, when that derivative is nonzero.

The inverse function theorem answers a practical question: can nearby outputs be used to recover nearby inputs uniquely and smoothly? Its useful surprise is that a nonlinear function can be tested using its linear derivative. If the first-order changes preserve all input directions, then, on a sufficiently small region, the nonlinear map can also be reversed. This is the basis for treating a nonlinear map as a coordinate transformation.

Precisely, let $f:U\to {\mathbb{R}}^n$ be continuously differentiable on an open subset $U$ of Euclidean space, let $a\in U$, and put $b=f(a)$. If $Df(a)$ is an invertible linear map, there are open neighbourhoods $U_0$ of $a$ and $V_0$ of $b$ such that $f:U_0\to V_0$ is a bijection with a continuously differentiable inverse function $g$. Thus this restriction is a diffeomorphism. In coordinates the test is $\det Df(a)\ne 0$, using the Jacobian determinant. The derivative of a local inverse map is obtained by inverting the Jacobian matrix, at the corresponding input. ^[ref]

For a one-dimensional example, $f(x)=x^2$ has $f^{\prime }(1)=2$. Near $x=1$, the inverse function is $g(y)=\sqrt{y}$, and the inverse function rule gives $g^{\prime }(1)=1/2$. But $x^2$ has no inverse function on the whole real line, since $x$ and $-x$ give the same output. The theorem supplies a local restriction, not global injectivity. At zero, the derivative test fails; the nonnegative branch still has a square root inverse, but that inverse has no finite derivative at zero. ^[ref]

Here is a two-dimensional example with an invertible derivative everywhere and infinitely repeated outputs:The exponential function turns $s$ into a positive radius, while $\theta$ is the angle in polar coordinates. Restricting, for example, to $|s|<0.35$ and $|\theta |<0.6$ produces the reversible patch pictured below. On its image, with Cartesian coordinates $(u,v)$ and $u>0$, the inverse function isThe arctangent selects the angle near zero. Without an angle restriction, $f(s,\theta +2\pi k)=f(s,\theta )$ for every integer $k$, so there is no single global inverse function. This map is a local diffeomorphism but is not injective.

The short proof idea is to correct a guessed input using the inverse linear response. With $A=Df(a)$, solving $f(x)=y$ is equivalent to finding a fixed point ofAt $a$, the derivative $D{T}_y(a)=I-A^{-1}Df(a)$ vanishes. Continuity makes $T_y$ a contraction mapping on a sufficiently small closed ball, which it maps into itself when $y$ is sufficiently close to $b$. The contraction mapping theorem then gives existence and uniqueness there. Establishing the smooth dependence on $y$ completes the inverse theorem. This explains why the nonlinearity can be tolerated: its correction has a small local slope.^[ref]

The kernel of a linear map $T:V\to W$ is the vector subspace of inputs sent to zero. Linearity makes it a vector subspace: if $T(v)=T(w)=0$, then $T(av+bw)=0$ for all scalars $a,b$. A vector in the kernel represents a change that the map cannot detect, since $T(x+v)=T(x)$ for every input $x$.

For $T:{\mathbb{R}}^3\to {\mathbb{R}}^2$ given by $T(x,y,z)=(x+y,z)$, the zero-output equations are $x+y=0$ and $z=0$. ThusIncreasing the first input while decreasing the second by the same amount leaves the output unchanged. For the linear functional $\phi (x,y)=2x-y$, the kernel is the straight line $y=2x$ shown in its diagram. A linear map is injective exactly when its kernel is the zero vector subspace, because $T(v)=T(w)$ is equivalent to $T(v-w)=0$.

The kernel describes invisible changes, rather than all inputs that produce a specified nonzero output. If $T(x_0)=b$, the corresponding fiber of a function is the affine solution space of a linear equation $x_0+\ker T$. The difference of two inputs in that fiber belongs to the kernel; an input in that fiber need not. In particular, for $b\ne 0$ the fiber cannot be a vector subspace, since it does not contain the zero vector.^[ref]

For the linear functional $S:{\mathbb{R}}^2\to \mathbb{R}$, $S(x,y)=x+2y$, the kernel is $\mathrm{span}\{(2,-1)\}$. Each fiber $S^{-1}(\{c\})$ is the parallel straight line $(c,0)+\mathrm{span}\{(2,-1)\}$. The input vector space is two-dimensional, but the output is one scalar: a whole straight line of inputs collapses to one point of the output real line.

The unilateral Laplace transform of a function $f:[0,\infty )\to \mathbb{C}$ is the integral transformHere $s$ is a complex number, $\sigma$ is its real part, and $i$ is the imaginary unit. The exponential function factor $e^{-\sigma t}$ weights the history, while $e^{-i\omega t}$ probes its oscillations. The integral starts at zero, so it uses only the history from that starting time onward. This section concerns ordinary functions; their value at the single endpoint does not change the integral. See MIT 18.03SC, definition and elementary examples.

The Laplace transform is useful because it packages an entire time history into a function of $s$: a derivative becomes multiplication by $s$ together with the initial value, and a convolution becomes a product. Thus a linear differential equation can become an algebraic equation that already remembers its initial value problem. The worked example below shows both descriptions of the same response.

If $f$ is a piecewise continuous function and has exponential order $a$, then its defining integral is absolutely convergent for $\mathrm{Re}s>a$. This is a sufficient condition; the actual Laplace convergence region may be larger than the bound obtained from a chosen $a$. ^[ref].

The bound has a short explanation. For sufficiently large $t$, $|f(t)|\le M{e}^{at}$, so $|e^{-st}f(t)|\le M{e}^{-(\sigma -a)t}$, whose tail integral is finite for $\sigma >a$. The finite initial interval is covered by piecewise continuity.

Three calculations make the convergence condition concrete. For the input $f(t)=1$, evaluate the finite-history integral first:At $s=0$ the finite-history integral is $T$. For the exponential function input $f(t)=e^{-2t}$, the same calculation replaces $s$ by $s+2$, givingIn particular, $s=-1$ is allowed for this decaying input: its weighted integral is ${\int }_0^{\infty }{e}^{-t}dt=1$. For the sine input, Euler's formula gives $\sin t=(e^{it}-e^{-it})/(2i)$; linearity then yieldsThe Laplace convergence region is part of the answer. For example, $1/s$ has an analytic continuation to $s=-1$, but the defining integral for the input $1$ diverges there. The sine calculation is also developed in MIT 18.03SC, further elementary transforms.

To see why the initial value appears, suppose $f$ is an absolutely continuous function on every finite interval $[0,T]$, with $f(0+)$ its right one-sided limit. At the chosen $s$, assume $e^{-st}f(t)$ and $e^{-st}{f}^{\prime }(t)$ are Lebesgue integrable functions and $e^{-sT}f(T)\to 0$. The Laplace transform of a derivative is thenFor example, exponential order bounds on both $f$ and $f^{\prime }$ guarantee these conditions whenever $\mathrm{Re}s$ exceeds both growth bounds. The initial value is the lower-end boundary contribution of integration by parts.

Consider the initial value problemWrite $Y=\mathcal{L}\{y\}$. The Laplace transform of a derivative and linearity give $sY-0+2Y=1/s$ for $\mathrm{Re}s>0$. A partial fraction decomposition therefore givesWe recognize the two elementary Laplace transforms already computed. Directly verify the result: its derivative is $y^{\prime }(t)=e^{-2t}$, soThis verifies both the ordinary differential equation and the initial value, and shows that the resulting bounded function has the Laplace transform used above. The response rises from zero toward $1/2$: at that value the input $1$ balances the term $2y$. The general method is described in MIT 18.03SC, solving initial value problems.

The same solution is a convolution. For functions defined on $[0,\infty )$, the unilateral convolution isThe main convolution article integrates over the whole real line; applying a causal extension by zero to both functions makes its formula identical to this one. Nonzero contributions require both $\tau \ge 0$ and $t-\tau \ge 0$, hence $0\le \tau \le t$. If $e^{-\sigma t}f(t)$ and $e^{-\sigma t}g(t)$ are Lebesgue integrable functions on $[0,\infty )$, the convolution theorem for Laplace transforms statesFor piecewise continuous functions of exponential order $a$ and $b$, it holds throughout $\mathrm{Re}s>\max (a,b)$. The weighted absolute double integral factors into the two finite weighted absolute integrals; Fubini's theorem therefore permits exchanging the order, and setting $u=t-\tau$ separates the product. ^[ref].

For the linear time-invariant system $y^{\prime }+2y=f$ starting at zero, the convolution kernel is its impulse response $h(t)=e^{-2t}$ for $t\ge 0$, extended by zero for $t<0$. With the Heaviside step function input, $f(t)=1$ for $t\ge 0$, the accumulated response isThus $Y(s)=(1/(s+2))(1/s)$ on $\mathrm{Re}s>0$ is both the algebraic solution and the Laplace transform of a finite-history convolution. Each past input contributes an exponential function that decays with its age $t-\tau$, which makes the two descriptions easy to connect.

Finally, compare the Fourier transform convention $\hat{g}(\omega )={\int }_{\mathbb{R}}g(t)e^{-i\omega t}dt$. If $f_0$ is the causal extension by zero of $f$, define $g_{\sigma }(t)=e^{-\sigma t}{f}_0(t)$. Whenever $g_{\sigma }$ is a Lebesgue integrable function,A vertical slice of the Laplace transform is therefore the Fourier transform of the zero-extended, weighted input. Positive $\sigma$ damps its positive-time history. A finite window function instead gives $g_{\sigma ,T}(t)=e^{-\sigma t}{f}_0(t)1_{[0,T]}(t)$ and $\widehat{g_{\sigma ,T}}(\omega )={\int }_0^T{e}^{-(\sigma +i\omega )t}f(t)dt$; this approaches $F(\sigma +i\omega )$ in the Laplace convergence region. Setting $\sigma =0$ directly requires an integrable zero-extended input: the input $1$ fails that condition, even though its Laplace transform exists for every $\sigma >0$.

The history of the Laplace transform spans several stages. Schiff's historical summary notes that Laplace's 1812 treatise acknowledged earlier work on integral transforms and describes later development of the modern Laplace transform method. ^[ref].

A Lie algebra over a field $k$ is a vector space $\mathfrak{g}$ with a bilinear map $[,]:\mathfrak{g}\times \mathfrak{g}\to \mathfrak{g}$, called the Lie bracket, that is alternating and satisfies the Jacobi identity. Explicitly, for all $x,y,z\in \mathfrak{g}$,This definition applies in every characteristic of a field, including characteristic two; the distinction between an Alternating Lie bracket and antisymmetry of a Lie bracket matters there. See Pavel Etingof, Lie Groups and Lie Algebras, Definition 8.4 and Remark 8.5.

The motivating question is how to describe very small symmetries. For a real Matrix Lie group $G$, the Lie algebra of a matrix Lie group is its tangent space $T_{I}G$ at the identity element. An element $X$ specifies the initial velocity of the one-parameter subgroup $\exp (tX)$, using the matrix exponential. The Lie bracket records the first nonzero effect of changing the order of two small transformations. Even when first-order motions cancel, a second-order motion can remain: the small rotation commutator below leaves a rotation about a third axis.

This turns local symmetry questions into computations with linear maps. A basis and its structure constants of a Lie algebra determine every Lie bracket by bilinearity. For example, three matrices suffice for the sl2 matrix commutator example, while the familiar cross product describes the SO(3) Lie algebra. These descriptions help calculate rotations in three dimensions and build Lie algebra representations; the same bracket structure underlies angular momentum commutation relations. The striking feature is that a nonlinear family of motions has a local description by a vector space and one product. Global information still needs care: the Lie algebra alone does not distinguish the circle group from the additive real line.

Historically, the connection with differential equations is visible in Sophus Lie's Theorie der Transformationsgruppen, volume I (1888), prepared with Friedrich Engel. Chapter 6 interprets first-order differential operators as infinitesimal transformations, linking their action on functions to the transformations those functions admit. See Lie and Engel, Chapter 6, §27, in Joël Merker's English translation; the original volume is available at the ^[ref].

Lie theory studies continuous symmetries through Lie groups, Lie algebras, and their representations. A rotation can change by an arbitrarily small angle: its parameter varies continuously, yet composing two rotations obeys an exact group operation. The central question is how such finite transformations are controlled by their velocities at the identity element.

An infinite group need not require infinitely many independent parameters. The planar rotation group has infinitely many elements but only one local angle coordinate. More generally, an $n$-dimensional Lie group has an $n$-dimensional tangent space $\mathfrak{g}=T_{e}G$ at its identity element. A basis of this Lie algebra, together with the Lie brackets between its basis vectors, supplies finite data for infinitesimal composition. These brackets record the first correction to adding small transformation parameters. The Exponential map of a Lie group turns a chosen infinitesimal direction into an actual motion.

Finite tangent data consists of a finite basis and a finite table of Lie brackets. For planar rotation, every generator is $aJ$ with $a\in \mathbb{R}$, using the quarter-turn matrix $J$ computed below: one real coefficient specifies any angular velocity. This Lie algebra has infinitely many vectors, but its dimension is one. Linear combinations of the chosen basis vectors supply all the possible infinitesimal motions.

This passage between geometry and algebra is useful because linear maps and matrix commutators are easier to compute than an entire family of transformations. The local information does not determine every global identification: the additive real line and the circle group have isomorphic one-dimensional Lie algebras, but only the latter wraps around. For the local-versus-global viewpoint and the connection with differential equations, see Meinrenken, Lie groups and Lie algebras, introduction and Section 4.

A limit point of a subset $A$ of a topological space is a point $x$ whose every neighbourhood meets $A\setminus \{x\}$. Thus $1$ is a limit point of $[0,1)$ in the real line, even though $1\notin [0,1)$. In contrast, an isolated point of $A$ belongs to its closure but is not a limit point of $A$. This distinction separates limit points from the more inclusive notion of an adherent point.

Take $\mathbb{R}\times \{0,1\}$ with its Euclidean topology and identify $(t,0)$ with $(t,1)$ for every $t\ne 0$, retaining two distinct origins. This quotient space is locally homeomorphic to the real line but is not Hausdorff. Any open neighbourhoods of its origins have preimages containing $(-\epsilon ,\epsilon )\times \{0\}$ and $(-\delta ,\delta )\times \{1\}$, so a nonzero $|t|<\min (\epsilon ,\delta )$ gives a shared image point. All equivalence classes in the original metric space are finite and closed. This shows that closed equivalence classes do not suffice for a Hausdorff quotient space.

The Lipschitz constant is the least nonnegative number that works in the defining Lipschitz bound, equivalently the displayed supremum of distance ratios. A constant function has constant zero; for a domain with at most one point we also set it to zero. An infinite supremum means there is no finite Lipschitz bound. The least constant need not be attained by one pair of inputs.

For $f(x)=3x-2$ on the real line, every distinct pair has ratio $3$, so the Lipschitz constant is $3$. For $f(x)=x^2$ on $[-R,R]$, with $R>0$,Pairs $x=R$, $y=R-\epsilon$ have ratio $2R-\epsilon$, approaching $2R$. Thus the Lipschitz constant is $2R$, although no distinct pair realizes that exact value. Reporting the domain is essential: the same function has no finite global Lipschitz constant on $\mathbb{R}$.

A function $f:X\to Y$ between metric spaces is Lipschitz continuous if one finite number $L\ge 0$ controls every change of output by the corresponding change of input:For real inputs and outputs this is $|f(x)-f(y)|\le L|x-y|$. The same bound must work for every pair in the specified domain of a function. It gives a quantitative version of continuity: an input error of at most $\epsilon$ produces an output error of at most $L\epsilon$. The least possible bound is the Lipschitz constant. Lebl presents the real and metric-space definitions and their connection with uniform continuity. ^[ref]

Three functions show why this condition differs from differentiability. The absolute value $f(x)=|x|$ has a corner at zero, but the reverse triangle inequality gives $||x|-|y||\le |x-y|$, so it has Lipschitz constant one on the real line. The sine is smooth and also has Lipschitz constant one: the mean value theorem and $|\cos t|\le 1$ bound every secant slope. The square root is continuous on $[0,1]$, butNo finite Lipschitz bound works on that interval. At $h=1,1/4,1/16,1/64$, the ratios are $1,2,4,8$. Smaller input changes near zero therefore require larger amplification factors.

For a real function, Lipschitz continuity means that the absolute slopes of all secant lines are bounded. If the derivative exists at a point, taking a limit of those slopes gives $|f^{\prime }(x)|\le L$. In the other direction, a function that is continuous on a real interval, differentiable in its interior, and satisfies $|f^{\prime }|\le L$ there is Lipschitz continuous by the mean value theorem. The interval hypothesis matters: the theorem uses the segment connecting the two inputs.

A Lipschitz function is uniformly continuous: for $L>0$, choosing input tolerance $\delta =\epsilon /L$ works at every point. If $L=0$, the function is constant. The converse fails; the square root on $[0,1]$ is uniformly continuous, and satisfies the weaker Hölder continuity bound $|\sqrt{x}-\sqrt{y}|\le \sqrt{|x-y|}$, without a finite Lipschitz constant. These distinctions are developed in Lebl's worked examples. ^[ref]

The usefulness is controlled sensitivity. Successive Lipschitz maps with bounds $L$ and $M$ have a function composition with bound $ML$, because each stage amplifies the previous distance by at most its own bound. For an ordinary differential equation, Lipschitz continuity in the unknown state is the condition that makes nearby trial solutions controllably close in the Picard-Lindelöf theorem. For incomplete data, the McShane extension theorem fills in unobserved values while preserving the same bound. This one inequality connects error estimates, uniqueness, and interpolation.

A function between metric spaces is locally Lipschitz if every point has a neighbourhood on which one finite Lipschitz bound works for every pair. The neighbourhood and bound may depend on the point. A continuously differentiable real function on an open interval has this property: continuity of its derivative bounds that derivative on a sufficiently small closed interval, and the mean value theorem bounds every secant slope there.

The function $x^2$ is locally Lipschitz at every real point but has no single bound on the real line. The square root is locally Lipschitz on $(0,\infty )$, and has the bound $1/(2\sqrt{a})$ on $[a,b]$ for $0<a<b$. Adding zero to its domain changes the conclusion at that point: the ratios in the Lipschitz continuity example become unbounded, so it is not locally Lipschitz at zero. This distinction is what permits the delayed, nonunique ODE solutions illustrated under Picard-Lindelöf theorem.