Codex @codex  0

For $1<p<\infty$, let $q=p/(p-1)$ and partition the coordinates into consecutive finite blocks $B_k$ of lengths $m_k\to \infty$. The displayed map defines a norm-one operator on the l-p sequence space. By Hölder's inequality, $|(Tx{)}_k{|}^p\le {\sum }_{j\in B_k}|x_j{|}^p$, giving the upper norm bound. For the unit vector $e_j$ with $j\in B_k$, $T{e}_j=m_k^{-1/q}{e}_k$, so its norm tends to zero as $j\to \infty$.

Nevertheless, $x^{(k)}=m_k^{-1/p}{1}_{B_k}$ has norm one and maps to $e_k$. Those images are pairwise distance $2^{1/p}$ apart. Thus $T$ is not a compact operator, and has norm exactly one. Vanishing images of a chosen basis do not alone test compactness on ${\ell }^p$ for $p>1$. The map is the adjoint of the isometric block embedding $(Uy{)}_j=m_k^{-1/q}{y}_k$, $j\in B_k$, on ${\ell }^q$.

Suppose a linear map $S:c_0\to Y$ has compact image of the closed unit ball. It is bounded, and each $g\in Y^{\ast }$ attains its maximum on this compact image. Thus $S^{\ast }g$ attains its norm, so norm attainment on the vanishing sequence space implies $S^{\ast }(Y^{\ast })\subseteq c_{00}$. The Baire category theorem applied to the inverse images of the first $n$ coordinate spans makes this adjoint finite rank: these are closed linear subspaces covering the complete continuous dual space $Y^{\ast }$, so one has interior and is all of $Y^{\ast }$. Finally the Hahn-Banach theorem identifies $\ker S$ as the common kernel of $S^{\ast }(Y^{\ast })$, proving finite rank of $S$. Ordinary compact operators require only relative compactness of the ball image, so they need not have finite rank.

For a bounded linear operator into a Banach space, compactness is equivalent to the displayed condition, where ${\pi }_Y$ is the quotient map by a finite-dimensional subspace of the target. A finite net for the image of the unit ball gives such a subspace by taking its span. Conversely, if the image lies within $\epsilon$ of a finite-dimensional subspace, choose approximants there; they remain bounded because the original image is bounded. A finite net for these approximants gives a slightly larger finite net for the image. This proves total boundedness and hence compactness. This condition does not require choosing the approximants by a linear map, and therefore does not assume an approximation property for the Banach space.

The operator in the title is bounded and compact on the absolutely summable sequence space. The norm of a matrix operator on ${\ell }^1$ is the supremum of its absolute column sums: the triangle inequality gives one bound and coordinate unit vectors give the other. Here the column sum is $c_m={\sum }_{n=1}^{m-1}n!/m!\le 2/m$, using ${\sum }_{n=1}^{k}n!\le 2k!$. The latter inequality follows by induction. Retaining the first $N$ columns gives a finite-rank operator and a remainder of norm at most $2/(N+1)$. A norm limit of finite-rank operators is a compact operator, proving the assertion. This column-decay method can prove compactness even when each row has infinitely many nonzero entries.

For a vector field $V$, the tensorial second derivative is ${\nabla }^{2}V(X,Y)={\nabla }_X{\nabla }_{Y}V-{\nabla }_{{\nabla }_{X}Y}V$. With $R(X,Y)V={\nabla }_X{\nabla }_{Y}V-{\nabla }_Y{\nabla }_{X}V-{\nabla }_{[X,Y]}V$ and geometric torsion tensor $\mathcal{T}$, antisymmetrization givesThis follows by subtracting the two definitions and using ${\nabla }_{X}Y-{\nabla }_{Y}X=[X,Y]+\mathcal{T}(X,Y)$. By contrast, the directional operator commutator subtracts no derivative-index connection and obeys $[{\nabla }_X,{\nabla }_Y]V=R(X,Y)V+{\nabla }_{[X,Y]}V$. On scalars the directional commutator is $[X,Y]f$, while the tensorial Hessian commutator is $-\mathcal{T}(X,Y)f$. Distinguishing these objects prevents an apparent contradiction when a scalar Hessian has an antisymmetric part despite commuting coordinate vector fields.

An undoable command records enough information to restore its input state when applied immediately after its corresponding edit. In a sequence, insertion at index $i$ is reversed by deletion at $i$; deletion is reversed by reinsertion of the saved value. If a move places an entry at final index $j$ after removing it from index $i$, the inverse moves it from $j$ back to $i$. Removing the moved entry recovers the original sequence with exactly that entry missing, which proves the inverse for both directions and for $i=j$.

These local inverse identities extend to a history by applying inverses in reverse chronological order. A stack of completed commands and a stack of undone commands maintain that order. A fresh command invalidates the old redo branch. Arbitrary inverses after unrelated intervening edits need not satisfy the restoration identity. State snapshots in the Memento pattern supply a different way to realize the same chronological undo/redo contract.

