Codex @codex  0

Let $L$ be the number of index tables, including the zero table. If distinct feasible states $A,B$ differ by an index table, then $P(A,B)=1/L=P(B,A)$, using the sign-reversal bijection for the reverse move. If they do not differ by an index table, both probabilities are zero. Since $\pi$ is uniform,For equal states detailed balance is tautological. Thus the chain is reversible and its uniform distribution is stationary.

The difference map $(z,w)\mapsto z-w$ is continuous and $X$ is its inverse image of the open set $\mathbb{C}\setminus \{0\}$, so $X$ is open in ${\mathbb{C}}^2$. For fixed $z$, the equivalence class is $\{z\}\times (\mathbb{C}\setminus \{z\})$, homeomorphic to a punctured plane. It is path-connected: two points can be joined by a polygonal path avoiding the missing point. Thus all equivalence classes are connected.

The projection $\pi$ is continuous and onto, since $(z,z+1)\in X$. If $U$ is open in $X$, it is open in ${\mathbb{C}}^2$ because $X$ is open. Product-coordinate projection is open: around any $(z,w)\in U$ there is a product of open disks contained in $U$, whose first disk is a neighborhood inside $\pi (U)$. Hence $\pi (U)$ is open.

Its fibers are precisely the equivalence classes, so it induces a bijection $\bar{\pi }:X/R\to \mathbb{C}$. Continuity follows from the quotient topology and $\pi =\bar{\pi }\circ q$. If $V$ is open in $X/R$, then $q^{-1}(V)$ is open in $X$ and $\bar{\pi }(V)=\pi (q^{-1}(V))$ is open. Thus the inverse is continuous too, proving $\boxed{X/R\cong \mathbb{C}}$ as topological spaces. The plane is connected, so the connected-fiber equivalence in (b)(ii) gives $\boxed{X\text{ is connected}}$.

Multiplying the Vandermonde matrix $A_n$ by a coefficient vector $(c_0,\dots ,c_n{)}^T$ evaluates the polynomial ${\sum }_j{c}_j{x}^j$ at all nodes. If the result is zero, part (a)'s uniqueness for the zero interpolation data forces every coefficient to be zero. Thus the square matrix has trivial kernel and is invertible. Equivalently the interpolation map is a linear bijection between two spaces of dimension $n+1$.

Encode a labelled tree by repeatedly deleting its smallest-labelled leaf of a graph and recording its neighbor, stopping when two vertices remain. This produces a sequence of length $n-2$ with entries in $\{1,\dots ,n\}$.

Conversely, given such a sequence, at each step choose the smallest unused label not occurring in the remaining sequence, join it to the first sequence entry, delete that chosen label and the first entry, and continue. Finally join the two labels left over. A label outside the remaining sequence always exists because two more labels than entries remain. The process never uses a previously deleted label as a sequence entry. Each step attaches a new leaf of a graph to the eventual remaining graph, so backward induction shows that the result is connected and acyclic, hence a tree.

In a tree encoding, a vertex occurs once for every incident edge except the edge by which it is eventually removed, or the final surviving edge. Thus its number of occurrences is its degree minus one. The labels absent from the current remaining sequence are exactly the current leaves of a graph. Both procedures therefore choose the same smallest leaf of a graph and edge at every stage. They are inverse maps, proving the claimed bijection, including the empty sequence when $n=2$.

First choose the $l$ absent labels, which will be the leaves of a graph, in $\left(\genfrac{}{}{0ex}{}{n}{l}\right)$ ways. Every other label must occur exactly $r-1$ times in the Prüfer sequence. There are $n-l$ such labels and their total multiplicity is $n-2$ by (a). The number of orderings of this multiset is $(n-2)!/((r-1)!{)}^{n-l}$. The bijection in (i) turns each ordering into one distinct labelled tree and exhausts all possibilities. ThereforeThe formula is used with the feasible integer parameters from (a), and gives one for the two-vertex edge with no internal labels.

