Codex @codex  0

The focal ratio, or f-number, of a converging optical instrument focused at infinity is the dimensionless quantitywhere $f>0$ is effective focal length and $D$ is the on-axis entrance pupil diameter. The notation f/4 means $N=4$, not $f=4$ in a particular unit. A $100\mathrm{mm}$ focal length with $D=25\mathrm{mm}$ gives f/4. Closing the aperture stop until $D=12.5\mathrm{mm}$ gives f/8 while retaining the same focal length. The mechanical opening need not equal $D$. ^[ref].

For a thin lens in air with a circular aperture stop at the thin lens, the converging bundle from a distant on-axis point has half-angle $\alpha$ satisfyingThe last step uses the small-angle approximation. For a compound optical lens, the cone is set by the image-side optical pupil and its distance from the receiving plane; the simple triangle is not an exact high-angle rule. At finite object distance a thin lens instead gives $v=f(1+|m|)$, by its imaging equation and transverse magnification, so its working cone corresponds to $v/D=N(1+|m|)$. Nominal focal ratio therefore does not alone specify close-range image irradiance. ^[ref].

Two useful scalings follow under stated conditions. For a fixed uniform incident beam and unchanged transmission, collected radiant flux scales as $D^2$. For an extended source with fixed radiance, the central image irradiance scales approximately as $N^{-2}$ in the paraxial approximation: the solid angle of the cone scales as $(D/f{)}^2$. For an ideal uniformly illuminated unobscured circular entrance pupil, the first dark ring of the point spread function has angular radius and focal plane radiusHere $\lambda$ is wavelength. These are first-zero radii, not diameters or a universal rule for resolving arbitrary objects. A proof outline evaluates the circular aperture's Fraunhofer diffraction using its Fourier transform, then uses the first zero of the resulting Bessel function. ^[ref].

At $\lambda =0.55\mu \mathrm{m}$, the example's f/4 and f/8 first-ring radii are $2.684$ and $5.368\mu \mathrm{m}$. Closing the aperture stop halves $D$, quarters collected radiant flux and doubles this diffraction radius. It can also reduce optical aberrations by excluding outer light rays; actual sharpness reflects both effects. This explains why a smaller aperture need not produce a sharper image. ^[ref].

A proposed optical bench check puts a fixed collimator before a converging thin lens and a photodetector large enough to collect the entire image behind it. Compare two centred aperture stops of known diameters while fixing source output, detector gain and integration time. The integrated signal tests the $D^2$ collection law; a spatially resolved optical camera at the focal plane can separately measure the point spread function. Repeat a dark reading and the first aperture stop, and check that neither the incoming beam nor detector clips either bundle. A resolved pinhole source, imperfect collimation, optical aberrations and detector pixel size can dominate the apparent spot width; a single peak reading does not measure total collected radiant flux.

Consider an ideal coherent monochromatic wave from an unresolved source on the optical axis, a uniform circular entrance pupil of diameter $D$, and ideal relay optics without wavefront errors. In the scalar Fraunhofer diffraction approximation, a Fourier transform carries the pupil's complex amplitude into the image plane. Choose dimensionless pupil coordinates $\mathbf{x}$ in units of $D$ and angular coordinates $\mathbf{u}=D\mathbf{\theta }/\lambda$, where $\lambda$ is the wavelength. DefineThe coronagraphic focal plane mask has transmission $M=1-W$, with $W=1$ inside the occulting disk and $W=0$ outside. Thus the field immediately after the mask is $MA$. Outside the disk $M=1$, so the local wave intensity is still $|A{|}^2$: hiding the core has left those rings intact. Reimaging an unlimited pupil giveswhere $\ast$ is convolution, $L$ is the Lyot stop transmission, and the proportionality constant in the irradiance is omitted. Coordinate reversals from physical relay optics are absorbed into the coordinate choice. These equations use wave amplitudes throughout propagation; applying a Fourier transform to wave intensity would give a different and incorrect model. This is the pupil/image calculation described by Sivaramakrishnan et al.; the circular disk and numerical choices below are our illustrative specialization. ^[ref].

