Absorbing set

Balanced core and balanced hull

A subset ${\displaystyle S}$ of ${\displaystyle X}$ is said to be balanced if ${\displaystyle as\in S}$ for all ${\displaystyle s\in S}$ and all scalars ${\displaystyle a}$ satisfying ${\displaystyle |a|\leq 1;}$ this condition may be written more succinctly as ${\displaystyle B_{\leq 1}S\subseteq S,}$ and it holds if and only if ${\displaystyle B_{\leq 1}S=S.}$

Given a set ${\displaystyle T,}$ the smallest balanced set containing ${\displaystyle T,}$ denoted by ${\displaystyle \operatorname {bal} T,}$ is called the balanced hull of ${\displaystyle T}$ while the largest balanced set contained within ${\displaystyle T,}$ denoted by ${\displaystyle \operatorname {balcore} T,}$ is called the balanced core of ${\displaystyle T.}$ These sets are given by the formulas

$${\displaystyle \operatorname {bal} T~=~{\textstyle \bigcup \limits _{|c|\leq 1}}c\,T=B_{\leq 1}T}$$

and

$${\displaystyle \operatorname {balcore} T~=~{\begin{cases}{\textstyle \bigcap \limits _{|c|\geq 1}}c\,T&{\text{ if }}0\in T\\\varnothing &{\text{ if }}0\not \in T,\\\end{cases}}}$$

(these formulas show that the balanced hull and the balanced core always exist and are unique). A set ${\displaystyle T}$ is balanced if and only if it is equal to its balanced hull (${\displaystyle T=\operatorname {bal} T}$) or to its balanced core (${\displaystyle T=\operatorname {balcore} T}$), in which case all three of these sets are equal: ${\displaystyle T=\operatorname {bal} T=\operatorname {balcore} T.}$

If ${\displaystyle c}$ is any scalar then

$${\displaystyle \operatorname {bal} (c\,T)=c\,\operatorname {bal} T=|c|\,\operatorname {bal} T}$$

while if ${\displaystyle c\neq 0}$ is non-zero or if ${\displaystyle 0\in T}$ then also

$${\displaystyle \operatorname {balcore} (c\,T)=c\,\operatorname {balcore} T=|c|\,\operatorname {balcore} T.}$$

If ${\displaystyle S}$ and ${\displaystyle A}$ are subsets of ${\displaystyle X,}$ then ${\displaystyle A}$ is said to absorb ${\displaystyle S}$ if it satisfies any of the following equivalent conditions:

1. Definition: There exists a real ${\displaystyle r>0}$ such that ${\displaystyle S\,\subseteq \,c\,A}$ for every scalar ${\displaystyle c}$ satisfying ${\displaystyle |c|\geq r.}$ Or stated more succinctly, ${\displaystyle S\;\subseteq \;{\textstyle \bigcap \limits _{|c|\geq r}}c\,A}$ for some ${\displaystyle r>0.}$
   • If the scalar field is ${\displaystyle \mathbb {R} }$ then intuitively, "${\displaystyle A}$ absorbs ${\displaystyle S}$" means that if ${\displaystyle A}$ is perpetually "scaled up" or "inflated" (referring to ${\displaystyle tA}$ as ${\displaystyle t\to \infty }$) then eventually (for all positive ${\displaystyle t>0}$ sufficiently large), all ${\displaystyle tA}$ will contain ${\displaystyle S;}$ and similarly, ${\displaystyle tA}$ must also eventually contain ${\displaystyle S}$ for all negative ${\displaystyle t<0}$ sufficiently large in magnitude.
   • This definition depends on the underlying scalar field's canonical norm (that is, on the absolute value ${\displaystyle |\cdot |}$), which thus ties this definition to the usual Euclidean topology on the scalar field. Consequently, the definition of an absorbing set (given below) is also tied to this topology.
