Premium
Constructive Compact Linear Mappings
Author(s) -
Ishihara Hajime
Publication year - 1989
Publication title -
bulletin of the london mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 2.396
H-Index - 48
eISSN - 1469-2120
pISSN - 0024-6093
DOI - 10.1112/blms/21.6.577
Subject(s) - mathematics , constructive , compact space , bounded function , pure mathematics , locally compact space , discrete mathematics , algebra over a field , mathematical analysis , computer science , process (computing) , operating system
In this paper, we deal with compact linear mappings of a normed linear space, within the framework of Bishop's constructive mathematics. We prove the constructive substitutes for the classically well‐known theorems on compact linear mappings: T is compact if and only if T * is compact; if S is bounded and if T is compact, then TS is compact; if S and T is compact, then S + T is compact.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom