{"id":"arxiv/2606.25236","url":"https://arxiv.org/abs/2606.25236","tags":["math.FA"],"score":0,"title":"Notes on q-normed Spaces in Constructive Analysis","domain":"math.FA","source":"arxiv","authors":["Douglas S. Bridges"],"reviews":0,"subject":"math.FA","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-23","reactions":{}}