文章基本信息

标题：Locating Ax, where A is a subspace of B(H)
本地全文：下载
作者：Douglas Bridges
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2014
卷号：10
期号：2
页码：1
DOI：10.2168/LMCS-10(2:9)2014
出版社：Technical University of Braunschweig
摘要：Let A be a linear space of operators on a Hilbert space H, x a vector in H, and Ax the subspace of H comprising all vectors of the form Tx with T in A. We discuss, within a Bishop-style constructive framework, conditions under which the projection [Ax] of H on the closure of Ax exists. We derive a general result that leads directly to both the open mapping theorem and our main theorem on the existence of [Ax].
其他关键词：constructive, Hilbert space, space of operators, located.