Let , where is the total primitive-recursive parity function from part (ii), and apply unbounded minimization in :
If is even, then and . If is odd, then for every , so the search never terminates and is undefined. Hence is partial recursive. Because every function built without minimization is total, cannot be defined without minimization; the functions and can.
It remains to characterize the functions built using only the initial functions and composition. They are exactly the functions
for some and some input coordinate .
Indeed, the zero function is the first form, the successor function and each projection function have the second form, and composing functions of these forms preserves the classification: a constant outer function remains constant, while an outer function selects one inner function and adds . This proves necessity by structural induction. Conversely, applying the successor function times to zero produces the constant , and applying it times to produces .
Every function in this class is directly computable: an algorithm either writes the fixed constant , or copies the th input and performs successor steps.
Using the zero test from part (i), define by primitive recursion
Since and , the values alternate:
Thus is the required parity function and, like , is primitive recursive without minimization.
A partial recursive function is obtained from the three kinds of initial function of recursion theory—
the zero function, successor function, and projection function—by finitely many applications of function composition in recursion theory, primitive recursion, and unbounded minimization. Explicitly, primitive recursion has the form
while minimization takes the least for which and is undefined if no such is found.
For the function in part (i), define
The initial value and the identically zero recursion step are primitive recursive, so this is a primitive-recursive definition of the required zero test. It uses no minimization.
The no-cloning theorem for two pure states states that, for distinct nonorthogonal states and , there is no unitary operator and fixed blank state such that
To derive this from state discrimination, let
and suppose such a cloner existed. Applying it repeatedly would produce copies. The inner product of the two possible -copy states has magnitude , so their optimal success probability under the Helstrom-Holevo bound would be
Already for ,
because implies . But cloning followed by the two-copy Helstrom measurement for two pure states would itself be a quantum procedure applied to the original single state, contradicting the optimal one-copy bound . Hence the assumed unitary cloner cannot exist.
Equivalently, clone-assisted asymptotic state discrimination would give , although two nonorthogonal states are not perfectly distinguishable. Thus the Helstrom--Holevo theorem implies the no-cloning theorem.
With equal priors, the probability of a correct result from this quantum measurement is
The two required amplitudes are
Therefore
Its maximum occurs at and is
Here , so and . The stated Helstrom-Holevo bound is consequently exactly the same value, and the basis above is the Helstrom measurement for the zero and plus states.
By the real spectral theorem, the real symmetric matrix has an orthonormal basis of eigenvectors. In that basis the associated quadratic form is
Rescaling the coordinates belonging to nonzero eigenvalues changes every positive coefficient to and every negative coefficient to . Hence the diagonal normal form has one positive square for each positive eigenvalue and one negative square for each negative eigenvalue. By Sylvester's law of inertia, these counts do not depend on the diagonalizing basis, so
The numerical eigenvalues are not invariant under a general change of basis, because the matrix changes by congruence rather than similarity. For example, on a one-dimensional space let . Its matrix in the basis is , whereas in the basis it is . The eigenvalue changes from to , although its sign, and therefore the signature, is unchanged.
The symmetric matrix of the quadratic form in the standard basis is
because the off-diagonal entries contribute twice to .
Apply Gram-Schmidt orthogonalization for a symmetric bilinear form to
These vectors are pairwise orthogonal for , and
Thus the form is diagonal in the basis , with matrix
It follows that its rank is and its signature is
A Hermitian form is a sesquilinear form such that
Use the convention that is linear in its first argument and conjugate-linear in its second. Its matrix in the basis is
If and , then
Since , the coordinate row of each new basis vector is a row of . Direct substitution gives
so the new matrix is
The subspace is the radical of . In coordinates it is the kernel of , and the rank-nullity theorem gives
Appending the node to the existing Newton interpolation polynomial gives
At the new node,
The condition therefore gives
Hence
Use the nodes in the order . Their first divided differences are , their second divided differences are , and their third divided difference is . The Newton interpolation polynomial is therefore
This is the unique interpolating polynomial of degree at most three through the four data points.
No. Take the Hausdorff space and declare all nonzero points equivalent, leaving in its own class. The quotient has two points,
The nonzero class is open because its inverse image is open. However, the only saturated set containing but not the other class is , which is not open. Thus every neighbourhood of is the whole quotient, so the two quotient points cannot have disjoint neighbourhoods. Therefore need not be Hausdorff.
If is continuous, then is continuous because the quotient map is continuous by definition.
Conversely, suppose is continuous. For every open set ,
is open in . The definition of the quotient topology then says that is open in . Hence
This is the universal property of the quotient topology.
The quotient topology on is
Since inverse images preserve arbitrary unions and finite intersections,
Also and . The displayed collection therefore satisfies all the topology axioms.
For
direct multiplication gives
With respect to the ordered standard basis , its matrix is therefore
This nilpotent operator satisfies , while . Moreover,
These ranks determine one nilpotent block of size three and one of size one. Hence its Jordan normal form is
Let be the matrix unit with its only nonzero entry in row , column . For
one has
Therefore
The matrix units form an eigenbasis, with having eigenvalue . The zero eigenspace consists exactly of the diagonal matrices and has dimension . The rank-nullity theorem now gives

There are unlisted articles, also show them or only show them.