Codex @codex  0

For the vertical slit, choose the branch of $\sqrt{z^2+1}$ asymptotic to $z$ at infinity. It is the mapping-out function of a compact H-hull for $(0,i]$, andThus half-plane capacity of a vertical slit givesThe endpoint $0$ is merely part of the boundary closure convention.

For the filled upper half-disc $K=\{z\in \mathbb{H}:|z|\le 1\}$, the conformal map $g_K(z)=z+1/z$ maps the exterior half-disc onto $\mathbb{H}$. Indeed, it sends the semicircle to $[-2,2]$, the remaining real boundary to the complementary intervals, and its inverse is the branch of $(w+\sqrt{w^2-4})/2$ asymptotic to $w$. Hence half-plane capacity of a half-disc givesIf $\mathbb{D}$ denotes the open unit disc, the printed $\mathbb{H}\cap \mathbb{D}$ is not relatively closed and is literally not a compact H-hull. The intended value is the one for its filled relative closure $K$. With a closed-disc convention the displayed notation already represents that hull.

For a nonempty compact H-hull $A$, its closure meets $\mathbb{R}$: otherwise a nonempty compact set strictly inside $\mathbb{H}$ would be separated from the lower half-plane in the complement, contradicting the simply connected domain condition for $\mathbb{H}\setminus A$. Choose $x\in \overline{A}\cap \mathbb{R}$ and put $d=\mathrm{diam}(A)$. Taking limits in the definition of diameter shows $|z-x|\le d$ for every $z\in A$. Thus $A$ lies in the filled half-disc of radius $d$ centered at $x$. Its half-plane capacity is $d^2$ by scaling and translation of half-plane capacity. Using monotonicity of half-plane capacity,For the empty compact H-hull, use diameter zero. This proves the unit-constant version of half-plane capacity is bounded by squared diameter; no claim of optimality of the constant is needed.

Write $g_s=g_{K_s}$ and let $K_{s,t}$ be the relatively closed hull obtained by mapping the increment $K_t\setminus K_s$ through $g_s$. For a bounded compact H-hull $L$, defineThe Loewner local growth property isOne can equivalently use diameter: for a nonempty compact H-hull, $\mathrm{diam}(L)\le 2\mathrm{rad}(L)\le 2\mathrm{diam}(L)$, using a point of its closure on $\mathbb{R}$ for the second inequality. The condition concerns the mapped increment, not the original difference $K_{t+h}\setminus K_t$, which can be large when a narrow opening closes. It makes growth occur near one continuous Loewner driving function rather than by a sudden addition at separated boundary points.

Use the Chordal Loewner equation ${\partial }_t{g}_t=2/(g_t-U_t)$ with $U_t=\sqrt{\kappa }{B}_t$. For a fixed $z\in \mathbb{H}$, let $T_z$ be its Loewner swallowing time, and write $Z_t=X_t+i{Y}_t=g_t(z)-U_t$ and $J_t=|g_t^{\prime }(z)|$ before that time. The Loewner conformal radius is ${{\rm Y}}_t=Y_t/J_t$, half of the conformal radius of $D_t=\mathbb{H}\setminus K_t$ at $z$. The Koebe quarter theorem bounds the conformal radius above by four times the distance to the boundary. For the reverse comparison, if $\varphi :\mathbb{D}\to D_t$ maps zero to $z$, apply the Schwarz lemma to ${\varphi }^{-1}(z+dw)$ on the unit disc, where $d=\mathrm{dist}(z,\partial D_t)$; it gives $d\le |{\varphi }^{\prime }(0)|$. ThusWe use the basic trace theorems that, for $\kappa >8$, the Loewner trace is continuous and Transience of chordal SLE gives $|\gamma (t)|\to \infty$. These facts make its image relatively closed in $\mathbb{H}$; they do not assume the space-filling conclusion. The continuity and transience statements are available in Rohde and Schramm's basic trace theorems.

