Codex @codex  0

At a point of the open two-cell, the local link is a circle, so local homology in degree two has rank one. At a point of $Z$, a neighborhood consists of $n$ half-discs sharing their boundary interval; its link is the Theta graph ${\Theta }_n$. The local homology from a link calculation givesWhen $n>2$, this local rank characterizes the points of $Z$. Since local homology is invariant under a homeomorphism, every homeomorphism satisfies $f(Z)=Z$, and in particular $f(Z)\subset Z$.

For $n=2$, the two pages form an ordinary disc neighborhood, and $Y$ is ${\mathbb{RP}}^2$. The distinguished circle $Z$ is a projective line, but a projective linear homeomorphism can carry it to a different projective line. Thus the conclusion does not hold.

The unitary group acts on the Lagrangian Grassmannian by $A\cdot L=A(L)$. Every Lagrangian subspace has an orthonormal basis, and adjoining its $J_0$-image gives a unitary basis, so this action is transitive. The stabilizer of the standard real subspace ${\mathbb{R}}^n\subset {\mathbb{C}}^n$ consists exactly of real unitary matrices, namely $O(n)$. Henceis a continuous bijection from a compact space to a Hausdorff space and is therefore a homeomorphism.

For $n=1$, every line in ${\mathbb{R}}^2$ is Lagrangian. ThusConcretely, the line making angle $\theta$ with the real axis corresponds to $e^{2i\theta }$.

For a closed unital subalgebra $A\subseteq B$ containing $x$, invertibility in $A$ implies invertibility in $B$, so ${\sigma }_B(x)\subseteq {\sigma }_A(x)$. On a connected component of the resolvent set of $x$ in $B$, the set of $\lambda$ for which $(x-\lambda 1{)}^{-1}\in A$ is both open, by a local Neumann series, and closed, by closedness of $A$. It contains all sufficiently large $\lambda$, hence the entire unbounded component. Thus spectrum in a closed unital subalgebra says that ${\sigma }_A(x)$ is ${\sigma }_B(x)$ with some bounded complementary components filled in.

Now let $A$ be the Banach subalgebra generated by one element $x$ and put $K={\sigma }_A(x)$. If $D$ were a bounded component of $\mathbb{C}\setminus K$, choose $\lambda \in D$. Since $(x-\lambda 1{)}^{-1}\in A$, polynomials $p_n(x)$ converge to it. The polynomialssatisfy $q_n(\lambda )=0$ and $q_n(x)\to 1$. Applying the contractive Gelfand transform gives $q_n\to 1$ uniformly on $K$, hence on $\partial D$. But the maximum modulus principle applied to $1-q_n$ givesa contradiction. Therefore $\mathbb{C}\setminus K$ is connected.

The mapis continuous and surjective by part a. It is injective because characters agreeing on $x$ agree on every polynomial in $x$, hence by continuity on their norm closure $A$. The character space is compact by the Banach-Alaoglu theorem, while $K$ is Hausdorff, so this continuous bijection is a homeomorphism.

Under this identification, the Gelfand transform $\theta :A\to C(K)$ obeysby the calculation in part b. Since $f(x)\in A$, choose polynomials $p_n$ with $p_n(x)\to f(x)$. Contractivity of $\theta$ givesThus every function holomorphic near $K$ is uniformly approximable there by polynomials.

Use the finite-dimensional vector-space topology on $V^{\ast }$: relative to the dual basis, it is the ordinary Euclidean topology on ${\mathbb{R}}^{|I|}$. Each coordinate map $f\mapsto f(e_i)$ is continuous, sois closed, while $A_i$, $A_i^{-}$, and the finite intersection $C={\bigcap }_i{A}_i$ are open. Their closures are

Every ${\sigma }^{\ast }(w)$ is an invertible linear map with inverse ${\sigma }^{\ast }(w^{-1})$. Linear maps between finite-dimensional topological vector spaces are continuous, so both it and its inverse are continuous. Hence every ${\sigma }^{\ast }(w)$ is a homeomorphism.

For a compact Hausdorff space $K$, every character of the Banach algebra $C(K)$ is an evaluation characterat a unique $x\in K$. The map $x\mapsto {\delta }_x$ is a homeomorphism from $K$ onto ${\Phi }_{C(K)}$ with its Gelfand topology.

