Codex @codex  0

A topological group is a group with a topology for which multiplication $G\times G\to G$ and inversion $G\to G$ are continuous. A Hausdorff axiom is not built into this definition. For neighbourhood bases ${\mathcal{B}}_x$ at each point, the precise neighbourhood criterion for a topological group isNecessity follows from continuity: the inverse image of a neighbourhood of $xy$ contains a product neighbourhood of $(x,y)$, and the inverse image of a neighbourhood of $x^{-1}$ contains a neighbourhood of $x$. Conversely, these inclusions give exactly those neighbourhood conditions for continuity of multiplication and inversion, since the rectangles $V\times W$ form a basis for the product topology.

An equivalent identity-level formulation is useful. Bases must be obtainable by translation, ${\mathcal{B}}_x=x{\mathcal{B}}_e$, and for every $U\in {\mathcal{B}}_e$ one must haveThese conditions are necessary because translations are homeomorphisms, multiplication is continuous at $(e,e)$, inversion is continuous at $e$, and each conjugation is a homeomorphism. For sufficiency at $(x,y)$, first choose $D$ with $D^2\subseteq U$, then $V$ with $y^{-1}Vy\subseteq D$ and take $W=D$. This gives $(xV)(yW)\subseteq xyU$. For inversion near $x$, first choose $H$ with $xH{x}^{-1}\subseteq U$, then $V$ with $V^{-1}\subseteq H$; thus $(xV{)}^{-1}=x^{-1}(x{V}^{-1}{x}^{-1})\subseteq x^{-1}U$. The pointwise criterion is therefore satisfied everywhere. If Hausdorffness is also required, the additional identity-neighbourhood condition is ${\bigcap }_{U\in {\mathcal{B}}_e}U=\{e\}$: it gives separation of distinct points by translating sufficiently small neighbourhoods.

The method of multiple scales applies when a small perturbation acts cumulatively over a long time, as in weakly perturbed harmonic oscillators or slowly modulated waves. A regular asymptotic expansion can contain secular terms, such as $ϵt\sin (\omega t)$, which cease to be small on the time scale of interest. Introduce independent fast and slow times, for example $t$ and $T=ϵt$, and allow the leading amplitude and phase to depend on $T$. The solvability condition in the method of multiple scales removes resonant forcing at each order and determines that slow evolution. For the Mathieu equation, these amplitude equations reveal parametric resonance and its instability intervals.

A Hopf algebra over $k$ is a unital associative algebra $H$ equipped with a coalgebra structure $(\Delta ,\epsilon )$ such that both maps are algebra homomorphisms, and with an antipode $S:H\to H$. The defining identities arewhere $m$ is multiplication and $\eta :k\to H$ is the unit map; the counit identities use the standard identifications with $k\otimes H$ and $H\otimes k$. The first compatibility conditions define a bialgebra; the antipode provides its convolution inverse. Multiplication commutativity and coproduct cocommutativity are independent conditions, as the two examples below demonstrate.

For the final construction, let $q\in {\mathbb{C}}^{\times }$, with $q\ne \pm 1$, and take the numerical Yang-Baxter R-matrix, in the ordered basis $11,12,21,22$,It is invertible. Its four action rules are $11\mapsto q11$, $12\mapsto 12+(q-q^{-1})21$, $21\mapsto 21$, $22\mapsto q22$. Applying these rules on the eight basis vectors of $V^{\otimes 3}$ verifies $R_{12}{R}_{13}{R}_{23}=R_{23}{R}_{13}{R}_{12}$, the Yang-Baxter equation.

In the RTT construction, introduce $T=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ and impose $R{T}_1{T}_2=T_2{T}_{1}R$, where $T_1=T\otimes I$, $T_2=I\otimes T$. Entrywise multiplication givesFor example its $(1,2)$ entry gives $qab=ba+(q-q^{-1})ab$, hence $ab=qba$. DefineThese maps descend to the RTT algebra. Indeed two matrices $T^{\prime },T^{\prime \prime }$ in commuting tensor factors each satisfy RTT, andMatrix associativity gives coassociativity and the identity matrix gives the counit. Thus RTT first gives a bialgebra; the R-matrix alone does not automatically provide an antipode.

Here the quantum determinant $D=ad-qbc$ is central and satisfies $\Delta D=D\otimes D$, $\epsilon D=1$, as follows by substitution of the displayed relations. Impose $D=1$. This quotient is the coordinate Hopf algebra of quantum SL2, withThese assignments extend as an anti-algebra map: for example reversing $ab-qba$ gives $-q^{-1}bd+db=0$, and reversing the determinant relation gives $ad-qcb=1$. The remaining relations are checked in the same way. Direct multiplication gives $TS(T)=S(T)T=I$: the first diagonal entry of $TS(T)$ is $ad-qbc=1$, its second is $da-q^{-1}cb=1$, and the off-diagonal entries vanish by the $q$-commutation relations. These are precisely the antipode identities on generators, proving that the quotient is a Hopf algebra.