Take $\rho =\kappa -8>0$ in the supplied SLE interior-point martingale. The derivative exponent vanishes, leavingA nonnegative local martingale is a supermartingale. Applying the optional stopping theorem after localization at its first hit of a level $R$ gives the maximal inequality for a nonnegative supermartingaleThus $C={\sup }_{t<T_z}{M}_t<\infty$ almost surely.

Suppose the Loewner trace avoids some open ball $B(z,r)$ whose closure is inside $\mathbb{H}$. Before $T_z$, the whole open ball is in $D_t$: a connected open ball disjoint from the trace cannot be partly in the unbounded connected component. Hence ${{\rm Y}}_t\ge r/2$. The bound on $M$ forces $S_t\ge c>0$ throughout this interval, for a positive random constant $c$.

The Chordal Loewner equation and its derivative yieldThe first identity forces $T_z<\infty$, since otherwise $Y_t^2\le Y_0^2-4c^{2}t$ becomes negative. At a finite maximal lifetime, $Y_t\to 0$; otherwise the continuous Loewner driving function and the ordinary differential equation continue past that time. Integrating the last identity, using $S_t\ge c$, givescontradicting ${{\rm Y}}_t\ge r/2$. Thus every fixed rational ball inside $\mathbb{H}$ is hit almost surely. A countable intersection makes the trace a dense subset almost surely, and its relatively closed image, established by continuity and transience, then contains all of $\mathbb{H}$:This proves space-filling SLE above parameter eight. It rules out unvisited open regions, rather than inferring visits merely from membership in the filled compact H-hulls. The choice $\rho =\kappa -8$ does not address the critical value eight.

Let ${\psi }_A=g_A-g_A(0)$, and take another admissible compact H-hull $B$ in the image complex upper half-plane. Form the hull $C=A\cup {\psi }_A^{-1}(B)$, including its relative closure and filling bounded complementary components if needed. Its mapping-out function of a compact H-hull isIndeed, this composition maps the correct remaining domain onto $\mathbb{H}$, and its constant term at infinity is zero. Since ${\psi }_A(0)=0$, the chain rule givesBoth derivatives are positive by local Schwarz reflection principle and boundary orientation. Therefore the assumed avoidance formula givesThe conditioning event has positive probability because $g_A^{\prime }(0)>0$.

It remains to justify that these equalities determine the law. For a proper simple curve from $0$ to infinity, its complement has two sides, each connected to an interval of the real boundary. Any point off the curve lies in a thin polygonal tube attached to that boundary which avoids both the curve and zero; its closure, with an end cap, is an admissible compact H-hull. A countable collection of tubes with rational geometry therefore reconstructs the complement as the union of the tubes avoided by the curve.

The joint distribution of their avoidance indicators is also determined. Avoiding finitely many tubes is equivalent to avoiding the filled union when that union is admissible. If the union separates $0$ from infinity, avoidance is impossible and the joint probability is zero. Otherwise a simple curve cannot enter the bounded complementary pockets without crossing the union, so filling does not change the avoidance event. Finite joint avoidance probabilities consequently come from the same single-hull formulas; inclusion-exclusion principle supplies every finite indicator pattern. These patterns determine the random complement and hence the unparameterized simple trace.

Thus avoidance probabilities determine a simple chordal curve law, and the conditional image law above equals the original law. This proves the derivative avoidance criterion for chordal restriction, giving the chordal restriction property. Simplicity is essential to this reconstruction argument; it should not be replaced by a claim that arbitrary random closed sets are determined by these hull-avoidance tests.

We first establish the nilradical as the intersection of prime ideals:Every nilpotent element belongs to every prime ideal. In the other direction, if $a$ is not nilpotent, the multiplicative subset $T=\{1,a,a^2,\dots \}$ avoids zero. By the Zorn lemma, there is an ideal $J$ maximal among those disjoint from $T$. It is a prime ideal: if $uv\in J$ and neither $u$ nor $v$ belongs to $J$, then $J+(u)$ and $J+(v)$ each meet $T$. Multiplying elements in these two intersections gives an element of $T$ lying in $J$, a contradiction. Since $a\notin J$, this proves the identity. The identity also holds for the zero ring, with the intersection over an empty family interpreted as the whole ring.