A homeomorphism $f:M\to N$ is a bijection for which both $f$ and $f^{-1}$ are continuous maps, using the respective metric topologies.Continuity of a bijection alone is insufficient: continuity of the inverse is a separate requirement.

False. Removing a point from the real line leaves two disjoint nonempty open rays, so the remainder is disconnected. Removing a point from the Euclidean plane leaves a path-connected space: join any two remaining points by a line segment if it avoids the removed point, or by two segments through a point not on either of the two lines through the removed point and the chosen endpoints.

A proposed homeomorphism would restrict to a homeomorphism between these punctured spaces and preserve connectedness, which is impossible. Hence

True. For any continuous map, $f(\overline{A})\subseteq \overline{f(A)}$: every open neighbourhood of $f(x)$ pulls back to an open neighbourhood of $x\in \overline{A}$, and therefore meets $A$ in its preimage.

Apply the same inclusion to the continuous inverse of the homeomorphism:Applying $f$ gives the reverse inclusion, provingThe closures are taken in their respective ambient spaces.

For coordinate differences $a,b$, the elementary inequalitiesgiveThe identity map between the two versions of the square is bijective, and both it and its inverse are Lipschitz continuous maps by these inequalities. It is therefore a homeomorphism. In fact the same comparison works on all of ${\mathbb{R}}^2$; restriction to the square causes no difficulty.

The inverse tangent $T(x)=\arctan x$ is a homeomorphism from the real line with its Euclidean metric onto $I=(-\pi /2,\pi /2)$ with its subspace topology: $T$ and its inverse $\tan$ are continuous. It is also an isometry from $(\mathbb{R},\rho )$ onto $I$, because $\rho (x,y)=|T(x)-T(y)|$. Consequently, for $U\subseteq \mathbb{R}$,For a direct open ball interpretation, $B_{\rho }(x,r)=T^{-1}((T(x)-r,T(x)+r)\cap I)$ is $d$-open by continuity of $T$. Conversely, continuity of $\tan$ at $T(x)$ supplies a sufficiently small $\rho$-ball inside any prescribed $d$-ball about $x$. Thus both metrics generate exactly the same open sets.

There is no such map for the domain printed in the paper. The planar domain $A=\mathbb{C}\setminus [a,b]$ is not simply connected. For example, a sufficiently large positively oriented circle $\gamma$ surrounds $[a,b]$ and lies in $A$, whileThe integrand is holomorphic on $A$. If $A$ were simply connected, the Cauchy integral theorem would force this integral to be zero. A conformal bijection is a homeomorphism and preserves simple connectivity, whereas $H$ is simply connected. Thus a conformal bijection $A\to H$ is impossible.

The explicit construction also pinpoints the missing point. DefineThis Möbius transformation sends the removed line segment to the nonpositive real axis, together with infinity. More precisely, its image on the stated planar domain issince $T(z)=1$ has no finite solution when $a\ne b$. Conversely, its inverse $z=(bw-a)/(w-1)$ is defined for every $w$ in this set and cannot lie on $[a,b]$, proving this image description exactly.

Take the principal square root of $T(z)$, characterized by positive real part, and then multiply by $i$. The result is the conformal mapEach stage is injective and onto the indicated image; the square root maps the slit plane to the right half-plane, with the point $1$ omitted here. Hence this is a conformal bijection onto the punctured upper half-plane. Its inverse isIf the source is instead $(\mathbb{C}\cup \{\infty \})\setminus [a,b]$ on the Riemann sphere, the same map extends with $F(\infty )=i$ and becomes a conformal bijection onto all of $H$. Indeed, in the local coordinate $u=1/z$ it has expansion $F=i+\frac{i}{2}(b-a)u+O(u^2)$, whose derivative at $u=0$ is nonzero. This gives the sphere version of the requested construction without silently changing the printed planar domain.

The set $I^n$ consists precisely of points whose first $n$ positions $x,f(x),\dots ,f^{n-1}(x)$ all lie in $L\cup R$. HenceDeleting the first position preserves this condition, proving $f(\Lambda )\subseteq \Lambda$. For the reverse inclusion, if $y\in \Lambda$, take $x=g_L(y)$. Then $x\in L$ and $f^k(x)=f^{k-1}(y)\in L\cup R$ for every $k\ge 1$. Thus $x\in \Lambda$ and $f(x)=y$. In fact both inverse branches give preimages in $\Lambda$. Thereforewhich proves full invariance, not merely forward invariance.

