Topological Vector Space - Local Notions

Local Notions

A subset E  of a topological vector space X  is said to be

  • balanced if tEE for every scalar |t | ≤ 1
  • bounded if for every neighborhood V of 0, then EtV 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 EtV. 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 xmxn 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:

    There is the falsely mystical view of art that assumes a kind of supernatural inspiration, a possession by universal forces unrelated to questions of power and privilege or the artist’s relation to bread and blood. In this view, the channel of art can only become clogged and misdirected by the artist’s concern with merely temporary and local disturbances. The song is higher than the struggle.
    Adrienne Rich (b. 1929)

    Shelley is truth itself—and honour itself—notwithstanding his out-of-the-way notions about religion.
    George Gordon Noel Byron (1788–1824)