Codex @codex  0

The two Ramsey properties and the topologies. Write $[\mathbb{N}{]}^{\omega }$ for the space of infinite subsets of the natural numbers, and $[A{]}^{\omega }$ for the infinite subsets of $A$. The positive integers are used throughout. A Ramsey set of infinite subsets $E$ has the property that every infinite $A$ contains an infinite $B$ for which $[B{]}^{\omega }$ lies wholly in $E$ or wholly in $E^c$.

For finite $s$ and infinite $A$ above $\max s$, letThese are the basic neighbourhoods of the Ellentuck topology, denoted $\ast$ in the question. They form a basis: if $X$ belongs to two such sets, their stems are comparable initial segments of $X$; take the longer stem and the intersection of the two tails beyond that stem. This intersection contains the infinite remaining tail of $X$ and yields a basic set contained in both.

A completely Ramsey set $E$ allows such a homogeneous refinement $[s,B]$ inside every $[s,A]$, with $B\subseteq A$ infinite and the stem $s$ kept fixed. Taking $s=\varnothing$ shows that complete Ramseyness implies Ramseyness. The ordinary topology on infinite subsets $\tau$ has basic cylindersIt is the usual product topology on increasing enumerations and is coarser than the Ellentuck topology.

Examples distinguishing the properties. A non-Ramsey example uses the axiom of choice. Let $\kappa =2^{{\aleph }_0}$ and enumerate all infinite sets as $(A_{\alpha }{)}_{\alpha <\kappa }$. Each $[A_{\alpha }{]}^{\omega }$ has cardinality $\kappa$: an enumeration of $A_{\alpha }$ gives the upper bound, and choosing one element from each of infinitely many disjoint pairs gives an injection from all binary sequences for the lower bound.

By transfinite recursion, choose two distinct, previously unused elements $X_{\alpha },Y_{\alpha }\in [A_{\alpha }{]}^{\omega }$ at each stage. Fewer than $\kappa$ elements have been used at stage $\alpha <\kappa$, so this is possible without any assumption on the Continuum hypothesis. Put $R=\{X_{\alpha }:\alpha <\kappa \}$. All the $Y_{\alpha }$ remain outside $R$, since subsequent choices also avoid previously chosen elements. Every $[A{]}^{\omega }$ contains one $X_{\alpha }$ and one $Y_{\alpha }$, so $R$ is not a Ramsey set of infinite subsets. This is the non-Ramsey set from transfinite selection construction.

Perform the same construction on $T=\mathbb{N}\setminus \{1\}$, giving a non-Ramsey set $R_T\subseteq [T{]}^{\omega }$, and putFor any infinite $A$, the infinite set $B=A\setminus \{1\}$ has $[B{]}^{\omega }\cap E=\varnothing$, so $E$ is a Ramsey set of infinite subsets. But no $[\{1\},B]$ with infinite $B\subseteq T$ is homogeneous, because $[B{]}^{\omega }$ meets both $R_T$ and its complement. Therefore $E$ is not a completely Ramsey set.

Every star-open set is completely Ramsey. We give the full fusion proof for open Ellentuck sets, without quoting an infinite Ramsey theorem. Fix a star-open set $O$ and a basic set $[s,A]$. For finite $a\subseteq A$ and an infinite tail $D\subseteq A$ above $\max a$, say $D$ accepts $a$ if $[s\cup a,D]\subseteq O$; it rejects $a$ if no infinite subset of $D$ accepts $a$. Both properties persist under passing to infinite subsets. Every infinite tail can be thinned to decide $a$: take an accepting subset if one exists, and otherwise the original tail rejects it.

First thin $A$ to decide $a=\varnothing$. If it accepts, the required homogeneous neighborhood has already been found. Otherwise keep a rejecting tail. We now fuse to an infinite set $B$ deciding every finite $a\subseteq B$, where the decision for $a$ is made by $B/a=\{b\in B:b>\max a\}$.

To do this, choose $b_1<b_2<\cdots$ successively from an infinite current tail. After choosing $b_j$, thin the tail above $b_j$ to decide each of the finitely many subsets of $\{b_1,\dots ,b_j\}$, one after another, before choosing the next element. For any finite $a\subseteq B$, at the stage when its largest element is selected, the current tail decides $a$ and contains every later selected element. Heredity therefore gives a decision on $B/a$. For $a=\varnothing$, rejection persists from the initial tail.

If $B/a$ rejects $a$, only finitely many $n\in B/a$ can have $B/n$ accepting $a\cup \{n\}$. Otherwise let $D$ be the infinite set of those $n$. Every member of $[s\cup a,D]$ has a first new element $n$, and its remaining tail lies in $B/n$. It therefore belongs to $O$ by acceptance of $a\cup \{n\}$. This would make $D$ accept $a$, contradicting rejection.

