The Steinitz exchange lemma says that if $u_1,\dots ,u_r$ are linearly independent and $v_1,\dots ,v_s$ span the same vector space, then $r\le s$ and, after reordering the $v_j$, the list $u_1,\dots ,u_r,v_{r+1},\dots ,v_s$ still spans it.

To prove this, suppose $u_1,\dots ,u_k$ have already replaced $k$ of the spanning vectors. Express $u_{k+1}$ in that spanning list. At least one coefficient of an unreplaced $v_j$ is nonzero: otherwise $u_{k+1}$ lies in the span of $u_1,\dots ,u_k$, contradicting linear independence. Solve this expression for that $v_j$ and replace it by $u_{k+1}$. The new list still spans. If all $s$ vectors were replaced before the $u_i$ were exhausted, the next $u_i$ would be dependent on its predecessors. Hence $r\le s$, and the replacement can continue through $u_r$.

For two bases of sizes $r,s$, apply the Steinitz exchange lemma in both directions to get $r\le s\le r$. Thus every basis has the same size. Given a linearly independent set and any finite basis, the replacement procedure produces a finite spanning list containing that set. Successively delete any remaining vector dependent on the others; none of the prescribed independent vectors need be deleted, since one can instead delete a dependent supplementary vector. Equivalently, greedily retain only supplementary vectors outside the span already built. The resulting list is a basis containing the prescribed set.

For the three-dimensional example, the columns have matrixTherefore the three vectors are a basis. For the four-dimensional example,This is a nontrivial linear dependence, so the four vectors are not a basis. The distinction is an instance of the adjacent sums of a cyclic basis criterion: alternating coefficients close consistently around an even cycle, but not an odd one.

Put $S=X_1+X_2+X_3$. Independence gives a likelihood ratioSince ${\theta }_1>1$, this is strictly increasing in $S$. A threshold chosen between its values at $S=5$ and $S=6$ gives precisely the stated upper-tail critical region, so it is a likelihood-ratio test.

The sum has a Poisson distribution with mean $3\theta$. Thus the size of a statistical test and its statistical power at ${\theta }_1$ are

For the grouped-area problem, let $S_1={\sum }_{i=1}^m{Y}_i$, $S_2={\sum }_{i=m+1}^{2m}{Y}_i$, $T=S_1+S_2$. The null log likelihood, up to data-only constants, isThe maximum-likelihood estimate is $\hat{\lambda }=T/(3ma)$, giving fitted means $T/(3m)$ and $2T/(3m)$ in the two groups. Under the alternative, the fitted group means are ${\hat{\lambda }}_1=S_1/m$ and ${\hat{\lambda }}_2=S_2/m$.

Use the increasing generalized likelihood-ratio test convention $\Lambda ={\sup }_{H_1}L/{\sup }_{H_0}L\ge 1$, consistent with the printed positive $2\log \Lambda$. The exponential and factorial factors cancel, yielding the likelihood-ratio test of area-proportional Poisson meansTerms with zero count are interpreted as $0\log 0=0$; if $T=0$, take $\Lambda =1$. If the inverse ratio is used, the reported test statistic is instead $-2\log \Lambda$.

Under the null, the regular large-sample Wilks theorem approximation is $2\log \Lambda \sim {\chi }_1^2$: the alternative has two rate parameters and the null one. The value $15.67$ far exceeds the usual $1\%$ critical value, about $6.63$, and has approximate tail probability $7.5\times 10^{-5}$. Thus reject proportionality of the expected counts to area: the two groups show evidence of different territory densities. The statistic alone does not say which group has greater density; that requires $S_1/m$ versus $S_2/(2m)$. For small counts, an exact conditional test uses $S_1\mid T\sim \mathrm{Binomial}(T,1/3)$ under the null instead of the asymptotic calibration.

