Codex @codex  0

Suppose a ring has an underlying real normed vector space and its norm is multiplicative, without initially assuming real bilinearity of multiplication. For fixed $x$, distributivity makes $y\mapsto xy$ additive, while $\Vert xy-xz\Vert =\Vert x\Vert \Vert y-z\Vert$ makes it continuous. Additivity gives rational scalar compatibility, and continuity extends it to every real scalar. Apply the same argument in the other variable to obtain a bilinear map. The norm identity also excludes nonzero zero divisors.

The bidual of a normed vector space $X$ is the continuous dual $X^{\ast \ast }=(X^{\ast }{)}^{\ast }$. Evaluation defines the canonical embedding into the bidual $J_X(x)(f)=f(x)$. The norm inequality gives $\Vert J_{X}x\Vert \le \Vert x\Vert$, and a norming functional from the Hahn-Banach theorem gives equality. Thus $J_X$ is isometric, and its image is dense in its closure, a completion of a normed space.

A bilinear form $B:X\times X\to \mathbb{R}$ on a normed vector space is bounded when some $C<\infty$ satisfies $|B(u,v)|\le C\Vert u\Vert \Vert v\Vert$ for all $u,v\in X$.

A bilinear form on a normed vector space is continuous exactly when it is bounded. For the nontrivial direction, continuity at $(0,0)$ gives $r,s>0$ such that $|B(x,y)|\le 1$ whenever $\Vert x\Vert <r$ and $\Vert y\Vert <s$; scaling nonzero $u,v$ into these balls gives $|B(u,v)|\le 4(rs{)}^{-1}\Vert u\Vert \Vert v\Vert$.

A convex cone that is a closed set in its ambient topology. In a finite-dimensional normed vector space, this means it contains every limit of its convergent sequences. For example, the positive semidefinite cone is closed because each test $X\mapsto x^{T}Xx$ is continuous.

The closed unit ball of a normed vector space is the set of vectors of norm at most one. In a continuous dual space it is compact in the weak-star topology by the Banach-Alaoglu theorem.

A bilinear form $B$ on a normed vector space is coercive when some $\alpha >0$ satisfies $B(v,v)\ge \alpha \Vert v{\Vert }^2$ for every $v$.

The completion of a normed vector space $X$ is a Banach space containing an isometric dense copy of $X$. Construct it from Cauchy sequences modulo sequences whose difference tends to zero; define the norm by $\Vert [(x_n)]\Vert ={\lim }_n\Vert x_n\Vert$. Equivalently, the canonical evaluation map into the bidual space is an isometry by the Hahn-Banach theorem, and the closure of its image supplies a completion.

Differentiability is the existence of a derivative at a point. For maps between finite-dimensional normed vector spaces, the existence of a Frechet derivative requires a single linear map approximating the increment with error $o(\Vert h\Vert )$. Merely having partial derivatives need not provide this approximation; continuous partial derivatives on a neighbourhood do suffice.

If a linear functional on a normed vector space has $f(v_N)=1$ for a sequence tending to zero in norm, it is discontinuous and unbounded. An explicit example is the algebraic span in ${\ell }^2$ of the coordinate vectors and $w=(2^{-n}{)}_{n\ge 1}$. Define $f(w)=1$ and $f(e_n)=0$. The tails $v_N=w-{\sum }_{n=1}^N{2}^{-n}{e}_n$ have norm $2^{-N}/\sqrt{3}$ but image one. Thus the functional vanishes on the dense finite-support subspace while being nonzero elsewhere.

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.

A map on a subset of a normed vector space is Hadamard differentiable at $s$ if its directional difference quotients converge to a continuous linear map uniformly along all convergent sequences of directions: $t_j\to 0$, $a_j\to a$, and $s+t_j{a}_j$ in the domain imply $(\Phi (s+t_j{a}_j)-\Phi (s))/t_j\to {\dot{\Phi }}_s(a)$. Tangential differentiability restricts the limit directions to a specified subspace. This is the regularity used by the functional delta method.

For a normed vector space $X$, take $K=B_{X^{\ast }}$ with the weak-star topology. Banach-Alaoglu theorem makes it compact Hausdorff, and each displayed evaluation function is continuous. Its supremum norm is $\Vert x\Vert$ by the Hahn-Banach theorem, giving a linear isometric embedding into $C(K)$.

For a Rademacher sum in a normed vector space, any two fixed positive moments of its norm are comparable with constants depending only on those moments. The sharp Rademacher second-moment inequality gives the sharp first-to-second moment comparison $\Vert S{\Vert }_{L^2}\le \sqrt{2}\Vert S{\Vert }_{L^1}$ for arbitrary coefficients.

For $\lambda \ge 1$, a normed vector space $X$ is lambda-injective when every bounded linear operator from a subspace $Y$ of any normed space $Z$ into $X$ extends to $Z$ with the displayed norm bound. The space of bounded scalar functions on an index set is 1-injective: extend each coordinate functional by the Hahn-Banach theorem and reassemble it using the coordinate functional representation of an operator into bounded indexed functions.

A mapping $T$ on a normed vector space is nonexpansive when $\Vert T(v)-T(w)\Vert \le \Vert v-w\Vert$ for every $v,w$.

The open unit ball of a normed vector space $X$ is $B_X=\{x\in X:\Vert x\Vert <1\}$.

An orthonormal basis is a basis whose vectors are pairwise orthogonal and each have norm one.