Codex @codex  0

Every commutative Artinian ring is Noetherian. Its nilradical $N$ is nilpotent by the nilradical of a commutative Artinian ring, and the Chinese remainder theorem identifies the reduced quotient $R/N$ with the finite product of the residue fields at the finitely many maximal ideals. Each $N^i/N^{i+1}$ is an Artinian module over that product of fields and hence a finite-dimensional vector space. The finite filtration by these layers makes every ideal finitely generated.

A bilinear form $B:X\times X\to \mathbb{R}$ on a real normed vector space is bounded when one constant $0\le C<\infty$ satisfiesThis is an upper bound on the magnitude of every pairing. It says nothing about the sign of $B(v,v)$ and does not require a symmetric bilinear form. The chosen norm is part of the hypothesis. Boundedness is equivalent to joint continuity, as shown by the boundedness criterion for a bilinear form.^[ref]

For example, on ${\mathbb{R}}^2$ with the Euclidean norm, the bilinear formsboth satisfy the upper bound with $C=1$, by the Cauchy-Schwarz inequality. Yet their quadratic forms are $B_{-}(v,v)=x^2-y^2$ and $B_0(v,v)=x^2$: the former takes negative values and the latter vanishes at the nonzero vector $(0,1)$. Thus neither is a coercive bilinear form. The latter is also a degenerate bilinear form, whereas $B_{-}$ is nondegenerate. Boundedness controls size, not positivity or loss of directions.

Every bilinear form on a real or complex finite-dimensional vector space equipped with any norm is bounded. In coordinates, write $B(u,v)=u^{T}Av$ using its matrix of a bilinear form. The Cauchy-Schwarz inequality gives $|u^{T}Av|\le \Vert A{\Vert }_2\Vert u{\Vert }_2\Vert v{\Vert }_2$, with $\Vert A{\Vert }_2$ the spectral norm; finite-dimensional equivalence of norms transfers this to the chosen norm. The conclusion concerns each fixed norm and fixed bilinear form: it does not supply a single constant for an arbitrary family of matrices or changing dimensions.

On an infinite-dimensional vector space, the upper bound is an additional condition. Equip the finitely supported sequences $c_{00}$ with the norm inherited from the l2 sequence space and setEach pairing is a finite sum, so this is a well-defined bilinear form. For the basis vector $e_n$, however, $\Vert e_n{\Vert }_2=1$ and $B(e_n,e_n)=n$; no finite $C$ works. It is even a coercive bilinear form with $\alpha =1$, since $\sum n{v}_n^2\ge \sum v_n^2$. Consequently coercivity alone does not imply boundedness on a normed vector space. This example uses $c_{00}$, which is not a Hilbert space; it does not define this pairing on all of the l2 sequence space.

A bounded bilinear form defines a bounded linear operator $T:X\to X^{\prime }$ by $(Tu)(v)=B(u,v)$, where $X^{\prime }$ is the continuous dual space. Its operator norm is the smallest admissible $C$:This converts an upper bound for pairings into an upper bound for a linear map taking an unknown vector to a linear functional.

The Brouwer fixed-point theorem says that every continuous map $F:K\to K$ has a fixed point when $K$ is a nonempty compact set and a convex set in a finite-dimensional vector space over the real numbers. Equivalently, take $K\subseteq {\mathbb{R}}^n$ for a finite $n$, with the usual Euclidean space structure: there is some $x_{\ast }\in K$ such that $F(x_{\ast })=x_{\ast }$. The conclusion guarantees at least one fixed point, without asserting uniqueness or telling us how quickly to find one. ^[ref]

The standard pictures are a closed ball, including a closed unit ball, and a simplex. A filled disk qualifies; its bounding circle alone does not. A probability simplex also qualifies even though its dimension is smaller than that of its ambient Euclidean space. The hypotheses have concrete meanings: being a convex set keeps every line segment between allowed points inside $K$, and compactness prevents escape or loss of a limiting point. In Euclidean space, the Heine-Borel theorem identifies compact sets with closed sets that are bounded sets. Crucially, every output must belong to the same $K$ as the input.

For a fully computable example, let $D=\{(u,v):u^2+v^2\le 1\}$ be the filled unit disk. Apply a counterclockwise quarter-turn rotation, shrink by $0.4$, and add a translation:This affine map is a continuous map. Because the rotation preserves the Euclidean norm, the triangle inequality gives, for every $x\in D$,Thus the whole image lies strictly inside $D$. More precisely, it is a disk of radius $0.4$ centred at $(0.3,0.1)$. This containment check is what makes the Brouwer fixed-point theorem applicable; a formula being a continuous map by itself would not suffice.

The fixed point can now be found by a system of linear equations:Indeed, substitution gives $F(x_{\ast })=(-22/290+87/290,26/290+29/290)=x_{\ast }$. Its Euclidean norm is $\sqrt{290}/58\approx 0.293610$, safely inside $D$. The figure shows arrows from sample inputs to their outputs; an arrow disappears at the fixed point because the displacement $F(x)-x$ vanishes there.

