Banach Algebra of Bounded Functionals

Yasunari Shidama; Hikofumi Suzuki; Noboru Endou

Formalized Mathematics (2008)

  • Volume: 16, Issue: 2, page 115-122
  • ISSN: 1426-2630

Abstract

top
In this article, we describe some basic properties of the Banach algebra which is constructed from all bounded functionals.MML identifier: C0SP1, version: 7.8.10 4.99.1005

How to cite

top

Yasunari Shidama, Hikofumi Suzuki, and Noboru Endou. "Banach Algebra of Bounded Functionals." Formalized Mathematics 16.2 (2008): 115-122. <http://eudml.org/doc/266716>.

@article{YasunariShidama2008,
abstract = {In this article, we describe some basic properties of the Banach algebra which is constructed from all bounded functionals.MML identifier: C0SP1, version: 7.8.10 4.99.1005},
author = {Yasunari Shidama, Hikofumi Suzuki, Noboru Endou},
journal = {Formalized Mathematics},
language = {eng},
number = {2},
pages = {115-122},
title = {Banach Algebra of Bounded Functionals},
url = {http://eudml.org/doc/266716},
volume = {16},
year = {2008},
}

TY - JOUR
AU - Yasunari Shidama
AU - Hikofumi Suzuki
AU - Noboru Endou
TI - Banach Algebra of Bounded Functionals
JO - Formalized Mathematics
PY - 2008
VL - 16
IS - 2
SP - 115
EP - 122
AB - In this article, we describe some basic properties of the Banach algebra which is constructed from all bounded functionals.MML identifier: C0SP1, version: 7.8.10 4.99.1005
LA - eng
UR - http://eudml.org/doc/266716
ER -

References

top
  1. [1] Jonathan Backer, Piotr Rudnicki, and Christoph Schwarzweller. Ring ideals. Formalized Mathematics, 9(3):565-582, 2001. 
  2. [2] Józef Białas. Group and field definitions. Formalized Mathematics, 1(3):433-439, 1990. 
  3. [3] Czesław Byliński. Binary operations. Formalized Mathematics, 1(1):175-180, 1990. 
  4. [4] Czesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990. 
  5. [5] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990. 
  6. [6] Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990. 
  7. [7] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990. 
  8. [8] Czesław Byliński and Piotr Rudnicki. Bounding boxes for compact sets in ε2. Formalized Mathematics, 6(3):427-440, 1997. 
  9. [9] Jarosław Kotowicz. Convergent real sequences. Upper and lower bound of sets of real numbers. Formalized Mathematics, 1(3):477-481, 1990. 
  10. [10] Jarosław Kotowicz. Convergent sequences and the limit of sequences. Formalized Mathematics, 1(2):273-275, 1990. 
  11. [11] Jarosław Kotowicz. Partial functions from a domain to the set of real numbers. Formalized Mathematics, 1(4):703-709, 1990. 
  12. [12] Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269-272, 1990. 
  13. [13] Eugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335-342, 1990. 
  14. [14] Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, and Pauline N. Kawamoto. Preliminaries to circuits, I. Formalized Mathematics, 5(2):167-172, 1996. 
  15. [15] Henryk Oryszczyszyn and Krzysztof Prażmowski. Real functions spaces. Formalized Mathematics, 1(3):555-561, 1990. 
  16. [16] Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990. 
  17. [17] Jan Popiołek. Real normed space. Formalized Mathematics, 2(1):111-115, 1991. 
  18. [18] Yasunari Shidama. The Banach algebra of bounded linear operators. Formalized Mathematics, 12(2):103-108, 2004. 
  19. [19] Yasunari Shidama. Banach space of bounded linear operators. Formalized Mathematics, 12(1):39-48, 2004. 
  20. [20] Yasumasa Suzuki, Noboru Endou, and Yasunari Shidama. Banach space of absolute summable real sequences. Formalized Mathematics, 11(4):377-380, 2003. 
  21. [21] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115-122, 1990. 
  22. [22] Wojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821-827, 1990. 
  23. [23] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990. 
  24. [24] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990. 
  25. [25] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990. 

Citations in EuDML Documents

top
  1. Katuhiko Kanazashi, Noboru Endou, Yasunari Shidama, Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support
  2. Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama, Banach Algebra of Bounded Complex-Valued Functionals
  3. Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama, Functional Space C (ω), C 0 (ω)
  4. Artur Korniłowicz, Christoph Schwarzweller, The First Isomorphism Theorem and Other Properties of Rings
  5. Hiroyuki Okazaki, Yasunari Shidama, Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables
  6. Christoph Schwarzweller, Artur Korniłowicz, Characteristic of Rings. Prime Fields

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.