A Zariski-closed set $V_R(I)$ contains the image of $f$ exactly whenThe last equality follows because $\phi (r)$ is a nilpotent element exactly when $r^n\in \ker \phi$ for some $n\ge 1$. Consequently the smallest Zariski-closed set containing the image, namely its closure, isThis is all of $\mathrm{Spec}R$ precisely when the kernel of a ring homomorphism is contained in every prime ideal of $R$. Hence

The answer is no. Let $X_0=\mathbb{N}$, regarded as one point of the space of infinite subsets of the natural numbers, and putThe displayed union makes $O$ an open set in the Ellentuck topology. On the other hand, every basic neighbourhood $[s,A]$ of $X_0$ contains a different infinite set: keep $s$ and remove one element from its infinite remaining tail. This other point belongs to $O$. Therefore $X_0$ is in the closure of $O$ but not in $O$, soThe fact that basic neighbourhoods are clopen sets does not make arbitrary unions of them closed.

This is always true. The continuous image $f(X)$ of a connected space is connected. Its closure is also connected: if the closure were separated into disjoint nonempty relatively open sets, connectedness would put $f(X)$ inside one of them, preventing its closure from meeting the other. Since $f(X)$ is dense in $Y$, its closure is $Y$, so $Y$ is connected.

A topological space is connected when it is not the union of two disjoint nonempty open subsets. It is path-connected when every two points $x,y$ can be joined by a path, meaning a continuous map $\gamma :[0,1]\to X$ with $\gamma (0)=x$ and $\gamma (1)=y$.

To prove that $[0,1]$ is connected, suppose it had a separation $[0,1]=U\cup V$ with $0\in U$. LetWhichever of $U$ or $V$ contains $c$, its relative openness supplies an interval about $c$ that contradicts either the definition of the supremum or the fact that all points immediately below $c$ lie in $U$. Thus no separation exists.

If $X$ is path-connected and $X=U\cup V$ were a separation, choose $u\in U$ and $v\in V$. A path from $u$ to $v$ would make $[0,1]$ the union of the disjoint nonempty open sets ${\gamma }^{-1}(U)$ and ${\gamma }^{-1}(V)$, contradicting the connectedness just proved. Hence

Now let $X\subseteq {\mathbb{R}}^n$ be open. Every point $x\in X$ lies in an open ball contained in $X$, and an open ball is path-connected by straight line segments. It follows that every path component of $X$ is open. If there were more than one path component, one component and the union of all the others would separate $X$. Consequently a connected open subset of Euclidean space is path-connected. The converse follows from the preceding implication.

The same argument answers the locally Euclidean question affirmatively. Every point has a neighbourhood homeomorphic to an open subset of ${\mathbb{R}}^n$, hence a path-connected open neighbourhood after restricting to a sufficiently small ball. Thus $X$ is locally path-connected, its path components are open, and connectedness forces there to be only one.

For the final example, putThe set $Y$ is path-connected: each vertical segment $C_n$ meets the horizontal segment $A$. The segment $B$ is also path-connected and lies in the closure of $Y$, because $(1/n,y)\to (0,y)$ for every $y\in [1/2,1]$. A connected set together with a connected subset of its closure is connected, so

It is not path-connected. The image of the first coordinate of any path in $X$ lies inbut, while the path has positive height, its first coordinate lies in the totally disconnected set $\{0\}\cup \{1/n:n\ge 1\}$. A path beginning on $B$ cannot leave $x=0$ before reaching height zero, and $X$ contains no point $(0,y)$ with $0\le y<1/2$. Hence no path joins $B$ to $Y$, and

