[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Complex Linear Topological Space



Dear All,
 
My name is Hidenori Matsuzaki, a graduate school student of Shinsyu University, Japan.
I am now trying to write an article regarding the fundamental properties of complex normed spaces.
And I need to refer to the topology of complex linear spaces. Although the real linear topological space is covered in RLTOPSP_1, its complex counter part does not seem to exist in the current MML.So I am wondering whether I should make it by myself or not. If someone is already working on this sort of article, please let me know.
 
Regards,
Hide Matsuzaki