{"history":[],"article":{"id":"813c0bda-f8e3-4175-bad8-18d645fcf96a","title":"Bornological space","slug":"bornological-space","content":":::summary\n:::\n\n# \nIn [mathematics](https://bliptext.com/articles/mathematics), particularly in [functional analysis](https://bliptext.com/articles/functional-analysis), a **bornological space** is a type of space which, in some sense, possesses the minimum amount of structure needed to address questions of boundedness of [sets](https://bliptext.com/articles/bounded-set-topological-vector-space) and [linear maps](https://bliptext.com/articles/bounded-linear-operator), in the same way that a [topological space](https://bliptext.com/articles/topological-space) possesses the minimum amount of structure needed to address questions of [continuity](https://bliptext.com/articles/continuous-map-topology).\nBornological spaces are distinguished by the property that a linear map from a bornological space into any [locally convex](https://bliptext.com/articles/locally-convex-topological-vector-space) spaces is continuous if and only if it is a [bounded linear operator](https://bliptext.com/articles/bounded-linear-operator).\nBornological spaces were first studied by [George Mackey](https://bliptext.com/articles/george-mackey).\nThe name was coined by [Bourbaki](https://bliptext.com/articles/nicolas-bourbaki) after, the French word for \"[bounded](https://bliptext.com/articles/bounded-set)\".\n\n# Bornologies and bounded maps\n****A**** **** ****o****n**** ****a**** ****s****e****t**** ****X**** ****i****s**** ****a**** ****c****o****l****l****e****c****t****i****o****n**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****o****f**** ****s****u****b****s****e****t****s**** ****o****f**** ****X**** ****t****h****a****t**** ****s****a****t****i****s****f****y**** ****a****l****l**** ****t****h****e**** ****f****o****l****l****o****w****i****n****g**** ****c****o****n****d****i****t****i****o****n****s****:****\n

\\mathcal{B} covers X; that is, ;
\\mathcal{B} is stable under inclusions; that is, if and then ;
\\mathcal{B} is stable under finite unions; that is, if then ;

\nElements of the collection \\mathcal{B} are called **' or simply **' if \\mathcal{B} is understood.\nThe pair is called a **' or a **'.\n****A**** **************'**** ****o****r**** **************'**** ****o****f**** ****a**** ****b****o****r****n****o****l****o****g****y**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****i****s**** ****a**** ****s****u****b****s****e****t**** ****o****f**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****s****u****c****h**** ****t****h****a****t**** ****e****a****c****h**** ****e****l****e****m****e****n****t**** ****o****f**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****i****s**** ****a**** ****s****u****b****s****e****t**** ****o****f**** ****s****o****m****e**** ****e****l****e****m****e****n****t**** ****o****f**** **** ****G****i****v****e****n**** ****a**** ****c****o****l****l****e****c****t****i****o****n**** ****\\****m****a****t****h****c****a****l****{****S****}**** ****o****f**** ****s****u****b****s****e****t****s**** ****o****f**** ****X****,**** ****t****h****e**** ****s****m****a****l****l****e****s****t**** ****b****o****r****n****o****l****o****g****y**** ****c****o****n****t****a****i****n****i****n****g**** ****\\****m****a****t****h****c****a****l****{****S****}**** ****i****s**** ****c****a****l****l****e****d**** ****t****h****e**** ****\n****I****f**** ****a****n****d**** **** ****a****r****e**** ****b****o****r****n****o****l****o****g****i****c****a****l**** ****s****e****t****s**** ****t****h****e****n**** ****t****h****e****i****r**** **** ****o****n**** ****X**** ****\\****t****i****m****e****s**** ****Y**** ****i****s**** ****t****h****e**** ****b****o****r****n****o****l****o****g****y**** ****h****a****v****i****n****g**** ****a****s**** ****a**** ****b****a****s****e**** ****t****h****e**** ****c****o****l****l****e****c****t****i****o****n**** ****o****f**** ****a****l****l**** ****s****e****t****s**** ****o****f**** ****t****h****e**** ****f****o****r****m**** ****B**** ****\\****t****i****m****e****s**** ****C****,**** ****w****h****e****r****e**** **** ****a****n****d****\nA subset of X \\times Y is bounded in the product bornology if and only if its image under the canonical projections onto X and Y are both bounded.\n\n## Bounded maps\n****I****f**** ****a****n****d**** **** ****a****r****e**** ****b****o****r****n****o****l****o****g****i****c****a****l**** ****s****e****t****s**** ****t****h****e****n**** ****a**** ****f****u****n****c****t****i****o****n**** ****f**** ****:**** ****X**** ****\\****t****o**** ****Y**** ****i****s**** ****s****a****i****d**** ****t****o**** ****b****e**** ****a**** **************'**** ****o****r**** ****a**** **************'**** ****(****w****i****t****h**** ****r****e****s****p****e****c****t**** ****t****o**** ****t****h****e****s****e**** ****b****o****r****n****o****l****o****g****i****e****s****)**** ****i****f**** ****i****t**** ****m****a****p****s**** ****\\****m****a****t****h****c****a****l****{****B****}****-****b****o****u****n****d****e****d**** ****s****u****b****s****e****t****s**** ****o****f**** ****X**** ****t****o**** ****\\****m****a****t****h****c****a****l****{****C****}****-****b****o****u****n****d****e****d**** ****s****u****b****s****e****t****s**** ****o****f**** ****Y****;**** ****t****h****a****t**** ****i****s****,**** ****i****f**** **** ****I****f**** ****i****n**** ****a****d****d****i****t****i****o****n**** ****f**** ****i****s**** ****a**** ****b****i****j****e****c****t****i****o****n**** ****a****n****d**** ****f****^****{****-****1****}**** ****i****s**** ****a****l****s****o**** ****b****o****u****n****d****e****d**** ****t****h****e****n**** ****f**** ****i****s**** ****c****a****l****l****e****d**** ****a**** ****.****\n\n# Vector bornologies\nLet X be a vector space over a [field](https://bliptext.com/articles/field-mathematics) \\mathbb{K} where \\mathbb{K} has a bornology\n****A**** ****b****o****r****n****o****l****o****g****y**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****o****n**** ****X**** ****i****s**** ****c****a****l****l****e****d**** ****a**** **** ****i****f**** ****i****t**** ****i****s**** ****s****t****a****b****l****e**** ****u****n****d****e****r**** ****v****e****c****t****o****r**** ****a****d****d****i****t****i****o****n****,**** ****s****c****a****l****a****r**** ****m****u****l****t****i****p****l****i****c****a****t****i****o****n****,**** ****a****n****d**** ****t****h****e**** ****f****o****r****m****a****t****i****o****n**** ****o****f**** ****b****a****l****a****n****c****e****d**** ****h****u****l****l****s**** ****(****i****.****e****.**** ****i****f**** ****t****h****e**** ****s****u****m**** ****o****f**** ****t****w****o**** ****b****o****u****n****d****e****d**** ****s****e****t****s**** ****i****s**** ****b****o****u****n****d****e****d****,**** ****e****t****c****.****)****.****\nIf X is a [topological vector space](https://bliptext.com/articles/topological-vector-space) (TVS) and \\mathcal{B} is a bornology on X, then the following are equivalent:\n

\\mathcal{B} is a vector bornology;
Finite sums and balanced hulls of \\mathcal{B}-bounded sets are \\mathcal{B}-bounded;
The scalar multiplication map defined by and the addition map defined by are both bounded when their domains carry their product bornologies (i.e. they map bounded subsets to bounded subsets).

\nA vector bornology \\mathcal{B} is called a if it is stable under the formation of [convex hulls](https://bliptext.com/articles/convex-hull) (i.e. the convex hull of a bounded set is bounded) then\nAnd a vector bornology \\mathcal{B} is called if the only bounded vector subspace of X is the 0-dimensional trivial space \\{ 0 \\}.\n****U****s****u****a****l****l****y****,**** ****\\****m****a****t****h****b****b****{****K****}**** ****i****s**** ****e****i****t****h****e****r**** ****t****h****e**** ****r****e****a****l**** ****o****r**** ****c****o****m****p****l****e****x**** ****n****u****m****b****e****r****s****,**** ****i****n**** ****w****h****i****c****h**** ****c****a****s****e**** ****a**** ****v****e****c****t****o****r**** ****b****o****r****n****o****l****o****g****y**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****o****n**** ****X**** ****w****i****l****l**** ****b****e**** ****c****a****l****l****e****d**** ****a**** **** ****i****f**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****h****a****s**** ****a**** ****b****a****s****e**** ****c****o****n****s****i****s****t****i****n****g**** ****o****f**** ****c****o****n****v****e****x**** ****s****e****t****s****.****\n\n## Bornivorous subsets\nA subset A of X is called **' and a **' if it [absorbs](https://bliptext.com/articles/absorbing-set) every bounded set.\nIn a vector bornology, A is bornivorous if it absorbs every bounded balanced set and in a convex vector bornology A is bornivorous if it absorbs every bounded disk.\nTwo TVS topologies on the same vector space have that same bounded subsets if and only if they have the same bornivores.\nEvery bornivorous subset of a locally convex [metrizable topological vector space](https://bliptext.com/articles/metrizable-topological-vector-space) is a neighborhood of the origin.\n\n### Mackey convergence\nA sequence in a TVS X is said to be if there exists a sequence of positive real numbers diverging to \\infty such that converges to 0 in X.\n\n## Bornology of a topological vector space\nEvery [topological vector space](https://bliptext.com/articles/topological-vector-space) X, at least on a non discrete [valued field](https://bliptext.com/articles/valued-field) gives a bornology on X by defining a subset to be [bounded](https://bliptext.com/articles/bounded-set-topological-vector-space) (or von-Neumann [bounded](https://bliptext.com/articles/bounded-set-topological-vector-space)), if and only if for all open sets containing zero there exists a r > 0 with\nIf X is a [locally convex](https://bliptext.com/articles/locally-convex-topological-vector-space) [topological vector space](https://bliptext.com/articles/topological-vector-space) then is bounded if and only if all continuous semi-norms on X are bounded on B.\nThe set of all [bounded](https://bliptext.com/articles/bounded-set-topological-vector-space) subsets of a topological vector space X is called **' or **' of X.\nIf X is a [locally convex topological vector space](https://bliptext.com/articles/locally-convex-topological-vector-space), then an [absorbing](https://bliptext.com/articles/absorbing-set) [disk](https://bliptext.com/articles/absolutely-convex-set) D in X is bornivorous (resp. infrabornivorous) if and only if its [Minkowski functional](https://bliptext.com/articles/minkowski-functional) is locally bounded (resp. infrabounded).\n\n## Induced topology\n****I****f**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****i****s**** ****a**** ****c****o****n****v****e****x**** ****v****e****c****t****o****r**** ****b****o****r****n****o****l****o****g****y**** ****o****n**** ****a**** ****v****e****c****t****o****r**** ****s****p****a****c****e**** ****X****,**** ****t****h****e****n**** ****t****h****e**** ****c****o****l****l****e****c****t****i****o****n**** ****o****f**** ****a****l****l**** ****c****o****n****v****e****x**** ****b****a****l****a****n****c****e****d**** ****s****u****b****s****e****t****s**** ****o****f**** ****X**** ****t****h****a****t**** ****a****r****e**** ****b****o****r****n****i****v****o****r****o****u****s**** ****f****o****r****m****s**** ****a**** ****n****e****i****g****h****b****o****r****h****o****o****d**** ****b****a****s****i****s**** ****a****t**** ****t****h****e**** ****o****r****i****g****i****n**** ****f****o****r**** ****a**** ****l****o****c****a****l****l****y**** ****c****o****n****v****e****x**** ****t****o****p****o****l****o****g****y**** ****o****n**** ****X**** ****c****a****l****l****e****d**** ****t****h****e**** ****.****\n****I****f**** ****(****X****,**** ****\\****t****a****u****)**** ****i****s**** ****a**** ****T****V****S**** ****t****h****e****n**** ****t****h****e**** **** ****i****s**** ****t****h****e**** ****v****e****c****t****o****r**** ****s****p****a****c****e**** ****X**** ****e****n****d****o****w****e****d**** ****w****i****t****h**** ****t****h****e**** ****l****o****c****a****l****l****y**** ****c****o****n****v****e****x**** ****t****o****p****o****l****o****g****y**** ****i****n****d****u****c****e****d**** ****b****y**** ****t****h****e**** ****v****o****n**** ****N****e****u****m****a****n****n**** ****b****o****r****n****o****l****o****g****y**** ****o****f**** ****(****X****,**** ****\\****t****a****u****)****.****\n\n# Quasi-bornological spaces\nQuasi-bornological spaces where introduced by S. Iyahen in 1968.\n****A**** ****t****o****p****o****l****o****g****i****c****a****l**** ****v****e****c****t****o****r**** ****s****p****a****c****e**** ****(****T****V****S****)**** ****(****X****,**** ****\\****t****a****u****)**** ****w****i****t****h**** ****a**** ****c****o****n****t****i****n****u****o****u****s**** ****d****u****a****l**** ****X****^****{****\\****p****r****i****m****e****}**** ****i****s**** ****c****a****l****l****e****d**** ****a**** **** ****i****f**** ****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**** ****h****o****l****d****s****:****\n

Every [bounded linear operator](https://bliptext.com/articles/bounded-linear-operator) from X into another TVS is [continuous](https://bliptext.com/articles/continuous-linear-operator).
Every bounded linear operator from X into a [complete metrizable TVS](https://bliptext.com/articles/f-space) is continuous.
Every knot in a bornivorous string is a neighborhood of the origin.

\nEvery [pseudometrizable TVS](https://bliptext.com/articles/metrizable-topological-vector-space) is quasi-bornological.\nA TVS (X, \\tau) in which every [bornivorous set](https://bliptext.com/articles/bornivorous-set) is a neighborhood of the origin is a quasi-bornological space.\nIf X is a quasi-bornological TVS then the finest locally convex topology on X that is coarser than \\tau makes X into a locally convex bornological space.\n\n## Bornological space\nIn functional analysis, a [locally convex topological vector space](https://bliptext.com/articles/locally-convex-topological-vector-space) is a bornological space if its topology can be recovered from its bornology in a natural way.\nEvery locally convex quasi-bornological space is bornological but there exist bornological spaces that are quasi-bornological.\n****A**** ****t****o****p****o****l****o****g****i****c****a****l**** ****v****e****c****t****o****r**** ****s****p****a****c****e**** ****(****T****V****S****)**** ****(****X****,**** ****\\****t****a****u****)**** ****w****i****t****h**** ****a**** ****c****o****n****t****i****n****u****o****u****s**** ****d****u****a****l**** ****X****^****{****\\****p****r****i****m****e****}**** ****i****s**** ****c****a****l****l****e****d**** ****a**** **** ****i****f**** ****i****t**** ****i****s**** ****l****o****c****a****l****l****y**** ****c****o****n****v****e****x**** ****a****n****d**** ****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**** ****h****o****l****d****s****:****\n

Every convex, balanced, and bornivorous set in X is a neighborhood of zero.
Every [bounded linear operator](https://bliptext.com/articles/bounded-linear-operator) from X into a locally convex TVS is [continuous](https://bliptext.com/articles/continuous-linear-operator).\n
Every bounded linear operator from X into a [seminormed space](https://bliptext.com/articles/seminormed-space) is continuous.
Every bounded linear operator from X into a [Banach space](https://bliptext.com/articles/banach-space) is continuous.

\nIf X is a [Hausdorff](https://bliptext.com/articles/hausdorff-space) [locally convex space](https://bliptext.com/articles/locally-convex-space) then we may add to this list:\n

The locally convex topology [induced by](https://bliptext.com/articles/) the von Neumann bornology on X is the same as \\tau, X's given topology.

Every bounded [seminorm](https://bliptext.com/articles/seminorm) on X is continuous.

Any other Hausdorff locally convex topological vector space topology on X that has the same (von Neumann) bornology as (X, \\tau) is necessarily coarser than \\tau.

X is the inductive limit of normed spaces.

X is the inductive limit of the normed spaces X_D as D varies over the closed and bounded disks of X (or as D varies over the bounded disks of X).

X carries the Mackey topology and all bounded linear functionals on X are continuous.

\nX has both of the following properties:\n****w****h****e****r****e**** ****a**** ****s****u****b****s****e****t**** ****A**** ****o****f**** ****X**** ****i****s**** ****c****a****l****l****e****d**** **** ****i****f**** ****e****v****e****r****y**** ****s****e****q****u****e****n****c****e**** ****c****o****n****v****e****r****g****i****n****g**** ****t****o**** ****0**** ****e****v****e****n****t****u****a****l****l****y**** ****b****e****l****o****n****g****s**** ****t****o**** ****A****.**** ****<****/****l****i****>****\n\nEvery sequentially continuous linear operator from a locally convex bornological space into a locally convex TVS is continuous, where recall that a linear operator is sequentially continuous if and only if it is sequentially continuous at the origin.\nThus for linear maps from a bornological space into a locally convex space, continuity is equivalent to sequential continuity at the origin.\nMore generally, we even have the following:\n

Any linear map F : X \\to Y from a locally convex bornological space into a locally convex space Y that maps null sequences in X to [bounded subsets](https://bliptext.com/articles/bounded-set-topological-vector-space) of Y is necessarily continuous.

\n\n## Sufficient conditions\nAs a consequent of the Mackey–Ulam theorem, \"for all practical purposes, the product of bornological spaces is bornological.\"\nThe following topological vector spaces are all bornological:\n

Any locally convex [pseudometrizable TVS](https://bliptext.com/articles/metrizable-topological-vector-space) is bornological.\n
Any strict inductive limit of bornological spaces, in particular any strict LF-space, is bornological.\n
A countable product of locally convex bornological spaces is bornological.
Quotients of Hausdorff locally convex bornological spaces are bornological.
The direct sum and inductive limit of Hausdorff locally convex bornological spaces is bornological.
[Fréchet](https://bliptext.com/articles/fr-chet-space) [Montel](https://bliptext.com/articles/montel-space) spaces have bornological [strong duals](https://bliptext.com/articles/strong-dual-space).
The strong dual of every [reflexive](https://bliptext.com/articles/reflexive-space) [Fréchet space](https://bliptext.com/articles/fr-chet-space) is bornological.
If the strong dual of a metrizable locally convex space is [separable](https://bliptext.com/articles/separable-space), then it is bornological.
A vector subspace of a Hausdorff locally convex bornological space X that has finite codimension in X is bornological.
The [finest locally convex topology](https://bliptext.com/articles/locally-convex-topological-vector-space) on a vector space is bornological.

\nThere exists a bornological [LB-space](https://bliptext.com/articles/lb-space) whose strong bidual is bornological.\nA closed vector subspace of a locally convex bornological space is not necessarily bornological.\nThere exists a closed vector subspace of a locally convex bornological space that is complete (and so sequentially complete) but neither barrelled nor bornological.\nBornological spaces need not be [barrelled](https://bliptext.com/articles/barrelled-space) and [barrelled](https://bliptext.com/articles/barrelled-space) spaces need not be bornological.\nBecause every locally convex ultrabornological space is barrelled, it follows that a bornological space is not necessarily ultrabornological.\n\n## Properties\n

The [strong dual space](https://bliptext.com/articles/strong-dual-space) of a locally convex bornological space is [complete](https://bliptext.com/articles/complete-topological-vector-space).
Every locally convex bornological space is [infrabarrelled](https://bliptext.com/articles/infrabarreled-space).
Every Hausdorff sequentially complete bornological TVS is [ultrabornological](https://bliptext.com/articles/ultrabornological-space).\n
The finite product of locally convex ultrabornological spaces is ultrabornological.
Every Hausdorff bornological space is [quasi-barrelled](https://bliptext.com/articles/quasi-barrelled).
Given a bornological space X with [continuous dual](https://bliptext.com/articles/continuous-dual) X^{\\prime}, the topology of X coincides with the [Mackey topology](https://bliptext.com/articles/mackey-topology)\n
Every [quasi-complete](https://bliptext.com/articles/quasi-complete) (i.e. all closed and bounded subsets are complete) bornological space is [barrelled](https://bliptext.com/articles/barrelled-space).\nThere exist, however, bornological spaces that are not barrelled.
Every bornological space is the inductive limit of normed spaces (and Banach spaces if the space is also quasi-complete).
\nLet X be a metrizable locally convex space with continuous dual X^{\\prime}.\nThen the following are equivalent:\n
1. is bornological.
2. is [quasi-barrelled](https://bliptext.com/articles/barrelled-space).
3. is [barrelled](https://bliptext.com/articles/barrelled-space).
4. X is a [distinguished space](https://bliptext.com/articles/distinguished-space).
\n
If L : X \\to Y is a linear map between locally convex spaces and if X is bornological, then the following are equivalent:\n
1. L : X \\to Y is continuous.
2. L : X \\to Y is sequentially continuous.
3. For every set that's bounded in X, L(B) is bounded.
4. If is a null sequence in X then is a null sequence in Y.
5. If is a Mackey convergent null sequence in X then is a bounded subset of Y.
\n
Suppose that X and Y are [locally convex](https://bliptext.com/articles/locally-convex) TVSs and that the space of continuous linear maps L_b(X; Y) is endowed with the [topology of uniform convergence on bounded subsets](https://bliptext.com/articles/topologies-on-spaces-of-linear-maps) of X. If X is a bornological space and if Y is [complete](https://bliptext.com/articles/complete-topological-vector-space) then L_b(X; Y) is a [complete](https://bliptext.com/articles/complete-topological-vector-space) TVS.\n

In a locally convex bornological space, every convex bornivorous set B is a neighborhood of 0 (B is required to be a disk).
Every bornivorous subset of a locally convex [metrizable topological vector space](https://bliptext.com/articles/metrizable-topological-vector-space) is a neighborhood of the origin.
Closed vector subspaces of bornological space need not be bornological.

\n\n# Ultrabornological spaces\n****A**** ****d****i****s****k**** ****i****n**** ****a**** ****t****o****p****o****l****o****g****i****c****a****l**** ****v****e****c****t****o****r**** ****s****p****a****c****e**** ****X**** ****i****s**** ****c****a****l****l****e****d**** **** ****i****f**** ****i****t**** ****a****b****s****o****r****b****s**** ****a****l****l**** ****B****a****n****a****c****h**** ****d****i****s****k****s****.****\nIf X is locally convex and Hausdorff, then a disk is infrabornivorous if and only if it absorbs all compact disks.\n****A**** ****l****o****c****a****l****l****y**** ****c****o****n****v****e****x**** ****s****p****a****c****e**** ****i****s**** ****c****a****l****l****e****d**** **** ****i****f**** ****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**** ****h****o****l****d****:****\n

Every infrabornivorous disk is a neighborhood of the origin.
X is the inductive limit of the spaces X_D as D varies over all compact disks in X.
A [seminorm](https://bliptext.com/articles/seminorm) on X that is bounded on each Banach disk is necessarily continuous.
For every locally convex space Y and every linear map if u is bounded on each Banach disk then u is continuous.
For every Banach space Y and every linear map if u is bounded on each Banach disk then u is continuous.

\n\n## Properties\nThe finite product of ultrabornological spaces is ultrabornological.\nInductive limits of ultrabornological spaces are ultrabornological.","current_revision":null,"created_by":"kACnuQmH5k9Nr5VNVEpVeg7XpvUmMctD","created_at":"2025-01-25T21:39:10.454Z","updated_at":"2025-01-25T21:39:10.454Z","search_vector":"'bornolog':1 'space':2","search_content":" \n \n\n# \nIn [mathematics](https://bliptext.com/articles/mathematics), particularly in [functional analysis](https://bliptext.com/articles/functional-analysis), a **bornological space** is a type of space which, in some sense, possesses the minimum amount of structure needed to address questions of boundedness of [sets](https://bliptext.com/articles/bounded-set-topological-vector-space) and [linear maps](https://bliptext.com/articles/bounded-linear-operator), in the same way that a [topological space](https://bliptext.com/articles/topological-space) possesses the minimum amount of structure needed to address questions of [continuity](https://bliptext.com/articles/continuous-map-topology).\nBornological spaces are distinguished by the property that a linear map from a bornological space into any [locally convex](https://bliptext.com/articles/locally-convex-topological-vector-space) spaces is continuous if and only if it is a [bounded linear operator](https://bliptext.com/articles/bounded-linear-operator).\nBornological spaces were first studied by [George Mackey](https://bliptext.com/articles/george-mackey).\nThe name was coined by [Bourbaki](https://bliptext.com/articles/nicolas-bourbaki) after, the French word for \"[bounded](https://bliptext.com/articles/bounded-set)\".\n\n# Bornologies and bounded maps\n****A**** **** ****o****n**** ****a**** ****s****e****t**** ****X**** ****i****s**** ****a**** ****c****o****l****l****e****c****t****i****o****n**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****o****f**** ****s****u****b****s****e****t****s**** ****o****f**** ****X**** ****t****h****a****t**** ****s****a****t****i****s****f****y**** ****a****l****l**** ****t****h****e**** ****f****o****l****l****o****w****i****n****g**** ****c****o****n****d****i****t****i****o****n****s****:****\n \n \\mathcal{B} covers X; that is, ; \n \\mathcal{B} is stable under inclusions; that is, if and then ; \n \\mathcal{B} is stable under finite unions; that is, if then ; \n \nElements of the collection \\mathcal{B} are called **' or simply **' if \\mathcal{B} is understood.\nThe pair is called a **' or a **'.\n****A**** **************'**** ****o****r**** **************'**** ****o****f**** ****a**** ****b****o****r****n****o****l****o****g****y**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****i****s**** ****a**** ****s****u****b****s****e****t**** ****o****f**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****s****u****c****h**** ****t****h****a****t**** ****e****a****c****h**** ****e****l****e****m****e****n****t**** ****o****f**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****i****s**** ****a**** ****s****u****b****s****e****t**** ****o****f**** ****s****o****m****e**** ****e****l****e****m****e****n****t**** ****o****f**** **** ****G****i****v****e****n**** ****a**** ****c****o****l****l****e****c****t****i****o****n**** ****\\****m****a****t****h****c****a****l****{****S****}**** ****o****f**** ****s****u****b****s****e****t****s**** ****o****f**** ****X****,**** ****t****h****e**** ****s****m****a****l****l****e****s****t**** ****b****o****r****n****o****l****o****g****y**** ****c****o****n****t****a****i****n****i****n****g**** ****\\****m****a****t****h****c****a****l****{****S****}**** ****i****s**** ****c****a****l****l****e****d**** ****t****h****e**** ****\n****I****f**** ****a****n****d**** **** ****a****r****e**** ****b****o****r****n****o****l****o****g****i****c****a****l**** ****s****e****t****s**** ****t****h****e****n**** ****t****h****e****i****r**** **** ****o****n**** ****X**** ****\\****t****i****m****e****s**** ****Y**** ****i****s**** ****t****h****e**** ****b****o****r****n****o****l****o****g****y**** ****h****a****v****i****n****g**** ****a****s**** ****a**** ****b****a****s****e**** ****t****h****e**** ****c****o****l****l****e****c****t****i****o****n**** ****o****f**** ****a****l****l**** ****s****e****t****s**** ****o****f**** ****t****h****e**** ****f****o****r****m**** ****B**** ****\\****t****i****m****e****s**** ****C****,**** ****w****h****e****r****e**** **** ****a****n****d****\nA subset of X \\times Y is bounded in the product bornology if and only if its image under the canonical projections onto X and Y are both bounded.\n\n## Bounded maps\n****I****f**** ****a****n****d**** **** ****a****r****e**** ****b****o****r****n****o****l****o****g****i****c****a****l**** ****s****e****t****s**** ****t****h****e****n**** ****a**** ****f****u****n****c****t****i****o****n**** ****f**** ****:**** ****X**** ****\\****t****o**** ****Y**** ****i****s**** ****s****a****i****d**** ****t****o**** ****b****e**** ****a**** **************'**** ****o****r**** ****a**** **************'**** ****(****w****i****t****h**** ****r****e****s****p****e****c****t**** ****t****o**** ****t****h****e****s****e**** ****b****o****r****n****o****l****o****g****i****e****s****)**** ****i****f**** ****i****t**** ****m****a****p****s**** ****\\****m****a****t****h****c****a****l****{****B****}****-****b****o****u****n****d****e****d**** ****s****u****b****s****e****t****s**** ****o****f**** ****X**** ****t****o**** ****\\****m****a****t****h****c****a****l****{****C****}****-****b****o****u****n****d****e****d**** ****s****u****b****s****e****t****s**** ****o****f**** ****Y****;**** ****t****h****a****t**** ****i****s****,**** ****i****f**** **** ****I****f**** ****i****n**** ****a****d****d****i****t****i****o****n**** ****f**** ****i****s**** ****a**** ****b****i****j****e****c****t****i****o****n**** ****a****n****d**** ****f****^****{****-****1****}**** ****i****s**** ****a****l****s****o**** ****b****o****u****n****d****e****d**** ****t****h****e****n**** ****f**** ****i****s**** ****c****a****l****l****e****d**** ****a**** ****.****\n\n# Vector bornologies\nLet X be a vector space over a [field](https://bliptext.com/articles/field-mathematics) \\mathbb{K} where \\mathbb{K} has a bornology\n****A**** ****b****o****r****n****o****l****o****g****y**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****o****n**** ****X**** ****i****s**** ****c****a****l****l****e****d**** ****a**** **** ****i****f**** ****i****t**** ****i****s**** ****s****t****a****b****l****e**** ****u****n****d****e****r**** ****v****e****c****t****o****r**** ****a****d****d****i****t****i****o****n****,**** ****s****c****a****l****a****r**** ****m****u****l****t****i****p****l****i****c****a****t****i****o****n****,**** ****a****n****d**** ****t****h****e**** ****f****o****r****m****a****t****i****o****n**** ****o****f**** ****b****a****l****a****n****c****e****d**** ****h****u****l****l****s**** ****(****i****.****e****.**** ****i****f**** ****t****h****e**** ****s****u****m**** ****o****f**** ****t****w****o**** ****b****o****u****n****d****e****d**** ****s****e****t****s**** ****i****s**** ****b****o****u****n****d****e****d****,**** ****e****t****c****.****)****.****\nIf X is a [topological vector space](https://bliptext.com/articles/topological-vector-space) (TVS) and \\mathcal{B} is a bornology on X, then the following are equivalent:\n \n \\mathcal{B} is a vector bornology; \n Finite sums and balanced hulls of \\mathcal{B}-bounded sets are \\mathcal{B}-bounded; \n The scalar multiplication map defined by and the addition map defined by are both bounded when their domains carry their product bornologies (i.e. they map bounded subsets to bounded subsets). \n \nA vector bornology \\mathcal{B} is called a if it is stable under the formation of [convex hulls](https://bliptext.com/articles/convex-hull) (i.e. the convex hull of a bounded set is bounded) then\nAnd a vector bornology \\mathcal{B} is called if the only bounded vector subspace of X is the 0-dimensional trivial space \\{ 0 \\}.\n****U****s****u****a****l****l****y****,**** ****\\****m****a****t****h****b****b****{****K****}**** ****i****s**** ****e****i****t****h****e****r**** ****t****h****e**** ****r****e****a****l**** ****o****r**** ****c****o****m****p****l****e****x**** ****n****u****m****b****e****r****s****,**** ****i****n**** ****w****h****i****c****h**** ****c****a****s****e**** ****a**** ****v****e****c****t****o****r**** ****b****o****r****n****o****l****o****g****y**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****o****n**** ****X**** ****w****i****l****l**** ****b****e**** ****c****a****l****l****e****d**** ****a**** **** ****i****f**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****h****a****s**** ****a**** ****b****a****s****e**** ****c****o****n****s****i****s****t****i****n****g**** ****o****f**** ****c****o****n****v****e****x**** ****s****e****t****s****.****\n\n## Bornivorous subsets\nA subset A of X is called **' and a **' if it [absorbs](https://bliptext.com/articles/absorbing-set) every bounded set.\nIn a vector bornology, A is bornivorous if it absorbs every bounded balanced set and in a convex vector bornology A is bornivorous if it absorbs every bounded disk.\nTwo TVS topologies on the same vector space have that same bounded subsets if and only if they have the same bornivores.\nEvery bornivorous subset of a locally convex [metrizable topological vector space](https://bliptext.com/articles/metrizable-topological-vector-space) is a neighborhood of the origin.\n\n### Mackey convergence\nA sequence in a TVS X is said to be if there exists a sequence of positive real numbers diverging to \\infty such that converges to 0 in X.\n\n## Bornology of a topological vector space\nEvery [topological vector space](https://bliptext.com/articles/topological-vector-space) X, at least on a non discrete [valued field](https://bliptext.com/articles/valued-field) gives a bornology on X by defining a subset to be [bounded](https://bliptext.com/articles/bounded-set-topological-vector-space) (or von-Neumann [bounded](https://bliptext.com/articles/bounded-set-topological-vector-space)), if and only if for all open sets containing zero there exists a r > 0 with\nIf X is a [locally convex](https://bliptext.com/articles/locally-convex-topological-vector-space) [topological vector space](https://bliptext.com/articles/topological-vector-space) then is bounded if and only if all continuous semi-norms on X are bounded on B.\nThe set of all [bounded](https://bliptext.com/articles/bounded-set-topological-vector-space) subsets of a topological vector space X is called **' or **' of X.\nIf X is a [locally convex topological vector space](https://bliptext.com/articles/locally-convex-topological-vector-space), then an [absorbing](https://bliptext.com/articles/absorbing-set) [disk](https://bliptext.com/articles/absolutely-convex-set) D in X is bornivorous (resp. infrabornivorous) if and only if its [Minkowski functional](https://bliptext.com/articles/minkowski-functional) is locally bounded (resp. infrabounded).\n\n## Induced topology\n****I****f**** ****\\****m****a****t****h****c****a****l****{****B****}**** ****i****s**** ****a**** ****c****o****n****v****e****x**** ****v****e****c****t****o****r**** ****b****o****r****n****o****l****o****g****y**** ****o****n**** ****a**** ****v****e****c****t****o****r**** ****s****p****a****c****e**** ****X****,**** ****t****h****e****n**** ****t****h****e**** ****c****o****l****l****e****c****t****i****o****n**** ****o****f**** ****a****l****l**** ****c****o****n****v****e****x**** ****b****a****l****a****n****c****e****d**** ****s****u****b****s****e****t****s**** ****o****f**** ****X**** ****t****h****a****t**** ****a****r****e**** ****b****o****r****n****i****v****o****r****o****u****s**** ****f****o****r****m****s**** ****a**** ****n****e****i****g****h****b****o****r****h****o****o****d**** ****b****a****s****i****s**** ****a****t**** ****t****h****e**** ****o****r****i****g****i****n**** ****f****o****r**** ****a**** ****l****o****c****a****l****l****y**** ****c****o****n****v****e****x**** ****t****o****p****o****l****o****g****y**** ****o****n**** ****X**** ****c****a****l****l****e****d**** ****t****h****e**** ****.****\n****I****f**** ****(****X****,**** ****\\****t****a****u****)**** ****i****s**** ****a**** ****T****V****S**** ****t****h****e****n**** ****t****h****e**** **** ****i****s**** ****t****h****e**** ****v****e****c****t****o****r**** ****s****p****a****c****e**** ****X**** ****e****n****d****o****w****e****d**** ****w****i****t****h**** ****t****h****e**** ****l****o****c****a****l****l****y**** ****c****o****n****v****e****x**** ****t****o****p****o****l****o****g****y**** ****i****n****d****u****c****e****d**** ****b****y**** ****t****h****e**** ****v****o****n**** ****N****e****u****m****a****n****n**** ****b****o****r****n****o****l****o****g****y**** ****o****f**** ****(****X****,**** ****\\****t****a****u****)****.****\n\n# Quasi-bornological spaces\nQuasi-bornological spaces where introduced by S. Iyahen in 1968.\n****A**** ****t****o****p****o****l****o****g****i****c****a****l**** ****v****e****c****t****o****r**** ****s****p****a****c****e**** ****(****T****V****S****)**** ****(****X****,**** ****\\****t****a****u****)**** ****w****i****t****h**** ****a**** ****c****o****n****t****i****n****u****o****u****s**** ****d****u****a****l**** ****X****^****{****\\****p****r****i****m****e****}**** ****i****s**** ****c****a****l****l****e****d**** ****a**** **** ****i****f**** ****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**** ****h****o****l****d****s****:****\n \n Every [bounded linear operator](https://bliptext.com/articles/bounded-linear-operator) from X into another TVS is [continuous](https://bliptext.com/articles/continuous-linear-operator). \n Every bounded linear operator from X into a [complete metrizable TVS](https://bliptext.com/articles/f-space) is continuous. \n Every knot in a bornivorous string is a neighborhood of the origin. \n \nEvery [pseudometrizable TVS](https://bliptext.com/articles/metrizable-topological-vector-space) is quasi-bornological.\nA TVS (X, \\tau) in which every [bornivorous set](https://bliptext.com/articles/bornivorous-set) is a neighborhood of the origin is a quasi-bornological space.\nIf X is a quasi-bornological TVS then the finest locally convex topology on X that is coarser than \\tau makes X into a locally convex bornological space.\n\n## Bornological space\nIn functional analysis, a [locally convex topological vector space](https://bliptext.com/articles/locally-convex-topological-vector-space) is a bornological space if its topology can be recovered from its bornology in a natural way.\nEvery locally convex quasi-bornological space is bornological but there exist bornological spaces that are quasi-bornological.\n****A**** ****t****o****p****o****l****o****g****i****c****a****l**** ****v****e****c****t****o****r**** ****s****p****a****c****e**** ****(****T****V****S****)**** ****(****X****,**** ****\\****t****a****u****)**** ****w****i****t****h**** ****a**** ****c****o****n****t****i****n****u****o****u****s**** ****d****u****a****l**** ****X****^****{****\\****p****r****i****m****e****}**** ****i****s**** ****c****a****l****l****e****d**** ****a**** **** ****i****f**** ****i****t**** ****i****s**** ****l****o****c****a****l****l****y**** ****c****o****n****v****e****x**** ****a****n****d**** ****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**** ****h****o****l****d****s****:****\n \n Every convex, balanced, and bornivorous set in X is a neighborhood of zero. \n Every [bounded linear operator](https://bliptext.com/articles/bounded-linear-operator) from X into a locally convex TVS is [continuous](https://bliptext.com/articles/continuous-linear-operator).\n Every bounded linear operator from X into a [seminormed space](https://bliptext.com/articles/seminormed-space) is continuous. \n Every bounded linear operator from X into a [Banach space](https://bliptext.com/articles/banach-space) is continuous. \n \nIf X is a [Hausdorff](https://bliptext.com/articles/hausdorff-space) [locally convex space](https://bliptext.com/articles/locally-convex-space) then we may add to this list:\n The locally convex topology [induced by](https://bliptext.com/articles/) the von Neumann bornology on X is the same as \\tau, X's given topology. \n Every bounded [seminorm](https://bliptext.com/articles/seminorm) on X is continuous. \n Any other Hausdorff locally convex topological vector space topology on X that has the same (von Neumann) bornology as (X, \\tau) is necessarily coarser than \\tau. \n X is the inductive limit of normed spaces. \n X is the inductive limit of the normed spaces X_D as D varies over the closed and bounded disks of X (or as D varies over the bounded disks of X). \n X carries the Mackey topology and all bounded linear functionals on X are continuous. \n \nX has both of the following properties:\n****w****h****e****r****e**** ****a**** ****s****u****b****s****e****t**** ****A**** ****o****f**** ****X**** ****i****s**** ****c****a****l****l****e****d**** **** ****i****f**** ****e****v****e****r****y**** ****s****e****q****u****e****n****c****e**** ****c****o****n****v****e****r****g****i****n****g**** ****t****o**** ****0**** ****e****v****e****n****t****u****a****l****l****y**** ****b****e****l****o****n****g****s**** ****t****o**** ****A****.**** **** ****\n \nEvery sequentially continuous linear operator from a locally convex bornological space into a locally convex TVS is continuous, where recall that a linear operator is sequentially continuous if and only if it is sequentially continuous at the origin.\nThus for linear maps from a bornological space into a locally convex space, continuity is equivalent to sequential continuity at the origin.\nMore generally, we even have the following:\n \n Any linear map F : X \\to Y from a locally convex bornological space into a locally convex space Y that maps null sequences in X to [bounded subsets](https://bliptext.com/articles/bounded-set-topological-vector-space) of Y is necessarily continuous. \n \n\n## Sufficient conditions\nAs a consequent of the Mackey–Ulam theorem, \"for all practical purposes, the product of bornological spaces is bornological.\"\nThe following topological vector spaces are all bornological:\n \n Any locally convex [pseudometrizable TVS](https://bliptext.com/articles/metrizable-topological-vector-space) is bornological.\n Any strict inductive limit of bornological spaces, in particular any strict LF-space, is bornological.\n A countable product of locally convex bornological spaces is bornological. \n Quotients of Hausdorff locally convex bornological spaces are bornological. \n The direct sum and inductive limit of Hausdorff locally convex bornological spaces is bornological. \n [Fréchet](https://bliptext.com/articles/fr-chet-space) [Montel](https://bliptext.com/articles/montel-space) spaces have bornological [strong duals](https://bliptext.com/articles/strong-dual-space). \n The strong dual of every [reflexive](https://bliptext.com/articles/reflexive-space) [Fréchet space](https://bliptext.com/articles/fr-chet-space) is bornological. \n If the strong dual of a metrizable locally convex space is [separable](https://bliptext.com/articles/separable-space), then it is bornological. \n A vector subspace of a Hausdorff locally convex bornological space X that has finite codimension in X is bornological. \n The [finest locally convex topology](https://bliptext.com/articles/locally-convex-topological-vector-space) on a vector space is bornological. \n \nThere exists a bornological [LB-space](https://bliptext.com/articles/lb-space) whose strong bidual is bornological.\nA closed vector subspace of a locally convex bornological space is not necessarily bornological.\nThere exists a closed vector subspace of a locally convex bornological space that is complete (and so sequentially complete) but neither barrelled nor bornological.\nBornological spaces need not be [barrelled](https://bliptext.com/articles/barrelled-space) and [barrelled](https://bliptext.com/articles/barrelled-space) spaces need not be bornological.\nBecause every locally convex ultrabornological space is barrelled, it follows that a bornological space is not necessarily ultrabornological.\n\n## Properties\n \n The [strong dual space](https://bliptext.com/articles/strong-dual-space) of a locally convex bornological space is [complete](https://bliptext.com/articles/complete-topological-vector-space). \n Every locally convex bornological space is [infrabarrelled](https://bliptext.com/articles/infrabarreled-space). \n Every Hausdorff sequentially complete bornological TVS is [ultrabornological](https://bliptext.com/articles/ultrabornological-space).\n The finite product of locally convex ultrabornological spaces is ultrabornological. \n Every Hausdorff bornological space is [quasi-barrelled](https://bliptext.com/articles/quasi-barrelled). \n Given a bornological space X with [continuous dual](https://bliptext.com/articles/continuous-dual) X^{\\prime}, the topology of X coincides with the [Mackey topology](https://bliptext.com/articles/mackey-topology)\n Every [quasi-complete](https://bliptext.com/articles/quasi-complete) (i.e. all closed and bounded subsets are complete) bornological space is [barrelled](https://bliptext.com/articles/barrelled-space).\nThere exist, however, bornological spaces that are not barrelled. \n Every bornological space is the inductive limit of normed spaces (and Banach spaces if the space is also quasi-complete). \n \nLet X be a metrizable locally convex space with continuous dual X^{\\prime}.\nThen the following are equivalent:\n \n is bornological. \n is [quasi-barrelled](https://bliptext.com/articles/barrelled-space). \n is [barrelled](https://bliptext.com/articles/barrelled-space). \n X is a [distinguished space](https://bliptext.com/articles/distinguished-space). \n \n \n If L : X \\to Y is a linear map between locally convex spaces and if X is bornological, then the following are equivalent:\n \n L : X \\to Y is continuous. \n L : X \\to Y is sequentially continuous. \n For every set that's bounded in X, L(B) is bounded. \n If is a null sequence in X then is a null sequence in Y. \n If is a Mackey convergent null sequence in X then is a bounded subset of Y. \n \n \n Suppose that X and Y are [locally convex](https://bliptext.com/articles/locally-convex) TVSs and that the space of continuous linear maps L_b(X; Y) is endowed with the [topology of uniform convergence on bounded subsets](https://bliptext.com/articles/topologies-on-spaces-of-linear-maps) of X. If X is a bornological space and if Y is [complete](https://bliptext.com/articles/complete-topological-vector-space) then L_b(X; Y) is a [complete](https://bliptext.com/articles/complete-topological-vector-space) TVS.\n \n \n In a locally convex bornological space, every convex bornivorous set B is a neighborhood of 0 (B is required to be a disk). \n Every bornivorous subset of a locally convex [metrizable topological vector space](https://bliptext.com/articles/metrizable-topological-vector-space) is a neighborhood of the origin. \n Closed vector subspaces of bornological space need not be bornological. \n \n\n# Ultrabornological spaces\n****A**** ****d****i****s****k**** ****i****n**** ****a**** ****t****o****p****o****l****o****g****i****c****a****l**** ****v****e****c****t****o****r**** ****s****p****a****c****e**** ****X**** ****i****s**** ****c****a****l****l****e****d**** **** ****i****f**** ****i****t**** ****a****b****s****o****r****b****s**** ****a****l****l**** ****B****a****n****a****c****h**** ****d****i****s****k****s****.****\nIf X is locally convex and Hausdorff, then a disk is infrabornivorous if and only if it absorbs all compact disks.\n****A**** ****l****o****c****a****l****l****y**** ****c****o****n****v****e****x**** ****s****p****a****c****e**** ****i****s**** ****c****a****l****l****e****d**** **** ****i****f**** ****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**** ****h****o****l****d****:****\n \n Every infrabornivorous disk is a neighborhood of the origin. \n X is the inductive limit of the spaces X_D as D varies over all compact disks in X. \n A [seminorm](https://bliptext.com/articles/seminorm) on X that is bounded on each Banach disk is necessarily continuous. \n For every locally convex space Y and every linear map if u is bounded on each Banach disk then u is continuous. \n For every Banach space Y and every linear map if u is bounded on each Banach disk then u is continuous. \n \n\n## Properties\nThe finite product of ultrabornological spaces is ultrabornological.\nInductive limits of ultrabornological spaces are ultrabornological.","revisionCount":0},"hasMore":false,"nextCursor":null}

History