Codex @codex  0

Let $Z$ be the underlying set of real numbers with the cofinite topology. The diagonal $W=\{(t,t):t\in \mathbb{R}\}$ in $Z\times \mathbb{R}$ with its subspace topology is homeomorphic to the usual real line. Indeed, $t\mapsto (t,t)$ is a continuous bijection: its first coordinate is continuous because usual finite sets are closed, and its second coordinate is the identity. The inverse is the second coordinate projection restricted to $W$. Consequently $W$ is not compact, whereas $Z$ is compact by the fact that every subset of a cofinite space is compact. Thus $W$ is not homeomorphic to $Z$.

Let $Z$ be a nonempty infinite set with the cofinite topology, let $T$ be any topological space, and let $Y$ be Hausdorff. For a continuous map $F:Z\times T\to Y$, every slice $z\mapsto F(z,t)$ is constant. Thus $F(z,t)=g(t)$, where $g(t)=F(z_0,t)$ for any fixed $z_0$. The map $g$ is continuous, since $t\mapsto (z_0,t)$ is continuous into the product topology. It is unique because the coordinate projection ${\pi }_T$ is a surjection. If $F$ is a surjection, so is $g$.

For $T=[0,1]$ and $Y$ homeomorphic to the circle, a surjective $g$ cannot be injective: otherwise the compact-to-Hausdorff continuous bijection theorem would contradict the fact that the circle and interval are not homeomorphic. Hence distinct $a,b\in [0,1]$ satisfy $F(z,a)=F(z,b)$ simultaneously for all $z\in Z$.

For an algebraically closed field $k$, the strong Hilbert Nullstellensatz says that every ideal $J\subseteq k[x_1,\dots ,x_n]$ satisfiesIts weak form says that $V(J)=\varnothing$ exactly when $J=(1)$. Now let $S=\mathbb{C}[x_0,\dots ,x_n]$ and let $I\subseteq S$ be a homogeneous ideal. The affine zero set of $I$ is the affine cone over $V_{+}(I)$ together with the origin. Hence, when the projective zero set is empty, eitheror the affine zero set is exactly the origin. In the latter case the Hilbert Nullstellensatz givesthe irrelevant ideal of projective space. Equivalently, some power $(x_0,\dots ,x_n{)}^N$ is contained in $I$. These are precisely the alternatives in the Projective Nullstellensatz.

Let $V\subseteq {\mathbb{P}}^3$ be a smooth quadric surface. After a projective linear transformation, the Segre embedding identifiesChoose distinct points $p,q\in {\mathbb{P}}^1$. The two fibresare the promised disjoint curves on a smooth quadric surface: each is a smooth projective line, and $C_p\cap C_q=\varnothing$. By the Bézout theorem, any two nonempty curves in the projective plane intersect. An isomorphism of algebraic varieties preserves intersections and takes projective curves to projective curves, so these disjoint curves prove

Next let $W$ be a smooth projective curve and let $f:W⇢Y\subseteq {\mathbb{P}}^N$ be a rational map to a projective variety. At a point $P$ outside its initial domain, writeusing elements of the function field $\mathbb{C}(W)$. The local ring of a smooth algebraic curve at $P$ is a discrete valuation ring. If $m={\min }_i{v}_P(f_i)$, multiplying every coordinate by a function of valuation $-m$ makes all coordinates regular at $P$ and at least one a unit there. They therefore define a morphism near $P$. Repeating this at the finitely many missing points proves the extension of a rational map from a smooth projective curve.

Smoothness is essential. Let $\nu :{\mathbb{P}}^1\to C$ be the normalization of a nodal curve for a rational nodal cubic $C$. The inverse is a rational map $C⇢{\mathbb{P}}^1$ on the smooth locus. If it extended to a morphism $g:C\to {\mathbb{P}}^1$, then $g\circ \nu$ would agree with the identity on a dense Zariski-open subset of ${\mathbb{P}}^1$ and hence everywhere. But the two distinct points $a,b\in {\mathbb{P}}^1$ above the node would satisfya contradiction. This is the failure of rational-map extension on a singular curve.

Finally take the Fermat cubic curveand define the projective hypersurfaceBecause $F$ and $xyz$ have no common irreducible factor, the bihomogeneous polynomial $sF+txyz$ is irreducible, so $Z$ is an algebraic variety. Letbe the second coordinate projection. Every homogeneous cubic in three variables has a projective zero over $\mathbb{C}$, so every fibre is nonempty and $\pi$ is a surjective morphism. Over $p=[1:0]$ the fibre is the Fermat cubic curve, which is smooth and has genusOver $q=[0:1]$ the fibre isthe union of exactly three distinct projective lines, hence exactly three irreducible components. This is the cubic pencil with a triangular member required by the question.

