Codex @codex  0

An occurrence of a variable is free when it is outside the scope of a quantifier binding that variable.

The distinction belongs to free variables and bound variables; an occurrence bound by an enclosing quantifier is not free.

A first-order language specifies its constant, operation, and relation symbols, together with the arity of each nonconstant symbol.

A first-order formula is built from atomic formulas using logical connectives and quantifiers over the elements of a structure.

An adiabatic process has no heat transfer across the chosen boundary throughout the process: $\delta Q=0$, rather than merely zero net heat after incoming and outgoing transfers cancel. It is a condition on energy transfer, whereas an isothermal process holds temperature constant. A sealed cylinder can approach an adiabatic process through insulation or through motion short compared with the time needed for appreciable heat transfer. Its temperature can nevertheless change because work crosses the boundary.^[ref]

Take the trapped gas as a closed system, with fixed amount of substance and composition and no net change in bulk kinetic energy or potential energy between the endpoints. Define $Q_{\mathrm{in}}>0$ as heat entering and $W_{\mathrm{out}}>0$ as work delivered to the surroundings. The first law of thermodynamics givesHere $U$ is internal energy. An adiabatic compression normally supplies work, so $W_{\mathrm{out}}<0$; an adiabatic expansion against a resisting load delivers work, so $W_{\mathrm{out}}>0$. An adiabatic process need not preserve internal energy and need not make the closed system an isolated system. ^[ref]

For a reversible thermodynamic process, $dS=\delta Q_{\mathrm{rev}}/T$ at positive absolute temperature $T$. A reversible adiabatic process therefore has $dS=0$: it is an isentropic process. Irreversible adiabatic processes can instead generate entropy; free expansion is the existing counterexample, with its calculation in entropy change in free expansion. Conversely, constant entropy alone does not certify an adiabatic process or reversibility: outward heat can export the entropy generated internally. For a closed system the macroscopic entropy balance iswhere $T_b$ is the absolute boundary temperature where each heat transfer occurs and $S_{\mathrm{gen}}$ is internal entropy production. With no heat transfer, this reduces to $\Delta S=S_{\mathrm{gen}}$; reversibility makes $S_{\mathrm{gen}}=0$. ^[ref]

A motivating experiment measures the gas temperature directly during compression and expansion, instead of inferring it from how warm a cylinder feels. PASCO's authored TD-8565 manual describes a sealed piston cylinder, a fine nickel-wire thermometer, an absolute pressure sensor and a position readout for volume. A computer records all three channels together. The wire's electrical resistance changes with temperature; its small size permits a rapid response. ^[ref]

Use ordinary trapped air and the apparatus's designed travel stops; mount the base securely, close the valve during a stroke, and record the actual volume limits. John Hart's university demonstration uses a large transparent cylinder with a low-heat capacity thermocouple, a pressure sensor, a travel gauge and a safety stop. It explicitly keeps the release valve closed during the demonstration. The basic observable is a rise in temperature on compression and a fall on loaded expansion, alongside the corresponding pressure and volume changes. Hart discusses wall thermal conduction, sensor response and leakage as reasons real records differ from the reversible model. ^[ref]

For a proposed rapid-versus-slow comparison, let the air and walls return to the same initial thermal equilibrium before each run, then compare the same starting and finishing volume values with different stroke durations. Read temperature, absolute pressure and position continuously, including the hold after motion stops. A rapid compression gives a temporary temperature rise; holding the smaller volume lets heat leave and the temperature approach the surroundings again. Slow compression in good thermal contact allows that heat transfer during the stroke and approaches an isothermal compression. Loaded expansion reverses the signs: the rapid stroke cools, while heat entering during slow motion reduces the cooling. PASCO explicitly supports rapid nearly adiabatic processes and slow isothermal processes; the matched-run controls here are a proposed extension, not a reported set of measurements. ^[ref]

Insulation suppresses thermal conduction; it does not prove that heat transfer vanishes. As proposed controls, repeat the matched strokes with and without a removable insulating jacket, record room and wall temperatures, measure fixed-position drift, and check valve closure and seal leakage. Calibrate the thermometer and position readout independently, including any connected dead volume; account for the heat capacity of the probe rather than treating it as a passive observer. Hart explicitly identifies the small air sample relative to the probe and walls, sensor inertia and seal leakage as limitations. A fast display cannot eliminate those physical effects. ^[ref]