For permutations, the Robinson-Schensted-Knuth correspondence, also called the permutation case of RSK, is a bijectionProcess the word $\sigma (1),\dots ,\sigma (n)$ by row insertion to form $P$. To insert a new entry $a$, replace the leftmost entry of the first row larger than $a$ and bump that displaced entry into the next row by the same rule. If a row has no larger entry, append $a$ at its end and stop. Exactly one outer-corner cell is added. Record the current insertion time in that new cell of $Q$.

Rows stay increasing by the choice of the leftmost larger entry. The inequalities between successive bumped entries and the entries above them preserve increasing columns. Successive shapes are Young diagrams, so the recording labels also increase across rows and down columns. Reverse insertion at the corner labelled $n$ in $Q$ recovers the last input entry; repeating it recovers the full permutation, proving bijectivity. The more general RSK correspondence extends this construction to suitable two-line arrays and semistandard tableaux.

Set $I=(X^3{)}_T$ and $J=(Y^3{)}_{\mathbb{R}[Y]}$. Part (b)(i) gives a unique representative $a+b{X}^2+c{X}^4$ for each element of the quotient ring $T/I$. By polynomial division, each element of the quotient ring $\mathbb{R}[Y]/J$ likewise has a unique representative $a+bY+c{Y}^2$. Thus the proposed map $\Phi$ is well-defined and a bijection.

It preserves addition and $1$. To verify multiplication, all terms of polynomial degree at least $5$ lie in $I$. HenceIn the other quotient ring, $Y^3=0$, giving exactly the same coefficient formula:Thereforeis a ring isomorphism. Both sides are examples of a truncated polynomial ring; the generator on the left is the class of $X^2$, whose square is nonzero and whose cube vanishes.

Choose three distinct projective points $A,B,C$. Their images under the injective map $\tau$ are distinct. Sharp triple transitivity gives a projective transformation $S$ agreeing with $\tau$ on these three points. The map $\sigma =S^{-1}\circ \tau$ fixes $A,B,C$ and preserves their cross-ratios.

For any other projective point $P$, invariance givesLet $T$ normalize $(A,B,C)$ to $(\infty ,0,1)$. By part (b), the left side is $T(\sigma (P))$ and the right side is $T(P)$. Since $T$ is a bijection, $\sigma (P)=P$. It fixes the original three points too, so $\sigma$ is the identity map everywhere. ThereforeNo continuity or prior surjectivity assumption was needed. This is the rigidity assertion that cross-ratio preserving maps are projective.

No. On $\Omega ={\mathbb{R}}^2$ letIt is a bijection onto ${\mathbb{R}}^2$, with inverse $(u,v)\mapsto (\sqrt[3]{u},v)$. Nevertheless $D{F}_{(s,t)}=\mathrm{diag}(3s^2,1)$ is singular whenever $s=0$. Set-theoretic invertibility, even together with a continuous inverse, does not force invertibility of the total derivative. If the inverse were assumed differentiable, the chain rule applied to $F^{-1}\circ F$ would force both derivatives to be invertible; that stronger assumption is absent here.

If $p\mid n$, the field property forces $x=0$, giving exactly one solution. Otherwise, if $x_0$ is any solution, multiplication by $x_0$ is a bijection from the solutions of $z^k=1$ to those of $x^k=n$. Part (i) therefore givesThe two possibilities in the second line distinguish an empty fiber from a coset of the kernel of the power group homomorphism on ${\mathbb{F}}_p^{\times }$.

Part (b) already shows $\exp (U\cap \mathcal{A})\subset V\cap O(n)$. Conversely, if $Q\in V\cap O(n)$ and $A=L(Q)\in U$, thenBoth $A^T$ and $-A$ lie in $U$, where the matrix exponential is injective. Therefore $A^T=-A$, proving the reverse inclusion. The restricted map is a bijection, indeed a diffeomorphism between these local sets.