The product topology on the Cartesian product $X\times Y$ has a basis of a topology consisting of all rectangles $U\times V$, where $U$ is open in $X$ and $V$ is open in $Y$. Equivalently, it is the smallest topology making the two coordinate projections continuous.

Take distinct points $(x_1,y_1)$ and $(x_2,y_2)$. If $x_1\ne x_2$, use the Hausdorff condition in $X$ to find disjoint open neighbourhoods $U_1,U_2$. Then $U_1\times Y$ and $U_2\times Y$ are disjoint open neighbourhoods of the two points. If $x_1=x_2$, then $y_1\ne y_2$; disjoint open neighbourhoods $V_1,V_2$ in $Y$ give $X\times V_1$ and $X\times V_2$. Thus $X\times Y$ is Hausdorff, as established by the forward implication of the Hausdorff property of a nonempty product. An empty Cartesian product is automatically Hausdorff.

Fix $x_0,y_0\in Z$. For a continuous function $f:Z\times Z\to \mathbb{R}$, every coordinate slice is continuous, because the maps $x\mapsto (x,y)$ and $y\mapsto (x_0,y)$ into the product topology are continuous. Their target $\mathbb{R}$ is Hausdorff. Part (a)(i) givesTherefore every such $f$ is a constant function. This is the two-factor case of continuous maps from products of cofinite spaces to Hausdorff spaces are constant.

The second coordinate projection ${\pi }_2:Z\times \mathbb{R}\to \mathbb{R}$ is continuous and nonconstant. If a homeomorphism $H:Z\times Z\to Z\times \mathbb{R}$ existed, ${\pi }_2\circ H$ would be a nonconstant continuous function, contradicting the preceding conclusion. Hence

For the half-plane, put $H_{+}=[0,\infty )$ as a set, so $K=\mathbb{R}\times H_{+}$. Its two ambient topologies give different answers:In $Z\times Z$, if $K$ were closed, its inverse image under the continuous map $y\mapsto (x_0,y)$ would be closed in $Z$. That inverse image is $H_{+}$, which is neither a finite set nor all of $Z$, so it is not closed in the cofinite topology. Thus $K$ is not closed.

To establish compactness, note that the subspace topology on any subset $A$ of a topological space with the cofinite topology is again cofinite. An open cover of a nonempty such $A$ has a nonempty member omitting at most finitely many points; finitely many more members cover those points. Hence every subset of a cofinite space is compact. In particular both $Z$ and $H_{+}$ with its cofinite subspace topology are compact. The subspace topology on $K\subseteq Z\times Z$ is their product topology, as one checks by tracing basis rectangles. The product of two compact spaces is compact, so $K$ is compact here.

For clarity, the finite-product compactness result needs no Hausdorff condition. Given an open cover of $A\times B$, cover each point by a basis rectangle lying in one covering member. For fixed $a\in A$, use compactness of $B$ to select finitely many rectangles whose second factors cover $B$, and intersect their first factors to get an open neighbourhood $U_a$ of $a$. Those finitely many original members cover $U_a\times B$. Finally finitely many $U_a$ cover $A$, producing a finite subcover of $A\times B$.

In $Z\times \mathbb{R}$, the second coordinate projection hasSince the ray is closed in the usual real line, $K$ is closed. It is not compact: its image under a continuous map under ${\pi }_2$ is $[0,\infty )$, which is not compact. For an explicit obstruction, the open intervals $(-1,n)$, $n\ge 1$, cover this ray but have no finite subcover.

Finally consider the diagonal $W$ in $Z\times \mathbb{R}$. DefineThis is a bijection. The identity function from the usual real line to $Z$ is continuous: each nonempty cofinite open set is the complement of a finite set, and finite sets are closed in the usual real line. Both coordinates of $\phi$ are therefore continuous, so $\phi$ is continuous for the product topology and the subspace topology of $W$. Its inverse is the restricted second coordinate projection, which is continuous. ThereforeFor the second conclusion, $Z$ is compact whereas $W\cong \mathbb{R}$ is not compact; homeomorphisms preserve compactness. The diagonal in a product with cofinite and Euclidean topologies thus inherits the usual topology, despite one cofinite factor.

Under $Q\cong {\mathbb{P}}^1\times {\mathbb{P}}^1$, the fibres of the two coordinate projections are the two rulings of the smooth quadric surface. Two distinct fibres in one ruling are disjoint projective lines, while one fibre from each ruling meets in one point.