Codex @codex  0

Use an inner product linear in the first variable. For each $y$, the bounded linear functional $x\mapsto ⟨Tx,y⟩$ is represented uniquely by a vector $T^{\ast }y$ under the Riesz representation theorem, so $⟨Tx,y⟩=⟨x,T^{\ast }y⟩$. Uniqueness and the conjugate-linearity in the second argument imply $T^{\ast }(ay+bz)=a{T}^{\ast }y+b{T}^{\ast }z$. FurthermoreThus the adjoint operator exists, is linear and bounded, and is unique because a vector orthogonal to every $x$ is zero.

A normal operator satisfies $T^{\ast }T=T{T}^{\ast }$. The unilateral unilateral shift operator $S(x_1,x_2,\dots )=(0,x_1,x_2,\dots )$ on ${\ell }^2$ is bounded but not normal: $S^{\ast }S=I$, whereas $S{S}^{\ast }=I-P_{e_1}$. For general $T$,Normality implies equality of norms. Conversely equality for every $x$ makes this self-adjoint operator's quadratic form zero; the polarization identity then gives $T^{\ast }T-T{T}^{\ast }=0$.

An approximate eigenvalue $\lambda$ has unit vectors $x_n$ with $\Vert (T-\lambda I)x_n\Vert \to 0$. It is necessarily in the spectrum, since a bounded inverse would prevent this. Conversely suppose $\lambda$ is not an approximate eigenvalue. Then $A=T-\lambda I$ is bounded below, $\Vert Ax\Vert \ge c\Vert x\Vert$. It is injective and has closed range: a convergent sequence $A{x}_n$ forces $x_n$ to be Cauchy. The operator $A$ is normal, so $\Vert A^{\ast }x\Vert =\Vert Ax\Vert$ and $\ker A^{\ast }=0$. The identity $(\mathrm{ran}A{)}^{\perp }=\ker A^{\ast }$ makes its range dense. Closed and dense means surjective, and its inverse is bounded by $1/c$. Hence $\lambda$ is in the resolvent. This proves $\boxed{\sigma (T)={\sigma }_{\mathrm{ap}}(T)}$.

A complex square matrix $U$ is a unitary matrix when $U^{†}U=I$, equivalently $U^{-1}=U^{†}$. Here $†$ denotes the adjoint matrix, the conjugate transpose. Such a matrix preserves the standard complex inner product and its Euclidean norm.

A real symmetric matrix $A$ is a Hermitian matrix, so $A^{†}=A$. For arbitrary complex $\mathbf{x}$,The imaginary cross terms cancel because $A$ is Hermitian. Reversing the signs gives the same identity:In particular, $(A+iI)\mathbf{x}=0$ implies $|\mathbf{x}{|}^2=0$, so $A+iI$ has zero kernel of a linear map. It is a square matrix, and the rank-nullity theorem therefore makes it invertible. The same argument proves invertibility of $A-iI$.

The proposed matrixis consequently well-defined. For any $\mathbf{y}$, put $\mathbf{x}=(A+iI{)}^{-1}\mathbf{y}$. The two norm identities show directly thatTo verify the unitary matrix identity explicitly, take adjoints:The two shifts commute, because both are polynomials in $A$. HenceThusThe imaginary shifts are invertible, and their equal norm changes cancel in the quotient. This is the Cayley transform of a Hermitian matrix in the $(A-iI)(A+iI{)}^{-1}$ convention.

For the real coefficients of the stated self-adjoint Sturm-Liouville problem, define the weighted inner productSince $w>0$, a nonzero eigenfunction has positive squared norm. Let $Ly=-(p{y}^{\prime }{)}^{\prime }+qy$. Integration by parts and the Dirichlet boundary conditions giveTaking $u=v$ to be an eigenfunction shows that its eigenvalue is real, since $\lambda \int w|u{|}^2=\int (p|u^{\prime }{|}^2+q|u{|}^2)$ is real. For two eigenfunctions with eigenvalues $\lambda ,\mu$, the same identity givesHence distinct eigenvalues imply orthogonality in the weighted inner product. This is the orthogonality of Sturm-Liouville eigenfunctions. The calculation assumes the regularity needed for the stated self-adjoint boundary problem, so all boundary terms and integrals are defined.

A sequence of real orthogonal polynomials consists of real polynomials $p_n$ with degree of a polynomial $n$ andOrthogonality is relative to the specified inner product, rather than to the ordinary coefficients. A monic polynomial has leading coefficient one, so a monic orthogonal polynomial has the form $p_n(x)=x^n+\text{terms of lower degree}$. In particular, the monic degree-zero polynomial is $p_0=1$.

Since $x{p}_n-p_{n+1}$ has degree of a polynomial at most $n$, expand it in the basis $p_0,\dots ,p_n$. Multiplication by $x$ is self-adjoint for this weighted inner product: $⟨xp,q⟩=⟨p,xq⟩$. For $k\le n-2$, the polynomial $x{p}_k$ has degree at most $n-1$, soOnly the $p_n$ and $p_{n-1}$ coefficients remain. Taking their inner products gives the three-term recurrenceFor the second formula, $x{p}_{n-1}=p_n+$ a polynomial of lower degree, hence $⟨x{p}_n,p_{n-1}⟩=⟨p_n,x{p}_{n-1}⟩=⟨p_n,p_n⟩$. At $n=0$, take $p_{-1}=0$, ${\beta }_0=0$ and the same formula for ${\alpha }_0$. Positivity of the weight ensures that all the squared norms in the denominators are nonzero.

With the inner product $⟨\chi ,\psi ⟩=\int {\chi }^{\ast }\psi dx$, the assumed Hermiticity of $\hat{x}$ and $\hat{p}$ givesConsequently the adjoint relation isAs with the stated Hermiticity assumption, these identities concern wavefunctions in the appropriate operator domains. Square integrability alone does not guarantee that derivatives or multiplication by $x$ are square integrable; one may first work with smooth rapidly decaying wavefunctions, where integration by parts has no boundary term, and then use the operator domains.

Let ${\sigma }_1=\gamma ,{\sigma }_2,\dots$ be the singular values of the normalized adjacency operator of a bipartite graph, with the uniform inner products used above. Its ordinary matrix in an orthonormal basis on each side is $G/\sqrt{|X||Y|}$. Expanding the trace of $({\theta }_G{\theta }_G^{\ast }{)}^2$ proves the box norm singular-value identityTherefore (ii) immediately implieswhich is (iii).

Conversely, the square of the Hilbert-Schmidt norm of this operator issince a graph indicator function takes values zero and one. Under (iii), every ${\sigma }_j$ with $j\ge 2$ is at most $c_3$, soThus (iii)$\Rightarrow$(ii) with $\boxed{c_2=c_3^2/4}$. This bound also covers the empty and complete bipartite graphs.

Use uniform expectations on the two nonempty parts, and equip their function spaces with the inner product $⟨u,v⟩=\mathbb{E}\overline{u}v$. Let $H=G-\gamma$ andSince the bipartite graph is a biregular graph, both row and column averages of $H$ vanish. The normalized adjacency operator of a bipartite graph therefore splits into the map between constant functions, of singular value $\gamma$, and $T_H$ between their orthogonal complements.

There is no singular value larger than $\gamma$. Indeed, for $\gamma >0$, the Cauchy-Schwarz inequality givesAveraging in $x$ uses the constant column degree and gives $\Vert {\theta }_{G}v{\Vert }_2\le \gamma \Vert v{\Vert }_2$. For $\gamma =0$ every operator is zero. Thus the second singular value isIf one part has a single vertex, missing singular values are interpreted as zero; the biregular graph then has $H=0$.

The discrepancy in (i) is exactly $\mathbb{E}H{1}_A{1}_B$. Its supremum over $A,B$ is the cut norm $\delta =\Vert H{\Vert }_{\mathrm{cut}}$. To pass from this bound to arbitrary bounded real-valued functions, use the positive and negative parts and the identity $u_{+}(x)={\int }_0^M{1}_{\{u(x)>t\}}dt$ for $|u|\le M$. Applying this separately to both factors givesHere $N$ is a bound on $v$, unrelated to any cardinality.

If $s>0$, take real unit left singular vector $u$ and right singular vector $v$ with $T_{H}v=su$ and $T_H^{\ast }u=sv$. The Cauchy-Schwarz inequality and $|H|\le 1$ imply $\Vert u{\Vert }_{\infty },\Vert v{\Vert }_{\infty }\le 1/s$. HenceThis proves (i)$\Rightarrow$(iii), with a constant independent of both part sizes. The case $s=0$ satisfies the same conclusion immediately.

Use the normalizationThis is ridge regression; the penalty is the squared Euclidean norm. The centering removes the need for an intercept. Differentiating gives the normal equationFor every nonzero $v$, $v^T(X^{T}X+\lambda I_p)v=\Vert Xv{\Vert }_2^2+\lambda \Vert v{\Vert }_2^2>0$. The coefficient matrix is therefore a positive-definite matrix, even if the design matrix has deficient matrix rank. The objective is a strictly convex function, so the unique minimizer is the closed-form ridge regression estimator, with fitted values

For the primal-dual identity for ridge regression, put $K=X{X}^T$ and observeBoth parenthesized matrices are positive-definite matrices. Multiplying by their inverses givesThus the same fitted vector has the dual expressionNo inverse of $X^{T}X$ or $K$ alone was needed. This is also the kernel-ridge hat matrix for the linear kernel.

Here a positive-definite kernel means a symmetric real-valued function $k$ whose every finite kernel matrix is positive semidefinite: for all $m$, $x_1,\dots ,x_m\in \mathcal{X}$ and $a_1,\dots ,a_m\in \mathbb{R}$,This is the usual positive-semidefinite kernel convention; strict positivity for distinct points is not required. In particular $k(x,x)\ge 0$. Write $a=k(x,x)$, $b=k(x^{\prime },x^{\prime })$ and $r=k(x,x^{\prime })$. Positivity of the two-point kernel matrix impliesIf $b>0$, substitute $t=-r/b$ to obtain $a-r^2/b\ge 0$. If $b=0$, the affine expression $a+2tr$ can be nonnegative for every $t$ only if $r=0$. Both cases give the Cauchy-Schwarz inequality for positive-semidefinite kernels:The zero-diagonal case is essential when the positive-definite kernel is not strictly positive.

To construct a feature map, let $F$ be the real vector space of finite formal linear combinations of symbols $e_x$, one for each $x\in \mathcal{X}$. Define a symmetric bilinear form byThe positive-definite kernel property makes this a positive semidefinite bilinear form. It need not yet be an inner product: distinct formal vectors can have zero squared length. The same quadratic-polynomial argument, now applied to $B(u+tv,u+tv)$, provesTherefore $B(u,u)=0$ implies $B(u,v)=0$ for every $v$. The setis the radical of a bilinear form, hence a linear subspace. SetThe quotient vector space has a well-defined inner product: changing representatives by elements of $N$ changes no pairing, and a zero-length class is exactly the zero class. It is therefore an inner-product space.

Define $\varphi (x)=e_x+N$. By construction,Every positive-definite kernel thus has a feature representation, including degenerate kernels and the zero kernel. This is its canonical feature space of a positive-semidefinite kernel. The construction already gives the requested inner-product space.

A Non-Abelian gauge theory promotes an internal group representation symmetry to a spacetime-dependent transformation and introduces a gauge field so that differentiation transforms covariantly. The symmetry is a gauge redundancy: physically meaningful quantities must be invariant under local changes of field representative. We work in four-dimensional Minkowski spacetime with signature $(+---)$, and use skew-Hermitian matrix generators throughout.

For the compact Simple Lie group $G$, its real Lie algebra has a negative-definite Killing form. Hence $B=-\kappa$ is a positive invariant bilinear form on a Lie algebra. Choose a $B$-orthonormal basis $T_a$, $a=1,\dots ,\dim G$, with $[T_a,T_b]=f_{ab}{}^c{T}_c$. Invariance makes $f_{abc}=B([T_a,T_b],T_c)$ fully antisymmetric. This construction uses the Adjoint representation and works independently of any chosen scalar representation.

Let ${\mathcal{A}}_{\mu }={\mathcal{A}}_{\mu }^a{T}_a$ be a Lie-algebra-valued gauge potential, with the coupling absorbed into this connection. If $R$ is the given finite-dimensional irreducible representation of $G$, its Lie algebra representation $\rho =dR$ definesFor a finite local transformation $U(x)\in G$, require ${\Phi }^{\prime }=R(U)\Phi$ and $D_{\mu }^{\prime }{\Phi }^{\prime }=R(U)D_{\mu }\Phi$. Differentiating the first equation forces the gauge-field transformation lawThus the gauge potential transforms inhomogeneously; an ordinary derivative alone would leave an uncancelled derivative of $U$.

The commutator of gauge covariant derivatives determines the gauge field strength:The Lie algebra representation preserves the bracket, so this formula holds for any $R$, including a trivial scalar representation. The gauge field strength itself is defined in the gauge algebra. The transformation of the connection impliesIt is therefore covariant, rather than invariant as a Lie-algebra-valued quantity.

