absorbing set

Let $V$ be a vector space over a field $F$ equipped with anon-discrete valuation $|\cdot |:F\to ℝ$. Let $A,B$ betwo subsets of $V$. Then $A$ is said to absorb $B$ if thereis a non-negative real number $r$ such that, for all $\lambda \in F$with $|\lambda |\ge r$, $B\subseteq \lambda A$. $A$ is said tobe an absorbing set, or a radial subset of $V$ if $A$absorbs all finite subsets of $V$.

Equivalently, $A$ is absorbing if for any $x\in V$, there is anon-negative real number $r$ such that $x\in \lambda A$ for all$\lambda \in F$ with $|\lambda |\ge r$. If a finite subset $B$of $V$ consists of $x_1,\mathrm{\dots },x_n$, then corresponding to each$x_i$, there is an $r_i\ge 0$ such that $x_i\in \lambda A$ such that$|\lambda \mid \ge r_i$, $\forall \lambda \in F$. So$x_i\in \lambda A$ with $|\lambda |\ge r$ if we take$r=\max \{r_1,\mathrm{\dots },r_n\}$. So $A$ absorbs $B$.

Example. If $V={ℝ}^n$ and $F=ℝ$, then anyset containing an open ball centered at $0$ is absorbing. Thisimplies that an absorbing set does not have to be connected, convex.

A closely related concept is that of a circled set, or a balanced set. Let $V$ and $F$ be defined as above. A subset $C$ of $V$ is said to becircled, or balanced, if $\lambda C\subseteq C$ for all $|\lambda |\le 1$. Clearly, $C$ absorbs itself ($C\subseteq {\lambda }^{-1}C$,$|{\lambda }^{-1}|\ge 1$), and $0\in C$. $C$ is also symmetric($-C=C$), for $-C\subseteq C$ and $C=-(-C)\subseteq -C$. As anexample of a circled set that is neither absorbing nor convex,consider $V={ℝ}^2$ and $F=ℝ$, and $C$ the union of$x$ and $y$ axes. For an example of an absorbing set that is notcircled, take the union of a unit disk and an annulus centered at 0that is large enough so it is disjoint from the disk.

Title	absorbing set
Canonical name	AbsorbingSet
Date of creation	2013-03-22 15:26:24
Last modified on	2013-03-22 15:26:24
Owner	CWoo (3771)
Last modified by	CWoo (3771)
Numerical id	10
Author	CWoo (3771)
Entry type	Definition
Classification	msc 46A08
Classification	msc 15A03
Related topic	BalancedSet
Related topic	AbsorbingElement
Defines	absorbing
Defines	absorb
Defines	radial