2. There exists a real ${\displaystyle r>0}$ such that ${\displaystyle c\,S\,\subseteq \,A}$ for every non-zero[note 1] scalar ${\displaystyle c\neq 0}$ satisfying ${\displaystyle |c|\leq r.}$ Or stated more succinctly, ${\displaystyle {\textstyle \bigcup \limits _{0<|c|\leq r}}c\,S\,\subseteq \,A}$ for some ${\displaystyle r>0.}$
   • Because this union is equal to ${\displaystyle \left(B_{\leq r}\setminus \{0\}\right)S,}$ where ${\displaystyle B_{\leq r}\setminus \{0\}=\{c\in \mathbb {K} :0<|c|\leq r\}}$ is the closed ball with the origin removed, this condition may be restated as: ${\displaystyle \left(B_{\leq r}\setminus \{0\}\right)S\,\subseteq \,A}$ for some ${\displaystyle r>0.}$
   • The non-strict inequality ${\displaystyle \,\leq \,}$ can be replaced with the strict inequality ${\displaystyle \,<\,,}$ which is the next characterization.
3. There exists a real ${\displaystyle r>0}$ such that ${\displaystyle c\,S\,\subseteq \,A}$ for every non-zero[note 1] scalar ${\displaystyle c\neq 0}$ satisfying ${\displaystyle |c|<r.}$ Or stated more succinctly, ${\displaystyle \left(B_{r}\setminus \{0\}\right)S\subseteq \,A}$ for some ${\displaystyle r>0.}$
   • Here ${\displaystyle B_{r}\setminus \{0\}=\{c\in \mathbb {K} :0<|c|<r\}}$ is the open ball with the origin removed and ${\displaystyle \left(B_{r}\setminus \{0\}\right)S\,=\,{\textstyle \bigcup \limits _{0<|c|<r}}c\,S.}$

If ${\displaystyle A}$ is a balanced set then this list can be extended to include:

4. There exists a non-zero scalar ${\displaystyle c\neq 0}$ such that ${\displaystyle S\;\subseteq \,c\,A.}$
   • If ${\displaystyle 0\in A}$ then the requirement ${\displaystyle c\neq 0}$ may be dropped.
5. There exists a non-zero[note 1] scalar ${\displaystyle c\neq 0}$ such that ${\displaystyle c\,S\,\subseteq \,A.}$

If ${\displaystyle 0\in A}$ (a necessary condition for ${\displaystyle A}$ to be an absorbing set, or to be a neighborhood of the origin in a topology) then this list can be extended to include:

6. There exists ${\displaystyle r>0}$ such that ${\displaystyle c\,S\;\subseteq \,A}$ for every scalar ${\displaystyle c}$ satisfying ${\displaystyle |c|<r.}$ Or stated more succinctly, ${\displaystyle B_{r}\;S\,\subseteq \,A.}$
7. There exists ${\displaystyle r>0}$ such that ${\displaystyle c\,S\;\subseteq \,A}$ for every scalar ${\displaystyle c}$ satisfying ${\displaystyle |c|\leq r.}$ Or stated more succinctly, ${\displaystyle B_{\leq r}S\,\subseteq \,A.}$
   • The inclusion ${\displaystyle B_{\leq r}S\,\subseteq \,A}$ is equivalent to ${\displaystyle B_{\leq 1}S\,\subseteq \,{\tfrac {1}{r}}A}$ (since ${\displaystyle B_{\leq r}=r\,B_{\leq 1}}$). Because ${\displaystyle B_{\leq 1}S\,=\,\operatorname {bal} \,S,}$ this may be rewritten ${\displaystyle \operatorname {bal} \,S\,\subseteq \,{\tfrac {1}{r}}A,}$ which gives the next statement.
8. There exists ${\displaystyle r>0}$ such that ${\displaystyle \operatorname {bal} \,S\,\subseteq \,r\,A.}$
9. There exists ${\displaystyle r>0}$ such that ${\displaystyle \operatorname {bal} \,S\,\subseteq \,\operatorname {balcore} (r\,A).}$
10. There exists ${\displaystyle r>0}$ such that ${\displaystyle \;\;\;\;\;\;S\,\subseteq \,\operatorname {balcore} (r\,A).}$
    • The next characterizations follow from those above and the fact that for every scalar ${\displaystyle c,}$ the balanced hull of ${\displaystyle A}$ satisfies ${\displaystyle \,\operatorname {bal} (c\,A)=c\,\operatorname {bal} A=|c|\,\operatorname {bal} A\,}$ and (since ${\displaystyle 0\in A}$) its balanced core satisfies ${\displaystyle \,\operatorname {balcore} (c\,A)=c\,\operatorname {balcore} A=|c|\,\operatorname {balcore} A.}$
