Local Notions
A subset E of a topological vector space X is said to be
- balanced if tE ⊂ E for every scalar |t | ≤ 1
- bounded if for every neighborhood V of 0, then E ⊂ tV when t is sufficiently large.
The definition of boundedness can be weakened a bit; E is bounded if and only if every countable subset of it is bounded. Also, E is bounded if and only if for every balanced neighborhood V of 0, there exists t such that E ⊂ tV. Moreover, when X is locally convex, the boundedness can be characterized by seminorms: the subset E is bounded iff every continuous semi-norm p is bounded on E.
Every topological vector space has a local base of absorbing and balanced sets.
A sequence {xn} is said to be Cauchy if for every neighborhood V of 0, the difference xm − xn belongs to V when m and n are sufficiently large. Every Cauchy sequence is bounded, although Cauchy nets or Cauchy filters may not be bounded. A topological vector space where every Cauchy sequence converges is sequentially complete but may not be complete (in the sense Cauchy filters converge). Every compact set is bounded.
Read more about this topic: Topological Vector Space
Famous quotes containing the words local and/or notions:
“Wags try to invent new stories to tell about the legislature, and end by telling the old one about the senator who explained his unaccustomed possession of a large roll of bills by saying that someone pushed it over the transom while he slept. The expression It came over the transom, to explain any unusual good fortune, is part of local folklore.”
—For the State of Montana, U.S. public relief program (1935-1943)
“The herd of mankind can hardly be said to think; their notions are almost all adoptive; and, in general, I believe it is better that it should be so; as such common prejudices contribute more to order and quiet, than their own separate reasonings would do, uncultivated and unimproved as they are.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (16941773)