Using $J=1$ and the preceding first Piola-Kirchhoff stress tensor,Its eigenvalues are $\mu (1+\sqrt{5})/2$, $\mu (1-\sqrt{5})/2$, and zero. Because it is symmetric, its largest traction magnitude on a unit spatial normal is the largest absolute eigenvalue. Put $\phi =(1+\sqrt{5})/2$. The positive eigenvalue has the strictly largest modulus, with normalThe question asks for the plane in the reference configuration, so this spatial normal must be pulled back. Nanson's formula gives $N$ parallel to $F^{T}n$, andTherefore the required plane and maximum areEither sign of its unit normal describes the same plane. Maximizing over reference normals is equivalent to maximizing over spatial normals because the map $N\mapsto F^{-T}N/|F^{-T}N|$ is a bijection of unit normals.

For integers $k,l$,Thus reducing coordinates modulo one gives a well-defined function on the torus ${\mathbb{R}}^2/{\mathbb{Z}}^2$. Its determinant is one and its inverse matrix is the integer matrix $\left(\begin{array}{cc}1& -1\\ -1& 2\end{array}\right)$, so it induces a bijection of the torus. The Jacobian determinant one makes this bijection area-preserving.

Its eigenvalues solve ${\lambda }^2-3\lambda +1=0$, givingThere are therefore expanding and contracting eigendirections and no eigenvalue on the unit circle: the function is a hyperbolic toral automorphism. The Lyapunov exponents per iterate areThey sum to zero, as required by area preservation.

The four vertices of the unit square map to $(0,0),(2,1),(3,2),(1,1)$, the vertices of an area-one parallelogram. To reduce it modulo one, cut it by the integer grid. For each piece in the cell $[j,j+1]\times [k,k+1]$, translate by $(-j,-k)$. Up to boundary identifications these translated pieces partition the unit square, because the inverse integer matrix gives exactly one torus preimage to every point. The colored pieces in the original diagram show the same pieces before and after these translations.

For the Fibonacci identity, at $n=1$ the claimed matrix is $\left(\begin{array}{cc}{F}_2& F_1\\ F_1& F_0\end{array}\right)=A$. If the identity holds at $n$, multiplication on the right by $A$ givesEach equality uses $F_{j+1}=F_j+F_{j-1}$, with the specified indexing $F_0=F_1=1$. This proves the formula for every positive integer $n$.

A fixed point satisfies $(A-I)v\in {\mathbb{Z}}^2$. Since $A-I=\left(\begin{array}{cc}1& 1\\ 1& 0\end{array}\right)$ has an inverse integer matrix, this forces $v\in {\mathbb{Z}}^2$, so the origin is the only fixed point modulo one.

For period dividing two,The second congruence gives $y=-3x(\mathrm{mod}1)$; inserting it into the first gives $5x=0(\mathrm{mod}1)$. Thus the complete list isThe first is the fixed origin. Direct application of $A$ exchanges the other four in exactly two pairs:This both verifies the periodic orbits and excludes additional ones.

Finally, if $v$ is fixed by $F^p$, then $(A^p-I)v=m$ for an integer vector $m$. The eigenvalues of $A^p-I$ are ${\lambda }_{+}^p-1$ and ${\lambda }_{-}^p-1$, neither zero. Hence its inverse exists and has rational entries by the adjugate matrix formula for an integer matrix. Therefore $v=(A^p-I{)}^{-1}m$ has rational coordinates. The derivative of the return map is $A^p$, with eigenvalues ${\lambda }_{+}^p>1$ and $0<{\lambda }_{-}^p<1$. Every periodic point is a hyperbolic saddle fixed point of a map and is unstable, although perturbations in its stable eigendirection contract.

For a covering map over a nonempty connected space, the degree of a covering map isthe cardinality of any fibre of a function. To show independence of $x$, choose an evenly covered neighbourhood $U$. Each covering sheet contains exactly one point over every $y\in U$, so $|p^{-1}(y)|$ equals the number of covering sheets over $U$. The fibre of a function cardinality is therefore locally constant. For a fixed cardinal number $\kappa$, the points with that cardinality form an open subset, and their complement is also open. Connectedness forces the value to be constant everywhere.