11. There exists ${\displaystyle r>0}$ such that ${\displaystyle \;\;\,S\,\subseteq \,r\,\operatorname {balcore} A.}$ In words, a set is absorbed by ${\displaystyle A}$ if it is contained in some positive scalar multiple of the balanced core of ${\displaystyle A.}$
12. There exists ${\displaystyle r>0}$ such that ${\displaystyle r\,S\subseteq \,\;\;\;\;\operatorname {balcore} A.}$
13. There exists a scalar ${\displaystyle c}$ such that ${\displaystyle \operatorname {bal} S\,\subseteq \,c\,A.}$ In words, ${\displaystyle A}$ can be scaled to contain the balanced hull of ${\displaystyle S.}$
14. There exists a scalar ${\displaystyle c}$ such that ${\displaystyle \operatorname {bal} S\,\subseteq \,\operatorname {balcore} (c\,A).}$
15. There exists a scalar ${\displaystyle c}$ such that ${\displaystyle \;\;\;\;\;\;S\,\subseteq \,\operatorname {balcore} (c\,A).}$ In words, ${\displaystyle A}$ can be scaled so that its balanced core contains ${\displaystyle S.}$
16. There exists a scalar ${\displaystyle c}$ such that ${\displaystyle \;\;\;\;\;\;S\,\subseteq \,c\,\operatorname {balcore} A.}$
17. There exists a non-zero[note 1] scalar ${\displaystyle c\neq 0}$ such that ${\displaystyle c\,S\,\subseteq \,\operatorname {balcore} A.}$ In words, the balanced core of ${\displaystyle A}$ contains some non-zero scalar multiple of ${\displaystyle S.}$

If ${\displaystyle 0\not \in S}$ or ${\displaystyle 0\in A}$ then this list can be extended to include:

18. ${\displaystyle A\cup \{0\}}$ absorbs ${\displaystyle S}$ (according to any defining condition of "absorbs" other than this one).
    • In other words, ${\displaystyle A}$ may be replaced by ${\displaystyle A\cup \{0\}}$ in the characterizations above if ${\displaystyle 0\not \in S}$ (or trivially, if ${\displaystyle 0\in A}$).

A set absorbing a point

A set is said to absorb a point ${\displaystyle x}$ if it absorbs the singleton set ${\displaystyle \{x\}.}$ A set ${\displaystyle A}$ absorbs the origin if and only if it contains the origin; that is, if and only if ${\displaystyle 0\in A.}$ As detailed below, a set is said to be absorbing in ${\displaystyle X}$ if it absorbs every point of ${\displaystyle X.}$

This notion of one set absorbing another is also used in other definitions: A subset of a topological vector space ${\displaystyle X}$ is called bounded if it is absorbed by every neighborhood of the origin. A set is called bornivorous if it absorbs every bounded subset.

First examples

Every set absorbs the empty set but the empty set does not absorb any non-empty set. The singleton set ${\displaystyle \{\mathbf {0} \}}$ containing the origin is the one and only singleton subset that absorbs itself.

Suppose that ${\displaystyle X}$ is equal to either ${\displaystyle \mathbb {R} ^{2}}$ or ${\displaystyle \mathbb {C} .}$ If ${\displaystyle A:=S^{1}\cup \{\mathbf {0} \}}$ is the unit circle (centered at the origin ${\displaystyle \mathbf {0} }$) together with the origin, then ${\displaystyle \{\mathbf {0} \}}$ is the one and only non-empty set that ${\displaystyle A}$ absorbs. Moreover, there does not exist any non-empty subset of ${\displaystyle X}$ that is absorbed by the unit circle ${\displaystyle S^{1}.}$ In contrast, every neighborhood of the origin absorbs every bounded subset of ${\displaystyle X}$ (and so in particular, absorbs every singleton subset/point).

A subset ${\displaystyle A}$ of a vector space ${\displaystyle X}$ over a field ${\displaystyle \mathbb {K} }$ is called an absorbing (or absorbent) subset of ${\displaystyle X}$ and is said to be absorbing in ${\displaystyle X}$ if it satisfies any of the following equivalent conditions (here ordered so that each condition is an easy consequence of the previous one, starting with the definition):

