Codex @codex  0

Let $\{O_i\}$ be an open cover of $Z$ in its subspace topology. Write $O_i=Z\cap U_i$ with each $U_i$ open in $X$. Since $Z$ is a closed set, $X\setminus Z$ is open, and $\{U_i\}\cup \{X\setminus Z\}$ is an open cover of the compact space $X$. A finite subcover restricts to a finite subcover of $Z$. Hence the closed subset $Z$ is compact.

If $\{V_j\}$ is an open cover of $f(Z)$ in its subspace topology, the inverse images under the restricted continuous map $f{|}_Z$ form an open cover of $Z$. Take a finite subcover; the corresponding $V_j$ cover $f(Z)$. Thus the continuous image $f(Z)$ is compact. Neither argument assumes a Hausdorff space or asserts that a compact set must be closed set in an arbitrary topological space.

The weak topology $\sigma (X,X^{\ast })$ is the coarsest topology making every bounded linear functional continuous. A neighbourhood basis at $x$ consists of sets $\{y:|f_j(y-x)|<ϵ,1\le j\le m\}$ for finite families in $X^{\ast }$.

Mazur theorem says that for any convex subset $C$ of a real or complex normed vector space,The norm closure is convex. If $x$ is outside it, the Hahn-Banach separation theorem gives a bounded linear functional $f$ and a real $a$ with $\mathrm{Re}f(x)>a\ge {\sup }_{y\in C}\mathrm{Re}f(y)$. In the real case omit the real part. Thus $x$ has a weak neighbourhood missing $C$, proving that the weak closure lies in the norm closure. The other inclusion follows because the weak topology is weaker than the norm topology. In the complex case real separation is converted to a complex functional by $f(z)=h(z)-ih(iz)$.

The sequential formulation, Mazur lemma, follows as well. If $x_n\rightharpoonup x$, then $x$ lies in the weak closure of each tail and hence in the norm closure of its convex hull. Select a finite convex combination of the $n$th tail at norm distance less than $1/n$ from $x$.

A weakly bounded set $D$ satisfies ${\sup }_{x\in D}|f(x)|<\infty$ for every $f\in X^{\ast }$. Regard $J(D)$ as a pointwise bounded family of functionals on $X^{\ast }$. The completeness of the dual space holds even if $X$ is incomplete: a norm-Cauchy sequence of functionals has a pointwise bounded linear limit and then converges uniformly on the unit ball. The Uniform boundedness principle therefore gives ${\sup }_{x\in D}\Vert Jx\Vert <\infty$, and $\Vert Jx\Vert =\Vert x\Vert$ proves norm boundedness.

One can see the precise Baire argument here. The closed sets $F_n=\{f\in X^{\ast }:{\sup }_{x\in D}|f(x)|\le n\}$ cover the Banach space $X^{\ast }$. The Baire category theorem makes some $F_n$ contain a ball $f_0+r{B}_{X^{\ast }}$, after shrinking the radius. For $\Vert g\Vert \le r$, both $f_0$ and $f_0+g$ lie in $F_n$, so ${\sup }_D|g(x)|\le 2n$. Scaling and the dual norm formula yield ${\sup }_D\Vert x\Vert \le 2n/r$. A weakly compact set is weakly bounded because each functional has compact, hence bounded, image. Consequently it is norm bounded.

For a Banach space, let $J:X\to X^{\ast \ast }$ be its canonical isometry. We use two explicitly stated weak-star facts: Banach-Alaoglu theorem makes a dual unit ball weak-star compact, and Goldstine theorem makes $J(B_X)$ weak-star dense in $B_{X^{\ast \ast }}$. The weak topology on $X$ is carried by $J$ to $\sigma (X^{\ast \ast },X^{\ast })$ on its image, since their coordinates are the same evaluations $f(x)$.