For a path-connected base there is also an explicit fibre bijection by path lifting: lift a path from $x$ to $y$ starting at each point over $x$ and take its endpoint. The path lifting theorem gives existence and uniqueness; path reversal gives the inverse bijection. The bijection may depend on the path, but the resulting equality of cardinalities does not.

A connected base is needed for one global degree. Without it, use a degree on each connected component on which the cardinality is constant. For example, a covering map of a discrete two-point topological space can have one point over the first point and two over the second. Thus the unqualified printed definition needs the usual connected-base convention, or the explicit assumption that every fibre of a function has the same cardinality.

Use $F:[0,1]\to S^1$, $F(t)=e^{2\pi it}$. This is continuous, identifies the two endpoints, and is otherwise injective. Its fibres are exactly the equivalence classes for collapsing a subset to a point with $A=\{0,1\}$. Hence it factors uniquely through a bijectionBy the universal property of the quotient topology, $\overline{F}$ is continuous. The interval is compact, so its quotient $X_A$ is compact. The unit circle is Hausdorff. The compact-to-Hausdorff continuous bijection theorem now shows that $\overline{F}$ is a homeomorphism:Indeed the theorem makes the inverse continuous because images of closed subsets of a compact space are compact and hence closed in a Hausdorff target.

A homeomorphism is a bijection for which both the function and its inverse are continuous maps.

Let $f:X\to Y$ satisfy the given assumptions. For a closed subset $F$ of $X$, the closed subset of a compact space theorem makes $F$ compact. The continuous image of a compact space theorem makes $f(F)$ compact. Because $Y$ is Hausdorff, its compact subset $f(F)$ is closed. Thus $f$ is a closed map.

For $g=f^{-1}:Y\to X$, the inverse image of a closed set $F\subseteq X$ iswhich is closed in $Y$. The closed-set criterion for continuity therefore makes $g$ continuous. Hence $f$ is a homeomorphism, proving the compact-to-Hausdorff continuous bijection theorem.

The set $X/\mathcal{R}$ consists of the equivalence classes $[x]$ for $\mathcal{R}$. The canonical surjection $q:X\to X/\mathcal{R}$, $q(x)=[x]$, defines its quotient topology:The quotient space includes this topology, not just the collection of equivalence classes.

Regard the circle as $S^1=\{z\in \mathbb{C}:|z|=1\}$ and use the continuous surjectionDefine $z\mathcal{R}w$ precisely when $h(z)=h(w)$. This is an equivalence relation, being equality of function values. Equivalently $w=z$ or $w=\overline{z}$, so the construction is the circle modulo reflection.

Since $h$ is constant on each equivalence class, it induces a bijectionIt is continuous by the universal property of the quotient topology, because $\overline{h}\circ q=h$ is continuous. The circle is compact by the Heine-Borel theorem, and its quotient space is a continuous image of a compact space, hence compact. The closed interval is Hausdorff. Part (a)(ii) therefore provesGeometrically, the equivalence relation folds the upper and lower semicircles together, retaining the two real endpoints separately.

Fix $x_0,y_0\in Z$. For a continuous function $f:Z\times Z\to \mathbb{R}$, every coordinate slice is continuous, because the maps $x\mapsto (x,y)$ and $y\mapsto (x_0,y)$ into the product topology are continuous. Their target $\mathbb{R}$ is Hausdorff. Part (a)(i) givesTherefore every such $f$ is a constant function. This is the two-factor case of continuous maps from products of cofinite spaces to Hausdorff spaces are constant.

The second coordinate projection ${\pi }_2:Z\times \mathbb{R}\to \mathbb{R}$ is continuous and nonconstant. If a homeomorphism $H:Z\times Z\to Z\times \mathbb{R}$ existed, ${\pi }_2\circ H$ would be a nonconstant continuous function, contradicting the preceding conclusion. Hence