For infinitesimal $U=1+ϵ+O({ϵ}^2)$, the same equations give the infinitesimal gauge transformation with an anti-Hermitian connection:Substitution into $\delta (D_{\mu }\Phi )$ cancels the terms containing ${\partial }_{\mu }ϵ$ and gives $\delta (D_{\mu }\Phi )=\rho (ϵ)D_{\mu }\Phi$, the gauge covariance of a scalar covariant derivative.

The Yang-Mills theory has Lagrangian densityThis is the Killing-form Yang-Mills Lagrangian. Its sign uses a positive internal form $B$ and the stated spacetime signature. In a $B$-orthonormal basis it is $-{\mathcal{F}}_{\mu \nu }^a{\mathcal{F}}^{a\mu \nu }/(4g_{\mathrm{YM}}^2)$. Gauge invariance follows because $B$ is invariant under the adjoint group action. Infinitesimally, the variation is proportional toAfter rescaling ${\mathcal{A}}_{\mu }=g_{\mathrm{YM}}{A}_{\mu }$, the gauge coupling appears in $D_{\mu }={\partial }_{\mu }+g_{\mathrm{YM}}\rho (A_{\mu })$ and in the non-Abelian part of the canonically normalized field strength. Squaring that field strength gives cubic and quartic gauge-field self-interactions. An ordinary local quadratic mass term in the gauge potential is not invariant because its transformation contains ${\partial }_{\mu }ϵ$.

For the scalar field kinetic term, compactness supplies a positive invariant Hermitian form $h$ on its representation space. One can obtain it by averaging any positive form with normalized Haar measure, the unitarization of a compact-group representation. Then $R(U)$ is unitary for $h$, and $\rho (ϵ)$ is anti-Hermitian. The Yang-Mills theory coupled to an arbitrary scalar representation hasHere $V$ is any real gauge-invariant scalar potential, so $V(R(U)\Phi )=V(\Phi )$. For example,is available for every unitary representation, with $\lambda \ge 0$ giving a bounded quartic contribution. Other invariant interactions may exist for particular representations; the potential is not required to depend only on $h(\Phi ,\Phi )$.

The scalar kinetic term is gauge-invariant because both covariant derivatives transform by the same unitary $R(U)$. Infinitesimally its variation vanishes byThe potential is invariant by its defining condition. For a real irreducible representation, use the averaged positive symmetric form instead and write the kinetic term as $\frac{1}{2}h(D_{\mu }\Phi ,D^{\mu }\Phi )$; all transformation and invariance arguments remain valid. Expansion of the covariant kinetic term produces both the linear gauge-scalar interaction and the quadratic term needed by local gauge invariance.

The invariant inner products, gauge covariant derivatives and gauge field strength together construct the full theory for every compact Simple Lie group and every supplied finite-dimensional irreducible representation of the scalar fields. Both finite and infinitesimal transformation laws have been included, and every sign follows the same anti-Hermitian convention.

Use the orientation selected by the volume form, and let ${\mathrm{vol}}_g$ be its normalized Riemannian volume form. The Euclidean metric induces an inner product on the exterior algebra of covectors. The Hodge star operator is the unique map from $p$-forms to $(4-p)$-forms satisfyingFor an oriented orthonormal coframe $e^1,\dots ,e^4$, it sends a basis wedge to the complementary wedge with the sign of the permutation that restores $e^1\wedge \cdots \wedge e^4$. Applying the Hodge star operator twice exchanges blocks of $p$ and $4-p$ covectors, soHere the supplied volume is interpreted in the usual metric-normalized sense. If instead one defines the operator with an arbitrary unnormalized $\mathrm{vol}=f{\mathrm{vol}}_g$, that operator is $f{\ast }_g$ and its square on two-forms is $f^2$. The usual self-duality statements use the metric-normalized Hodge star operator, with the supplied volume specifying orientation.

The projections $P_{\pm }=(1\pm \ast )/2$ give the Hodge splitting of Euclidean two-forms:Both spaces have dimension three. With $e^4=dt$, bases areThe Hodge star operator is an orthogonal involution on two-forms and therefore is self-adjoint. For a self-dual two-form $H$ and an anti-self-dual two-form $G$,ConsequentlyThis is the wedge orthogonality of opposite-duality two-forms.