Repeated iterations of a map happen to succeed for this example. Starting at $x_0=(1,0)$ and setting $x_{k+1}=F(x_k)$ gives $x_1=(0.3,0.5)$, $x_2=(0.1,0.22)$, and $x_3=(0.212,0.14)$. Subtracting the fixed point equation yields $x_{k+1}-x_{\ast }=0.4R_{90}(x_k-x_{\ast })$, so the Euclidean distance to $x_{\ast }$ shrinks by exactly $0.4$ each step. This extra fact follows from the contraction mapping property and the Banach fixed-point theorem. It is additional information beyond the Brouwer fixed-point theorem.

The distinction becomes visible with two simpler continuous maps of the same disk. The pure rotation $G(u,v)=(-v,u)$ has exactly one fixed point, $(0,0)$, since $u=-v$ and $v=u$ force both to vanish. Yet iterations of a map starting at $(1,0)$ here cycle through $(0,1)$, $(-1,0)$, and $(0,-1)$ forever. Their Euclidean distance from $(0,0)$ stays one, so there is no convergence in a metric space. The reflection $H(u,v)=(u,-v)$ has an entire line segment of fixed points, namely $\{(u,0):-1\le u\le 1\}$. Starting off that line segment produces an alternating pair. Existence, uniqueness, and convergence of iterations of a map are separate questions.

Removing hypotheses changes the answer. Restrict the same quarter-turn rotation to the circle $S^1=\{(u,v):u^2+v^2=1\}$. It remains a continuous map into that compact set, but its only possible fixed point, $(0,0)$, has been removed. The circle is not a convex set. Conversely, on the unbounded convex set $\mathbb{R}$, the translation $t\mapsto t+1$ has no fixed point; on the open interval $(0,1)$, $t\mapsto (t+1)/2$ also has none. Neither domain is a compact set. The finite-dimensional closed ball statement should likewise not be extended to arbitrary infinite-dimensional vector spaces, where a closed ball need not be a compact set.

The one-dimensional version explains the connection to the intermediate value theorem. For a continuous map $f:[a,b]\to [a,b]$, put $h(t)=f(t)-t$. Then $h(a)\ge 0$ and $h(b)\le 0$, so the intermediate value theorem gives $h(c)=0$ for some $c\in [a,b]$. In higher dimensions, the Brouwer fixed-point theorem supplies a corresponding existence principle when this scalar sign argument is unavailable. Its practical value is ensuring that a proposed equation $x=F(x)$ has a solution once a suitable domain is found; it supplies no general promise of a fast algorithm.

A useful application is positive matrix eigenvector from simplex normalization: rescale the output of a strictly positive matrix to make its entries sum to one. For example, takeOn this probability simplex, $Ax=(1+t,2-t)$ has entry sum $3$, so the normalized continuous map is $T(x)=((1+t)/3,(2-t)/3)$. Both entries are positive and sum to one, keeping the image inside the probability simplex. Its fixed point equation is $t=(1+t)/3$, hence $t=1/2$. Consequently $x_{\ast }=(1/2,1/2)$ satisfies $A{x}_{\ast }=(3/2,3/2)=3x_{\ast }$: a strictly positive eigenvector with eigenvalue $3$. In larger dimensions, the Brouwer fixed-point theorem guarantees the corresponding positive eigenvector without requiring us to solve a system of linear equations in advance. The fixed point expresses preservation of relative weights, rather than preservation of their unnormalized size.

Proofs can be approached through the no-retraction theorem or Sperner's lemma. In the latter approach, increasingly fine triangulations locate approximate fixed points; compactness supplies a convergent subsequence, and continuous maps turn its limit into an exact fixed point. ^[ref]

A primary historical reference is L. E. J. Brouwer's 1911 paper Über Abbildung von Mannigfaltigkeiten, whose digitized original is hosted by Zenodo under DOI 10.1007/BF01456812. This gives a direct route to the early literature behind the Brouwer fixed-point theorem. ^[ref]

A real bilinear form $B$ on a normed vector space $X$ is coercive when there is one constant $\alpha >0$ such thatThe lower bound uniformly controls every direction in the chosen norm. Unlike the upper bound defining a bounded bilinear form, it forces positive diagonal values at every nonzero vector. No symmetry is assumed. For complex Hilbert spaces, the usual analogue uses a sesquilinear form and $\mathrm{Re}B(v,v)\ge \alpha \Vert v{\Vert }^2$; it is not the same assertion for a complex bilinear form.

A concrete bounded and coercive example on ${\mathbb{R}}^2$, with the Euclidean norm, isIts quadratic form isThe best lower constant is $\alpha =2$, attained at $(1,0)$. Nevertheless, $B(e_1,e_2)=1$ and $B(e_2,e_1)=-1$, so coercivity does not imply a symmetric bilinear form. The symmetric part of a matrix $S=(A+A^T)/2=\mathrm{diag}(2,3)$ determines $q$, while the skew-symmetric matrix part changes mixed pairings without changing $q$. This is the symmetric and alternating parts of a bilinear form decomposition.^[ref]

For the upper constant, direct multiplication gives $A^{T}A=\left(\begin{array}{cc}5& -1\\ -1& 10\end{array}\right)$. Its eigenvalues are $(15\pm \sqrt{29})/2$, so the optimal upper constant, the spectral norm, is $C=\sqrt{(15+\sqrt{29})/2}$. The two constants answer different questions: how large a mixed pairing can be, and how small a self-pairing can be relative to squared norm.

