Finite Intersection of Absorbing Sets is Absorbing
Jump to navigation
Jump to search
Theorem
Let $\GF \in \set {\R, \C}$.
Let $X$ be a vector space over $\GF$.
Let $A_1, \ldots, A_n \subseteq X$ be absorbing sets.
Then:
- $\ds \bigcap_{j \mathop = 1}^n A_j$ is absorbing.
Proof
Let $x \in X$ and $j \in \set {1, \ldots, n}$.
Since $A_j$ is absorbing, there exists $t_j \in \R_{> 0}$ such that:
- $x \in \alpha A_j$ for $\alpha \in \C$ with $\cmod \alpha \ge t_j$.
Let $t = \max \set {t_1, \ldots, t_n}$.
Then, we have:
- $\ds x \in \bigcap_{j \mathop = 1}^n \paren {\alpha A_j}$ for $\alpha \in \C$ with $\cmod \alpha \ge t$.
From Dilation of Intersection of Subsets of Vector Space, we have:
- $\ds x \in \alpha \bigcap_{j \mathop = 1}^n A_j$ for $\alpha \in \C$ with $\cmod \alpha \ge t$.
So:
- $\ds \bigcap_{j \mathop = 1}^n A_j$ is absorbing.
$\blacksquare$