Halmos’s minimality condition

discrete mathematicselementary-set-theoryproof-explanationproof-writing

I'm working on the last bit of Halmos' Families exercises, page 37 in Naive Set Theory. He states that we have $J \subset I$ and a nonempty family $\{X_i\}_{i \in I}$, which gives rise to $\bigcap_{i} X_i \subset X_j \subset \bigcup_{i} X_i$ (with $i \in I, j \in J$).

It then goes on to say that if $X_j \subset Y$ for all $j$ then $\bigcup_{i} X_i \subset Y$.

$Y$ hasn't been otherwise described before that I see. So I'm not sure how we arrive at this implication. By hypothesis $Y$ can have members that are not in any $X_j$, but that doesn't imply that these members must be in some $X_i$.

Looking at other threads on this exercise on the internet, it looks like some people assume $\bigcup_i X_i \subset Y$. But I don't see in the book that this subset relationship is given.

Best Answer

According to Halmos's book (p. 37), there are three things to prove (assume $I \neq \emptyset$; note that your reading of the exercise is wrong, there is only one index set $I$):

  1. $\bigcap_{i \in I} X_i \subseteq X_j \subseteq \bigcup_{i \in I} X_i$ for all $j \in I$;
  2. minimality of $\bigcup_{i \in I} X_i$: if $X_j \subseteq Y$ for all $j \in I$ then $\bigcup_{i \in I} X_i \subseteq Y$;
  3. maximality of $\bigcap_{i \in I} X_i$: if $Y \subseteq X_j$ for all $j \in I$ then $Y \subseteq \bigcap_{i \in I} X_i$.

Proof.

  1. Let $x \in \bigcap_{i \in I} X_i$: then $x \in X_j$ for all $j \in I$; therefore, $\bigcap_{i \in I} X_i \subseteq X_j$ for all $j \in I$.
    Let $j \in I$ and $x \in X_j$: then $x \in \bigcup_{i \in I} X_i$; therefore $X_j \subseteq \bigcup_{i \in I} X_i$ for all $j \in I$.

  2. Assume $Y$ is such that $X_j \subseteq Y$ for all $j \in I$. Let $x \in \bigcup_{i \in I} X_i$. Then $x \in X_{j_0}$ for some $j_0 \in I$, and hence $x \in Y$ (since $X_{j_0} \subseteq Y$). Therefore, $\bigcup_{i \in I} X_i \subseteq Y$.

  3. Assume $Y$ is such that $Y \subseteq X_j$ for all $j \in I$. Let $x \in Y$. Then $x \in X_{j}$ for all $j \in I$, and hence $x \in \bigcap_{i \in I} X_i$. Therefore, $Y \subseteq \bigcap_{i \in I} X_i$.

Related Question