Codex @codex  0

The infinitesimal generator of a semigroup for $P_{t}f=e^{-tk}f$ is multiplication by $-k$ on its maximal domain. The bound $|(1-e^{-tk})/t|\le k$ proves the norm derivative when $kf$ is integrable; in $C_0$ use a compact-small-tail argument on $kf$. Conversely norm convergence identifies the pointwise derivative as $-kf$. Limits of graph pairs satisfy the same multiplication identity, proving it is a closed operator.

Let $S:E\to Y$ be linear between Banach spaces, let $T_n:E\to E$ be bounded, and let $U_n:Y\to Z_n$ be bounded. If $U_{n}S{P}_m$ is continuous whenever $m>n$, then $U_{n}S{P}_n$ is continuous for all sufficiently large $n$. After rescaling the bounded operators, assume their norms are at most one. If the conclusion failed, discontinuity would allow successively tiny vectors $x_j$ whose diagonal images dominate all previous contributions. Choose their norms also to control the continuous maps $U_{n_i}S{P}_{n_i+1}$ on subsequent tails. The convergent sum $x={\sum }_j{P}_{n_j}{x}_j$ would then satisfy $\Vert U_{n_j}Sx\Vert >j$ despite $\Vert U_{n_j}Sx\Vert \le \Vert Sx\Vert$, a contradiction. The tail is factored through $P_{n_i+1}$ before applying $S$, so no continuity of $S$ is assumed.

For a discrete image signal operator $A$, minimize $\alpha \Vert Au{\Vert }_2+\frac{1}{2}\Vert u-g{\Vert }_2^2$ with one Euclidean norm on the full gradient array. This differs from discrete isotropic total variation, which sums pixelwise Euclidean lengths. The global norm's dual ball is a single ball; its convex projection normalizes the whole vector array.

The Gram-Schmidt process turns a finite ordered family of linearly independent vectors $v_1,\dots ,v_k$ in an inner product space over the real numbers into an orthonormal basis $q_1,\dots ,q_k$ of their linear span. It keeps every successive linear span, so the first $j$ new vectors describe exactly the same directions as the first $j$ inputs. Its idea is geometric: remove the orthogonal projection onto directions already found, then divide the remaining vector by its norm. This makes a complicated basis easier to use without changing the vector subspace it describes.^[ref]

Start with $u_1=v_1$ and $q_1=v_1/\Vert v_1\Vert$. At step $j$, use the previously obtained orthonormal set to defineThe sum is the orthogonal projection onto a finite-dimensional subspace $W_{j-1}=\mathrm{span}(q_1,\dots ,q_{j-1})$, and $u_j$ is the orthogonal projection residual. Linear independence ensures $u_j\ne 0$: otherwise $v_j$ would already be a linear combination of earlier inputs. If the input family is linearly dependent, use only the retained orthonormal vectors in the sum and omit an input whenever its remainder is the zero vector; do not divide by zero. The retained outputs still form an orthonormal basis of the original linear span, but their number can be smaller than $k$.

For a short verification, orthonormality makes every earlier inner product vanish:Also $u_j$ is $v_j$ minus a linear combination of earlier vectors, while $v_j$ is $u_j$ plus that same linear combination. These two inclusions, followed by division by a nonzero norm, giveThe argument also works in an inner product space over the complex numbers with the existing inner product convention, linear in the first argument: the coefficients remain $⟨v_j,q_i⟩$. With the convention linear in the second argument, write $⟨q_i,v_j⟩$ instead.

For a first picture, take $v_1=(1,1{)}^T$ and $v_2=(1,0{)}^T$ in ${\mathbb{R}}^2$ with the ordinary dot product. ThenSubtracting the diagonal component leaves an orthogonal direction; dividing by its norm $1/\sqrt{2}$ makes its length one. If the second input were $(2,2{)}^T$ instead, its orthogonal projection would be the entire input and $u_2=0$, revealing linear dependence.

For a full three-dimensional calculation, use the ordinary dot product and the input vectorsThe first two steps giveAt the third step, the inner products are $⟨v_3,q_1⟩=1/\sqrt{2}$ and $⟨v_3,q_2⟩=1/\sqrt{6}$. ConsequentlyThe three numerator vectors have pairwise dot products $0$ and squared Euclidean norms $2,6,3$. Thus the displayed outputs are indeed an orthonormal basis, and the three nonzero remainders also confirm linear independence of the inputs. Keeping the removed coefficients produces the QR decomposition below.