1. Definition: ${\displaystyle A}$ absorbs every point of ${\displaystyle X;}$ that is, for every ${\displaystyle x\in X,}$ ${\displaystyle A}$ absorbs ${\displaystyle \{x\}.}$
   • So in particular, ${\displaystyle A}$ can not be absorbing if ${\displaystyle 0\not \in A.}$ Every absorbing set must contain the origin.
2. ${\displaystyle A}$ absorbs every finite subset of ${\displaystyle X.}$
3. For every ${\displaystyle x\in X,}$ there exists a real ${\displaystyle r>0}$ such that ${\displaystyle x\in cA}$ for any scalar ${\displaystyle c\in \mathbb {K} }$ satisfying ${\displaystyle |c|\geq r.}$
4. For every ${\displaystyle x\in X,}$ there exists a real ${\displaystyle r>0}$ such that ${\displaystyle cx\in A}$ for any scalar ${\displaystyle c\in \mathbb {K} }$ satisfying ${\displaystyle |c|\leq r.}$
5. For every ${\displaystyle x\in X,}$ there exists a real ${\displaystyle r>0}$ such that ${\displaystyle B_{r}x\subseteq A.}$
   • Here ${\displaystyle B_{r}=\{c\in \mathbb {K}$ :|c|<r\}} is the open ball of radius ${\displaystyle r}$ in the scalar field centered at the origin and ${\displaystyle B_{r}x=\left\{cx:c\in B_{r}\right\}=\{cx:c\in \mathbb {K} {\text{ and }}|c|<r\}.}$
   • The closed ball can be used in place of the open ball.
   • Because ${\displaystyle B_{r}x\subseteq \mathbb {K} x=\operatorname {span} \{x\},}$ the inclusion ${\displaystyle B_{r}x\subseteq A}$ holds if and only if ${\displaystyle B_{r}x\subseteq A\cap \mathbb {K} x.}$ This proves the next statement.
6. For every ${\displaystyle x\in X,}$ there exists a real ${\displaystyle r>0}$ such that ${\displaystyle B_{r}x\subseteq A\cap \mathbb {K} x,}$ where ${\displaystyle \mathbb {K} x=\operatorname {span} \{x\}.}$
   • Connection to topology: If ${\displaystyle \mathbb {K} x}$ is given its usual Hausdorff Euclidean topology then the set ${\displaystyle B_{r}x}$ is a neighborhood of the origin in ${\displaystyle \mathbb {K} x;}$ thus, there exists a real ${\displaystyle r>0}$ such that ${\displaystyle B_{r}x\subseteq A\cap \mathbb {K} x}$ if and only if ${\displaystyle A\cap \mathbb {K} x}$ is a neighborhood of the origin in ${\displaystyle \mathbb {K} x.}$ Consequently, ${\displaystyle A}$ satisfies this condition if and only if for every ${\displaystyle x\in X,}$ ${\displaystyle A\cap \operatorname {span} \{x\}}$ is a neighborhood of ${\displaystyle 0}$ in ${\displaystyle \operatorname {span} \{x\}=\mathbb {K} x}$ when ${\displaystyle \operatorname {span} \{x\}}$ is given the Euclidean topology. This gives the next characterization.
   • The only TVS topologies[note 2] on a 1-dimensional vector space are the (non-Hausdorff) trivial topology and the Hausdorff Euclidean topology. Every 1-dimensional vector subspace of ${\displaystyle X}$ is of the form ${\displaystyle \mathbb {K} x=\operatorname {span} \{x\}}$ for some non-zero ${\displaystyle x\in X}$ and if this 1-dimensional space ${\displaystyle \mathbb {K} x}$ is endowed with the (unique) Hausdorff vector topology, then the map ${\displaystyle \mathbb {K} \to \mathbb {K} x}$ defined by ${\displaystyle c\mapsto cx}$ is necessarily a TVS-isomorphism (where as usual, ${\displaystyle \mathbb {K} }$ is endowed with its standard Euclidean topology induced by the Euclidean metric).