The subtraction explains the beauty of the arrangement: in much of the interior, the original pupil field and the convolution term nearly cancel. Near a boundary, that cancellation is incomplete. The Lyot stop can therefore block a region containing disproportionately much unwanted light. A hard-edged coronagraphic focal plane mask has a transform with extended tails, so the interior need not be perfectly dark. With an unlimited relay, $L=1$ gives $A_{\mathrm{final}}=MA$ exactly: no further ring suppression occurs. A stop covering the full original optical pupil instead uses $L=P$ and already clips field outside the optical pupil; an undersized Lyot stop clips more of the remaining rim.

The toy uses a coronagraphic focal plane mask of angular radius $3\lambda /D$ and a Lyot stop of diameter $0.8D$. The discrete Fourier transform grid has $1024\times 1024$ samples, with 128 across $D$ and angular sampling $0.125\lambda /D$; it approximates the continuous equations on a finite periodic domain. The plot averages wave intensity in annuli of width $0.25\lambda /D$. Over the annulus $4\le |\mathbf{u}|\le 10$, the mean wave intensity divided by the direct stellar peak is approximately $1.40\times 10^{-4}$ without a coronagraph, the same with only the focal mask and an unlimited relay, $4.44\times 10^{-5}$ with the mask and full pupil, and $1.66\times 10^{-6}$ with the mask and $0.8D$ Lyot stop. Thus the undersized opening reduces this particular annular mean about 27-fold relative to the full-pupil comparison. It does not suppress every direction by that factor, and these values do not predict a real instrument's detection limit.

The ideal toy excludes a central obstruction, support vanes, scattering of light, wavefront errors, atmospheric effects, a spread of wavelengths, pointing drift and detector noise. It also contains only the star: no simulated planet or solar corona. For a far off-axis source whose image misses the coronagraphic focal plane mask, the continuous geometric coronagraph throughput of the $0.8D$ opening tends to $0.8^2=0.64$ relative to the full disk. Rejecting stellar light therefore costs some desired light as well. Enlarging the coronagraphic focal plane mask narrows the characteristic scale of its pupil-plane transform by the scaling property of the Fourier transform, but also hides a larger neighborhood of the source.

With fixed spectral resolving power, wavelength interval, diffraction grating geometry, photodetector sampling and collimator focal ratio, a beam diameter scales as the spaxel width $\theta$, but the optical camera focal length stays fixed. A simple on-axis beam-envelope model therefore gives collimator and disperser volumes proportional to ${\theta }^3$ and optical camera volume proportional to ${\theta }^2$. With a fixed number of spaxels per photodetector, replication multiplies these volumes by $M\propto {\theta }^{-2}$. A fixed photodetector field adds transverse clearances and changes the small-$\theta$ limit; these exponents are not universal mechanical-volume laws.

For paraxial rays, the Lagrange optical invariant is $H=n(y_1{u}_2-y_2{u}_1)$. Lossless paraxial ray transfer preserves this quantity: in coordinates $(y,nu)$, free propagation and a thin lens act by matrices with determinant one, which preserve the oriented area of two ray vectors. Consequently a full angular optical slit width $\theta$ at an optical pupil diameter $D$ satisfies $D\theta =A_{\mathrm{cam}}p/f_{\mathrm{cam}}$ for its image width $p$ and optical camera optical pupil width $A_{\mathrm{cam}}$ in the same meridional plane.

An optical pinhole is a small aperture used to select a narrow part of a beam or approximate an optical point source. Its finite diameter and diffraction limit that approximation; an illuminated optical pinhole at a collimator's optical focus supplies a narrow bundle of nearly parallel light rays.

The optical transfer function is the Fourier transform of the normalized intensity point spread function for incoherent imaging with translation invariance, using spatial frequency in cycles per unit length. It has $H(0)=1$. For an ideal circular pupil it is the normalized pupil autocorrelation, with cutoff $2\mathrm{NA}/{\lambda }_0$ in object coordinates: no overlap remains when two pupil copies are shifted apart by more than one pupil diameter.^[ref]

In $\mathbb{R}$, takeThe sets are nonempty, closed and strictly descending, but their intersection is empty. Their diameters are infinite, so the shrinking-diameter assumption is essential.

In $\mathbb{R}$, takeThese are nonempty descending sets of diameter $1/n$, with empty intersection. They are not closed sets, so there is no contradiction with the Cantor intersection theorem for the complete metric space $\mathbb{R}$.