Bourbaki

Definition 3

Tag 07KZ, permanent. Cite it as [Bourbaki, Tag 07KZ].

Topological Vector Spaces, chapter III, § 1. Bornology in a topological vector space

Let EE be a topological vector space. A subset AA of EE is said to be bounded if it is absorbed by every neighbourhood of 00 in EE (I, p. 7, def. 4).

In order that AA be bounded, it is sufficient that AA be absorbed by every neighbourhood of a fundamental system of neighbourhoods of 00. Since there exists a fundamental system of balanced neighbourhoods of 00 (I, p. 7, prop. 4), this is the same as saying that, for every neighbourhood VV of 00 in EE, there exists λ∈K\lambda \in K such that A⊂λVA \subset \lambda V.

Suppose the topology of EE is defined by a fundamental system Γ\Gamma of semi-norms (II, p. 3); then a subset AA of EE is bounded if and only if every semi-norm p∈Γp \in \Gamma is bounded on AA.

In particular, if EE is a semi-normed space, a subset AA of EE is bounded if and only if it is contained in a ball. In other words, if EE is normed this means that AA is bounded for the metric space structure of EE (GT, IX, § 2, No. 2).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

  • IX, § 2, No. 2 not yet on this site
Transcribed from the printed volume. Not translated.