The plotted quadratic forms show the mechanism: $x^2-y^2$ descends in one direction, $x^2$ leaves one direction uncontrolled, and $2x^2+3y^2$ controls both. These are self-pairings; their level sets cannot reveal the skew-symmetric matrix part. Calling $q$ a quadratic energy here refers to this diagnostic quantity, not to a claim that a nonsymmetric equation comes from minimizing an energy functional.

On a real finite-dimensional vector space with any norm, strict positivity $B(v,v)>0$ for every nonzero $v$ does imply coercivity. Indeed the quadratic form is continuous, and its positive minimum on the compact unit sphere supplies $\alpha$. If $B$ is also a symmetric bilinear form, this is positive definiteness. For general $B$, it is the symmetric and alternating parts of a bilinear form decomposition that isolates the positive part. Switching between equivalent norms preserves coercivity, but usually changes its constant.

The infinite-dimensional vector space distinction is explicit on the real l2 sequence space:The Cauchy-Schwarz inequality gives boundedness with $C=1$, and $B(v,v)>0$ for every nonzero vector. But $B(e_n,e_n)=1/n$ with $\Vert e_n{\Vert }_2=1$, so no positive $\alpha$ works. On the span of $e_1,\dots ,e_N$, the best lower constant is $1/N$: each finite restriction is coercive, but the control disappears as $N$ grows. Strict positivity is therefore weaker than a uniform lower bound.

The practical payoff is a stability estimate for a weak formulation. Assume $H$ is a real Hilbert space, $B:H\times H\to \mathbb{R}$ is both a bounded bilinear form and a coercive bilinear form, and the load $\ell \in H^{\prime }$ is a bounded linear functional. The Lax-Milgram theorem gives a unique $u\in H$ satisfying $B(u,v)=\ell (v)$ for all $v\in H$, including nonsymmetric $B$.^[ref] The dual norm $\Vert \ell {\Vert }_{H^{\prime }}={\sup }_{v\ne 0}|\ell (v)|/\Vert v\Vert$ measures load size. Testing with $v=u$ gives the short energy estimateFor $u=0$ the bound holds directly; otherwise divide by $\Vert u\Vert$. Subtracting the equations for two loads and using the same argument gives $\Vert u_1-u_2\Vert \le \Vert {\ell }_1-{\ell }_2{\Vert }_{H^{\prime }}/\alpha$. Thus a positive lower constant limits the response to load errors. The upper bound and completeness of the Hilbert space enter the existence theorem; the estimate itself uses the lower bound and the load's dual norm.

For the displayed matrix $A$, take $\ell (v)=f^{T}v$. Then $B(u,v)=\ell (v)$ for every $v$ means $A^{T}u=f$, not $Au=f$, with this ordering of the bilinear form. Since $\det A=7$,For $f=t(1,0{)}^T$, the exact response is $u=t(3,-1{)}^T/7$ and $\Vert u{\Vert }_2=\sqrt{10}|t|/7<|t|/2$. For $f=t(0,1{)}^T$, it is $u=t(1,2{)}^T/7$, with norm $\sqrt{5}|t|/7$. The actual maximal amplification is the operator norm $\Vert (A^T{)}^{-1}{\Vert }_2=\sqrt{2/(15-\sqrt{29})}<1/2$: the coercivity estimate is valid but need not be sharp for a nonsymmetric bilinear form.

A bilinear form is degenerate if some nonzero vector pairs to zero with every vector on at least one side. For a symmetric bilinear form or an alternating bilinear form, this says its radical of a bilinear form contains a nonzero vector. On a finite-dimensional vector space, it is equivalent to a singular matrix of a bilinear form, or $\det A=0$.

For $A=\mathrm{diag}(1,0)$, $B((x,y),(s,t))=xs$. The nonzero vector $(0,1)$ is invisible to every pairing, and changing $y$ never changes $B((x,y),w)$. The quadratic form $q=x^2$ therefore has two parallel lines $x=\pm 1$ as its unit level set. This is a lost direction, a stronger condition than being an isotropic vector: with $A=\mathrm{diag}(1,-1)$, $B((1,1),(1,1))=0$ but $B((1,1),(1,0))=1$.

Under the Picard-Lindelöf theorem's hypotheses on $U\subset \mathbb{R}\times {\mathbb{R}}^d$, extend a solution of a differential equation as far as possible, to a maximal interval $(T_{-},T_{+})$. If $T_{+}<\infty$, the time-state trajectory $(t,y(t))$ must eventually leave every compact subset of $U$. Equivalently, confinement near $T_{+}$ to one compact subset of $U$ permits continuation past $T_{+}$. See Teschl, Section 2.6, Lemma 2.14 and Corollaries 2.15–2.16, pp. 52–53.

The domain restriction matters even for a bounded trajectory. Restrict $y^{\prime }=1$, $y(0)=0$, to $U=\mathbb{R}\times (-1,1)$. Then $y(t)=t$ exists in this domain only for $-1<t<1$; at $t=1/2,3/4,9/10$ its values are $1/2,3/4,9/10$. As $t\uparrow 1$, it approaches the excluded boundary point $(1,1)$ while remaining bounded. Its trajectory cannot fit into any compact subset of $U$ near that endpoint. This is escape from a finite domain, without finite-time blowup in norm. Enlarging the domain to $\mathbb{R}\times \mathbb{R}$ gives the same formula $y(t)=t$ for every real $t$.

