Dilation of Intersection of Subsets of Vector Space

Theorem
Let $K$ be a field.

Let $X$ be a vector space over $K$.

Let $\sequence {E_\alpha}_{\alpha \mathop \in I}$ be an indexed set of subsets of $X$.

Let $\lambda \in K$.

Then:


 * $\ds \lambda \bigcap_{\alpha \in I} E_\alpha = \bigcap_{\alpha \in I} \paren {\lambda E_\alpha}$

where $\lambda E_\alpha$ denotes the dilation of $E_\alpha$ by $\lambda$.

Proof
We have:


 * $\ds v \in \lambda \bigcap_{\alpha \in I} E_\alpha$




 * $v = \lambda x$ for some $\ds x \in \bigcap_{\alpha \in I} E_\alpha$.

This is equivalent to:


 * there exists $x \in X$ such that $x \in E_\alpha$ for each $\alpha \in I$ and $v = \lambda x$.

This is equivalent to:


 * for each $\alpha \in I$ we have $v \in \lambda E_\alpha$.

So by the definition of set equality, we have:


 * $\ds \lambda \bigcap_{\alpha \in I} E_\alpha = \bigcap_{\alpha \in I} \paren {\lambda E_\alpha}$