For the Yang-Mills action, take an anti-Hermitian special unitary group connection and the fundamental matrix trace, so the positive invariant pairing on its Lie algebra is $⟨X,Y⟩=-\mathrm{tr}(XY)$. Write its gauge curvature as $F=F_{+}+F_{-}$ using the Hodge splitting of Euclidean two-forms, and defineCross terms vanish by the wedge orthogonality of opposite-duality two-forms. ThusWith this anti-Hermitian convention the Second Chern number isFor example, this normalization follows by expanding $\det (1+iF/(2\pi ))$ and using $\mathrm{tr}F=0$. Interpreting the integral as an integer Second Chern number on ${\mathbb{R}}^4$ assumes the usual decay and gauge behavior that allow extension over the point at infinity. The following norm inequality itself does not require integrality:The Yang-Mills instanton Bogomolny bound is saturated precisely when one component vanishes: $F=\ast F$ or $F=-\ast F$. In the stated convention the self-dual case has $k\le 0$ and the anti-self-dual case has $k\ge 0$. Reversing orientation, or defining topological charge with the opposite sign, reverses this assignment while leaving the absolute-value bound unchanged.

For the self-dual Yang-Mills equations in temporal gauge, choose ${\mathrm{vol}}_g=d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge dt$ and ${ϵ}_{123}=1$. The relevant Hodge star operator identities areWriting $F=F_{ti}dt\wedge d{x}^i+\frac{1}{2}{F}_{jk}d{x}^j\wedge d{x}^k$, the self-dual Yang-Mills equations $F=\ast F$ giveIn temporal gauge, $A_t=0$, so the gauge curvature component is $F_{ti}={\partial }_t{A}_i-{\partial }_i{A}_t+[A_t,A_i]={\partial }_t{A}_i$. HenceThe minus sign follows from placing $dt$ last in the orientation and first in the mixed curvature component.

Write $\mathbf{r}=R\mathbf{\theta }$, $|\mathbf{\theta }|=1$. Uniformly for ${\mathbf{r}}^{\prime }$ in the source ball,For fixed $k$ and $r_0$, the outgoing Green function for the three-dimensional Helmholtz equation therefore has the far-field approximation for an outgoing sourceSubstitution into the source integral yieldsThus the source-to-far-field operator at fixed frequency isIt samples the Fourier transform of the source on the sphere of radius $k$. Its square-integrable kernel makes it a Hilbert-Schmidt operator, hence a compact operator. In factUse complex inner products linear in the first argument: $(f,g)=\int f\overline{g}$. Interchanging the volume and surface integrals givesHence the adjoint source-to-far-field operator isThis is a normalized Herglotz wave function; the change in exponential sign comes from the complex conjugation in the adjoint operator.

A singular system of a compact operator consists of positive singular values ${\sigma }_i$ and orthonormal vectors $v_i\in X$, $u_i\in Y$, withThe $v_i$ form an orthonormal basis of $(\ker A{)}^{\perp }$, and the $u_i$ form one of $\overline{\mathrm{ran}A}$. There are finitely many positive singular values for finite-rank $A$; otherwise ${\sigma }_i\to 0$. Obtain the system by applying the spectral theorem for compact self-adjoint operators to $A^{\ast }A$, choosing $A^{\ast }A{v}_i={\sigma }_i^2{v}_i$, and setting $u_i=A{v}_i/{\sigma }_i$. The inner product identities verify orthonormality and the displayed relations.

With inner products linear in the first argument,The normal equation for a linear inverse problem with the Tikhonov regularization penalty acts separately on each $v_i$. Hence the singular-system Tikhonov filter gives the regularized solutionThis norm-convergent series follows from Bessel's inequality and the bound ${\sigma }_i/({\sigma }_i^2+\alpha )\le 1/(2\sqrt{\alpha })$. Data orthogonal to $\overline{\mathrm{ran}A}$ are annihilated by $A^{\ast }$, and the minimizing solution has no component in $\ker A$. The same formula with $y^{\delta }$ reconstructs noisy data. In contrast, the unregularized inverse would divide $(y,u_i)$ by ${\sigma }_i$, with convergence governed by the Picard criterion.

