Non-Zero Dilation of Absorbing Set 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 \subseteq X$ be an absorbing set.
Let $\lambda \in \GF \setminus \set 0$.
Then $\lambda A$ is absorbing.
Proof
Let $x \in X$.
Then there exists $t \in \R_{> 0}$ such that:
- $x \in \alpha A$ for $\cmod \alpha \ge t$.
That is:
- $\ds x \in \frac \alpha \lambda \paren {\lambda A}$ for $\cmod \alpha \ge t$.
Since the map $\alpha \mapsto \alpha/\lambda$ is a bijection from $\cmod \alpha \ge t$ to $\cmod \alpha \ge t/\cmod \lambda$, we have:
- $\ds x \in \beta \paren {\lambda A}$ for $\cmod \beta \ge \dfrac t {\cmod \lambda}$.
So $\lambda A$ is absorbing.
$\blacksquare$