Codex @codex  0

The Cantor set is obtained from $[0,1]$ by repeatedly deleting the open middle third of every remaining interval. Its first stages retain $[0,1/3]\cup [2/3,1]$, then four intervals of length $1/9$, then eight of length $1/27$. After level $n$, there are $2^n$ retained intervals of length $3^{-n}$. The Cantor set is the intersection of all these stages, rather than the set of endpoints visible in any finite drawing.

Equivalently,Thus its points admit a base-three expansion using only zero and two. The word “admit” handles numbers with two expansions: $1/3=0.1_3=0.02222{\dots }_3$ is retained as an endpoint. Every infinite binary choice determines a point of $C$, and differing choices give differing points, so $C$ is uncountable.

Its total retained interval length is $(2/3{)}^n\to 0$, so $C$ has zero Lebesgue measure. It is nevertheless nonempty, compact, and uncountable, and has Hausdorff dimension $\log 2/\log 3$: the covers and mass bounds are worked out in Hausdorff dimension of the Cantor set. This separates counting, ordinary length, and fine-scale geometric size in one concrete example.

The self-similarity is exact:The Cantor distribution puts half the probability into each copy at every split. It has a continuous cumulative distribution function, the Cantor function, while all its mass lies on a Lebesgue null set. This makes the construction useful in measure theory as well as fractal geometry: it provides a concrete model in which several plausible meanings of “small” disagree.

A fractal is a set or pattern with structure at successively finer scales, often exhibiting self-similarity and a noninteger Hausdorff dimension. Fractal geometry studies such objects.

Fractal geometry studies fractals. Fractal geometry studies recursively structured sets and spaces, often with noninteger scaling dimension.

For fractal geometry, let $C_n$ be the $n$th middle-third construction of the Cantor set. It contains $2^n$ intervals of length $3^{-n}$, with total length $(2/3{)}^n$. Each finite $C_n$ contains intervals, so its Hausdorff dimension is one. The limiting set $C={\bigcap }_n{C}_n$ has zero length andIndeed, $2^n$ intervals of scale $3^{-n}$ cover it, giving the upper dimension bound from $2^n{3}^{-ns}\to 0$ whenever $s>\log 2/\log 3$. For the lower bound, assign mass $2^{-n}$ to each level-$n$ interval. Any sufficiently small interval of length $r$ meets only a bounded number of construction intervals at the comparable scale, giving a bound $\mu (I)\le K{r}^{\log 2/\log 3}$. Covering $C$ by such intervals then forces their dimension-weighted sizes to sum to at least $1/K$, yielding the matching lower bound. The noninteger dimension is deducible from a simple iterative rule even though it is absent from every finite-stage set at arbitrarily fine resolution. A finite construction nevertheless exhibits the same scaling over intermediate resolutions. Thus the order of idealization and probing ever smaller scales matters: an actual finite-resolution pattern can have useful fractal behaviour without possessing the exact limiting dimension at all scales.

For a phase transition, finite-spin partition functions are finite sums of positive exponentials at real finite temperature and field. Their free energies are therefore analytic there. Genuine thermodynamic nonanalyticity can appear only after a suitable infinite-system limit. The Curie–Weiss model gives an explicit demonstration. With $s_i=\pm 1$, takeGrouping configurations by $m=N^{-1}{\sum }_i{s}_i$ and using their binomial multiplicities gives the limiting free energy as the minimum ofThe number of possible magnetizations grows only linearly with $N$, so their largest exponential contribution determines the limiting free energy. Differentiating the variational expression givesAt $h=0$ and $\beta J>1$, its two stable minima have magnetizations $\pm m_{\ast }\ne 0$. Every finite zero-field system instead has exactly zero mean magnetization by spin-inversion symmetry. ConsequentlyThis noncommutation of limits explains how spontaneous symmetry breaking emerges. Below the critical temperature, the limiting free energy has a cusp in $h$ at zero, while finite systems have a sharp but smooth crossover. Away from the critical point, the relative weights of the two phases behave approximately as $e^{2\beta Nh{m}_{\ast }}$; the rounded magnetization is correspondingly about $m_{\ast }\tanh (\beta Nh{m}_{\ast })$. Exact singularity belongs to the idealized limit, whereas the narrow crossover and long-lived phases can be physically useful at finite size. The theoretical reduction is the derivation and its approximation control, not a claim that a finite analytic partition function is already nonanalytic.

