





























Abstract:What we call q-normed (linear) spaces were introduced (under the name pseudonormed spaces) into constructive analysis by D.L. Johns as a means of handling spaces, such as L-infinity, in which not all elements are constructively normable. We prove a number of q-normed-space analogues/generalisations of standard theorems in the constructive analysis of normed linear spaces, and give examples showing that analogues of two of those theorems are essentially nonconstructive.
From: Douglas Bridges [view email]
[v1]
Tue, 23 Jun 2026 23:35:42 UTC (12 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。