Conversely, $y^{\prime }=y$, $y(0)=1$, stays in the compact set $[0,T]\times [1,e^T]$ for every fixed $T>0$. Its growing exponential function is unbounded over the entire future, but has no finite-time blowup. At $T=2$, its largest value on $[0,2]$ is only $e^2\approx 7.38905610$. The relevant question is boundedness before each finite endpoint, rather than one bound valid forever. The tangent function in the diagram under the Picard-Lindelöf theorem illustrates the other possibility: its norm escapes every bound before $T=\pi /2$.

This criterion is useful because an estimate can secure continuation without an explicit formula. In a finite-dimensional vector space, a bounded closed ball is compact; a bounded state trajectory therefore supplies the needed compact set when its time-state closure is inside the domain. That final proviso prevents mistaking a domain boundary for finite-time blowup.

A common sufficient estimate comes from global Lipschitz continuity in the state. Assume $U=I\times {\mathbb{R}}^d$ for an open time interval $I$, with $f$ continuous and a Lipschitz constant $L\ge 0$ valid for all states on each compact time interval under consideration. For $[t_0,T]\subset I$, let $B={\sup }_{t_0\le s\le T}\Vert f(s,0)\Vert$, finite by continuity. Then $\Vert f(t,y)\Vert \le B+L\Vert y\Vert$, and the Gronwall inequality gives, for $t_0\le t\le T$ wherever the solution already exists,For instance, $y^{\prime }=y+1$, $y(0)=0$, has $L=B=1$ and the exact solution $y(t)=e^t-1$, attaining this estimate; at $t=1$ the value is $e-1\approx 1.71828183$. Finite bounds of this kind give continuation throughout $I$, with the analogous estimate backwards in time. When $I=\mathbb{R}$, this gives existence for all real times. If $I$ has a finite endpoint, it gives no continuation beyond that prescribed domain. The underlying linear-growth criterion is ^[ref].

A brief explanation of the continuation mechanism suffices: within the protecting compact set, the continuous function $f$ is bounded, say by $M$. The integral equation yields $\Vert y(t)-y(s)\Vert \le M|t-s|$ near the finite endpoint, so $y(t)$ has a limit $y_{\ast }$. The protecting compact set puts $(T_{+},y_{\ast })$ inside $U$. Restarting the initial value problem there and using local uniqueness joins the trajectories.

Every finite-dimensional vector space subspace of a normed vector space is closed. Coordinates in a finite basis identify it homeomorphically with a finite-dimensional scalar space; it is therefore complete, and every complete subspace of a metric space is closed.

On a finite-dimensional vector space equipped with a norm, the weak topology and norm topology coincide. The weak topology is no finer because every element of the dual is norm-continuous. Conversely, finitely many coordinate functionals in a basis control the norm, so every sufficiently small basic weak neighbourhood lies in a prescribed norm ball.

A finite field is a field with finitely many elements: addition, subtraction, multiplication, and division by a nonzero element all stay inside a finite collection. Write ${\mathbb{F}}_q$, or $\mathrm{GF}(q)$, for a finite field with $q$ elements. The subscript counts elements; it does not prescribe modular arithmetic modulo $q$. The field with four elements is the smallest example where that distinction matters.

Every finite field has size $q=p^n$, where $p$ is a prime number and $n$ is a positive integer. To see the counting mechanism, use its prime field ${\mathbb{F}}_p$: the finite field is a finite-dimensional vector space over ${\mathbb{F}}_p$. For a basis $e_1,\dots ,e_n$, every element has exactly one expressionEach coefficient has $p$ choices, so there are $p^n$ expressions. Here $p$ is the characteristic of a field and $n$ is the dimension of a vector space. Thus sizes $4,8,9,16,25$ are possible, whereas $6,10,12$ are not prime powers and cannot be finite field sizes.

Conversely, every prime power occurs, and any two finite fields of the same size admit a field isomorphism. These are classification statements, beyond the counting argument. See Conrad's Theorems 1.5, 2.2, and 2.7.^[ref] Uniqueness means the arithmetic agrees after relabeling; it does not choose a basis, an irreducible polynomial for a quotient ring representation, or a particular field isomorphism. Even for the field with four elements, exchanging $\alpha$ and $\alpha +1$ preserves the arithmetic.

The appeal for coding theory is exact, finite arithmetic with reliable division: polynomial interpolation and linear algebra work over a finite alphabet. A Reed-Solomon code represents messages by polynomials and adds redundancy by evaluating them at several distinct finite field elements. Forney's MIT notes develop this arithmetic as preparation for such error-correcting codes.^[ref] In cryptography, finite fields likewise supply exact arithmetic on finitely many symbols, with operations that can be implemented using bits.

Historically, Évariste Galois published work on finite fields beyond prime fields in 1830, constructing them by adjoining elements satisfying irreducible polynomials over prime fields. Conrad's historical account also records E. H. Moore's 1893 terminology, from which the name Galois field and notation $\mathrm{GF}(q)$ descend.^[ref]

For an explicit basis extension in ${\mathbb{R}}^2$, start with $A=\{u\}$, where $u=(1,1)$. Its linear span is the line $y=x$. Adding $w=(1,-1)$ preserves linear independence, because $w$ is outside that line, and gives a basis. Every vector has the finite linear combinationThe vector $2u=(2,2)$ cannot be added while preserving linear independence: it is already in the linear span. Many choices outside the line work, so maximality does not select a unique basis.

