False. In let , and . Then , so , but and their sum is zero. Thus intersection need not distribute over the sum of vector subspaces. The right side is always contained in the left; this example makes the inclusion strict.
False. Distinct vector subspaces may be nested: in , take and . Their union is , a subspace. More precisely, is a subspace exactly when one is contained in the other. If neither contains the other, choose and . Were in the union, subtracting or in the appropriate subspace would contradict those choices.
True. Both vector subspaces contain zero, and if , every linear combination belongs to each of and . Thus it belongs to their intersection. This proves the intersection of vector subspaces is a vector subspace.
The map , , is continuous: the inverse image of a basic open set is . Its image is exactly the graph of a function . The continuous image of a compact space is compact, so
The compact graph of a continuous map conclusion does not need to be Hausdorff. In fact projection onto is a continuous inverse of , so the graph is homeomorphic to .
Take outside the graph of a function, so . Since is a Hausdorff space, choose disjoint open neighborhoods of and of . Continuity makes an open neighborhood of . The product neighborhood contains and cannot meet the graph, because every with belongs to . The complement is therefore open in the product topology, proving
This is the closed graph of a map into a Hausdorff space property; no separation assumption on is required.
Here and . Its time evolution for an additional interval is
At , . Acting on the state from the previous part gives
It differs from the initial state only by a global phase. For every observable or projection the phase cancels between bra and ket, so the final state is observationally indistinguishable from the original isolated state. A relative phase between two components or between coherently controlled alternatives would be observable; this overall phase of the entire state is not.
In the ordered eigenbasis, , a Pauli matrix. The coefficient equations are and , with , . Differentiating the first gives , and its initial derivative vanishes. Thus
The population of is . To be an eigenstate of eigenvalue , the coefficient of must vanish. Its first positive zero is
The global phase does not change its eigenstate or measurement probabilities.
The Time-dependent Schrödinger equation is . The normalized eigenstates of the Hermitian Hamiltonian with distinct eigenvalues are orthogonal, so they form an orthonormal basis of this two-state system. Substitute the expansion of and compare the two coefficients:
Hence and . For the normalized test state , the Born rule gives
The complex conjugates are essential; relative phases can affect this probability even though the energy-state populations remain constant under .
Write , with diagonal, and use only old iterates on the right side. The Jacobi method is
Strict row diagonal dominance ensures every . The exact solution satisfies the same coordinate relation. For , subtraction gives
Taking the maximum and iterating proves
This direct contraction proof requires no eigenvector assumption and applies to every strictly diagonally dominant matrix with the stated uniform .
Since every eigenvalue has modulus less than one, is not an eigenvalue and is invertible. Hence the iteration has a unique fixed point . The stated consistency implication gives , and nonsingularity of identifies . This justifies using the fixed-point relation even though consistency was stated in only one direction.
Expand the initial error in the eigenvector basis, . Subtract the fixed-point equation from the stationary iterative method for a linear system and iterate:
With , any norm obeys . Thus
The argument uses the given diagonalizable eigenbasis; the more general convergence criterion is spectral radius less than one.
For nonnegative integers , put . Since , the denominator has no zero on or inside the unit circle. On ,
so . Consequently , and Rouché's theorem gives the same interior zero count for as for . The latter has zeros at zero and at , with the multiplicities combining when . Therefore
This is the interior zero count for a finite Blaschke product minus a constant. If , the nonzero constant has zero zeros, so the same conclusion includes that endpoint case.
The function is holomorphic on a neighborhood of the closed unit disk. On , the mapping assumption gives . Apply Rouché's theorem to and . Their sum has the same number of interior zeros as , namely one counting multiplicity. Thus
The zero is simple since its total multiplicity is one. No boundary fixed point is possible because maps the boundary strictly inside.
For , put . On the curve, , so no member of this homotopy has a boundary zero. The argument principle counts the interior zeros, with multiplicity, by its winding number . For a piecewise smooth curve this is
There are no poles, and the null-homotopy of the Jordan curve in the domain permits this interior count. The loops form a continuous homotopy avoiding zero, so their integer winding number stays constant. Equivalently, for a piecewise smooth curve the integral varies continuously with and is integer-valued. In particular
This proves Rouché's theorem. The counting is with multiplicity and assumes the usual positive orientation; reversing orientation reverses both winding counts without changing the conclusion.
Write with . Normalization of the Gaussian wave packet gives , hence . The supplied Gaussian integral ratio then gives
The momentum operator obeys , and direct second differentiation gives . Taking the expectation value and substituting the first result gives
since . These are the second moments of a complex Gaussian wave packet.
For the solution in part (b), the trigonometric identity
gives, writing ,
Thus normalizability requires , and the exact expectation values are
Since ,
Their difference is the constant , so the mean energy stays constant despite exponential spreading in both observables.
Set with real constant . Then
Thus solves the Riccati equation wherever it is finite. Integrating the amplitude equation also gives
with the square root chosen continuously from . For the normalizable solutions used in part (c), ; equivalently one can choose modulo . The unrestricted real parameter solves the differential equation locally, but not every value defines a normalizable wavefunction.
For the proposed Gaussian wave packet, differentiation gives
Inserting these in the Time-dependent Schrödinger equation with Hamiltonian , its right-hand side becomes
Equating the constant and quadratic coefficients with yields
Conversely these two equations make the substitution an identity, so they are sufficient for the Gaussian evolution in an inverted harmonic oscillator.
Proceed by induction on . The zero-dimensional case has the empty orthonormal basis. In positive dimension, the fundamental theorem of algebra gives a root of the characteristic polynomial, hence a unit eigenvector of , say with eigenvalue . Part (ii) makes it an eigenvector of as well. Thus the line spanned by and its orthogonal complement are invariant under both operators by the introductory adjoint argument.
On , the restriction of is the adjoint of the restriction of , and the restrictions still commute. The restricted linear operator is therefore normal. By induction it has an orthonormal basis of eigenvectors. Adjoining proves an orthonormal eigenbasis exists for , establishing the finite-dimensional spectral theorem by construction.
For the final deduction, use this orthonormal basis and write . Define
The real nonnegative diagonal entries make a Hermitian operator, and the modulus-one diagonal entries make a unitary operator. Both are diagonal in the same orthonormal basis, so they commute and even when . This proves the required factorization without assuming invertibility.
Conversely, if with , , and , then and
Thus is normal. Normality is equivalent to a commuting Hermitian–unitary factorization, with the Hermitian factor even selectable nonnegative. This is the polar decomposition with a unitary extension on the kernel.
Part (ii) shows that for every , so is invariant under . Apply the adjoint criterion for an invariant orthogonal complement with in place of , using . It follows that
The same argument interchanging and shows that is invariant under both operators, a fact needed for the induction in part (iv).
For any complex , the shifted linear operator is normal: expansion of leaves just . Apply part (i) to this shifted normal operator:
Hence a nonzero vector is an eigenvector of with eigenvalue if and only if it is an eigenvector of with eigenvalue . The eigenspaces coincide, with conjugate eigenvalues.
A normal operator satisfies . Moving an operator across the inner product gives
One of these norms is zero exactly when the other is zero. Therefore

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