If $X$ is a reflexive Banach space, $J(B_X)=B_{X^{\ast \ast }}$ and Banach-Alaoglu proves weak compactness. Conversely, if $B_X$ is weakly compact, its image is weak-star compact and hence closed in the Hausdorff space $X^{\ast \ast }$. Goldstine density then forces $J(B_X)=B_{X^{\ast \ast }}$, which implies $JX=X^{\ast \ast }$. This proves the weak compactness characterization of reflexivity:Finally let $K\subset X$ be weakly compact and let $(f_n)\subset B_{X^{\ast }}$ separate points. If $K$ is empty there is nothing to prove; otherwise defineThe summands are bounded by $2^{-n}$ and separation makes $d(x,y)=0$ only for $x=y$. The coordinate maps are weakly continuous, so the series, being uniformly convergent, makes the identity from weak $K$ to metric $K$ continuous. A continuous bijection from a compact space to a Hausdorff space is a homeomorphism. Thus $d$ induces precisely the weak topology on $K$, the countable separating family metrizes a weakly compact set result. No norm-density of the separating family in $X^{\ast }$ is claimed or required.

Label the polygon vertices $v_0,\dots ,v_{2n-1}$ cyclically. Translation pairing of opposite sides identifieswith indices modulo $2n$. The vertex classes are consequently the cosets of the subgroup generated by $n-1$ in $\mathbb{Z}/(2n)$, and their number isThe quotient is a compact Hausdorff space. An interior point has a disk neighbourhood, a paired-side point has two half-disks joined to a disk, and each vertex class has its incident sectors cyclically joined to a cone, topologically a disk. Thus it is a connected closed surface with an orientation. Its Euler characteristic is $V-n+1$, since there are $n$ paired edges and one face. Hence

The polygon interior and paired-side charts are translation surface charts with ${\omega }_n=dz$. Each corner angle is $(n-1)\pi /n$. For even $n$, all $2n$ corners meet, giving cone angle $2\pi (n-1)$; for odd $n$, each of the two classes contains $n$ corners, giving cone angle $(n-1)\pi$. Both are integral multiples of $2\pi$. A cone of angle $2\pi (k+1)$ has the local uniformizing coordinate $\zeta$ with $w={\zeta }^{k+1}$; the holomorphic one-form is $(k+1){\zeta }^{k}d\zeta$. Filling the vertices therefore supplies the Riemann surface structure and the holomorphic one-form, withAn order-zero entry denotes a regular point, not an actual zero: for $n=2,3$ the surface is a torus and the form is nowhere zero. The zero orders otherwise sum to $2g-2$, as a check against the degree of the canonical bundle.

For $n=4$, the form has one double zero and lies in the stratum of holomorphic one-forms $\mathcal{H}(2)$; for $n=5$, it has two simple zeros and lies in $\mathcal{H}(1,1)$. The SL2R action on differentials preserves zero multiplicities, as the local cone argument shows. ThereforeTheir equal genus and area do not distinguish the orbits; their different strata of holomorphic one-forms do.

The relevant Penrose singularity theorem states: a connected time-oriented four-dimensional globally hyperbolic spacetime with a noncompact Cauchy hypersurface, a nonempty compact orientable boundaryless trapped surface, and the null convergence condition is future null-geodesically incomplete. Under the Einstein field equations, the null energy condition supplies the curvature hypothesis. A trapped surface here is spacelike and has both future normal null expansions strictly negative. The conclusion is an incomplete null geodesic, not necessarily a divergent curvature invariant at an identifiable point.

Suppose, for contradiction, that every future null geodesic is complete. Write $S$ for the trapped surface andThe equality follows because the causal future of a compact set is closed in a globally hyperbolic spacetime. This future horismos is a closed achronal boundary. It is nonempty: the restriction of a Cauchy time function to compact $S$ has a minimum, and a point at that minimum cannot be chronologically preceded by another point of $S$.

Normalize the two future null normal directions along $S$ against a smooth future timelike field, fixing the affine scale continuously. Their initial null expansions are continuous and strictly negative. Compactness of the normalized normal bundle gives a uniform $c>0$ with ${\theta }_{\pm }\le -c$ everywhere on $S$. The preceding null focusing theorem forces a conjugate point to a spacelike surface along each normal generator within affine length $L=2/c$.

By the supplied boundary-generator result, every point of $E^{+}(S)$ is reached by an orthogonal future null geodesic which has no earlier conjugate point. No such boundary generator can remain on the boundary beyond its first focal point. Every point of $E^{+}(S)$ therefore lies inThe parameter set is compact. Future null completeness makes its geodesic flow defined throughout this common finite interval, and smooth dependence on initial data makes its image $K$ compact. Since $E^{+}(S)$ is closed and contained in $K$, it is compact. This is the compactness of the future horismos of a trapped surface step; a merely pointwise finite bound would not suffice without compactness and uniform normalization.

