Banach Completion
For a normed space (X,||·||), define X^~ to be the set of all equivalent classes of Cauchy sequences obtained by the relation
| {x_n}∼{y_n} if and only if lim_(n)||x_n-y_n||=0. |
(1)
|
For x^~=[{x_n}] and y^~=[{y_n}], let
x^~+y^~ = [{x_n+y_n}]
(2)
lambdax^~ = [{lambdax_n}]
(3)
||x^~||_∼ = lim_(n)||x_n||.
(4)
Then (X^~,||·||_∼) is a Banach space containing a dense subspace that is isometric with X. X^~ is called the (Banach) completion of X (Kreyszig 1978).
If A is a normed algebra, a^~b^~=[{a_nb_n}] makes A^~ into a Banach algebra. Moreover, if A is a pre-C^*-algebra then A^~ equipped with (a^~)^*=lim_(n)a_n^* is a C^*-algebra (Murphy 1990).
This entry contributed by Mohammad Sal Moslehian
Explore with Wolfram|Alpha
WolframAlpha
References
Kreyszig, E. Introductory Functional Analysis with Applications. New York: Wiley, 1978.Murphy, G. J. C-*-Algebras and Operator Theory. New York: Academic Press, 1990.Referenced on Wolfram|Alpha
Banach CompletionCite this as:
Moslehian, Mohammad Sal. "Banach Completion." From MathWorld--A Wolfram Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/BanachCompletion.html