|
|
|
|
absorbing set
|
(Definition)
|
|
|
Let be a vector space over a field equipped with a non-discrete valuation
. Let be two subsets of . Then is said to absorb if there is a non-negative real number such that, for all
with
,
. is said to be an absorbing set, or a radial subset of if absorbs all finite subsets of .
Equivalently, is absorbing if for any , there is a non-negative real number such that
for all
with
. If a finite subset of consists of
, then corresponding to each , there is an such that
such that
,
. So
with
if we take
. So absorbs .
Example. If
and
, then any set containing an open ball centered at 0 is absorbing. This implies 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 and be defined as above. A subset of is said to be circled, or balanced, if
for all
. Clearly, absorbs itself (
,
), and . is also symmetric ( ), for
and
. As an example of a circled set that is neither absorbing nor convex, consider
and
, and the union of and axes. For an example of an absorbing set that is not circled, take the union of a unit disk and an annulus centered at 0 that is large enough so it is disjoint from the disk.
|
"absorbing set" is owned by CWoo.
|
|
(view preamble)
Cross-references: disjoint, annulus, unit disk, union, balanced set, circled, convex, connected, implies, open ball, finite, real number, subsets, valuation, field, vector space
There are 13 references to this entry.
This is version 7 of absorbing set, born on 2005-08-02, modified 2007-01-26.
Object id is 7287, canonical name is AbsorbingSet.
Accessed 4161 times total.
Classification:
| AMS MSC: | 15A03 (Linear and multilinear algebra; matrix theory :: Vector spaces, linear dependence, rank) | | | 46A08 (Functional analysis :: Topological linear spaces and related structures :: Barrelled spaces, bornological spaces) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|