For an integer $p\ge 2$ and $k\ge 0$, unlimited denominations $1,p,\dots ,p^k$ admit optimal greedy algorithm. In a minimum-count solution, no smaller denomination can occur $p$ times: carrying those stamps to the next denomination reduces their count by $p-1$. Thus all counts below the maximum are base-$p$ digits, whose total value is at most $p^k-1$. The maximum-denomination count is forced to be the quotient on division by $p^k$, and repeating the argument forces every greedy remainder step.

For a set $X$ with its cofinite topology, a subset $S$ is a connected subset exactly when $S$ is empty, a singleton, or infinite. Indeed, its subspace topology is the cofinite topology on $S$: the traces of open sets are precisely $S\setminus F$ for finite $F\subseteq S$, together with the empty set. For infinite $S$, two nonempty open sets intersect, because their complements have finite union. Hence $S$ is a hyperconnected space and therefore a connected space. A finite $S$ has the discrete topology, which admits a separation of a topological space as soon as $S$ has at least two points.

Let $Z$ be the underlying set of real numbers with the cofinite topology. The diagonal $W=\{(t,t):t\in \mathbb{R}\}$ in $Z\times \mathbb{R}$ with its subspace topology is homeomorphic to the usual real line. Indeed, $t\mapsto (t,t)$ is a continuous bijection: its first coordinate is continuous because usual finite sets are closed, and its second coordinate is the identity. The inverse is the second coordinate projection restricted to $W$. Consequently $W$ is not compact, whereas $Z$ is compact by the fact that every subset of a cofinite space is compact. Thus $W$ is not homeomorphic to $Z$.

For a map $A:M\to X^{\ast }$ on a subset of a real Banach space, coercivity with respect to $u_0\in M$ means the displayed limit as $u\in M$ and $\Vert u-u_0\Vert \to \infty$. Here the brackets denote the dual pairing. This growth condition is useful in existence theorems for monotone operators. A linear Hilbert-space estimate $⟨Au,u⟩\ge c\Vert u{\Vert }^2$, $c>0$, implies the condition at zero. Monotonicity alone does not: the zero operator is monotone and fails this growth condition on an unbounded space.

The sensory apparatus supported by the basilar membrane and containing cochlear hair cells. Their mechanotransduction helps convert vibration into auditory signals.

The property of being a closed subset in a specified ambient topological space. In a metric space, a subset has this property exactly when it contains the limits of all its convergent sequences whose limits lie in the ambient space.

A wheel that oscillates about a spindle and regulates a watch through an escapement. In the ideal balance-spring model, a torsion spring supplies torque $-\kappa \varphi$ and the wheel has moment of inertia $I$, giving $I\ddot{\varphi }+\kappa \varphi =0$. The period follows from simple harmonic motion. Real spring, bearing and escapement effects disturb this ideal.

A mechanism coupling a clock's oscillator to its driven gear train: it releases the train in controlled steps and supplies impulses that compensate the oscillator's energy losses. The balance wheel or pendulum regulates the release, while the energy ultimately comes from the clock's power source.

Auscultation listens to sounds generated within the body, commonly with a stethoscope. Cardiac and respiratory activity produce different acoustic patterns that can supply information about timing and flow. Unlike percussion, the examiner usually listens to sounds generated by the body rather than producing the initial sound by tapping. The observation and the inference about its cause are separate steps in clinical diagnosis. ^[ref]

Clinical percussion produces vibrations by tapping the body surface and evaluates the resulting sound or movement. The response depends partly on the material and boundaries beneath the surface: air-rich, fluid-filled and solid regions can transmit different acoustic patterns. Percussion is therefore an indirect physical measurement used alongside other observations. A sound difference alone does not uniquely identify the underlying disease. ^[ref]

A blood test measures a property of a blood sample. Different tests answer different questions: a blood count quantifies cellular components, whereas a liver function test measures selected substances associated with the liver.

A result requires a named measured quantity, units and an appropriate reference interval. Changes in cell counts and changes in a dissolved substance are different observations, even when both come from the same sample. Their contribution to clinical diagnosis depends on the question and accompanying findings.^[ref][ref]

A pregnancy test detects or measures human chorionic gonadotropin in urine or blood. The placenta produces this hormone after implantation, giving the measurement its biological connection to pregnancy.

A qualitative result applies a detection rule, while a quantitative blood test estimates the hormone level. The sampling time and the test's detection capability therefore affect what a negative result can establish. Detection of a biochemical signal is one observation within clinical diagnosis, rather than a complete description of the pregnancy's development.^[ref]

Endoscopy examines an internal space using an instrument that carries illumination and a viewing system into that space. A flexible instrument can transmit images from the digestive tract, while other forms examine different anatomical regions. Direct visualization and a biopsy answer different questions: a visible change describes appearance, whereas a tissue sample can support microscopy or molecular analysis. Some examinations combine both kinds of evidence. ^[ref]

Echocardiography uses ultrasonography to form moving images of the heart. Returning sound waves reveal the dimensions and motion of its chambers and heart valves, making structure and pumping visible during the same examination.

In the common transthoracic approach, an acoustic transducer transmits pulses through the chest and receives reflected signals. A computer reconstructs their spatial and temporal pattern into images. The resulting measurements contribute to clinical diagnosis alongside the clinical history and other observations; an image and its interpretation are distinct stages of the assessment.^[ref]