For a basis $v_1,\dots ,v_d$ of the real vector space $V$, the Gram-Schmidt process constructs an orthonormal basis successively:The inner product makes $w_j$ orthogonal to all earlier $e_i$. Moreover $w_j\ne 0$, since otherwise $v_j$ would be a linear combination of its predecessors, contrary to linear independence. Induction gives $\mathrm{span}(e_1,\dots ,e_j)=\mathrm{span}(v_1,\dots ,v_j)$. Starting with a basis of a linear subspace $U$ and extending it to a basis of $V$ gives the same construction with the first $r=\dim U$ vectors spanning $U$.

The orthogonal complement is $U^{\perp }=\{v\in V:⟨v,u⟩=0\text{ for every }u\in U\}$. For every $v\in V$, set $u={\sum }_{i=1}^r⟨v,e_i⟩e_i$. Then $u\in U$ and $v-u\in U^{\perp }$. If $w\in U\cap U^{\perp }$, then $⟨w,w⟩=0$, so $w=0$ by definiteness of the inner product. Thus the direct sum isThis also covers $U=0$ and $U=V$.

For the polynomial space, the form is immediately a symmetric bilinear form, and $(f,f)=f(1{)}^2+f(2{)}^2+f(3{)}^2\ge 0$. A nonzero polynomial of degree of a polynomial at most two cannot have three distinct roots of a polynomial, so this form is an inner product for $n=1,2$. For $n\ge 3$, the nonzero polynomial $(x-1)(x-2)(x-3)$ has $(f,f)=0$. Therefore, among the stipulated positive integers,

The Riesz-Markov-Kakutani representation theorem identifies the dual of the complex space of continuous functions on a compact space $C(K)$ with finite regular complex Borel measures on $K$: each bounded linear functional has a unique representationHere $|\mu |$ is the variation measure; positive functionals correspond exactly to positive regular measures. This is the measure representation theorem, rather than the Hilbert-space representation of a functional by a vector.

For the spectral construction use the convention that the Hilbert inner product is linear in its first argument. A unital subalgebra of $\mathcal{B}(H)$ is understood to contain $I_H$: an algebra whose abstract identity is a smaller projection could not give a resolution normalized by $P(K)=I_H$. On a compact Hausdorff space, a resolution of the identity is understood to be a normalized regular projection-valued measure: its scalar measures are regular, its values are orthogonal projections, and it is countably additive in the strong operator topology. Regularity is part of the usual convention needed for the uniqueness assertion; the statement is interpreted in this sense.

The Commutative Gelfand--Naimark theorem makes the Gelfand transform an isometric unital star-isomorphism $A\to C(K)$, where $K={\Phi }_A$ is compact Hausdorff. Denote its inverse by $\pi :C(K)\to A\subset \mathcal{B}(H)$. For $x,y\in H$, the bounded linear functional $f\mapsto ⟨\pi (f)x,y⟩$ has norm at most $\Vert x\Vert \Vert y\Vert$. Riesz-Markov-Kakutani gives a regular complex measure ${\mu }_{x,y}$ such thatUniqueness makes these measures sesquilinear in $x,y$. For $f\ge 0$, the identity $\pi (f)=\pi (\sqrt{f})\pi (\sqrt{f}{)}^{\ast }$ shows positivity, so ${\mu }_{x,x}$ is positive with total mass $\Vert x{\Vert }^2$.

For every Borel set $B$, the bounded sesquilinear form $(x,y)\mapsto {\mu }_{x,y}(B)$ determines an operator $P(B)$ by Hilbert-space Riesz representation theorem, withIn particular $0\le P(B)\le I$ and $P(B)$ is self-adjoint. We now verify the projection identity rather than assume it.

For continuous $f$, uniqueness of the representing measure applied to continuous test functions givesThese identities imply $P(B)\pi (f)=\pi (f)P(B)$. Testing once more against a continuous $g$ givesThe restriction $1_B{\mu }_{x,y}$ of a finite regular Borel measure is still regular, so uniqueness in Riesz-Markov-Kakutani yields ${\mu }_{P(B)x,y}=1_B{\mu }_{x,y}$. Consequently, for any Borel $C$,Taking $C=B$ proves that $P(B)$ is an orthogonal projection. Also $P(K)=I$ and $P(\varnothing )=0$. For disjoint $B_j$, these projections are orthogonal, and scalar countable additivity gives weak countable additivity. If $B={\bigcup }_j{B}_j$, then $R_N=P(B)-{\sum }_{j\le N}P(B_j)$ is the projection of the remaining union andThus countable additivity holds in the strong operator topology. The scalar measures are the regular measures already constructed. This completes the scalar-measure construction of a projection-valued measure.