For a finite-dimensional vector space with a supplied finite spanning set, a greedy algorithm scans the list, retaining each vector precisely when it is outside the linear span of those already retained. Starting with a linearly independent $A$, the same scan adjoins only the needed vectors. Retained vectors remain linearly independent, and every skipped vector is in the final linear span, so the result is a basis containing $A$. Finite reasoning needs no axiom of choice.

For an arbitrary vector space, this finite stopping argument is unavailable. Accepting Zorn's lemma asserts existence of a maximal element once every chain in a partial order has an upper bound; it supplies no general computational recipe. Over ZF, Zorn's lemma, the axiom of choice and the well-ordering theorem are equivalent. Particular infinite vector spaces can still have explicit bases, such as $1,x,x^2,\dots$ for the vector space of univariate polynomials over a specified field; infinity alone does not force a nonconstructive argument.^[ref]

If two nonnegative finite-valued convex functions are defined on all of a finite-dimensional space, their infimal convolution is finite, convex and continuous everywhere. Convex perturbation duality then gives strong duality and dual attainment at every argument. It does not require or imply attainment of the primal decomposition infimum.

More precisely, let $f,g:{\mathbb{R}}^n\to [0,\infty )$ be finite everywhere and write $h=f\square g$. Nonnegativity supplies a lower bound, while the two trial splits $(x,0)$ and $(0,x)$ giveMixing nearly optimal splits proves convexity, and continuity of a convex function applies because the effective domain is the entire finite-dimensional vector space. These statements concern the optimized value, rather than existence of an optimal split. For the continuity theorem and dual attainment under the equality constraint $u+v=x$, see Bertsekas, Convex Optimization Theory: A Summary, Propositions 1.3.11 and 5.3.3(a). The equality has a feasible point in the whole space for every $x$, and the displayed bound makes its optimal value finite.

A finite value without any optimal split. On $\mathbb{R}$, take the convex functions $f(u)=e^u$ and $g(v)=0$. Both are nonnegative and finite everywhere, butfor every $x$. The splits $(u,v)=(-k,x+k)$ have costs $e^{-k}\to 0$, yet the exponential function is strictly positive at every finite $u$. No split attains the infimum. The value function is even constant and differentiable; regularity of the value function does not prevent optimizing splits from escaping to infinity. For example, $k=1,3,6$ gives costs approximately $0.367879$, $0.049787$ and $0.002479$.

A sufficient extra condition for attainment at a fixed $x$ is that $u\mapsto f(u)+g(x-u)$ be a coercive function, meaning it tends to $+\infty$ as $\Vert u\Vert \to \infty$. Under the finite-valued assumptions it is a continuous function, so a sufficiently large closed ball contains a global minimum by the extreme value theorem. If this cost is also a strictly convex function, the optimal split is unique. The quadratic example above satisfies both conditions; the exponential function example does not satisfy coercivity.

Nonnegativity is sufficient, not necessary: finite lower bounds $f\ge A$, $g\ge B$ would give $h\ge A+B$ by the same argument. Removing all lower-bound control can lose finiteness even for finite convex functions: $f(u)=u$ and $g(v)=-v$ give $f(u)+g(x-u)=2u-x$, hence $h(x)=-\infty$. Nor does finiteness alone guarantee differentiability: choosing $f=g=|\cdot |$ gives $h(x)=|x|$ by the triangle inequality and the split $(x,0)$.

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]

Linear operator theory studies linear maps, their spectra, invariant subspaces, and normal forms such as Jordan normal form. In a finite-dimensional vector space, eigenvalues identify parameters for which a shifted linear operator cannot be inverted. In an infinite-dimensional vector space, inversion can fail even without an eigenvector. The spectrum of a bounded operator captures this larger obstruction and connects linear algebra with the approximation questions of functional analysis.

Choose an ordered basis $(e_1,\dots ,e_n)$ of a finite-dimensional vector space. The matrix of a bilinear form records all pairings of basis vectors, with $A_{ij}=B(e_i,e_j)$. Writing $v={\sum }_i{v}_i{e}_i$ and $w={\sum }_j{w}_j{e}_j$, separate linearity giveswhere the last expression uses the coordinate vectors of $v,w$. Conversely, every matrix $A$ defines a bilinear form by this formula.^[ref]

For a concrete bilinear form on ${\mathbb{R}}^2$, takeThen $B((1,0),(0,1))=2$ but $B((0,1),(1,0))=0$: a bilinear form need not be a symmetric bilinear form. For $v=(2,1{)}^T$ and $w=(-1,3{)}^T$, first compute $Aw=(5,3{)}^T$, then $v^{T}Aw=2\cdot 5+1\cdot 3=13$. Reversing the inputs gives $Av=(4,1{)}^T$ and $w^{T}Av=-4+3=-1$.

Under change of basis, let the columns of an invertible matrix $P$ be the new basis vectors in old coordinates. Thus $v=P{v}^{\prime }$ and $w=P{w}^{\prime }$, soThis is matrix congruence, rather than the matrix similarity $P^{-1}AP$ for an endomorphism. Both inputs have changed coordinates, which explains the two factors of $P$. For the displayed $A$ and $P=\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$, direct multiplication gives $A^{\prime }=\left(\begin{array}{cc}1& 3\\ 1& 4\end{array}\right)$; its $(1,2)$ entry is $B(e_1,e_1+e_2)=3$.^[ref]