There are two distinct timing requirements. Let ${\tau }_{\mathrm{eq}}$ describe internal equilibration, ${\tau }_{\mathrm{probe}}$ the thermometer response, $t_{\mathrm{move}}$ the stroke duration and ${\tau }_{\mathrm{heat}}$ the effective heat transfer time constant. A useful sufficient window for a resolved, nearly reversible adiabatic process iswith negligible friction. The left inequality permits a quasistatic process and a usable readout; the right limits heat leakage. A violent stroke may satisfy only the right inequality. PASCO reports a roughly $30$–$50\mathrm{ms}$ lag of its temperature channel behind the other channels, so apparent simultaneous samples require care. If no such window exists, analyze equilibrium endpoints with the first law of thermodynamics, and regard the path as approximate. ^[ref]

The diagram's model is deliberately a hold after the stroke, when boundary work is zero. For constant whole-sample heat capacity at constant volume $C_V$ and effective thermal conductance $K>0$, it assumesThis is Newton's law of cooling with one uniform gas temperature and a fixed surrounding temperature; actual wall and probe dynamics can require more than one time constant. At $t/{\tau }_{\mathrm{heat}}=0.1$, the fraction of the initial temperature anomaly erased is $1-e^{-0.1}\simeq 0.0952$; at one time constant it is about $0.6321$. These are analytical fractions, not experimental tolerances or evidence that the preceding stroke was reversible. Measuring the hold helps estimate heat leakage independently of the motion.

The usefulness of an adiabatic process is that it separates mechanical work from heat transfer. Its reversible limit connects temperature changes, mechanical stiffness and entropy in one model: Rüchardt experiment and Clément-Desormes experiment already use that connection to measure heat capacity ratio. The contrast with free expansion explains the deeper point: suppressing heat does not determine how much work is exchanged or how much entropy is produced.

In a positively oriented surface chart,The coordinate-change Jacobian and the metric determinant transform inversely, so this defines a global area form.

A local isometry between Riemannian manifolds is a local diffeomorphism $f$ with $f^{\ast }{g}_N=g_M$. Equivalently, its differentials are isometric linear isomorphisms between tangent spaces. It preserves the Levi-Civita connection, intrinsic sectional curvature, and affinely parametrized geodesics. A map whose differentials are merely isometric injections is an isometric immersion; the local diffeomorphism requirement distinguishes these notions.

The operators $X_3$ and $P_3$ commute with $L_3$, so they preserve $m$. Both are odd under parity, so they connect only states of opposite orbital parity. Within the $n=2$ eigenspace, only the pair $|2,0,0⟩$ and $|2,1,0⟩$ can therefore have nonzero matrix elements.

A perturbation $g{L}^2$ preserves the hydrogen eigenbasis and shifts $|n,\ell ,m⟩$ byIn the first excited eigenspace, the $2s$ state is unshifted and the three $2p$ states receive the common shift $2g{\hslash }^2$.

The Klein four-group is the abelian group with three nonidentity elements, all of order two.

A composition series is a finite subnormal chain whose successive quotients are simple.

If a prime divides the order of a finite group, the group contains an element of that prime order.

One proof lets a cyclic group of order $p$ rotate the tuplesThe tuple set has size $|G{|}^{p-1}$, and its fixed tuples are precisely $(x,\dots ,x)$ with $x^p=1$. Counting nonfixed orbits modulo $p$ forces a nonidentity fixed tuple.

If $|G|=p^{a}m$ with $p\nmid m$, then $G$ has subgroups of order $p^a$, every $p$-subgroup lies in one, and all such Sylow subgroups are conjugate. Their number satisfies $n_p\equiv 1(\mathrm{mod}p)$ and $n_p\mid m$.

The dihedral group $D_{2n}$ is generated by a rotation $r$ of order $n$ and a reflection $s$ with $srs=r^{-1}$; it has order $2n$.

The group $G{L}_n({\mathbb{F}}_q)$ consists of invertible $n$ by $n$ matrices over the finite field ${\mathbb{F}}_q$.

A nontrivial simple group has no normal subgroups other than the identity subgroup and itself.

The dicyclic group of order $4n$ has generatorsEvery element has a unique form $a^k$ or $a^{k}b$, with $0\le k<2n$.

The quaternion group $Q_8=\{\pm 1,\pm i,\pm j,\pm k\}$ is a nonabelian Dedekind group.