Let . It is nonempty, closed and bounded in finite-dimensional Euclidean space, hence compact by the Heine-Borel theorem. The strict distance inequality again makes Lipschitz continuous. If , choose a sequence converging to . Then , and continuity gives , so . This proves .
The restriction to satisfies strict distance decrease on a compact metric space, so part (b) produces a fixed point there. If a second fixed point existed anywhere in , the same strict distance inequality applied to the two points would contradict equality of their distance. Therefore the fixed point is unique in all of . This is the bounded-orbit fixed point for a strictly distance-decreasing Euclidean map.
The strict distance inequality implies for all points, so is Lipschitz continuous. Hence
is a continuous function, since . On the nonempty compact metric space, attains its minimum at some .
If , the strict distance inequality applied to gives
a contradiction. Thus . If were different fixed points, then , again impossible. There is exactly one fixed point. This proves strict distance decrease on a compact metric space without assuming a uniform contraction constant.
The contraction mapping theorem says that a self-map of a nonempty complete metric space satisfying for a constant has exactly one fixed point. Apply it to to obtain with .
No continuity of itself is needed: composition gives
Thus is also a fixed point of , whose uniqueness forces . Conversely any fixed point of is fixed by , so it must equal . The unique fixed point of the contracting iterate is also the unique fixed point of . The usual nonempty-space hypothesis is necessary; an empty space has no fixed point.
Yes; in fact the limit is uniformly continuous. Given , uniform convergence provides one with . Uniform continuity of this particular provides such that implies . The triangle inequality then gives
This same works at every point of , proving uniform continuity and therefore continuity. The use of one global is exactly what fails for mere pointwise convergence.
No. Consider the triangular functions . The absolute-value and positive-part maps are Lipschitz continuous, so . Each is therefore uniformly continuous on the whole real line. For its value is always one; for every fixed it eventually vanishes. Hence its pointwise limit is
This limit is not continuous at zero: along , . Individual uniform continuity does not provide a modulus uniform in .
For the symmetric double-delta potential, take an odd state at , . On odd parity selects . For , decay and continuity give ; extend to negative by oddness. At the jump condition is
For a nonzero state this means , and therefore
Oddness makes the jump at follow automatically: both its derivative jump and its required wavefunction value have the corresponding opposite signs.
There is a positive solution precisely when . To see this, rewrite the equation as
The right side decreases strictly from to zero as increases from zero to infinity: its derivative has the sign of . Hence for there is exactly one positive solution, while is a nonnormalizable zero-energy threshold and gives no odd bound state. This verifies the stated sufficiently-small- condition and identifies its exact boundary, consistent with the odd bound state of a symmetric double-delta potential.
For a negative energy write , . Away from the delta interaction the decaying solutions are for and for , with the same by continuity. The derivative jump is , giving . Thus the bound state in a delta potential has
The normalization follows from . This is a genuine square-integrable negative-energy state.
The attractive potential has . Its time-independent Schrödinger equation is
Integrate from to . Continuity makes the delta term equal to , while the integral of tends to zero as the interval shrinks. The second-derivative term integrates to the difference of first derivatives. Hence
This expresses the point interaction through a derivative jump while the wavefunction remains continuous.
Use the Möbius transformation
The lens's boundary intersections are . Write . Substitution in the inverse gives , and
Consequently the two domain inequalities are exactly , or . This algebra proves that maps the lens bijectively onto the quarter-sector, not merely that its boundary curves go to rays.
The map maps this sector bijectively onto the upper half-plane: the argument increases from to , and the positive modulus map is bijective. Its inverse is the fourth-root branch with argument in . Therefore the quarter-sector mapping of a circular lens is
Its derivative is nonzero in the lens, since and there. Finally the Cayley transform maps bijectively to the unit disc, because exactly when . A required conformal bijection is thus
All poles and branching endpoints of the construction lie outside the open domain.
Let two regular differentiable paths through have nonzero tangent vectors . The chain rule gives tangent vectors and for their images. Multiplication by a nonzero complex number is a positive scaling and rotation: writing scales lengths by and adds the same angle to both tangents. Equivalently,
Thus the oriented angle between the paths is preserved, proving is conformal at . The nonzero derivative also gives local invertibility; a zero derivative could multiply angles through branching instead.
Take , and . Then is a proper invariant subspace, and the restriction has matrix . In each case annihilates the operator, while any annihilator must vanish at both zero and one. Consequently
This same example works over any scalar field.
Invariance of means every power of restricts to the corresponding power of . Therefore is the restriction of , and it is zero. Divide with . Evaluation at gives . By minimality of , , proving
The zero-subspace case has and satisfies the same conclusion.
If with , then . The left side vanishes, so .
Conversely, if , write . Then . If were invertible, multiplying by its inverse would imply , contradicting the minimal degree. Thus is not invertible. In finite dimension this means it has a nonzero kernel, furnishing an eigenvector with eigenvalue . Hence the eigenvalues are exactly the roots of the minimal polynomial, with the scalar-field convention stated in part (a).
After choosing a basis of , a linear endomorphism is specified by an by matrix, with freely chosen coefficients. Therefore
The endomorphisms are linearly dependent. Some nonzero coefficient list gives a nonzero polynomial satisfying .
For nonzero , the minimal polynomial is the monic polynomial of least degree annihilating . It is unique: subtracting two monic least-degree choices would give a lower-degree annihilator. More generally division of any annihilator by gives , with , and evaluation implies . Minimality forces , so every annihilator is divisible by . If , the convention handles the degenerate case.
The arguments work over the underlying scalar field. In part (b), roots in that field correspond to eigenvalues there; to discuss other roots one extends scalars, for example by complexifying a real vector space.
Put , so the requested modulus is . The factorial is divisible by , and so is . Also, Wilson's theorem gives . Because and are coprime integers, their product divides the difference. Thus the Wilson factorial congruence modulo a triangular number is
The displayed residue lies in the standard range even at .
For each , Fermat's little theorem gives . Since is odd,
In the set of all permutations, let consist of those fixing . For a prescribed collection of fixed points, its intersection has members. Applying the inclusion-exclusion principle to the complement of gives the number of derangements:
The convergent power series for the exponential function at therefore gives .
Take the finite ambient set and the additive set function . Disjoint subsets have additive cardinality, so (a) applies and gives
This is the finite inclusion-exclusion principle.

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