\(\epsilon\)-continuity and monotone operators (Q790110)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: -continuity and monotone operators |
scientific article; zbMATH DE number 3847384
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | \(\epsilon\)-continuity and monotone operators |
scientific article; zbMATH DE number 3847384 |
Statements
\(\epsilon\)-continuity and monotone operators (English)
0 references
1984
0 references
We prove constructively in the sense of Bishop that a monotone, \(\epsilon\)-continuous operation from [0,1] into a metric space is 2\(\epsilon\)-uniformly continuous. We derive a suitable version of Brouwer's fan theorem.
0 references
Bishop's constructive mathematics
0 references
epsilon-continuity
0 references
Brouwer's fan theorem
0 references
0.7901075482368469
0 references
0.7732111215591431
0 references
0.7689989805221558
0 references
0.7641760110855103
0 references
0.7637795209884644
0 references