The metric topology consists of the sets $U$ such that, for every $x\in U$, some open ball $B_d(x,r)$ lies in $U$. Thus open sets describe which sufficiently small changes remain inside a region; they do not specify the numerical size of those changes.

For $v\in {\mathbb{R}}^2$, the L1 norm, Euclidean norm, and maximum norm satisfyThese bounds make them equivalent norms. For example, $B_{\infty }(a,r/2)\subseteq B_1(a,r)\subseteq B_{\infty }(a,r)$: every open ball contains a sufficiently small open ball for either other metric. Hence all three define the same open sets, convergent sequences, and continuous maps. More generally, any two norms on a real or complex finite-dimensional vector space are equivalent norms; see H. A. Priestley, Functional Analysis I, §§0.5–0.7 and Theorem 4.3.

The metric topology therefore does not determine numerical distances. Multiplying a metric by $100$ preserves its open sets while multiplying every distance by $100$. Nor does the general equivalence of metrics require constant-factor bounds: that stronger comparison holds for the three norms used here.

A bilinear form $B$ is nondegenerate when its left radical and right radical are both zero: every nonzero vector can be detected by some pairing, whichever input slot it occupies. On a finite-dimensional vector space, either condition implies the other, and the following tests are equivalent:Here $A$ is the matrix of a bilinear form, and $V^{\ast }$ is the dual space. The linear map $w\mapsto B(-,w)$ has matrix $A$ in the chosen basis and its dual basis, so its kernel is the right radical. The map $v\mapsto B(v,-)$ has matrix $A^T$. An invertible matrix has zero kernel on both sides, proving the finite-dimensional equivalence. In infinite dimensions, zero left radical and right radical imply these maps are injective, but do not generally make them surjective.^[ref]

For the real symmetric bilinear form $B((x,y),(s,t))=xs-yt$, the determinant is $-1$. Its isotropic vector $(1,1)$ has zero self-pairing but pairs to $1$ with $(1,0)$, so it is detected. The alternating bilinear form with matrix $J$ has determinant $1$ and detects every nonzero vector even though all self-pairings vanish. Neither zero self-pairings nor the absence of positive definiteness implies degeneracy.

Nondegeneracy is useful because it turns a linear functional into a unique vector. For $A=\mathrm{diag}(1,-1)$, the linear functional $\ell (s,t)=2s+3t$ is $B((2,-3),(s,t))$; solving for that representing vector amounts to solving an invertible system of linear equations. The analogous identification underlies bilinear orthogonal complements and the dual isomorphisms induced by a nondegenerate pairing.

The nullity of a linear map $T:V\to W$ is $n(T)=\dim \ker T$, the dimension of its kernel. It counts independent input directions that can change without changing the output. For a finite-dimensional vector space $V$, the rank-nullity theorem givesFor an $m\times n$ matrix $A$ of matrix rank $r$, this is $n-r$, using the number of columns, not the number of rows. This dimension identity is ^[ref].

The nullity answers a practical question about a linear system: once one input is known to produce the requested output, how much freedom remains? If $T(x_0)=b$, its fiber of a function over $b$ isIndeed, $T(x)=T(x_0)$ exactly when $T(x-x_0)=0$. Thus every nonempty fiber is an affine subspace of dimension $n(T)$, with the same direction space as the kernel. The kernel itself is the fiber over zero. Outputs outside the image of a linear map have empty fibers; the nullity does not guarantee existence, and we assign no solution-space dimension to an empty fiber here.

In the diagram, $F:{\mathbb{R}}^2\to {\mathbb{R}}^2$ has matrix $\left(\begin{array}{cc}1& 1\\ 0& 0\end{array}\right)$, matrix rank one and nullity one. Its kernel has basis $(1,-1)$, and the full solution of $F(x,y)=(c,0)$ is $(x,y)=(c,0)+s(1,-1)$. One free scalar moves the solution along a straight line; the output $(c,1)$ is impossible.

The existing three-input example $T(x,y,z)=(x+y,z)$ instead has rank two and nullity one. Its image of a linear map is all of ${\mathbb{R}}^2$, andEvery output has a solution straight line. In contrast, $U(x,y,z)=(x+y,0)$ has rank one and nullity two, with kernel basis $(1,-1,0),(0,0,1)$. Its reachable output $(a,0)$ has the solution affine subspacea plane, while $(a,b)$ with $b\ne 0$ has no solution. These two linear maps have the same input and output dimensions but different freedom and reachability. Computing the kernel separates what an output determines from what an extra constraint would have to fix. For either example, a basis of the kernel gives one independent free scalar per basis vector, which is why nullity measures freedom rather than the number of solutions.

Normalize the riskless financial asset to $B_0=1$, $B_1=b>0$, and write $S_0,S_1$ for the $s$ risky asset prices. Their discounted gain random vector is $Y=S_1/b-S_0$. A zero-cost portfolio holding $h\in {\mathbb{R}}^s$ in the risky assets and $-h\cdot S_0$ in the riskless asset has terminal value $bh\cdot Y$. Thus an arbitrage meansAn equivalent martingale measure is a probability measure $Q$ with the same null sets as $P$, under which $Y$ is integrable and ${\mathbb{E}}_{Q}Y=0$. The discounted risky prices are then martingales over the single trading period.