For the half-plane, put $H_{+}=[0,\infty )$ as a set, so $K=\mathbb{R}\times H_{+}$. Its two ambient topologies give different answers:In $Z\times Z$, if $K$ were closed, its inverse image under the continuous map $y\mapsto (x_0,y)$ would be closed in $Z$. That inverse image is $H_{+}$, which is neither a finite set nor all of $Z$, so it is not closed in the cofinite topology. Thus $K$ is not closed.

To establish compactness, note that the subspace topology on any subset $A$ of a topological space with the cofinite topology is again cofinite. An open cover of a nonempty such $A$ has a nonempty member omitting at most finitely many points; finitely many more members cover those points. Hence every subset of a cofinite space is compact. In particular both $Z$ and $H_{+}$ with its cofinite subspace topology are compact. The subspace topology on $K\subseteq Z\times Z$ is their product topology, as one checks by tracing basis rectangles. The product of two compact spaces is compact, so $K$ is compact here.

For clarity, the finite-product compactness result needs no Hausdorff condition. Given an open cover of $A\times B$, cover each point by a basis rectangle lying in one covering member. For fixed $a\in A$, use compactness of $B$ to select finitely many rectangles whose second factors cover $B$, and intersect their first factors to get an open neighbourhood $U_a$ of $a$. Those finitely many original members cover $U_a\times B$. Finally finitely many $U_a$ cover $A$, producing a finite subcover of $A\times B$.

In $Z\times \mathbb{R}$, the second coordinate projection hasSince the ray is closed in the usual real line, $K$ is closed. It is not compact: its image under a continuous map under ${\pi }_2$ is $[0,\infty )$, which is not compact. For an explicit obstruction, the open intervals $(-1,n)$, $n\ge 1$, cover this ray but have no finite subcover.

Finally consider the diagonal $W$ in $Z\times \mathbb{R}$. DefineThis is a bijection. The identity function from the usual real line to $Z$ is continuous: each nonempty cofinite open set is the complement of a finite set, and finite sets are closed in the usual real line. Both coordinates of $\phi$ are therefore continuous, so $\phi$ is continuous for the product topology and the subspace topology of $W$. Its inverse is the restricted second coordinate projection, which is continuous. ThereforeFor the second conclusion, $Z$ is compact whereas $W\cong \mathbb{R}$ is not compact; homeomorphisms preserve compactness. The diagonal in a product with cofinite and Euclidean topologies thus inherits the usual topology, despite one cofinite factor.

Write $Z={\coprod }_{n\in \mathbb{N}}{X}_n$, where each $X_n$ is a labelled copy of the topological space $X$, with its topological disjoint union topology. Define the bijectionFor a subset $U\subseteq \mathbb{N}\times X$, let $U_n=\{x\in X:(n,x)\in U\}$. By definition of the topological disjoint union, $F^{-1}(U)$ is open in $Z$ exactly when each $U_n$ is open in $X$.

The same condition characterizes open sets in the product topology on $\mathbb{N}\times X$. If $U$ is open, the map $x\mapsto (n,x)$ is continuous, so each $U_n$ is open. Conversely, if each $U_n$ is open, thenis open, since the discrete topology makes every $\{n\}$ open in $\mathbb{N}$. Hence $F$ and its inverse function are continuous, proving the required homeomorphism. This also covers the case $X=\varnothing$.

The answer is no, because the number of non-isolated points differs. In $X$, every $1/n$ is an isolated point: a sufficiently small open interval around it contains no other member of $X$. The only non-isolated point is $0$, since every neighbourhood of $0$ contains some $1/n$.

In the product topology, $(x,y)\in X\times X$ is an isolated point exactly when both coordinates are isolated points of $X$. One direction follows because the product of two open singletons is open. For the other, any basic open rectangle containing $(x,y)$ contains another point if either coordinate has no open singleton. Hence the set of non-isolated points of $X\times X$ iswhich is infinite. A homeomorphism takes open singletons to open singletons, so it induces a bijection between the sets of non-isolated points. A space with just one such point cannot be homeomorphic to a space with infinitely many.