We show that, in an inner product space $H$, the inequality

$$\begin{eqnarray}{\textstyle \frac{1}{2}}[\Vert x\Vert \,\Vert y\Vert +|\langle x,y\rangle |]\geq |\langle Px,y\rangle |\end{eqnarray}$$

$x,y$

$P:H\rightarrow H$

We study bounded linear regularity of finite sets of closed subspaces in a Hilbert space. In particular, we construct for each natural number $n\geq 3$ a set of $n$ closed subspaces of ${\ell }^{2} $ which has the bounded linear regularity property, while the bounded linear regularity property does not hold for each one of its nonempty, proper nonsingleton subsets. We also establish a related theorem regarding the bounded regularity property in metric spaces.

The notion of a strongly dense inner product space is introduced and it is shown that, for such an incomplete space $S$ (in particular, for each incomplete hyperplane of a Hilbert space), the system $F(S)$ of all orthogonally closed subspaces of $S$ is not stateless, and the state-space of $F(S)$ is affinely homeomorphic to the face consisting of the free states on the projection lattice corresponding to the completion of $S$. The homeomorphism is determined by the extension of the states. In particular, when $S$ is complex, the state-space of $F(S)$ is affinely homeomorphic to the state-space of the Calkin algebra associated with $\skew3\overline S$.

In this paper we study a seemingly unnoticed property of bases in a Hilbert space that falls in the general area of constructing new bases from old, yet is quite atypical of others in this regard. Namely, if $\{x_n\}$ is any normalized basis for a Hilbert space $ H $ and $ \{\,f_n\}$ the associated basis of coefficient functionals, then the sequence $\{x_n+f_n\} $ is again a basis for $ H $. The unusual aspect of this observation is that the basis $ \{x_n+f_n\} $ obtained in this way from $\{x_n\} $ and $ \{\,f_n\} $ need not be equivalent to either, in contrast to the standard techniques of constructing new bases from given ones by means of an isomorphism on $ H $. In this paper we study bases of this form and their relation to the component bases $ \{x_n\} $ and $ \{\,f_n\}$.

We present an operator algebraic approach to Wigner's unitary-antiunitary theorem using some classical results from ring theory. To show how effective this approach is, we prove a generalization of this celebrated theorem for Hilbert modules over matrix algebras. We also present a Wigner-type result for maps on prime C*-algebras.