If such $Q$ exists, a nonnegative terminal gain has expectation zero under $Q$. A nonnegative random variable with zero expectation vanishes almost surely: on $\{X\ge 1/n\}$ its expectation is at least $\mathbb{P}(X\ge 1/n)/n$, and the union of these events is $\{X>0\}$. Equivalence transfers this conclusion to $P$, excluding arbitrage.

For the converse we prove the needed positive-density separation proof of the one-period asset-pricing theorem. First make the gain integrable without changing its null sets. Define an equivalent probability measure $P_0$ byLet $N=\{h:h\cdot Y=0\text{ almost surely}\}$ and let $L=N^{\perp }$ be its orthogonal complement. Taking a finite basis of $N$ shows $Y\in L$ almost surely. If $L=\{0\}$, the gain is zero and $P_0$ already gives the required measure. Otherwise consider the positive-weight expectation conePositive combinations of weights show that $C$ is a convex cone. It is open relative to $L$. Indeed, for any admissible weight $Z$, perturb it toThese weights remain bounded and strictly positive, whileFor every nonzero $v\in L$, $v\cdot Y$ is nonzero on an event of positive probability; otherwise $v\in N\cap L$. ConsequentlyThe matrix is finite because $\Vert Y{\Vert }^2/(1+\Vert Y\Vert )\le \Vert Y\Vert$. The kernel of $A_Z$ on $L$ is zero, so it defines an invertible matrix on the finite-dimensional vector space $L$. For any sufficiently small $\delta >0$, every $y$ with $\Vert y\Vert <\delta /\Vert A_Z^{-1}\Vert$ is the image of a vector in the radius-$\delta$ ball, since $\Vert A_Z^{-1}y\Vert <\delta$. Hence the perturbations give a neighborhood of zero, proving relative openness of $C$.

If $0\notin C$, the hyperplane separation theorem gives a nonzero $h\in L$ with $h\cdot c\ge 0$ for every $c\in C$. The separating constant can be taken to be zero because $C$ is a cone. Put $A=\{h\cdot Y<0\}$ and use the strictly positive weights $Z=1_A+\epsilon$. Taking the limit as $\epsilon \downarrow 0$ yields ${\mathbb{E}}_{P_0}[(h\cdot Y)1_A]\ge 0$, forcing $P_0(A)=0$. But $h\notin N$, so $P_0(h\cdot Y>0)>0$. This is an arbitrage, a contradiction. Hence $0\in C$: some bounded strictly positive $Z$ satisfies ${\mathbb{E}}_{P_0}[ZY]=0$. Normalize it by $dQ/d{P}_0=Z/{\mathbb{E}}_{P_0}Z$. This gives an equivalent martingale measure with integrable gains, establishing the fundamental theorem of asset pricing here without any further existence theorem.

Now retain only the $m$ positive-probability states of the finite probability space. Let $V\subseteq {\mathbb{R}}^m$ be the linear span of the discounted terminal asset payoffs; it contains the constant vector $1$. A complete market means $V={\mathbb{R}}^m$. An equivalent martingale measure is a vector $q$ of strictly positive state probabilities whose pairing with each asset payoff gives its initial price. By linearity it prices every attainable payoff. If $V={\mathbb{R}}^m$, the indicator functions of individual states are attainable, so these prices determine every $q_j$ uniquely.

If $V$ is proper, choose $0\ne v\in V^{\perp }$. Since $1\in V$, ${\sum }_j{v}_j=0$. For sufficiently small $\epsilon >0$, both $q+\epsilon v$ and $q-\epsilon v$ have strictly positive entries, sum to one, and give the same pairings with every asset payoff. They are distinct equivalent martingale measures. Therefore market completeness is equivalent to uniqueness of the equivalent martingale measure.

Choose a best uniform approximation $p_n\in {\mathcal{P}}_n$. It exists because this vector subspace is a finite-dimensional vector space and a minimizing sequence $q_j$ is bounded: $\Vert q_j{\Vert }_{\infty }\le \Vert f{\Vert }_{\infty }+\Vert f-q_j{\Vert }_{\infty }$. Finite-dimensional equivalence of norms then supplies a convergent subsequence of coefficients. If $E_n(f)>0$, the Chebyshev alternation theorem gives $n+2$ alternating error extrema. The intermediate value theorem supplies a zero $x_{n,k}$ of $f-p_n$ in each of the $n+1$ intervening open intervals. These interpolation nodes are distinct, and uniqueness of polynomial interpolation givesThe convergence follows from the Weierstrass approximation theorem. If $E_n(f)=0$, choose any $n+1$ distinct nodes: the polynomial interpolant is still $f=p_n$. This constructs interpolation nodes from best uniform approximation; the nodes depend on $f$, and no universal node system for all continuous functions is asserted.

We first prove the stronger compact-square form, in which all the one-variable functions are continuous. There are five fixed pairs of continuous functions $a_q,b_q$ on the unit interval such that every real $f\in C([0,1{]}^2)$ has a representationwith continuous one-variable $G_q$. We construct the inner functions and then prove convergence of the outer functions, rather than assume the Kolmogorov-Arnold representation theorem.

