Continuity of Bounded Linear Operators on Normed Linear Spaces

Continuity of Bounded Linear Operators on Normed Linear Spaces

In this article, using the Mizar system [1], [2], we discuss the continuity of bounded linear operators on normed linear spaces. In the first section, it is discussed that bounded linear operators on normed linear spaces are uniformly continuous and Lipschitz continuous. Especially, a bounded linear...

Full description

Bibliographic Details
Main Authors: Nakasho Kazuhisa, Futa Yuichi, Shidama Yasunari
Format: Article
Language:English
Published: Sciendo 2018-10-01
Series:Formalized Mathematics
Subjects:
lipschitz continuity
uniform continuity
bounded linear operators
bilinear operators
46-00
47a07
47a30
68t99
03b35
Online Access:https://doi.org/10.2478/forma-2018-0021

Internet

https://doi.org/10.2478/forma-2018-0021

Similar Items