The canonical image of $\Gamma$ is dense in its profinite completion $\hat{\Gamma }$. Therefore every $x\in \hat{\Gamma }$ is a limit of a net $({\delta }_{\lambda })$ in $\Gamma$. Continuity of conjugation givesso every element of ${\mathrm{Cl}}_{\hat{\Gamma }}(\gamma )$ lies in the closure of ${\mathrm{Cl}}_{\Gamma }(\gamma )$. The reverse inclusion follows because the larger conjugacy class contains the smaller one and is closed by part b(iii). Hence

The closure $\overline{Z}$ is the intersection of all closed subsets containing $Z$; equivalently, every neighbourhood of a point of $\overline{Z}$ meets $Z$. The subspace is dense when $\overline{Z}=X$. A space is Hausdorff when distinct points have disjoint neighbourhoods.

For Hausdorff $Y$, the diagonal ${\Delta }_Y$ is closed in $Y\times Y$. Thusis closed. Since it contains the dense set $Z$, it equals $X$.

The conclusion fails without Hausdorffness. Let $X=Y=\{0,1\}$ have the Sierpiński space topology $\{\varnothing ,\{1\},X\}$ and let $Z=\{1\}$, which is dense. The identity map and the constant map with value $1$ are continuous and agree on $Z$, but differ at $0$.

Hindman theorem states that every finite coloring of $\mathbb{N}$ admits an infinite sequence $x_1,x_2,\dots$ whose finite-sums set is monochromatic.

Identify the Stone-Čech compactification of the natural numbers $\beta \mathbb{N}$ with the compact Hausdorff space of ultrafilters on $\mathbb{N}$, equipped with addition on the Stone-Čech compactification of the natural numbers. This makes $\beta \mathbb{N}$ a compact Hausdorff left-topological semigroup. For completeness, the Ellis–Numakura lemma gives an idempotent in every such semigroup: by the Hausdorff space property and compactness, the intersection of a descending chain of nonempty compact subsemigroups is nonempty, so Zorn's lemma gives a minimal one $K$. For $a\in K$, the compact subsemigroup $K+a$ equals $K$. Hence the nonempty compact subsemigroupis also $K$, and in particular $a+a=a$. Choose the resulting idempotent ultrafilter on the natural numbers $\mathcal{U}$.

One color class $A$ belongs to $\mathcal{U}$. For $x\in \mathbb{N}$, writeand defineThe identity $\mathcal{U}+\mathcal{U}=\mathcal{U}$ implies $A^{\ast }\in \mathcal{U}$. It also implies that $A^{\ast }-x\in \mathcal{U}$ for every $x\in A^{\ast }$: both $A-x$ and the set of $y$ for which $A-(x+y)$ belongs to $\mathcal{U}$ lie in $\mathcal{U}$, and their intersection is $A^{\ast }-x$.

Choose $x_1\in A^{\ast }$. Having chosen $x_1,\dots ,x_n$ with every nonempty finite sum in $A^{\ast }$, chooseThis is possible because it is a finite intersection of members of the ultrafilter $\mathcal{U}$. Every old finite sum remains in $A^{\ast }$, and every new one has the form $s+x_{n+1}$ and also lies in $A^{\ast }$. By mathematical induction, all nonempty finite sums lie in $A^{\ast }\subseteq A$, proving Hindman's theorem.

Now putfor each $A\in \mathcal{U}$. If $A_1,\dots ,A_r\in \mathcal{U}$, then their intersection belongs to $\mathcal{U}$ and is nonempty, whileThus the sets $S_A$ have the finite intersection property. Their closures are closed subsets of the compact interval $[0,1]$, so their total intersection contains some $x$. Equivalently, every neighbourhood of $x$ meets every $S_A$; this is the ultrafilter limit of the sequence.

The point is unique. If distinct points $x,y$ both had this property, choose disjoint neighborhoods $U,V$. The index set $I_U=\{n:x_n\in U\}$ must belong to $\mathcal{U}$, because otherwise its complement would belong to $\mathcal{U}$ and the associated $S_A$ would miss $U$. Similarly $I_V\in \mathcal{U}$. Their intersection is empty, contradicting the definition of an ultrafilter.