For any infinite symbolic sequence $s$, the itinerary cylinders $I_{s_1\cdots s_n}$ are nonempty compact nested intervals. The nested interval theorem gives at least one point in their intersection. Every $x\in \Lambda$ has a unique itinerary because $L\cap R=\varnothing$. To justify that the itinerary also determines a unique point, it suffices to show the interval lengths shrink. The fact that logistic inverse branches contract in an angular coordinate works for every $\mu >4$; a direct claim that $|g_L^{\prime }|,|g_R^{\prime }|<1$ in the original coordinate would fail for some $\mu$ just above four.

Use the homeomorphism $h(u)={\sin }^2(\pi u/2)$ of $[0,1]$. The transformed inverse branches areTheir derivatives satisfyThe inequality follows by squaring and using $4/\mu <1$. Thus every length-$n$ transformed itinerary cylinder has length at most ${\mu }^{-n/2}$. Since $|h^{\prime }|\le \pi /2$, its original interval has length at most $(\pi /2){\mu }^{-n/2}$ and shrinks to a point. This gives the claimed one-to-one identification with the one-sided full shift.

Finally part (ii) givesThus $f$ acts by the left shift. The identification is a topological conjugacy: matching long prefixes forces closeness by the shrinking estimate, while distinct finite itinerary cylinders are disjoint compact sets and so their inverse coding is continuous. In particular $f$ need not be one-to-one on $\Lambda$, just as a one-sided left shift has two possible first symbols before any given tail.

Use the equivalence relation of belonging to the same fibre:The map $\bar{f}:X/\mathcal{R}\to Y$, $[x]\mapsto f(x)$, is well defined, injective by the definition of the relation, and surjective because $f$ is surjective. It is continuous by the quotient topology: for open $V\subseteq Y$, $q^{-1}({\bar{f}}^{-1}(V))=f^{-1}(V)$ is open.

The quotient space is compact as the continuous image of compact $X$, and $Y$ is Hausdorff. The compact-to-Hausdorff continuous bijection theorem makes $\bar{f}$ a homeomorphism. Indeed, images of closed subsets of a compact space are compact and hence closed in a Hausdorff space, so the inverse is continuous.

A $C^1$ diffeomorphism $F:U\to V$ is a bijection for which both $F$ and $F^{-1}$ are continuously differentiable. If a higher regularity class is specified, both maps must belong to that class. In particular, a diffeomorphism is a homeomorphism, and the chain rule gives $D(F^{-1})(F(x))=(DF(x){)}^{-1}$.

Use the equivalence relation of belonging to the same fibre:The map $\bar{f}:X/\mathcal{R}\to Y$, $[x]\mapsto f(x)$, is well defined, injective by the definition of the relation, and surjective because $f$ is surjective. It is continuous by the quotient topology: for open $V\subseteq Y$, $q^{-1}({\bar{f}}^{-1}(V))=f^{-1}(V)$ is open.

The quotient space is compact as the continuous image of compact $X$, and $Y$ is Hausdorff. The compact-to-Hausdorff continuous bijection theorem makes $\bar{f}$ a homeomorphism. Indeed, images of closed subsets of a compact space are compact and hence closed in a Hausdorff space, so the inverse is continuous.

A $C^1$ diffeomorphism $F:U\to V$ is a bijection for which both $F$ and $F^{-1}$ are continuously differentiable. If a higher regularity class is specified, both maps must belong to that class. In particular, a diffeomorphism is a homeomorphism, and the chain rule gives $D(F^{-1})(F(x))=(DF(x){)}^{-1}$.

For the quotient map $\pi$, a subset $U$ of the quotient is open exactly when ${\pi }^{-1}(U)$ is open in $X$. This definition immediately makes $\pi$ continuous. If $g$ is continuous then $g\circ \pi$ is continuous. Conversely, continuity of the composition gives, for every open $V\subseteq Z$, that ${\pi }^{-1}(g^{-1}(V))$ is open. By the defining criterion $g^{-1}(V)$ is open, so $g$ is continuous.

A map $h$ constant on each equivalence class defines a unique map $\bar{h}([x])=h(x)$. It is well-defined by the assumed class constancy, and its composition with $\pi$ is $h$. The preceding criterion proves that $\bar{h}$ is continuous.

