Functional sequence in norm space

DOI10.2478/forma-2020-0023zbMath1543.68426MaRDI QIDQ6592313

Hiroshi Yamazaki

Publication date: 26 August 2024

Published in: Formalized Mathematics (Search for Journal in Brave)

zbMATH Keywords

pointwise convergenceformalized mathematicsfunctional sequence

Mathematics Subject Classification ID

Spaces of linear operators; topological tensor products; approximation properties (46A32) Other ``topological linear spaces (convergence spaces, ranked spaces, spaces with a metric taking values in an ordered structure more general than (mathbb{R}), etc.) (46A19) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Functional sequence in norm space