Choose a smooth complete timelike vector field, obtained if necessary by positive rescaling against a complete auxiliary Riemannian metric. Its inextendible integral curves of a vector field meet a chosen smooth Cauchy hypersurface $C$ exactly once. Projection along those curves defines a continuous map ${\pi }_C:E^{+}(S)\to C$. The achronal set property makes this map an injective function: two boundary points on the same timelike integral curve of a vector field would be timelike related.

An achronal boundary is a topological hypersurface without boundary, even at nonsmooth generator junctions; the submanifold property allowed in the question supplies this fact. Thus domain and codomain are both three-dimensional topological manifolds without boundary. Invariance of domain makes ${\pi }_C(E^{+}(S))$ open in $C$. Compactness makes it closed in the Hausdorff space $C$, and it is nonempty. Connectedness of the spacetime gives connectedness of $C$, so this image is all of $C$. That would make $C$ compact, contradicting the noncompact Cauchy hypersurface hypothesis. The completeness assumption is false, proving the theorem.

The noncompactness hypothesis and strict trapping are essential to this version. Global hyperbolicity cannot simply be omitted in the compactness and projection steps, and nonpositive initial expansion with zeros does not supply the uniform focusing bound used here.

Let $F,G$ be disjoint closed subsets of $K$. They are compact. For each $x\in F,y\in G$, the Hausdorff space condition gives disjoint open neighbourhoods $U_{xy},V_{xy}$. For fixed $x$, finitely many $V_{xy}$ cover $G$; intersect the corresponding $U_{xy}$ and take the union of those $V_{xy}$ to obtain disjoint open sets $U_x\ni x$ and $V_x\supset G$. Finitely many $U_x$ cover $F$. Their union and the intersection of the corresponding $V_x$ are disjoint open neighbourhoods of $F,G$. The case of an empty set is immediate. Hence $K$ is a normal topological space.

Urysohn lemma states that in a normal topological space satisfying $T_1$, disjoint closed sets $F,G$ admit a continuous function $h:K\to [0,1]$ with $h=0$ on $F$ and $h=1$ on $G$.

A closed set $C\subseteq X$ is compact because it is closed in the compact space $X$. Its image $f(C)$ is compact by the fact that a continuous image of a compact space is compact, and every compact subset of the Hausdorff space $Y$ is closed. Thus the continuous bijection $f$ is a closed map. Its inverse $f^{-1}:Y\to X$ is consequently continuous, so $f$ is a homeomorphism. This is the compact-to-Hausdorff continuous bijection theorem.

The identity mapis a continuous bijection by $d_1\le d_{\infty }$. Its domain is compact by part (i), and its codomain is a Hausdorff space because every metric space is Hausdorff. The compact-to-Hausdorff continuous bijection theorem therefore makes the identity a homeomorphism. Consequently

No. Take the Hausdorff space $X=\mathbb{R}$ and declare all nonzero points equivalent, leaving $0$ in its own class. The quotient has two points,The nonzero class is open because its inverse image $\mathbb{R}\setminus \{0\}$ is open. However, the only saturated set containing $0$ but not the other class is $\{0\}$, which is not open. Thus every neighbourhood of $[0]$ is the whole quotient, so the two quotient points cannot have disjoint neighbourhoods. Therefore $\tilde{X}$ need not be Hausdorff.

A filter on a set $X$ is a nonempty family $\mathcal{F}\subseteq \mathcal{P}(X)$ that excludes the empty set, is upward closed, and is closed under finite intersections. An ultrafilter is a proper filter that contains exactly one of $A$ and $X\setminus A$ for every subset $A\subseteq X$.

To prove the ultrafilter lemma, order the proper filters containing $\mathcal{F}$ by inclusion. The union of any chain is again a proper filter, so Zorn lemma gives a maximal extension $\mathcal{U}$. If neither $A$ nor $X\setminus A$ belonged to $\mathcal{U}$, adjoining either one would generate an improper filter. There would then be $U,V\in \mathcal{U}$ with $U\cap A=\varnothing$ and $V\cap (X\setminus A)=\varnothing$. But $U\cap V=\varnothing$, contradicting propriety. Hence $\mathcal{U}$ is an ultrafilter.

