Let
be reflection in the unit circle, and represent a Möbius transformation by
A direct calculation shows that is represented by
Thus exactly when and differ by a nonzero scalar. Applying the conjugate-linear involution twice shows that this scalar has modulus one. Rescaling by a suitable complex scalar then makes . Consequently all commuting maps, and only those maps, have the form
This is the Möbius maps commuting with reflection in the unit circle classification.
For such a map,
It follows that whenever precisely when
The inverse has the same property, so these and only these maps preserve the unit disc.
Define
This is continuous and takes values on the unit sphere. It agrees at and , is constant on the bottom edge, and is constant on the top edge. Thus it is constant on every -class, so the universal property of the quotient topology gives a continuous map
For , the third coordinate determines , and the first two coordinates determine modulo one. Consequently the only equal values of in the open strip arise from and . At the whole edge maps to the north pole, and at the whole edge maps to the south pole. These are exactly the identifications defining , so is injective. The spherical-coordinate formula also shows that it is surjective.
The square is compact, hence its quotient is compact by part (ii), while is Hausdorff as a subspace of . The compact-to-Hausdorff continuous bijection theorem now makes a homeomorphism. Geometrically, identifying the vertical sides produces a cylinder and collapsing each boundary circle to a point produces the suspension of a topological space , which is . This proves the square quotient model of the two-sphere.
Let be compact and the quotient map. If is an open cover of , then is an open cover of . A finite subfamily covers ; because is surjective, the corresponding cover . Thus every quotient of a compact space is compact.
The Hausdorff property need not survive. On the real line, define
The quotient has more than one point. If two nonempty open subsets of the quotient were disjoint, their inverse images would be disjoint nonempty open subsets of invariant under rational translation. But any two nonempty open intervals acquire an intersection after one is translated by a suitably chosen rational number, so two such saturated open sets cannot be disjoint. Distinct quotient points cannot be separated, and the quotient is not Hausdorff. This is the non-Hausdorff quotient of the real line by rational translation.
Finally let be a continuous bijection, with compact and Hausdorff. Every closed subset is compact. Its continuous image is compact, and every compact subset of a Hausdorff space is closed. Hence is a closed map. For every closed ,
is closed in , so is continuous. Therefore is a homeomorphism. This is the compact-to-Hausdorff continuous bijection theorem.
A compact space is a topological space in which every open cover has a finite subcover. A Hausdorff space is one in which every two distinct points have disjoint open neighbourhoods. A homeomorphism is a bijection that is continuous and whose inverse is continuous.
For an equivalence relation on , let be the set of equivalence classes and let
The quotient topology declares open exactly when is open in . It follows directly from the definition that is continuous.
Suppose that the continuous map is constant on equivalence classes. The only possible factorisation is
which is well-defined by the hypothesis and satisfies . For every open ,
is open in . The definition of the quotient topology therefore makes open, so is continuous. This proves the universal property of the quotient topology.
By stationarity,
The two-step return probability is
Therefore the requested probability is
Yes. The three nontrivial detailed balance identities are
and
Thus the chain is a reversible Markov chain.
Let . Solving the stationary distribution equations together with gives
Suppose and are two bound-state solutions with the same energy. Their Wronskian
satisfies because the Schrödinger equation contains no first-derivative term. Hence is constant. Both wavefunctions and their derivatives decay at infinity, so there and therefore . The two solutions are linearly dependent. Thus every one-dimensional bound-state energy is nondegenerate.
As , the equation approaches
If , the asymptotic solutions are oscillatory and do not decay, so there are no bound states. If , the asymptotic solutions are exponential; one decaying branch can be selected at each end. Bound states are therefore possible, although only energies satisfying the global matching conditions actually occur.
The spatial wavefunction is the position amplitude of a stationary quantum state, so is its probability density after normalization. The real function is the potential energy, is the energy eigenvalue, is the particle mass, and is the reduced Planck constant.
Differentiate the affine relation with respect to and :
Using the Cauchy-Riemann equations, the second equation becomes
Thus
The determinant is , so and therefore . A holomorphic function with zero derivative on a connected open set is constant. Hence is constant, as in analytic function with image in an affine real line.
Taking the complex derivative along the real direction gives
Taking it along the imaginary direction and equating the two expressions gives the Cauchy-Riemann equations
Orient every edge of the feasible convex polytope in the direction of increasing objective. Write
The possible improving simplex method paths from to are
These exhaust the directed edge graph: the ordinary cube edges remain except those incident to the removed vertex ; each such edge ends at one of ; and the cutting face contributes the triangle with edges .
The first two paths use three pivots, while the two paths through both and use five. Therefore the smallest and largest possible numbers of simplex steps are
and the total number of distinct outcomes is
This is the simplex paths on a cube with one truncated corner calculation.
Put . Feasibility gives and
while the objective is
To maximize it, the required total deficit must be assigned entirely to the cheapest variable . Thus
and the unique optimizer is
This is the vertex from part (b).
An extreme point of a convex set is a point that cannot be written as with in and .
Start with the eight vertices of the unit cube. The constraint removes and retains the other seven. The cutting plane meets the three cube edges incident to the removed vertex at
These are new vertices. No others occur: at a vertex in three dimensions, three linearly independent bounding planes are active, and choosing triples from the six cube faces and the cutting plane yields precisely the listed points. Hence the ten extreme points are
The origin belongs to , so is nonempty. Each displayed inequality defines a closed half-space, and every half-space is a convex set. An intersection of convex sets is convex: if and , each linear inequality remains valid for . Thus is a nonempty convex polytope.
A possibly randomized test is a function , interpreted as the conditional probability of rejecting . Its power function is
It has size at most when
Such a test is a uniformly most powerful test of size if, for every other test of size at most ,
Thus one test maximizes power simultaneously at every parameter value in the alternative.
Fix a continuous function and . By the Weierstrass approximation theorem, choose a polynomial such that
For every , exactness gives . Positivity of the quadrature weights and exactness on the constant polynomial give
Consequently
Since is arbitrary, . This is the convergence of positive quadrature rules.

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