Constructing separating inner functions. Work in the Banach space $\mathcal{X}=C([0,1]{)}^{10}$ with the maximum of the ten supremum norms. For each positive integer $n$, let $U_n$ consist of tuples $(a_q,b_q{)}_{q=1}^5$ for which there are, for each $q$, finite families of closed intervals $I_{qi}$ and $J_{qj}$ of length less than $1/n$, satisfying two conditions. Each point of the unit interval belongs to at least four of the five unions ${\bigcup }_i{I}_{qi}$, and likewise for the $J$ families. Within each fixed $q$, the compact setsare pairwise disjoint for distinct pairs $(i,j)$. Each $K_{qij}$ is a closed interval, by continuity and the intermediate value theorem. These are grid-separated additive coordinates.

The set $U_n$ is open: for a tuple and its finitely many witnessing intervals, the distinct compact image intervals have a positive minimum separation. A sufficiently small uniform change in the inner functions preserves that separation, while the interval-cover conditions do not change.

To prove density, start with any ten continuous functions and any positive approximation tolerance. Choose a common fine partition so that each original function oscillates by less than a small fraction of the tolerance on a partition cell and its immediate neighbours; choose its mesh smaller than $1/(2n)$. Near every internal division point put five small, pairwise disjoint open gaps, one for each $q$. Use these gaps to divide the interval into closed towns for family $q$, including the two endpoints in towns. Gaps from different families are disjoint, so any point misses at most one family; every town has length less than $1/n$ if the gaps are sufficiently small. Do this for both coordinates.

Approximate $a_q$ and $b_q$ by functions which are constant on their respective towns, and interpolate linearly across the gaps. The towns lie near single partition cells, so uniform continuity makes these approximations as close to the original functions as desired. For each $q$, perturb the finitely many town values ${\alpha }_{qi},{\beta }_{qj}$ arbitrarily slightly so that all sums ${\alpha }_{qi}+{\beta }_{qj}$ are distinct. This is possible because each unwanted equality between distinct pairs is a proper affine hyperplane in the finite-dimensional vector space of values; finitely many such hyperplanes cannot fill any open ball. Interpolating the perturbed values still approximates the original functions, and the rectangle images are now distinct singleton sets. Thus $U_n$ is dense.

By the Baire category theorem, choose one tuple in ${\bigcap }_{n\ge 1}{U}_n$. To recall why completeness suffices here, start inside any open ball and successively choose closed balls of positive radii tending to zero, each contained in the preceding ball and in the next dense open $U_n$. Their centers form a Cauchy sequence, and its limit belongs to every ball, hence every $U_n$. Fix this tuple once and for all: it does not depend on $f$.

A quantitative approximation step. Let a continuous residual $r$ have supremum norm $M>0$. Choose $n$ large enough that the oscillation of $r$ on any rectangle of side lengths below $1/n$ is at most $M/20$. For each rectangle $I_{qi}\times J_{qj}$ choose a sample point $(x_{qi},y_{qj})$. Define a one-variable $h_q$ to have constant value $r(x_{qi},y_{qj})/3$ on $K_{qij}$. The image intervals are disjoint, so interpolate linearly in their gaps and extend constantly beyond the outermost ones. Then $h_q$ is continuous on the real line andAt a given $(x,y)$, at most one family fails to contain $x$ in an $I$ town and at most one fails to contain $y$ in a $J$ town. Thus the point belongs to rectangles in $k$ families, where $3\le k\le 5$. For each of these families the summand differs from $r(x,y)/3$ by at most $M/60$. Each remaining summand has absolute value at most $M/3$. ConsequentlyThis proves a strict contraction uniformly over the square, including points in gaps.

Summing the corrections. Set $r_0=f$ and apply that step repeatedly, subtracting the five summands at each stage. The residuals satisfy $\Vert r_m{\Vert }_{\infty }\le (3/4{)}^m\Vert f{\Vert }_{\infty }$, and the corresponding corrections satisfy $\Vert h_{qm}{\Vert }_{\infty }\le (3/4{)}^m\Vert f{\Vert }_{\infty }/3$. If a residual is zero, take all subsequent corrections to be zero. The seriesconverges uniformly on the real line to a continuous function. The residuals tend uniformly to zero, proving the boxed representation. An affine change of each coordinate treats any compact rectangle.

Removing a restriction to a compact domain. For a continuous real function $f$ on the whole plane, setChoose a positive continuous one-variable $A$ by linear interpolation of $A(n)=(n+2)(1+M(n+1))$ at nonnegative integers. Since these values increase, for $n\le t\le n+1$ we have $A(t)\ge (n+2)(1+M(n+1))\ge (1+t)(1+M(t))$. ThereforeLet $\sigma (x)=\frac{1}{2}+{\pi }^{-1}\arctan x$. Transport $b$ to the open square by $\tilde{b}(s,t)=b(\tan (\pi (s-1/2)),\tan (\pi (t-1/2)))$, and set it to zero on the square's boundary. The displayed decay estimate proves continuity at every boundary point, including the corners. Apply the compact-square representation to $\tilde{b}$ and substitute $s=\sigma (x)$, $t=\sigma (y)$ to obtain $b$ using continuous one-variable functions and addition.