7. ${\displaystyle A}$ contains the origin and for every 1-dimensional vector subspace ${\displaystyle Y}$ of ${\displaystyle X,}$ ${\displaystyle A\cap Y}$ is a neighborhood of the origin in ${\displaystyle Y}$ when ${\displaystyle Y}$ is given its unique Hausdorff vector topology.
   • Connection to vector/TVS topologies: This condition gives insight as to why every neighborhood of the origin in every topological vector space (TVS) is necessarily absorbing: If ${\displaystyle U}$ is a neighborhood of the origin in a TVS ${\displaystyle X}$ then for every 1-dimensional vector subspace ${\displaystyle Y,}$ ${\displaystyle U\cap Y}$ is a neighborhood of the origin in ${\displaystyle Y}$ when ${\displaystyle Y}$ is endowed with the subspace topology induced on it by ${\displaystyle X.}$ This subspace topology is always a vector topology[note 2] and because ${\displaystyle Y}$ is 1-dimensional, the only vector topologies on it are the Hausdorff Euclidean topology and the trivial topology, which is a subset of the Euclidean topology. So regardless of which of these vector topologies is on ${\displaystyle Y,}$ the set ${\displaystyle U\cap Y}$ will be a neighborhood of the origin in ${\displaystyle Y}$ with respect to its unique Hausdorff vector topology (the Euclidean topology).[note 3] Thus ${\displaystyle U}$ is absorbing.
     • The reason why the Euclidean topology is distinguished in this characterization ultimately stems from the defining requirement on TVS topologies[note 2] that scalar multiplication ${\displaystyle \mathbb {K} \times X\to X}$ be continuous when the scalar field ${\displaystyle \mathbb {K} }$ is given this (Euclidean) topology.
8. ${\displaystyle A}$ contains the origin and for every 1-dimensional vector subspace ${\displaystyle Y}$ of ${\displaystyle X,}$ ${\displaystyle A\cap Y}$ is absorbing in the ${\displaystyle Y.}$
   • Here "absorbing" means absorbing according to any defining condition other than this one.
   • This characterization shows that the property of being absorbing in ${\displaystyle X}$ depends only on how ${\displaystyle A}$ behaves with respect to 1 (or 0) dimensional vector subspaces of ${\displaystyle X.}$ In contrast, if a finite-dimensional vector subspace ${\displaystyle Z}$ of ${\displaystyle X}$ has dimension ${\displaystyle n>1}$ and is endowed with its unique Hausdorff TVS topology, then ${\displaystyle A\cap Z}$ being absorbing in ${\displaystyle Z}$ is no longer sufficient to guarantee that ${\displaystyle A\cap Z}$ is a neighborhood of the origin in ${\displaystyle Z}$ (although it will still be a necessary condition). For this to happen, it suffices for ${\displaystyle A\cap Z}$ to be an absorbing set that is also convex, balanced, and closed in ${\displaystyle Z}$ (such a set is called a barrel and it will be a neighborhood of the origin in ${\displaystyle Z}$ because like every finite-dimensional Euclidean space, ${\displaystyle Z}$ is a barrelled space).

If ${\displaystyle \mathbb {K} =\mathbb {R} }$ then to this list can be appended:

9. The algebraic interior of ${\displaystyle A}$ contains the origin (that is, ${\displaystyle 0\in {}^{i}A}$).

If ${\displaystyle A}$ is balanced then to this list can be appended:

10. For every ${\displaystyle x\in X,}$ there exists a scalar ${\displaystyle c\neq 0}$ such that ${\displaystyle x\in cA}$[1] (or equivalently, such that ${\displaystyle cx\in A}$).
11. For every ${\displaystyle x\in X,}$ there exists a scalar ${\displaystyle c}$ such that ${\displaystyle x\in cA.}$

If ${\displaystyle A}$ is convex or balanced then to this list can be appended:

12. For every ${\displaystyle x\in X,}$ there exists a positive real ${\displaystyle r>0}$ such that ${\displaystyle rx\in A.}$
    • The proof that a balanced set ${\displaystyle A}$ satisfying this condition is necessarily absorbing in ${\displaystyle X}$ follows immediately from condition (10) above and the fact that ${\displaystyle cA=|c|A}$ for all scalars ${\displaystyle c\neq 0}$ (where ${\displaystyle r:=|c|>0}$ is real).
    • The proof that a convex set ${\displaystyle A}$ satisfying this condition is necessarily absorbing in ${\displaystyle X}$ is less trivial (but not difficult). A detailed proof is given in this footnote[proof 1] and a summary is given below.
      • Summary of proof: By assumption, for any non-zero ${\displaystyle 0\neq y\in X,}$ it is possible to pick positive real ${\displaystyle r>0}$ and ${\displaystyle R>0}$ such that ${\displaystyle Ry\in A}$ and ${\displaystyle r(-y)\in A}$ so that the convex set ${\displaystyle A\cap \mathbb {R} y}$ contains the open sub-interval ${\displaystyle (-r,R)y\,{\stackrel {\scriptscriptstyle {\text{def}}}{=}}\,\{ty:-r<t<R,t\in \mathbb {R} \},}$ which contains the origin (${\displaystyle A\cap \mathbb {R} y}$ is called an interval since we identify ${\displaystyle \mathbb {R} y}$ with ${\displaystyle \mathbb {R} }$ and every non-empty convex subset of ${\displaystyle \mathbb {R} }$ is an interval). Give ${\displaystyle \mathbb {K} y}$ its unique Hausdorff vector topology so it remains to show that ${\displaystyle A\cap \mathbb {K} y}$ is a neighborhood of the origin in ${\displaystyle \mathbb {K} y.}$ If ${\displaystyle \mathbb {K} =\mathbb {R} }$ then we are done, so assume that ${\displaystyle \mathbb {K} =\mathbb {C} .}$ The set ${\displaystyle S\,{\stackrel {\scriptscriptstyle {\text{def}}}{=}}\,(A\cap \mathbb {R} y)\,\cup \,(A\cap \mathbb {R} (iy))\,\subseteq \,A\cap (\mathbb {C} y)}$ is a union of two intervals, each of which contains an open sub-interval that contains the origin; moreover, the intersection of these two intervals is precisely the origin. So the convex hull of ${\displaystyle S,}$ which is contained in the convex set ${\displaystyle A\cap \mathbb {C} y,}$ clearly contains an open ball around the origin. ${\displaystyle \blacksquare }$
13. For every ${\displaystyle x\in X,}$ there exists a positive real ${\displaystyle r>0}$ such that ${\displaystyle x\in rA.}$
    • This condition is equivalent to: every ${\displaystyle x\in X}$ belongs to the set ${\displaystyle {\textstyle \bigcup \limits _{0<r<\infty }}rA=\{ra:0<r<\infty ,a\in A\}=(0,\infty )A.}$ This happens if and only if ${\displaystyle X=(0,\infty )A,}$ which gives the next characterization.
14. ${\displaystyle (0,\infty )A=X.}$
    • It can be shown that for any subset ${\displaystyle T}$ of ${\displaystyle X,}$ ${\displaystyle (0,\infty )T=X}$ if and only if ${\displaystyle T\cap (0,\infty )x\neq \varnothing }$ for every ${\displaystyle x\in X,}$ where ${\displaystyle (0,\infty )x\,{\stackrel {\scriptscriptstyle {\text{def}}}{=}}\,\{rx:0<r<\infty \}.}$
15. For every ${\displaystyle x\in X,}$ ${\displaystyle A\cap (0,\infty )x\neq \varnothing .}$

If ${\displaystyle 0\in A}$ (which is necessary for ${\displaystyle A}$ to be absorbing) then it suffices to check any of the above conditions for all non-zero ${\displaystyle x\in X,}$ rather than all ${\displaystyle x\in X.}$

Let ${\displaystyle F:X\to Y}$ be a linear map between vector spaces and let ${\displaystyle B\subseteq X}$ and ${\displaystyle C\subseteq Y}$ be balanced sets. Then ${\displaystyle C}$ absorbs ${\displaystyle F(B)}$ if and only if ${\displaystyle F^{-1}(C)}$ absorbs ${\displaystyle B.}$[2]

If a set ${\displaystyle A}$ absorbs another set ${\displaystyle B}$ then any superset of ${\displaystyle A}$ also absorbs ${\displaystyle B.}$ A set ${\displaystyle A}$ absorbs the origin if and only if the origin is an element of ${\displaystyle A.}$