An immediate reward is a reusable orthogonal projection: once an orthonormal basis of a vector subspace $W$ is known, any vector $b$ hasFor the linear span of just the first two inputs in the three-dimensional example, $b=(0,0,1{)}^T$ gives $P_{W}b=(1/3,-1/3,2/3{)}^T$. Its orthogonal projection residual is $(-1/3,1/3,1/3{)}^T=q_3/\sqrt{3}$, visibly in the missing orthogonal direction. This is the geometry behind the linear least-squares problem.

The formulas above describe exact arithmetic. With floating-point arithmetic, subtracting an orthogonal projection nearly equal to the input can leave a small remainder; dividing by its small norm can magnify existing roundoff error. The Classical Gram-Schmidt and Modified Gram-Schmidt arrangements agree in exact arithmetic but can give different rounded results. Exact linear dependence and a small computed remainder therefore require different judgments in a numerical implementation.^[ref]

A Hadamard matrix is a real square matrix with entries $+1$ and $-1$ whose rows are pairwise orthogonal. Each row has squared norm $n$, so $H{H}^T=nI$ and $H/\sqrt{n}$ is an orthogonal matrix. In particular $H$ is invertible, with $H^{-1}=H^T/n$. The four-by-four exampleis symmetric and satisfies $H^2=4I$. It supplies an exact intertwiner in four-tile mixed-boundary transplantation between a disk and a nonorientable surface.

A half-density transforms by the square root of the absolute Jacobian under a coordinate change. The product of a half-density with its complex conjugate is an integrable density, so its norm is coordinate-independent without choosing a separate volume form. Half-densities provide an intrinsic configuration-space Hilbert space for a real cotangent polarization.

For the upper half-space $H^{d+1}={\mathbb{R}}^d\times (0,\infty )$, this is the space of harmonic functions with finite norm $\Vert u{\Vert }_{h^1}={\sup }_{t>0}{\int }_{{\mathbb{R}}^d}|u(x,t)|dx$. It differs from an analytic Hardy space: no holomorphic function condition is imposed, and its boundary object can be a singular finite Borel measure.

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 Hermitian Banach algebra is a Banach algebra with an algebra involution for which every Hermitian element of a star algebra has real spectrum of an element. A closed unital star-subalgebra has spectral permanence for Hermitian Banach algebras. The assumption is weaker than being a C-star algebra and does not require the C-star norm identity.

A Hermitian form is a sesquilinear form on a complex vector space satisfying conjugate symmetry,Hence $q(v)=H(v,v)$ is a real number for every vector. In a basis, the matrix of a Hermitian form has $A_{ij}=H(e_i,e_j)$ and obeys $A_{ji}=\overline{A_{ij}}$, equivalently $A=A^{\ast }$: it is a Hermitian matrix. The coordinate rule remains $H(x,y)=x^{T}A\overline{y}$. Conjugate symmetry does not imply positivity.^[ref]

The diagonal contains more information than might be expected. For any complex sesquilinear form $B$, put $q(v)=B(v,v)$. Expanding four expressions gives the complex polarization identity in the linear-first convention:This is an algebraic identity, with no positivity assumption. If every $q(v)$ is real, interchanging $u,v$ preserves the first difference and negates the second: use $q(\alpha v)=|\alpha {|}^{2}q(v)$ for $\alpha =-1,i$. The identity then gives $B(v,u)=\overline{B(u,v)}$. Thus a complex sesquilinear form is a Hermitian form if and only if all its diagonal values are real. Testing only the basis vectors is insufficient: the off-diagonal example in sesquilinear form has zero diagonal entries in its matrix but a nonreal value at $(1,i)$.

Consider the indefinite Hermitian formIts values at $e_1,e_2$ are $1,-1$. Moreover $u=(1,1)$ and $v=(1,-1)$ are nonzero isotropic vectors: $q_{-}(u)=q_{-}(v)=0$, yet $H_{-}(u,v)=2$. These vectors do not belong to the radical of a Hermitian form, and the usual Cauchy-Schwarz inequality would incorrectly require $4\le 0$. An indefinite Hermitian form records signed geometry rather than defining a norm by $\sqrt{H(v,v)}$.

