<abstract xmlns="http://www.w3.org/1999/xhtml">In this article, we formalized <italic>L</italic>1 space formed by complexvalued partial functions [11], [15]. The real-valued case was formalized in [22] and this article is its generalization.</abstract>

In this article, we formalized L1 space formed by complexvalued partial functions [11], [15]. The real-valued case was formalized in [22] and this article is its generalization.

On L1 Space Formed by Complex-Valued Partial Functions

Gifu National College of Technology, Japan

Formalized Mathematics

On L Space Formed by Complex-Valued Partial Functions

{"article-title":{"content":["On L","Space Formed by Complex-Valued Partial Functions"],"sup":1}}

In this article, we formalized L1 space formed by complexvalued partial functions [11], [15]. The real-valued case was formalized in [22] and this article is...

On L¹ Space Formed by Complex-Valued Partial Functions

Published Online: Feb 02, 2013

Page range: 349 - 357

DOI: https://doi.org/10.2478/v10037-012-0039-4

This content is open access.