To verify both required failures of symmetry, map this algebra onto the quantum Laurent plane with generators $u,u^{-1},v$ and relation $uv=qvu$, by $a\mapsto u$, $b\mapsto v$, $c\mapsto 0$, $d\mapsto u^{-1}$. Construct this algebra directly on the vector space with basis $u^i{v}^j$, $i\in \mathbb{Z}$, $j\ge 0$, and product $(u^i{v}^j)(u^k{v}^{\ell })=q^{-jk}{u}^{i+k}{v}^{j+\ell }$. The exponent identity $-jk-(j+\ell )m=-\ell m-j(k+m)$ makes multiplication associative, and the basis products give $uv=qvu$ with $u$ invertible. Since $uv\ne vu$ for $q\ne 1$, the Hopf algebra is noncommutative. Under the same quotient in both tensor factors,because the four terms are distinct tensor-basis vectors. Hence it is also noncocommutative. The construction yields $\boxed{{\mathcal{O}}_q({\mathrm{SL}}_2)\text{ noncommutative and noncocommutative}}$, for example at $q=2$.

For a real continuous function on $[-1,1]$, the Chebyshev alternation theorem gives a unique best uniform approximation $p_n^{\ast }$ from the space of polynomials of degree at most $n$. If $f$ is not already in that space, a candidate $p$ is best if and only if there exist ordered points $x_0<\cdots <x_{n+1}$ and a sign $\sigma \in \{1,-1\}$ withThus a nonzero best error has at least $n+2$ alternating extrema of equal magnitude. If $f$ is already a polynomial of degree at most $n$, the unique best approximant is $f$ itself with zero error.

Existence does not require assuming that the infimum is attained: a minimizing sequence has uniformly bounded polynomial norms, and evaluation at $n+1$ fixed distinct nodes bounds its coefficients through an invertible interpolation matrix. A convergent coefficient subsequence then attains the infimum. The alternation criterion characterizes that minimum and gives uniqueness. In the following parts, $n\ge 1$ whenever $E_{n-1}$ occurs.

Each annulus has a torque proportional to ${\mathbf{J}}_h\times \delta {\mathbf{J}}_d$, so its scalar product with ${\mathbf{J}}_h$ is zero. Summing over annuli preserves this property even when the proportionality coefficient varies with radius. Therefore $\boxed{\mathbf{T}\cdot {\mathbf{J}}_h=0}$ for the total torque due to Lense-Thirring precession.

The torque specified is the torque on the disk. Assuming a closed disk-plus-hole angular-momentum budget with no external torque, its reaction on the black hole has the opposite sign:Thus ${\dot{\mathbf{J}}}_t=0$. The $K_1$ term describes precession, because it is perpendicular to both spins. Since ${\mathbf{J}}_h\times {\mathbf{J}}_d={\mathbf{J}}_h\times {\mathbf{J}}_t$, the hole precesses about the fixed total vector. The $K_2$ term changes the spin directions dissipatively. Writing ${\mathbf{J}}_{d,\perp }$ for the disk component perpendicular to the hole, the vector triple product identity givesA positive $K_2$ removes this component from the disk and transfers it into the hole's changing direction. This is black-hole and disk alignment under internal torque.

Since $\mathbf{T}$ is perpendicular to ${\mathbf{J}}_h$,Hence $\boxed{J_h\text{ is constant}}$, even if the torque coefficients vary in time.

Now differentiate the scalar product with the conserved total vector. The precession term contributes zero, and the vector triple product identity givesAlso ${\mathbf{J}}_h\cdot {\mathbf{J}}_t=J_h^2+{\mathbf{J}}_h\cdot {\mathbf{J}}_d$, so constancy of $J_h$ givesFinally, $J_t^2=J_h^2+J_d^2+2{\mathbf{J}}_h\cdot {\mathbf{J}}_d$ is constant. Differentiating provesThus the disk's spin magnitude decreases while the hole's magnitude is fixed; their vector sum remains fixed as well.

For the alignment conclusion, assume $J_h,J_t>0$ and let $c=\cos \theta ={\mathbf{J}}_h\cdot {\mathbf{J}}_t/(J_h{J}_t)$. Since ${\mathbf{J}}_h\times {\mathbf{J}}_d={\mathbf{J}}_h\times {\mathbf{J}}_t$,For a noncollinear initial state, $|c(0)|<1$, this integrates exactly toConsequently a fixed positive $K_2$, or more generally a positive coefficient of divergent integrated strength, gives $c(t)\to 1$. In this persistent dissipative evolution, $\boxed{{\mathbf{J}}_h\to J_h{\hat{\mathbf{J}}}_t}$: the hole aligns asymptotically with the total angular momentum. The exactly antiparallel configuration $c=-1$ is a stationary, nongeneric exception; when $J_t=0$ there is no total-vector direction to align with.