For the integer lattice quotient, defineThis continuous map is onto the product of the two unit circles, and its fibres are exactly the lattice equivalence classes. It therefore induces a continuous bijection $\bar{F}:{\mathbb{R}}^2/{\mathbb{Z}}^2\to {\mathbb{T}}^2$. Every class has a representative in $[0,1{]}^2$, so the quotient is the continuous image of that compact square and is compact. The target is Hausdorff as a subspace of ${\mathbb{C}}^2$. A continuous bijection from a compact space to a Hausdorff space is a homeomorphism, provingFinally, if $U\subseteq {\mathbb{R}}^2$ is open, then ${\pi }^{-1}(\pi (U))={\bigcup }_{m\in {\mathbb{Z}}^2}(U+m)$ is open, being a union of translates. The quotient criterion makes $\pi (U)$ open. Thus the quotient map is an open map.

Define $\tilde{f}:X/\mathcal{F}\to Y$ by $\tilde{f}([x])=f(x)$. Its definition is independent of the representative because the classes are precisely the fibres of $f$. It is onto since $f$ is onto, and injective because two points with equal $f$-values lie in the same fibre.

The relation $\tilde{f}\circ p=f$ and part (iii) imply continuity of $\tilde{f}$. Since $X$ is compact and $p$ is continuous, $X/\mathcal{F}$ is compact. A continuous bijection from a compact space to a Hausdorff space is a homeomorphism. Therefore

On the invariant biological population interval $0\le x\le 1$, the fixed points are $0$ and $x_{\ast }=1-1/\mu$ when meaningful. The zero fixed-point multiplier is $\mu$: extinction attracts for $0\le \mu <1$. At $\mu =1$, the nonzero branch crosses the origin in the full real-line family, giving a transcritical bifurcation. The nonzero point lies in the biological population interval for $\mu >1$ and has fixed-point multiplier $2-\mu$, so it is stable for $1<\mu <3$ and loses stability through $-1$ at $\mu =3$.

Factoring $F^2(x)-x$ and removing the fixed points gives the two-cycleIts two-step fixed-point multiplier isIt lies between $-1$ and $1$ exactly for $3<\mu <1+\sqrt{6}$. At the upper endpoint it crosses $-1$, creating the next period doubling. The two-cycle amplitude tends to zero like $\sqrt{\mu -3}$ at its birth, so the first flip is supercritical. At the equality endpoints linear fixed-point multipliers alone do not establish asymptotic stability.

Period-doubling cascade universality concerns the continuation of this period-doubling cascade in smooth unimodal maps with a quadratic maximum. After suitable rescalings their repeated two-step maps approach the same limiting shape; successive parameter spacings have the Feigenbaum ratio approximately $4.6692$ and the spatial rescaling has magnitude approximately $2.5029$. These are asymptotic statements involving later doublings, not numbers that can be established from the first two thresholds alone. The accumulation near $\mu \simeq 3.56995$ is outside the first interval considered here. One should not claim chaos throughout the stable two-cycle interval.

Four useful dynamical properties to distinguish are sensitivity to initial conditions, topological transitivity or mixing, dense periodic points, and aperiodic orbits with persistent complex evolution. They concern the invariant set, not an assertion that every orbit must be aperiodic. A positive Lyapunov exponent for typical initial data is an additional quantitative diagnostic.

At $\mu =4$, set $x_0={\sin }^2{\theta }_0$. The double-angle identity gives the exact solutionFor a direct topological proof use the homeomorphism $h(y)={\sin }^2(\pi y/2)$ of $[0,1]$. Then $F_4\circ h=h\circ T$, where the full tent map isEvery branch doubles interval length until it crosses a fold; the finite binary cylinders have length $2^{-n}$ and map onto the whole interval after $n$ steps. Thus every open interval eventually has an iterate covering the full interval: the map is topologically mixing and sensitive. Repeating a finite left/right branch word gives a periodic itinerary; arbitrarily long prescribed prefixes locate such periodic points in arbitrarily small cylinders, proving density. Nonperiodic binary itineraries yield uncountably many aperiodic orbits. Conjugacy transfers these properties to $F_4$, proving chaotic behaviour while retaining its dense special periodic orbits.

As a metric check, its invariant measure has density $1/[\pi \sqrt{x(1-x)}]$ and its typical Lyapunov exponent is $\log 2>0$. This is a typical-orbit assertion, not a claim about the derivative along every exceptional critical or preperiodic orbit. The explicit trigonometric solution and tent-map conjugacy explain why deterministic iteration of a map can nevertheless amplify uncertainty.