A set ${\displaystyle A}$ absorbs a finite union ${\displaystyle B_{1}\cup \cdots \cup B_{n}}$ of sets if and only it absorbs each set individuality (that is, if and only if ${\displaystyle A}$ absorbs ${\displaystyle B_{i}}$ for every ${\displaystyle i=1,\ldots ,n}$). In particular, a set ${\displaystyle A}$ is an absorbing subset of ${\displaystyle X}$ if and only if it absorbs every finite subset of ${\displaystyle X.}$

The unit ball of any normed vector space (or seminormed vector space) is absorbing. More generally, if ${\displaystyle X}$ is a topological vector space (TVS) then any neighborhood of the origin in ${\displaystyle X}$ is absorbing in ${\displaystyle X.}$ This fact is one of the primary motivations for defining the property "absorbing in ${\displaystyle X.}$"

Every superset of an absorbing set is absorbing. Consequently, the union of any family of (one or more) absorbing sets is absorbing. The intersection of finitely many absorbing subsets is once again an absorbing subset. However, the open balls ${\displaystyle (-r_{n},-r_{n})}$ of radius ${\displaystyle r_{n}=1,1/2,1/3,\ldots }$ are all absorbing in ${\displaystyle X:=\mathbb {R} }$ although their intersection ${\displaystyle \bigcap _{n\in \mathbb {N} }(-1/n,1/n)=\{0\}}$ is not absorbing.

If ${\displaystyle D\neq \varnothing }$ is a disk (a convex and balanced subset) then ${\displaystyle \operatorname {span} D={\textstyle \bigcup \limits _{n=1}^{\infty }}nD;}$ and so in particular, a disk ${\displaystyle D\neq \varnothing }$ is always an absorbing subset of ${\displaystyle \operatorname {span} D.}$[3] Thus if ${\displaystyle D}$ is a disk in ${\displaystyle X,}$ then ${\displaystyle D}$ is absorbing in ${\displaystyle X}$ if and only if ${\displaystyle \operatorname {span} D=X.}$ This conclusion is not guaranteed if the set ${\displaystyle D\neq \varnothing }$ is balanced but not convex; for example, the union ${\displaystyle D}$ of the ${\displaystyle x}$ and ${\displaystyle y}$ axes in ${\displaystyle X=\mathbb {R} ^{2}}$ is a non-convex balanced set that is not absorbing in ${\displaystyle \operatorname {span} D=\mathbb {R} ^{2}.}$

The image of an absorbing set under a surjective linear operator is again absorbing. The inverse image of an absorbing subset (of the codomain) under a linear operator is again absorbing (in the domain). If ${\displaystyle A}$ absorbing then the same is true of the symmetric set ${\displaystyle {\textstyle \bigcap \limits _{|u|=1}}uA\subseteq A.}$

Auxiliary normed spaces

If ${\displaystyle W}$ is convex and absorbing in ${\displaystyle X}$ then the symmetric set ${\displaystyle D:={\textstyle \bigcap \limits _{|u|=1}}uW}$ will be convex and balanced (also known as an absolutely convex set or a disk) in addition to being absorbing in ${\displaystyle X.}$ This guarantees that the Minkowski functional ${\displaystyle p_{D}:X\to \mathbb {R} }$ of ${\displaystyle D}$ will be a seminorm on ${\displaystyle X,}$ thereby making ${\displaystyle \left(X,p_{D}\right)}$ into a seminormed space that carries its canonical pseduometrizable topology. The set of scalar multiples ${\displaystyle rD}$ as ${\displaystyle r}$ ranges over ${\displaystyle \left\{{\tfrac {1}{2}},{\tfrac {1}{3}},{\tfrac {1}{4}},\ldots \right\}}$ (or over any other set of non-zero scalars having ${\displaystyle 0}$ as a limit point) forms a neighborhood basis of absorbing disks at the origin for this locally convex topology. If ${\displaystyle X}$ is a topological vector space and if this convex absorbing subset ${\displaystyle W}$ is also a bounded subset of ${\displaystyle X,}$ then all this will also be true of the absorbing disk ${\displaystyle D:={\textstyle \bigcap \limits _{|u|=1}}uW;}$ if in addition ${\displaystyle D}$ does not contain any non-trivial vector subspace then ${\displaystyle p_{D}}$ will be a norm and ${\displaystyle \left(X,p_{D}\right)}$ will form what is known as an auxiliary normed space.[4] If this normed space is a Banach space then ${\displaystyle D}$ is called a Banach disk.