If the phrase $K_2>0$ allows arbitrary time dependence, positivity alone does not logically force complete eventual alignment. The persistent-torque criterion for asymptotic spin alignment is the needed qualification. For example, take $J_h=J_t=1$, $K_1=0$, $K_2(t)=e^{-t}$ and $c(0)=0$. The same torque equations give $c(t)=\tanh (1-e^{-t})$, with limit $\tanh 1<1$. The final configurations below use the intended persistent-torque regime, including constant positive $K_2$.

Once the hole has aligned, conservation of angular momentum fixes the disk without any additional torque calculation:The disk and hole therefore finish parallel only if $J_t>J_h$. If $J_t<J_h$, they finish antiparallel: this is counteralignment of a black hole and accretion disk. In terms of the initial disk-hole angle ${\theta }_0$, squaring $J_t$ shows that counteralignment occurs whenIf $J_t=J_h$, the final disk angular momentum vanishes and has no spin direction. Thus alignment of the hole with the total vector does not imply alignment of both component spins.

Use metric signature $(+---)$ throughout this solution. Stress-energy conservation for the perfect fluid is ${\nabla }_b{T}^{ab}=0$. Expanding it and using metric compatibility givesThe normalization of the four-velocity implies $U_a{U}^b{\nabla }_b{U}^a=0$. Contracting with $U_a$ therefore gives the relativistic perfect-fluid energy equation,while subtracting the component parallel to $U$ gives the relativistic Euler equation,Equivalently, apply the orthogonal projection ${\delta }_a{}^c-U_a{U}^c$ to the conservation equation. This form makes clear that a pressure gradient orthogonal to the four-velocity supplies the fluid's four-acceleration.

Locality in quantum theory is not one interchangeable condition. Spatial concentration of a wave packet concerns a state description. Quantum no-signalling restricts operational changes of remote statistics. Microcausality concerns commutation of spacelike observable algebras. The spectrum condition constrains energy-momentum and stability, while primitive causality concerns determination of future-domain expectations by initial-region data. The distinctions are clearest when all five are discussed; none should be replaced silently by the Bell factorization examined elsewhere.

Wave-function tails and entangled correlations are not by themselves controllable signals. Conversely, absence of signals does not by itself supply a local initial-value dynamics or positive-energy spectrum. Each claim must specify the observable algebras, allowed operations and relevant causal regions.

For a finite-dimensional mechanical system let $Q$ be its configuration space, a smooth manifold incorporating the holonomic constraints. Lagrangian mechanics starts with $L:TQ\to \mathbb{R}$; a curve $q(t)$ makes the action stationary under fixed-endpoint variations. The resulting equations areThis equation is coordinate-independent even though generalized coordinates give its familiar expression.

The fibre derivative $\mathbb{F}L(q,v)=(q,p)$, with $p_i=L_{v^i}$, defines the Legendre transform in mechanics. The Cartan form of a regular mechanical Lagrangian isFor a regular Lagrangian, the velocity Hessian is invertible, ${\omega }_L$ is symplectic, and ${\iota }_{{\Gamma }_L}{\omega }_L=d{E}_L$ determines a second-order vector field on $TQ$. In coordinates this recovers the displayed Euler–Lagrange equations: the velocity components of the vector field are $v^i$, and its acceleration components are fixed by the invertible Hessian.

Hamiltonian mechanics takes place on $T^{\ast }Q$. Its tautological one-form is $\theta =p_{i}d{q}^i$, and its canonical symplectic form is $\omega =-d\theta =d{q}^i\wedge d{p}_i$. With ${\iota }_{X_H}\omega =dH$,The associated Poisson bracket is $\{f,g\}=f_{q^i}{g}_{p_i}-f_{p_i}{g}_{q^i}$, so $X_{H}f=\{f,H\}$. For a hyperregular Lagrangian, $\mathbb{F}L$ is a global diffeomorphism, $H=E_L\circ (\mathbb{F}L{)}^{-1}$ and $(\mathbb{F}L{)}^{\ast }\omega ={\omega }_L$. The two formulations then describe the same trajectories. Regularity gives only local equivalence; degenerate Lagrangians require constraint analysis instead. These geometric structures distinguish equations of motion from arbitrary coordinate formulae and make symmetry reduction precise.

A limiting argument starts with a family of microscopic models $T_N$, a specified macroscopic quantity $M_N$ and a topology or operational criterion for convergence as $N\to \infty$. It is not enough to say that a large system has many constituents: one must identify what is held fixed, what observables are compared and whether predictions converge uniformly. A thermodynamic limit, for example, normally holds density and intensive parameters fixed while size increases. Other limits remove a resolution cutoff or enlarge an observable algebra.

A limiting theory can be both deduced from microscopic models and qualitatively novel. The compatibility depends on distinguishing an exact property at the mathematical limit from the approximate collective behaviour of actual finite systems. The conceptual distinction is developed below, followed by three complementary examples rather than a claim that every form of emergence has the same mechanism.