For a nonzero real vector $v$, the Householder transformation isWriting $P=v{v}^T/(v^{T}v)$ gives $P^T=P$, $P^2=P$, so $H^T=H$ and $H^{T}H=(I-2P{)}^2=I$. Thus $H$ is orthogonal. It reverses the component along $v$ and fixes its orthogonal complement.

For Householder QR decomposition, successively choose a reflector on each trailing row block to send its current column to a multiple of the first coordinate vector. Each step annihilates the subdiagonal entries without disturbing earlier columns. The reflector product gives an upper-trapezoidal $R$ and its transpose gives an orthogonal $Q$ with $A=QR$.

Here the first column has norm four. Taking $v=(-1,1,-1,1{)}^T$ gives $H_1=I-v{v}^T/2$ andThe second column already has no unwanted entries. On the last two rows, reflect using $(-1,2{)}^T$:This maps $(9,12{)}^T$ to $(15,0{)}^T$. Therefore a full QR factorization isBoth displayed factors arise from the explicit reflectors; in particular $Q^{T}Q=I_4$ and $QR=A$.

The first three diagonal entries of $R$ are nonzero, so the column rank is three and a consistent system has a unique solution. Consistency requires the last component of $Q^{T}b$ to vanish. For the given right side this component isHenceFor this value the transformed right side is $(3,2,5,0{)}^T$. Back substitution also gives $x=(-5/12,1/2,1/3{)}^T$. This illustrates the Householder reduction of an overdetermined consistent system.

The steady Euler equations for an inviscid fluid with no body force are $(\mathbf{u}\cdot \nabla )\mathbf{u}=-\nabla p/\rho$. Use the convective acceleration identityto obtainFor the question's streamfunction convention, $\mathbf{u}=({\psi }_y,-{\psi }_x,0)$, so $\mathbf{u}\times \mathbf{\omega }=-\omega \nabla \psi$. Constant $\omega$ therefore gives the Bernoulli function for planar constant-vorticity flowon the connected fluid region.

For circular streamlines, write $\mathbf{u}=w(r)\hat{\mathbf{\varphi }}$. The cylindrical curl gives $(rw{)}^{\prime }/r=\omega$, so $w=\omega r/2+C_1/r$. The outer wall condition gives $C_1=-2\omega a^2$. Choose the positive azimuthal orientation so that $w(a)=V$, as implicit in the requested sign for $\omega$. ThenReversing the circulation reverses $\omega$ but leaves the speed and pressure difference unchanged. For this uniform-vorticity circular flow in an annulus, one convenient streamfunction is $\psi =V(r^2/2-4a^2\log (r/a))/(3a)+C_2$.

The radial component of the Euler equations for an inviscid fluid is $p_r=\rho w^2/r$. Thus pressure increases outwards, andTherefore

Use the positively oriented unit circle and $z=e^{i\theta }$. Writing $d=\sqrt{a^2-b^2}$, the contour integral for a sine-squared trigonometric quotient becomesThere is a double pole at zero and simple poles at $r_{\pm }=(-a\pm d)/b$. Since $a>b>0$, $|r_{+}|<1$ and $|r_{-}|>1$. The coefficient of $z^{-1}$ at zero is $a/(i{b}^2)$. At $r=r_{+}$, the residue isbecause $(r-r^{-1}{)}^2=4d^2/b^2$. The residue theorem consequently givesFor the second integral, use $x=\cos (\theta /2)$ with $0\le \theta \le \pi$. The square root is $\sin (\theta /2)$, and reversing the integration limits givesThe last factor uses the symmetry of the integrand about $\pi$ over a full period. Therefore

A compact space is one for which every open cover has a finite subcover. A Hausdorff space has disjoint open neighbourhoods of any two distinct points.