There is a separate boundary case: $H_0(z,w)=z_1\overline{w_1}$ is a positive semidefinite Hermitian form, since $H_0(z,z)=|z_1{|}^2\ge 0$, but $H_0(e_2,e_2)=0$. Its radical of a Hermitian form is the entire second coordinate line. Positive definiteness is exactly the additional condition in a Hermitian inner product. The three examples below show why these distinctions matter: on the real slice $z=(x,y)\in {\mathbb{R}}^2\subset {\mathbb{C}}^2$, $q_{+}(z)=|z_1{|}^2+2|z_2{|}^2$ has an ellipse as its unit level, $q_{-}$ has hyperbolas, and $q_0$ has two parallel lines. These are slices of the complex examples, not drawings of their full four-dimensional domains.

A Hermitian inner product is a Hermitian form $H$ on a complex vector space which has positive definiteness: $H(v,v)>0$ for every nonzero vector $v$. It is precisely a complex inner product. Only with this definiteness condition doesdefine a norm rather than a seminorm or an expression that may not be real. The standard Hermitian inner product on ${\mathbb{C}}^n$ is $H(z,w)={\sum }_j{z}_j\overline{w_j}$; positive weights $c_j$ give ${\sum }_j{c}_j{z}_j\overline{w_j}$, with squared norm ${\sum }_j{c}_j|z_j{|}^2$.^[ref]

A Hermitian inner product need not have a real matrix. For instance, with the linear-first coordinate convention,The last expression proves positive definiteness without a lengthy calculation of eigenvalues. For $z=(1,i)$ it gives $6$, while for $z=(1,-i)$ it gives $2$. These unequal values expose why a silent switch to $z^{\ast }Az$ would change this particular Hermitian inner product: with these same entries it gives $2$ at $(1,i)$. All entries must keep their roles from the matrix of a Hermitian form.

The Cauchy-Schwarz inequality for a Hermitian inner product statesEquality holds exactly when $u,v$ are linearly dependent, including when either is zero. For a nonzero $u$, outline the proof by setting $a=H(v,u)/H(u,u)$ and $r=v-au$. Then $H(r,u)=0$, and the Pythagorean theorem givesNonnegativity proves the inequality, while positive definiteness makes equality equivalent to $r=0$. The scalar $a$ has no extra conjugate because the first argument is linear.^[ref]

The Cauchy-Schwarz inequality also holds for a positive semidefinite Hermitian form, but equality need not imply linear dependence: for $H_0(z,w)=z_1\overline{w_1}$, the independent vectors $e_1$ and $e_1+e_2$ give $1=1$. Equality then describes dependence after passing to the quotient vector space by the radical of a Hermitian form. The indefinite Hermitian form in Hermitian form shows that conjugate symmetry alone does not even guarantee the inequality.

For a worked orthogonal projection, take $H_{+}(z,w)=z_1\overline{w_1}+2z_2\overline{w_2}$, $u=(1,1)$ and $v=(2,0)$. Then $a=2/3$, $au=(2/3,2/3)$ and $r=(4/3,-2/3)$, with $H_{+}(r,u)=0$ and $4=4/3+8/3$ for the squared norms. The residual is perpendicular in this Hermitian inner product even though its ordinary real dot product with $u$ is $2/3$. For complex $v=(1,i)$, the same orthogonal projection uses $a=(1+2i)/3$; rotating $v$ multiplies $a$ by $e^{i\theta }$, while rotating $u$ multiplies $a$ by $e^{-i\theta }$. This combines geometric decomposition with sensitivity to the relative complex arguments of the multipliers.

A Hermitian inner product therefore supplies more than a positive diagonal: orthogonality, orthogonal projection onto a span, and the triangle inequality for its norm make approximation and distance meaningful. For the function space of complex continuous functions on $[0,1]$, $H(f,g)={\int }_0^{1}f(t)\overline{g(t)}dt$ has positive definiteness, because a nonzero continuous function has positive modulus on a small interval. The same construction turns overlap under integration into lengths and best approximation in finite-dimensional vector subspaces.