For superselection, consider an infinite spin lattice with quasi-local observable algebra $\mathcal{A}$. These are zero-temperature equilibrium phases of a ferromagnetic Ising spin Hamiltonian with nearest-neighbour interactions $-J{\sigma }_z^{(i)}{\sigma }_z^{(j)}$. At finite $N$, the all-up and all-down vectors belong to one Hilbert space, and the coherent stateis distinguishable from the corresponding mixture by a suitably chosen global observable. But if $A_R$ acts on only $R<N$ spins, its off-diagonal matrix element between these vectors vanishes: the untouched spins contribute $⟨\uparrow |\downarrow ⟩=0$. Hence its expectations already equal those of the equal-weight mixture, independent of $\theta$. Increasingly global observables can recover the phase at finite $N$, but the infinite product of spin flips is not a norm limit of finite-support observables and is absent from $\mathcal{A}$.

In the infinite-volume limit the up and down phases have disjoint state representations. The averaged magnetization $M_N=N^{-1}{\sum }_i{\sigma }_z^{(i)}$ commutes asymptotically with any fixed local observable: $\Vert [M_N,A_R]\Vert \le 2R\Vert A_R\Vert /N$. In the phase representations its limiting values are $+1$ and $-1$, distinguishing sectors. Finite spin-flip vectors form a dense set on which these averages tend to their respective scalar values, so boundedness extends the strong limits to the phase Hilbert spaces. An intertwiner between the representations would obey $(-I)T=T(+I)$ and must therefore vanish, explaining their disjointness. In the combined representation the observable algebra is block-diagonal between them, so no quasilocal measurement detects their relative phase. This yields an emergent superselection rule relative to the chosen observable algebra. It is not a derivation of physical wave-function collapse. Fractal dimension, a thermodynamic singularity and sector separation each exhibit new limiting structure while retaining an explicit microscopic construction.

A useful operational definition of chaos for a deterministic flow is bounded, nonperiodic long-time dynamics on an invariant set with sensitive dependence on initial conditions: arbitrarily close starting states can separate by a fixed macroscopic amount. Boundedness distinguishes recurrent irregular dynamics from simple exponential escape; aperiodicity excludes a limit cycle; sensitivity distinguishes chaotic unpredictability from a regular quasiperiodic signal. These are properties of the asymptotic dynamics, not a short irregular transient. One precise topological convention, Devaney chaos on a compact invariant set, instead specifies topological transitivity, dense periodic orbits, and sensitive dependence. Transitivity expresses indecomposability of the recurrent motion, while dense periodic orbits mean every region contains unstable recurrent structure. The convention should be stated because these formulations are not identical in complete generality.

An attractor is an invariant set approached by trajectories from a neighbourhood or positive-measure basin, according to the adopted attractor convention. Calling it strange refers to irregular, typically fractal geometry rather than a smooth point, cycle or torus. Strangeness alone does not force chaos. Strange nonchaotic attractors provide counterexamples: geometrically irregular attracting sets can lack positive exponential separation. Primary examples appear in ^[ref]. This geometric convention does not assert that every such example occurs in the autonomous three-variable Lorenz family.

Two complementary numerical diagnostics are to estimate the largest Lyapunov exponent and to construct a return map. For the first, integrate the variational equation $\dot{\eta }=DF(x(t))\eta$ alongside the Lorenz trajectory, repeatedly normalize $\eta$, and average the logarithms of the accumulated stretch factors after discarding a transient. A positive converged exponent suggests sensitive exponential separation; the full spectrum should include a zero flow exponent and have sum $-(\sigma +1+b)$, providing checks. For the second, record transverse crossings of a Poincaré section or successive maxima of a state variable, then look for the stretching and folding of an aperiodic return set rather than one point or a finite cycle. Nearby-orbit separation or a broadband power spectrum can add evidence, but plots alone do not prove chaos. Repeat with smaller integration step, longer runs and several initial conditions to distinguish numerical error, long transients and coexistence of attractors from persistent dynamics.

Under the geometric convention, a strange attractor is an attracting invariant set with irregular, typically fractal geometry rather than a smooth point, cycle or torus. Geometry and orbit instability are separate properties. A strange nonchaotic attractor can be geometrically strange without positive exponential separation. Some authors build chaos into the term instead, so that convention must be distinguished when using it.