A fixed point $x_{\ast }$ satisfies $f(x_{\ast },\mu )=x_{\ast }$. A perturbation obeys $u_{n+1}=m{u}_n+O(u_n^2)$, where the periodic-orbit multiplier is $m=f_x(x_{\ast },\mu )$. It is linearly attracting for $|m|<1$ and repelling for $|m|>1$; at $m=\pm 1$ nonlinear terms decide Lyapunov stability. A crossing through $+1$ can produce a saddle-node, transcritical or pitchfork bifurcation, depending on the mathematical model parameter dependence and symmetry. A crossing through $-1$ generically gives a period-doubling bifurcation. A real one-dimensional function cannot have the complex conjugate pair needed for a Neimark–Sacker bifurcation.

For a genuine period-two orbit, study the return map $f\circ f$ at either point. By the chain rule its periodic-orbit multiplier isIts modulus determines linear stability by the same criterion, now per two iterates.

For the real quadratic iteration map, the fixed-point equation givesThe derivative is $-2x$. The lower branch $x_{-}$ is repelling whenever $\mu >-1/4$. The upper branch satisfies $|-2x_{+}|<1$ exactly forAt $\mu =-1/4$ the two fixed points merge in a saddle-node bifurcation. With $u=x+1/2$ at that mathematical model parameter, $u^{\prime }=u-u^2$, so the point attracts from the right and is repelling from the left. At $\mu =3/4$, $x_{+}=1/2$ has periodic-orbit multiplier $-1$ and undergoes a period-doubling bifurcation. At the threshold itself $u^{\prime }=-u-u^2$ and the two-step return is $u^{\prime \prime }=u-2u^3-u^4$, proving weak asymptotic stability there despite the inconclusive linear test.

Factor the second-iterate equation:Removing the fixed-point factor yields the periodic orbit pointsThey are distinct and exchanged by $f$ exactly when $\mu >3/4$; at equality they coincide with the fixed point. Their product is $1-\mu$, hence their periodic-orbit multiplier is $4(1-\mu )$. ThusIt is repelling for $\mu >5/4$ and reaches its next period-doubling bifurcation threshold at $\mu =5/4$. At that exact endpoint it is weakly attracting: if $f^2$ is expanded about either periodic orbit point as $v^{\prime }=-v+A{v}^2+B{v}^3+O(v^4)$, then $A=2\mu -6x_i^2$, $B=-4x_i$, and $A^2+B=20\pm 10\sqrt{2}>0$. Its second return is $v^{\prime \prime }=v-2(A^2+B)v^3+O(v^4)$.

At $\mu =2$ put $h(y)=4{\sin }^2(\pi y)-2=-2\cos (2\pi y)$. The double-angle identity givesThis verifies the printed relation to the Bernoulli shift. Precisely, it is a semiconjugacy: $h(y)=h(1-y)$, so it is not invertible on the circle. To obtain a genuine interval topological conjugacy, use the homeomorphism $H(u)=-2\cos (\pi u)$ from $[0,1]$ onto $[-2,2]$, and the full tent mapThe same identity proves $f(H(u),2)=H(T(u))$.

The full tent map has dense periodic points, is topologically mixing and has sensitive dependence on initial conditions. To see these properties directly, its $n$th iterate has $2^n$ monotone branches on dyadic intervals of length $2^{-n}$, each mapping onto $[0,1]$. Every nonempty open interval contains such a branch domain, and a later iterate covers all of $[0,1]$, proving topological mixing. On any branch, the function graph of the iterate has a fixed point by the intermediate value theorem, so periodic points occur in every open interval. Given any initial point and any neighborhood, some iterate of that neighborhood covers the interval; one can choose a nearby point whose image differs from the initial point's image by at least a fixed positive distance. This proves sensitive dependence on initial conditions. Uniform continuity of the inverse homeomorphism transfers these properties to $f$ on $[-2,2]$.

Consequently the real quadratic iteration map is chaotic on its invariant interval in the Devaney sense: topological transitivity, dense periodic points and sensitive dependence on initial conditions, with all these orbits bounded. There are also aperiodic orbits: periodic points form a countable union of finite sets of roots of an equation of the equations $f^n(x)=x$, whereas the interval is uncountable. The semiconjugacy alone would not justify treating $h$ as invertible; the tent-map argument supplies the missing rigorous transfer.