The Hahn Banach theorem in the vector space over the field of complex numbers

by Anna Justyna Milewska
Venue:Journal of Formalized Mathematics
Citations:8 - 0 self

Active Bibliography

26 The field of complex numbers – Anna Justyna Milewska
1 Hermitan functionals. Canonical construction of scalar product in quotient vector space – Jarosław Kotowicz
4 Primitive roots of unity and cyclotomic polynomials – Broderic Arneson, Piotr Rudnicki
13 Banach space of bounded linear operators – Yasunari Shidama - 2003
Journal Of Formalized Mathematics – Volume Released Published, Jarosław Kotowicz
Bounded Domains and Unbounded Domains – Yatsuka Nakamura, Andrzej Trybulec, Czeslaw Bylinski - 2003
1. THE BANACH SPACE OF BOUNDED REAL SEQUENCES – unknown authors
3 Trigonometric form of complex numbers – Robert Milewski
5 Definition of convex function and Jensen’s inequality – Grigory E. Ivanov
17 Associated Matrix of Linear Map – Robert Milewski - 2002
6 Real linear space of real sequences – Noboru Endou, Yasunari Shidama
30 Linear combinations in real linear space – Wojciech A. Trybulec - 1990
6 The Binomial Theorem for Algebraic Structures – Christoph Schwarzweller - 1999
versita.com/fm/ A Test for the Stability of Networks – Agnieszka Rowińska-schwarzweller, Christoph Schwarzweller
11 Little Bezout theorem (factor theorem) – Piotr Rudnicki - 2004
18 Operations on subspaces in vector space – Wojciech A. Trybulec - 1990
4 Hahn-Banach Theorem – Bogdan Nowak, Andrzej Trybulec - 1993
University of Białystok Sorting Operators for Finite Sequences Yatsuka Nakamura – unknown authors
1 Domains of submodules, join and meet of finite sequences of submodules and quotient modules – Michał Muzalewski - 1993