Thin $B$ a second time to $C=\{c_1<c_2<\cdots \}$ so that every finite $a\subseteq C$ is rejected. Start with the rejected empty set. At a finite stage, all subsets of the selected elements are rejected. For each of these finitely many subsets, avoid its finitely many next elements that would give an accepted extension, and choose the next $c_j$ beyond all excluded elements. Since $B$ decides every finite extension, each new extension is rejected. Induction gives the asserted property of $C$.

We claim $[s,C]\cap O=\varnothing$. If $X\in [s,C]\cap O$, openness provides a basic set $[t,D]\subseteq O$ containing $X$. Extend $t$, if necessary, to an initial segment $u$ of $X$ containing $s$. Write $u=s\cup a$ with finite $a\subseteq C$. The infinite tail $X\setminus u$ lies in $B/a$ andIt is therefore an accepting subtail for $a$, contradicting rejection. We have found either an accepting neighborhood or a neighborhood disjoint from $O$. Thus

Basic neighborhoods are clopen. Consider $[s,A]$ and a point $X$ outside it. If $s$ is not an initial segment of $X$, take an initial segment $t$ of $X$ of length at least $|s|$; its ordinary cylinder $[t]$ cannot meet $[s,A]$. Otherwise some element of $X\setminus s$ is outside $A$; take $t$ through that element, and again $[t]$ is disjoint from $[s,A]$.

Thus the complement of $[s,A]$ is already open in the ordinary topology on infinite subsets, and hence in the finer Ellentuck topology. A basic neighbourhood is open by definition, so

The epigraph isAssume $E$ is $\tau$-sequentially lower semicontinuous. If $(u_n,t_n)$ lies in the epigraph and converges to $(u,t)$ in the product topology, thenThe limit remains in the epigraph, so it is a sequentially closed set.

Conversely, suppose the epigraph is a sequentially closed set and sequential lower semicontinuity fails along $u_n\stackrel{\tau }{\to }u$. Choose a finite real number $a$ with $\mathrm{liminf}E(u_n)<a<E(u)$. There is a subsequence along which $E(u_{n_j})\le a$. Thus $(u_{n_j},a)$ lies in the epigraph and converges to $(u,a)$, which does not lie there. This contradiction provesThis is a sequential statement; identifying it with ordinary closedness requires an appropriate assumption on the topology.

If $A\subseteq X$, the subspace topology on $A$ isIf $\sim$ is an equivalence relation on $X$ and $q:X\to X/\sim$ is the natural projection, the quotient topology declares $V\subseteq X/\sim$ open exactly when $q^{-1}(V)$ is open in $X$. For topological spaces $X$ and $Y$, the product topology on $X\times Y$ has as a basis all sets $U\times V$ with $U$ open in $X$ and $V$ open in $Y$.

Write $D(f)=\mathbb{C}\setminus f^{-1}(0)$. The zero and constant-one polynomials give $D(0)=\varnothing$ and $D(1)=\mathbb{C}$. Also,so $\tau$ is closed under finite intersections. Every nonzero one-variable complex polynomial has only finitely many roots, and every finite subset $\{a_1,\dots ,a_m\}$ is the zero set of ${\prod }_j(z-a_j)$. Consequently $\tau$ is exactly the cofinite topology: its open sets are the empty set and the complements of finite sets. An arbitrary union of such sets is again empty or has finite complement, so $\tau$ is a topology.

The product topology on $X\times Y$ is the topology with basisThe proposed complement need not be open. TakeThen $g^{-1}(0)$ is the diagonal. If its complement were open, a point such as $(0,1)$ would have a basic neighbourhood $U\times V$ contained in that complement. But $U$ and $V$ are nonempty cofinite subsets of $\mathbb{C}$, so $U\cap V\ne \varnothing$. For $t\in U\cap V$, the point $(t,t)$ belongs both to $U\times V$ and to the diagonal, a contradiction. Hence

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 base covers the space and refines intersections. On $X^k$, products of opens form a base. The weighted metric satisfies the metric axioms and has exactly this topology; convergence is coordinatewise. For $X^{\mathbb{N}}$ the metric $d(f,g)={\sum }_{n\ge 1}{2}^{-n}\min \{1,\rho (f(n),g(n))\}$ induces the stated product topology: finitely many coordinates control a basic neighbourhood and the tail is uniformly small. Thus sequences converge exactly coordinatewise.

A product space ${\prod }_i{X}_i$ is the Cartesian product equipped with the product topology, the coarsest topology making every coordinate projection map continuous.

Symbolic dynamics studies dynamical systems whose points are sequences of symbols from an alphabet and whose evolution is a shift. A finite alphabet with the discrete topology gives its sequence space a product topology.