Linear mappings are fairly well-behaved (Q752432): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:08, 5 March 2024
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