Let $K$ be a compact subspace of a Hausdorff space $X$, and let $x\notin K$. For each $y\in K$, choose disjoint open neighbourhoods $U_y$ of $y$ and $V_y$ of $x$. Finitely many $U_{y_1},\dots ,U_{y_m}$ cover $K$. Their corresponding intersection $V_{y_1}\cap \cdots \cap V_{y_m}$ is an open neighbourhood of $x$ disjoint from $K$. Thus $X\setminus K$ is open, proving compact subspaces of a Hausdorff space are closed.

In particular, $C_1\cap C_2$ is closed as a subspace of compact $C_1$. A closed subset of a compact space is compact: add its open complement to an open cover, apply compactness to the whole space, and discard that extra open set. Hence $C_1\cap C_2$ is compact.

In the cocountable topology on $\mathbb{R}$, two nonempty open sets always intersect. Their two countable complements have countable union, which cannot exhaust the uncountable real line. Therefore this space is not Hausdorff.

Every finite subset is compact in any topology. Conversely, from any infinite subset $C$ select distinct points $c_1,c_2,\dots$ and defineEach $U_n$ is cocountable and open; the sets increase and their union is all of $\mathbb{R}$. They therefore cover $C$, but a finite selection is contained in some $U_N$, which misses the infinitely many $c_j$ with $j\ge N$. No finite subcover exists. Thus the compact subsets of a cocountable space are

Two Lipschitz equivalent norms $N_1,N_2$ satisfy $c{N}_1(v)\le N_2(v)\le C{N}_1(v)$ for all $v$, for constants $0<c\le C<\infty$. These inequalities give the same convergent sequences in both norms. A subset of a metric space is closed exactly when it contains the limits of all convergent sequences from that subset. Therefore closedness is the same in the two norms.

For finite dimension, fix a basis $e_1,\dots ,e_d$ and let $x={\sum }_j{x}_j{e}_j$. For any norm $N$,The reverse triangle inequality then makes $N$ continuous in the Euclidean coordinate norm. If no positive lower bound existed on the Euclidean unit sphere, choose $x_m$ there with $N(x_m)\to 0$. By the Bolzano-Weierstrass theorem, a subsequence converges to $x$ on the unit sphere. Continuity would give $N(x)=0$, although $x\ne 0$, a contradiction. Thus $N$ is bounded below by a positive multiple of the Euclidean norm. Comparing any two norms through that coordinate norm proves all norms in finite dimension are Lipschitz equivalent.

On $C[0,1]$, nonnegativity, absolute homogeneity and the triangle inequality for $\Vert f{\Vert }_1={\int }_0^1|f|$ follow from the corresponding real-number properties and integration. If a continuous $f$ is nonzero at a point, it has absolute value bounded below by a positive constant on a nontrivial one-sided or two-sided interval around that point. Its integral is then positive. Hence $\Vert f{\Vert }_1=0$ implies $f=0$, completing the norm axioms.

For $n\ge 2$, put $g_n(x)=\max \{1-n|x-1/2|,0\}$ and $f_n=1-g_n$. Then $f_n(1/2)=0$, butThe limit function $1$ is not in the indicated point evaluation kernel. Consequently that set is not closed in the integral norm. This is the point-evaluation kernel is not closed in the integral norm phenomenon.

Finally $\Vert g_n{\Vert }_{\infty }=1$ while $\Vert g_n{\Vert }_1=1/n$. Thus no constant can bound the uniform norm by a multiple of the integral norm. Although $\Vert f{\Vert }_1\le \Vert f{\Vert }_{\infty }$ on this unit interval, the converse comparison fails: the two norms are not Lipschitz equivalent. The finite-dimensional theorem cannot be applied to this infinite-dimensional function space.

If $|G|=p^{a}m$ with $p\nmid m$, a Sylow subgroup for $p$ is a subgroup of order $p^a$. The Sylow theorems assert: such subgroups exist; every $p$-subgroup is contained in a Sylow subgroup; all Sylow $p$-subgroups are conjugate; and their number $n_p$ divides $m$ and satisfies $n_p\equiv 1(\mathrm{mod}p)$.

For groups of order p squared q are not simple, if $p>q$, then $n_p\mid q$ and $n_p\equiv 1(\mathrm{mod}p)$ force $n_p=1$. Its unique Sylow subgroup is a nontrivial proper normal subgroup. Suppose instead $p<q$. If either Sylow count is one, the conclusion already follows. Otherwise $n_p=q$, while $n_q$ is either $p$ or $p^2$. The value $p$ is impossible because $0<p-1<q$. Thus $n_q=p^2$, and $q\mid (p^2-1)=(p-1)(p+1)$. Primality and $q>p$ imply $q\mid p+1$, hence $q=p+1$. The only consecutive primes are $p=2,q=3$.

In that exceptional order-$12$ case, four distinct Sylow $3$-subgroups contribute eight distinct nonidentity elements: their intersections are trivial. Only three nonidentity elements remain. Every subgroup of order four must contain exactly those remaining three, so there can be only one Sylow $2$-subgroup, contradicting the assumption that both counts were nontrivial. Therefore no group of order $p^{2}q$ with distinct primes is simple.

For the final factorization, normality of $H$ ensures $g^{-1}Pg$ is a Sylow $p$-subgroup of $H$. By Sylow conjugacy within $H$, choose $h\in H$ such that $g^{-1}Pg=h^{-1}Ph$. Then $k=g{h}^{-1}$ satisfiesThus $k\in N_G(P)$ and $g=kh$. We have proved the Frattini argumentThe normaliser factorization includes the case $P=\{1\}$, when its normalizer is all of $G$.

First apply momentum conservation to the rocket and the infinitesimal amount of expelled gas. During $dt$, the exhaust mass is $\alpha dt$ and its inertial velocity, to first order, is $v-u$. With no dust, the momentum balance isIt gives the rocket equation $\boxed{m\dot{v}=\alpha u}$, while $\dot{m}=-\alpha$.

For a dust-collecting rocket, the incoming dust mass is $\beta vdt$ with zero initial momentum. The same balance has rocket mass $m+(\beta v-\alpha )dt$ after the interval, soConsequentlyThe second term in the acceleration equation accounts for the momentum required to bring collected dust up to rocket speed.

Set $\lambda =\sqrt{\alpha /(\beta u)}$ and $V=\lambda u$, so $\alpha u=\beta V^2$. As long as the engines operate and $0\le v<V$, the velocity increases and time can be eliminated:Integrating from $v=0$, $m=m_0$, givesThus the required mass–velocity relation is

If $\lambda >1$, this formula would give $m\to 0$ as $v\to V^{-}$. In this interval, $\dot{m}=\beta (v-{\lambda }^{2}u)<0$. A real rocket retains positive body mass even after its fuel is gone, and collected dust only increases that residual mass. It therefore cannot follow this branch all the way to zero mass: its fuel must run out while $v<\lambda u$. Indeed the hypothetical time integral $dt/dv=m/[\beta (V^2-v^2)]$ is integrable at $V$ when $\lambda >1$, so even the formal zero-mass endpoint would occur at finite time.

If $0<\lambda <1$, the same relation instead gives $m\to \infty$ as $v\to V^{-}$. The mass first decreases, reaches its minimum at $v={\lambda }^{2}u$, and then increases because dust arrives faster than fuel is expelled. The time integral now diverges at $V$: under indefinitely maintained thrust, $v$ approaches $\lambda u$ asymptotically while stored dust grows without bound. At that limiting speed, thrust $\alpha u$ balances the dust-loading term $\beta v^2$, and $\dot{m}\to \beta u\lambda (1-\lambda )>0$. This is the physical reason the total rocket mass no longer signals fuel exhaustion. A rocket with a finite initial fuel supply still runs out at finite time $t=M_{\mathrm{fuel}}/\alpha$ and before reaching $V$; increasing total mass does not create new fuel.