{"history":[],"article":{"id":"964c90c7-9254-4bf1-96cd-15ef539e422a","title":"Absorbing set","slug":"absorbing-set","content":":::summary\n:::\n\n# \nIn [functional analysis](https://bliptext.com/articles/functional-analysis) and related areas of [mathematics](https://bliptext.com/articles/mathematics) an **absorbing [set](https://bliptext.com/articles/set-mathematics)** in a [vector space](https://bliptext.com/articles/vector-space) is a [set](https://bliptext.com/articles/set-mathematics) S which can be \"inflated\" or \"scaled up\" to eventually always include any given point of the [vector space](https://bliptext.com/articles/vector-space).\nAlternative terms are **[radial](https://bliptext.com/articles/radial-set)** or **absorbent set**.\nEvery [neighborhood of the origin](https://bliptext.com/articles/neighbourhood-mathematics) in every [topological vector space](https://bliptext.com/articles/topological-vector-space) is an absorbing subset.\n\n# Definition\n**Notation for scalars**\nSuppose that X is a vector space over the [field](https://bliptext.com/articles/field-mathematics) \\mathbb{K} of [real numbers](https://bliptext.com/articles/real-number) \\R or [complex numbers](https://bliptext.com/articles/complex-number) \\Complex, and for any let\ndenote the open ball (respectively, the closed ball) of radius r in \\mathbb{K} centered at 0.\nDefine the product of a set of scalars with a set A of vectors as and define the product of with a single vector x as\n\n## Preliminaries\n**Balanced core and balanced hull**\nA subset S of X is said to be [Balanced set](https://bliptext.com/articles/balanced-set) if a s \\in S for all s \\in S and all scalars a satisfying |a| \\leq 1; this condition may be written more succinctly as and it holds if and only if\nGiven a set T, the smallest [balanced set](https://bliptext.com/articles/balanced-set) containing T, denoted by is called the of T while the largest [balanced set](https://bliptext.com/articles/balanced-set) contained within T, denoted by is called the of T. These sets are given by the formulas\nand\n(these formulas show that the balanced hull and the balanced core always exist and are unique).\nA set T is balanced if and only if it is equal to its balanced hull or to its balanced core, in which case all three of these sets are equal:\nIf c is any scalar then\nwhile if c \\neq 0 is non-zero or if 0 \\in T then also\n\n## One set absorbing another\n****I****f**** ****S**** ****a****n****d**** ****A**** ****a****r****e**** ****s****u****b****s****e****t****s**** ****o****f**** ****X****,**** ****t****h****e****n**** ****A**** ****i****s**** ****s****a****i****d**** ****t****o**** **** ****S**** ****i****f**** ****i****t**** ****s****a****t****i****s****f****i****e****s**** ****a****n****y**** ****o****f**** ****t****h****e**** ****f****o****l****l****o****w****i****n****g**** ****e****q****u****i****v****a****l****e****n****t**** ****c****o****n****d****i****t****i****o****n****s****:****\nIf A is a [balanced set](https://bliptext.com/articles/balanced-set) then this list can be extended to include:\n

\nThere exists a non-zero scalar c \\neq 0 such that\nThere exists a non-zero scalar c \\neq 0 such that \nIf 0 \\in A (a necessary condition for A to be an [absorbing set](https://bliptext.com/articles/), or to be a neighborhood of the origin in a topology) then this list can be extended to include:\n

There exists r > 0 such that for every scalar c satisfying |c| \\leq r. Or stated more succinctly,\n
There exists r > 0 such that
There exists r > 0 such that
There exists r > 0 such that\n
There exists r > 0 such that In words, a set is absorbed by A if it is contained in some positive scalar multiple of the [balanced core](https://bliptext.com/articles/) of A.
There exists r > 0 such that
There exists a non-zero scalar c \\neq 0 such that In words, the [balanced core](https://bliptext.com/articles/) of A contains some non-zero scalar multiple of S.
There exists a scalar c such that In words, A can be scaled to contain the [balanced hull](https://bliptext.com/articles/) of S.
There exists a scalar c such that
There exists a scalar c such that In words, A can be scaled so that its [balanced core](https://bliptext.com/articles/) contains S.
There exists a scalar c such that
There exists a scalar c such that In words, the [balanced core](https://bliptext.com/articles/) of A can be scaled to contain the [balanced hull](https://bliptext.com/articles/) of S.
The balanced core of A absorbs the balanced hull S (according to any defining condition of \"absorbs\" other than this one).

\nIf 0 \\not\\in S or 0 \\in A then this list can be extended to include:\n

absorbs S (according to any defining condition of \"absorbs\" other than this one).\n\n**A set absorbing a point**\n****A**** ****s****e****t**** ****i****s**** ****s****a****i****d**** ****t****o**** **** ****x**** ****i****f**** ****i****t**** ****a****b****s****o****r****b****s**** ****t****h****e**** ****s****i****n****g****l****e****t****o****n**** ****s****e****t**** ****\\****{****x****\\****}****.****\nA set A absorbs the origin if and only if it contains the origin; that is, if and only if 0 \\in A. As detailed below, a set is said to be if it absorbs every point of X.\nThis notion of one set absorbing another is also used in other definitions:\nA subset of a [topological vector space](https://bliptext.com/articles/topological-vector-space) X is called if it is absorbed by every neighborhood of the origin.\nA set is called if it absorbs every bounded subset.\n**First examples**\nEvery set absorbs the empty set but the empty set does not absorb any non-empty set.\nThe singleton set containing the origin is the one and only singleton subset that absorbs itself.\nSuppose that X is equal to either \\R^2 or \\Complex.\nIf is the [unit circle](https://bliptext.com/articles/unit-circle) (centered at the origin \\mathbf{0}) together with the origin, then is the one and only non-empty set that A absorbs.\nMoreover, there does exist non-empty subset of X that is absorbed by the unit circle S^1.\nIn contrast, every [neighborhood](https://bliptext.com/articles/neighbourhood-mathematics) of the origin absorbs every [bounded subset](https://bliptext.com/articles/bounded-set-topological-vector-space) of X (and so in particular, absorbs every singleton subset/point).\n\n## Absorbing set\nA subset A of a vector space** X** over a field \\mathbb{K} is called an of** X** and is said to be ** 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):\n

Definition: A [absorbs](https://bliptext.com/articles/) every point of X; that is, for every x \\in X, A [absorbs](https://bliptext.com/articles/) \\{x\\}.\n
A absorbs every finite subset of X.
For every x \\in X, there exists a real r > 0 such that x \\in c A for any scalar satisfying |c| \\geq r.
For every x \\in X, there exists a real r > 0 such that c x \\in A for any scalar satisfying |c| \\leq r.
For every x \\in X, there exists a real r > 0 such that\n
For every x \\in X, there exists a real r > 0 such that where\n
A contains the origin and for every 1-dimensional vector subspace Y of X, A \\cap Y is a neighborhood of the origin in Y when Y is given [its unique Hausdorff vector topology](https://bliptext.com/articles/) (i.e. the [Euclidean topology](https://bliptext.com/articles/euclidean-topology)).\n
- The reason why the Euclidean topology is distinguished in this characterization ultimately stems from the defining requirement on TVS topologies that scalar multiplication be continuous when the scalar field \\mathbb{K} is given this (Euclidean) topology.
- **0-Neighborhoods are absorbing**: This condition gives insight as to why every neighborhood of the origin in every [topological vector space](https://bliptext.com/articles/topological-vector-space) (TVS) is necessarily absorbing: If U is a neighborhood of the origin in a TVS X then for every 1-dimensional vector subspace Y, U \\cap Y is a neighborhood of the origin in Y when Y is endowed with the [subspace topology](https://bliptext.com/articles/subspace-topology) induced on it by X. This [subspace topology](https://bliptext.com/articles/subspace-topology) is always a vector topology and because Y is 1-dimensional, the only vector topologies on it are [the Hausdorff Euclidean topology](https://bliptext.com/articles/) and the [trivial topology](https://bliptext.com/articles/trivial-topology), which is a subset of the Euclidean topology.\nSo regardless of which of these vector topologies is on Y, the set U \\cap Y will be a neighborhood of the origin in Y with respect to its unique Hausdorff vector topology (the Euclidean topology).\nThus U is absorbing.
\n
A contains the origin and for every 1-dimensional vector subspace Y of X, A \\cap Y is absorbing in Y (according to any defining condition of \"absorbing\" other than this one).\n

\nIf then to this list can be appended:\nIf A is [balanced](https://bliptext.com/articles/balanced-set) then to this list can be appended:\nIf A is [convex](https://bliptext.com/articles/convex-set) **or** [balanced](https://bliptext.com/articles/balanced-set) then to this list can be appended:\nIf 0 \\in A (which is necessary for A to be absorbing) then it suffices to check any of the above conditions for all non-zero x \\in X, rather than all x \\in X.\n\n# Examples and sufficient conditions\n\n## For one set to absorb another\nLet F : X \\to Y be a linear map between vector spaces and let and be balanced sets.\nThen C absorbs F(B) if and only if F^{-1}(C) absorbs B.\nIf a set A absorbs another set B then any superset of A also absorbs B. A set A absorbs the origin if and only if the origin is an element of A.\nA set A absorbs a finite union of sets if and only it absorbs each set individuality (that is, if and only if A absorbs B_i for every ).\nIn particular, a set A is an absorbing subset of X if and only if it absorbs every finite subset of X.\n\n## For a set to be absorbing\nThe [unit ball](https://bliptext.com/articles/unit-ball) of any [normed vector space](https://bliptext.com/articles/normed-vector-space) (or semi[normed vector space](https://bliptext.com/articles/normed-vector-space)) is absorbing.\nMore generally, if X is a [topological vector space](https://bliptext.com/articles/topological-vector-space) (TVS) then any neighborhood of the origin in X is absorbing in X. This fact is one of the primary motivations for defining the property \"absorbing in X.\"\nEvery superset of an absorbing set is absorbing.\nConsequently, the union of any family of (one or more) absorbing sets is absorbing.\nThe intersection of finitely many absorbing subsets is once again an absorbing subset.\nHowever, the open balls of radius are all absorbing in X := \\Reals although their intersection is not absorbing.\nIf is a [disk](https://bliptext.com/articles/absolutely-convex-set) (a convex and balanced subset) then and so in particular, a [disk](https://bliptext.com/articles/absolutely-convex-set) is always an absorbing subset of Thus if D is a [disk](https://bliptext.com/articles/absolutely-convex-set) in X, then D is absorbing in X if and only if This conclusion is not guaranteed if the set is balanced but not convex; for example, the union D of the x and y axes in is a non-convex balanced set that is not absorbing in\nThe image of an absorbing set under a surjective linear operator is again absorbing.\nThe inverse image of an absorbing subset (of the codomain) under a linear operator is again absorbing (in the domain).\nIf A absorbing then the same is true of the [symmetric set](https://bliptext.com/articles/symmetric-set)\n**Auxiliary normed spaces**\nIf W is [convex](https://bliptext.com/articles/convex-set) and absorbing in X then the [symmetric set](https://bliptext.com/articles/symmetric-set) will be [convex](https://bliptext.com/articles/convex-set) and [balanced](https://bliptext.com/articles/balanced-set) (also known as an or a ) in addition to being absorbing in X. This guarantees that the [Minkowski functional](https://bliptext.com/articles/minkowski-functional) of D will be a [seminorm](https://bliptext.com/articles/seminorm) on X, thereby making into a [seminorm](https://bliptext.com/articles/seminorm)ed space that carries its canonical [pseduometrizable](https://bliptext.com/articles/metrizable-topological-vector-space) topology.\nThe set of scalar multiples r D as r ranges over (or over any other set of non-zero scalars having 0 as a limit point) forms a [neighborhood basis](https://bliptext.com/articles/neighborhood-basis) of absorbing [disks](https://bliptext.com/articles/absolutely-convex-set) at the origin for this [locally convex](https://bliptext.com/articles/locally-convex-topological-vector-space) topology.\nIf X is a [topological vector space](https://bliptext.com/articles/topological-vector-space) and if this convex absorbing subset W is also a [bounded subset](https://bliptext.com/articles/bounded-set-topological-vector-space) of X, then all this will also be true of the absorbing disk if in addition D does not contain any non-trivial vector subspace then p_D will be a [norm](https://bliptext.com/articles/norm-mathematics) and will form what is known as an auxiliary [norm](https://bliptext.com/articles/norm-mathematics)ed space.\nIf this normed space is a [Banach space](https://bliptext.com/articles/banach-space) then D is called a.\n\n# Properties\nEvery absorbing set contains the origin.\nIf D is an absorbing [disk](https://bliptext.com/articles/absolutely-convex-set) in a vector space X then there exists an absorbing [disk](https://bliptext.com/articles/absolutely-convex-set) E in X such that\nIf A is an absorbing subset of X then and more generally, for any sequence of scalars such that Consequently, if a [topological vector space](https://bliptext.com/articles/topological-vector-space) X is a [non-meager subset](https://bliptext.com/articles/nonmeager-set) of itself (or equivalently for TVSs, if it is a [Baire space](https://bliptext.com/articles/baire-space)) and if A is a closed absorbing subset of X then A necessarily contains a non-empty open subset of X (in other words, A's [topological interior](https://bliptext.com/articles/topological-interior) will not be empty), which guarantees that A - A is a [neighborhood of the origin](https://bliptext.com/articles/neighborhood-mathematics) in X.\nEvery absorbing set is a [total set](https://bliptext.com/articles/total-set), meaning that every absorbing subspace is [dense](https://bliptext.com/articles/dense-set).\n\n# Citations","current_revision":null,"created_by":"kACnuQmH5k9Nr5VNVEpVeg7XpvUmMctD","created_at":"2025-01-25T21:35:11.543Z","updated_at":"2025-01-25T21:35:11.543Z","search_vector":"'absorb':1 'set':2","search_content":" \n \n\n# \nIn [functional analysis](https://bliptext.com/articles/functional-analysis) and related areas of [mathematics](https://bliptext.com/articles/mathematics) an **absorbing [set](https://bliptext.com/articles/set-mathematics)** in a [vector space](https://bliptext.com/articles/vector-space) is a [set](https://bliptext.com/articles/set-mathematics) S which can be \"inflated\" or \"scaled up\" to eventually always include any given point of the [vector space](https://bliptext.com/articles/vector-space).\nAlternative terms are **[radial](https://bliptext.com/articles/radial-set)** or **absorbent set**.\nEvery [neighborhood of the origin](https://bliptext.com/articles/neighbourhood-mathematics) in every [topological vector space](https://bliptext.com/articles/topological-vector-space) is an absorbing subset.\n\n# Definition\n**Notation for scalars**\nSuppose that X is a vector space over the [field](https://bliptext.com/articles/field-mathematics) \\mathbb{K} of [real numbers](https://bliptext.com/articles/real-number) \\R or [complex numbers](https://bliptext.com/articles/complex-number) \\Complex, and for any let\ndenote the open ball (respectively, the closed ball) of radius r in \\mathbb{K} centered at 0.\nDefine the product of a set of scalars with a set A of vectors as and define the product of with a single vector x as\n\n## Preliminaries\n**Balanced core and balanced hull**\nA subset S of X is said to be [Balanced set](https://bliptext.com/articles/balanced-set) if a s \\in S for all s \\in S and all scalars a satisfying |a| \\leq 1; this condition may be written more succinctly as and it holds if and only if\nGiven a set T, the smallest [balanced set](https://bliptext.com/articles/balanced-set) containing T, denoted by is called the of T while the largest [balanced set](https://bliptext.com/articles/balanced-set) contained within T, denoted by is called the of T. These sets are given by the formulas\nand\n(these formulas show that the balanced hull and the balanced core always exist and are unique).\nA set T is balanced if and only if it is equal to its balanced hull or to its balanced core, in which case all three of these sets are equal:\nIf c is any scalar then\nwhile if c \\neq 0 is non-zero or if 0 \\in T then also\n\n## One set absorbing another\n****I****f**** ****S**** ****a****n****d**** ****A**** ****a****r****e**** ****s****u****b****s****e****t****s**** ****o****f**** ****X****,**** ****t****h****e****n**** ****A**** ****i****s**** ****s****a****i****d**** ****t****o**** **** ****S**** ****i****f**** ****i****t**** ****s****a****t****i****s****f****i****e****s**** ****a****n****y**** ****o****f**** ****t****h****e**** ****f****o****l****l****o****w****i****n****g**** ****e****q****u****i****v****a****l****e****n****t**** ****c****o****n****d****i****t****i****o****n****s****:****\nIf A is a [balanced set](https://bliptext.com/articles/balanced-set) then this list can be extended to include:\n \nThere exists a non-zero scalar c \\neq 0 such that\nThere exists a non-zero scalar c \\neq 0 such that \nIf 0 \\in A (a necessary condition for A to be an [absorbing set](https://bliptext.com/articles/), or to be a neighborhood of the origin in a topology) then this list can be extended to include:\n \nThere exists r > 0 such that for every scalar c satisfying |c| \n There exists r > 0 such that for every scalar c satisfying |c| \\leq r. Or stated more succinctly,\n There exists r > 0 such that \n There exists r > 0 such that \n There exists r > 0 such that\n There exists r > 0 such that In words, a set is absorbed by A if it is contained in some positive scalar multiple of the [balanced core](https://bliptext.com/articles/) of A. \n There exists r > 0 such that \n There exists a non-zero scalar c \\neq 0 such that In words, the [balanced core](https://bliptext.com/articles/) of A contains some non-zero scalar multiple of S. \n There exists a scalar c such that In words, A can be scaled to contain the [balanced hull](https://bliptext.com/articles/) of S. \n There exists a scalar c such that \n There exists a scalar c such that In words, A can be scaled so that its [balanced core](https://bliptext.com/articles/) contains S. \n There exists a scalar c such that \n There exists a scalar c such that In words, the [balanced core](https://bliptext.com/articles/) of A can be scaled to contain the [balanced hull](https://bliptext.com/articles/) of S. \n The balanced core of A absorbs the balanced hull S (according to any defining condition of \"absorbs\" other than this one). \n \nIf 0 \\not\\in S or 0 \\in A then this list can be extended to include:\n absorbs S (according to any defining condition of \"absorbs\" other than this one).\n \n**A set absorbing a point**\n****A**** ****s****e****t**** ****i****s**** ****s****a****i****d**** ****t****o**** **** ****x**** ****i****f**** ****i****t**** ****a****b****s****o****r****b****s**** ****t****h****e**** ****s****i****n****g****l****e****t****o****n**** ****s****e****t**** ****\\****{****x****\\****}****.****\nA set A absorbs the origin if and only if it contains the origin; that is, if and only if 0 \\in A. As detailed below, a set is said to be if it absorbs every point of X.\nThis notion of one set absorbing another is also used in other definitions:\nA subset of a [topological vector space](https://bliptext.com/articles/topological-vector-space) X is called if it is absorbed by every neighborhood of the origin.\nA set is called if it absorbs every bounded subset.\n**First examples**\nEvery set absorbs the empty set but the empty set does not absorb any non-empty set.\nThe singleton set containing the origin is the one and only singleton subset that absorbs itself.\nSuppose that X is equal to either \\R^2 or \\Complex.\nIf is the [unit circle](https://bliptext.com/articles/unit-circle) (centered at the origin \\mathbf{0}) together with the origin, then is the one and only non-empty set that A absorbs.\nMoreover, there does exist non-empty subset of X that is absorbed by the unit circle S^1.\nIn contrast, every [neighborhood](https://bliptext.com/articles/neighbourhood-mathematics) of the origin absorbs every [bounded subset](https://bliptext.com/articles/bounded-set-topological-vector-space) of X (and so in particular, absorbs every singleton subset/point).\n\n## Absorbing set\nA subset A of a vector space** X** over a field \\mathbb{K} is called an of** X** and is said to be ** 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):\n \n Definition: A [[absorbs](https://bliptext.com/articles/)](https://bliptext.com/articles/) every point of X; that is, for every x \\in X, A [[absorbs](https://bliptext.com/articles/)](https://bliptext.com/articles/) \\{x\\}.\n \n A absorbs every finite subset of X. \n For every x \\in X, there exists a real r > 0 such that x \\in c A for any scalar satisfying |c| \\geq r. \n For every x \\in X, there exists a real r > 0 such that c x \\in A for any scalar satisfying |c| \\leq r. \n For every x \\in X, there exists a real r > 0 such that\n \n For every x \\in X, there exists a real r > 0 such that where\n \n A contains the origin and for every 1-dimensional vector subspace Y of X, A \\cap Y is a neighborhood of the origin in Y when Y is given [its unique Hausdorff vector topology](https://bliptext.com/articles/) (i.e. the [Euclidean topology](https://bliptext.com/articles/euclidean-topology)).\n \n The reason why the Euclidean topology is distinguished in this characterization ultimately stems from the defining requirement on TVS topologies that scalar multiplication be continuous when the scalar field \\mathbb{K} is given this (Euclidean) topology. \n **0-Neighborhoods are absorbing**: This condition gives insight as to why every neighborhood of the origin in every [topological vector space](https://bliptext.com/articles/topological-vector-space) (TVS) is necessarily absorbing: If U is a neighborhood of the origin in a TVS X then for every 1-dimensional vector subspace Y, U \\cap Y is a neighborhood of the origin in Y when Y is endowed with the [subspace topology](https://bliptext.com/articles/subspace-topology) induced on it by X. This [subspace topology](https://bliptext.com/articles/subspace-topology) is always a vector topology and because Y is 1-dimensional, the only vector topologies on it are [the Hausdorff Euclidean topology](https://bliptext.com/articles/) and the [trivial topology](https://bliptext.com/articles/trivial-topology), which is a subset of the Euclidean topology.\nSo regardless of which of these vector topologies is on Y, the set U \\cap Y will be a neighborhood of the origin in Y with respect to its unique Hausdorff vector topology (the Euclidean topology).\nThus U is absorbing. \n \n \n A contains the origin and for every 1-dimensional vector subspace Y of X, A \\cap Y is absorbing in Y (according to any defining condition of \"absorbing\" other than this one).\n \n \nIf then to this list can be appended:\nIf A is [balanced](https://bliptext.com/articles/balanced-set) then to this list can be appended:\nIf A is [convex](https://bliptext.com/articles/convex-set) **or** [balanced](https://bliptext.com/articles/balanced-set) then to this list can be appended:\nIf 0 \\in A (which is necessary for A to be absorbing) then it suffices to check any of the above conditions for all non-zero x \\in X, rather than all x \\in X.\n\n# Examples and sufficient conditions\n\n## For one set to absorb another\nLet F : X \\to Y be a linear map between vector spaces and let and be balanced sets.\nThen C absorbs F(B) if and only if F^{-1}(C) absorbs B.\nIf a set A absorbs another set B then any superset of A also absorbs B. A set A absorbs the origin if and only if the origin is an element of A.\nA set A absorbs a finite union of sets if and only it absorbs each set individuality (that is, if and only if A absorbs B_i for every ).\nIn particular, a set A is an absorbing subset of X if and only if it absorbs every finite subset of X.\n\n## For a set to be absorbing\nThe [unit ball](https://bliptext.com/articles/unit-ball) of any [normed vector space](https://bliptext.com/articles/normed-vector-space) (or semi[normed vector space](https://bliptext.com/articles/normed-vector-space)) is absorbing.\nMore generally, if X is a [topological vector space](https://bliptext.com/articles/topological-vector-space) (TVS) then any neighborhood of the origin in X is absorbing in X. This fact is one of the primary motivations for defining the property \"absorbing in X.\"\nEvery superset of an absorbing set is absorbing.\nConsequently, the union of any family of (one or more) absorbing sets is absorbing.\nThe intersection of finitely many absorbing subsets is once again an absorbing subset.\nHowever, the open balls of radius are all absorbing in X := \\Reals although their intersection is not absorbing.\nIf is a [disk](https://bliptext.com/articles/absolutely-convex-set) (a convex and balanced subset) then and so in particular, a [disk](https://bliptext.com/articles/absolutely-convex-set) is always an absorbing subset of Thus if D is a [disk](https://bliptext.com/articles/absolutely-convex-set) in X, then D is absorbing in X if and only if This conclusion is not guaranteed if the set is balanced but not convex; for example, the union D of the x and y axes in is a non-convex balanced set that is not absorbing in\nThe image of an absorbing set under a surjective linear operator is again absorbing.\nThe inverse image of an absorbing subset (of the codomain) under a linear operator is again absorbing (in the domain).\nIf A absorbing then the same is true of the [symmetric set](https://bliptext.com/articles/symmetric-set)\n**Auxiliary normed spaces**\nIf W is [convex](https://bliptext.com/articles/convex-set) and absorbing in X then the [symmetric set](https://bliptext.com/articles/symmetric-set) will be [convex](https://bliptext.com/articles/convex-set) and [balanced](https://bliptext.com/articles/balanced-set) (also known as an or a ) in addition to being absorbing in X. This guarantees that the [Minkowski functional](https://bliptext.com/articles/minkowski-functional) of D will be a [seminorm](https://bliptext.com/articles/seminorm) on X, thereby making into a [seminorm](https://bliptext.com/articles/seminorm)ed space that carries its canonical [pseduometrizable](https://bliptext.com/articles/metrizable-topological-vector-space) topology.\nThe set of scalar multiples r D as r ranges over (or over any other set of non-zero scalars having 0 as a limit point) forms a [neighborhood basis](https://bliptext.com/articles/neighborhood-basis) of absorbing [disks](https://bliptext.com/articles/absolutely-convex-set) at the origin for this [locally convex](https://bliptext.com/articles/locally-convex-topological-vector-space) topology.\nIf X is a [topological vector space](https://bliptext.com/articles/topological-vector-space) and if this convex absorbing subset W is also a [bounded subset](https://bliptext.com/articles/bounded-set-topological-vector-space) of X, then all this will also be true of the absorbing disk if in addition D does not contain any non-trivial vector subspace then p_D will be a [norm](https://bliptext.com/articles/norm-mathematics) and will form what is known as an auxiliary [norm](https://bliptext.com/articles/norm-mathematics)ed space.\nIf this normed space is a [Banach space](https://bliptext.com/articles/banach-space) then D is called a.\n\n# Properties\nEvery absorbing set contains the origin.\nIf D is an absorbing [disk](https://bliptext.com/articles/absolutely-convex-set) in a vector space X then there exists an absorbing [disk](https://bliptext.com/articles/absolutely-convex-set) E in X such that\nIf A is an absorbing subset of X then and more generally, for any sequence of scalars such that Consequently, if a [topological vector space](https://bliptext.com/articles/topological-vector-space) X is a [non-meager subset](https://bliptext.com/articles/nonmeager-set) of itself (or equivalently for TVSs, if it is a [Baire space](https://bliptext.com/articles/baire-space)) and if A is a closed absorbing subset of X then A necessarily contains a non-empty open subset of X (in other words, A's [topological interior](https://bliptext.com/articles/topological-interior) will not be empty), which guarantees that A - A is a [neighborhood of the origin](https://bliptext.com/articles/neighborhood-mathematics) in X.\nEvery absorbing set is a [total set](https://bliptext.com/articles/total-set), meaning that every absorbing subspace is [dense](https://bliptext.com/articles/dense-set).\n\n# Citations","revisionCount":0},"hasMore":false,"nextCursor":null}

History