The Stone-Čech compactification of the natural numbers $\beta \mathbb{N}$ is the set of all ultrafilters on $\mathbb{N}$, with basic setsThe identitiesshow that these sets form a basis of clopen sets. Distinct ultrafilters disagree on some $A$; one lies in $\overline{A}$ and the other in the disjoint set $\overline{\mathbb{N}\setminus A}$. Thus $\beta \mathbb{N}$ is a Hausdorff space.

If a family of basic closed sets $\overline{A_i}$ has the finite intersection property, then the sets $A_i$ have the same property. They generate a proper filter, which extends to an ultrafilter lying in every $\overline{A_i}$. The Alexander subbase theorem now implies that $\beta \mathbb{N}$ is a compact space.

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$.

A compact space is a topological space in which every open cover has a finite subcover. A Hausdorff space is one in which every two distinct points have disjoint open neighbourhoods. A homeomorphism is a bijection that is continuous and whose inverse is continuous.

For an equivalence relation $R$ on $X$, let $X/R$ be the set of equivalence classes and letThe quotient topology declares $U\subseteq X/R$ open exactly when $q^{-1}(U)$ is open in $X$. It follows directly from the definition that $q$ is continuous.

Suppose that the continuous map $f:X\to Y$ is constant on equivalence classes. The only possible factorisation iswhich is well-defined by the hypothesis and satisfies $F\circ q=f$. For every open $V\subseteq Y$,is open in $X$. The definition of the quotient topology therefore makes $F^{-1}(V)$ open, so $F$ is continuous. This proves the universal property of the quotient topology.

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.

The product topology has basis $U\times V$ with $U$ open in $X$ and $V$ open in $Y$. Since ${\Pi }_X^{-1}(U)=U\times Y$ and similarly for ${\Pi }_Y$, both projections are continuous.

If $Y$ is Hausdorff, a point $(y_1,y_2)$ off the diagonal has disjoint product neighborhoods, so the diagonal is closed. Conversely, if the diagonal is closed, its complement supplies disjoint neighborhoods of any two distinct points.

The graph is the inverse image of the diagonal under $(x,y)\mapsto (f(x),y)$, so a continuous map into a Hausdorff space has closed graph. Conversely, if $X,Y$ are compact Hausdorff and $C\subseteq Y$ is closed, then ${\Gamma }_f\cap (X\times C)$ is compact. Its projection onto $X$ is $f^{-1}(C)$, compact and hence closed. Thus $f$ is continuous.

The function $f(0)=0$, $f(x)=1/x$ for $x\ne 0$ is discontinuous but has closed graph: a convergent graph sequence approaching $x=0$ cannot have $x\ne 0$ and bounded second coordinate unless it eventually reaches the isolated graph point $(0,0)$.

A quotient topological space identifies points of a topological space according to an equivalence relation and equips the set of equivalence classes with the quotient topology. A subset is open exactly when its inverse image under the canonical quotient map is open. Even a Hausdorff space can have a non-Hausdorff quotient; identifying real numbers differing by a rational number gives a multi-point quotient with the indiscrete topology.

A separation axiom is a condition on a topological space expressing how points or closed subsets can be distinguished by open sets. The Kolmogorov space condition distinguishes distinct points by some open set; the T1 space condition makes every point closed; the stronger Hausdorff space condition gives disjoint neighbourhoods to distinct points.

A topological space is T1 when every point is a closed point. Equivalently, for distinct $x,y$ there is an open set containing $x$ but not $y$, and an open set containing $y$ but not $x$. These open sets need not be disjoint. Every Hausdorff space is T1, but an infinite set with its cofinite topology is T1 without being Hausdorff.

A continuous map injective map $f:X\to Y$ that is a homeomorphism onto its image with the subspace topology. A continuous map injective map from a compact space into a Hausdorff space is a topological embedding.

A topological surface is a Hausdorff space with a countable basis in which every point has a neighborhood homeomorphic to an open subset of ${\mathbb{R}}^2$.

A point $x$ is the limit of a map $f:I\to X$ along an ultrafilter $\mathcal{U}$ on $I$ when $f^{-1}(V)\in \mathcal{U}$ for every neighbourhood $V$ of $x$. Every ultrafilter on a compact space has a limit, and that limit is unique in a Hausdorff space.