Linear mappings are fairly well-behaved (Q752432)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Linear mappings are fairly well-behaved |
scientific article |
Statements
Linear mappings are fairly well-behaved (English)
0 references
1990
0 references
Classically, it is absurdly trivial that if an element x of a normed space E is not in the kernel of a linear mapping T, then Tx\(\neq 0\). Constructively, however, a stronger, and affirmative, meaning is given to the conclusion Tx\(\neq 0\), and it thereby becomes difficult to prove. In the constructive development of normed space the condition Tx\(\neq 0\) is taken to mean that \(\| Tx\| >0\), where the notion of positive real number is used in the strong constructive sense of explicit positive rational approximations. Typically, the hypotheses are also strengthened accordingly. The main result of the paper (expressed in the title) is that if T maps E onto a Banach space, and if \(\| x-y\| >0\) whenever \(y\in \ker (T)\), then Tx\(\neq 0\). Other results involve the graph of T, with applications to the boundedness of mappings onto finite-dimensional spaces.
0 references
kernel
0 references
graph
0 references
boundedness of mappings
0 references