Abstract:Let $H$ be an infinite-dimensional complex Hilbert space and let ${\mathcal G}_{\infty}(H)$ be the set of all closed subspaces of $H$ whose dimension and codimension both are infinite. We investigate (not necessarily surjective) transformations of ${\mathcal G}_{\infty}(H)$ sending every pair of subspaces to an equivalent pair of subspaces; two pairs of subspaces are equivalent if there is a linear isometry sending one of these pairs to the other. Let $f$ be such a transformation. We show that there is a unique up to a scalar multiple linear or conjugate linear isometry $L:H\to H$ such that for every $X\in {\mathcal G}_{\infty}(H)$ the image $f(X)$ is the sum of $L(X)$ and a certain closed subspace $O(X)$ orthogonal to the range of $L$. In the case when $H$ is separable, we give the following sufficient condition to assert that $f$ is induced by a linear or conjugate linear isometry: if $O(X)=0$ for a certain $X\in {\mathcal G}_{\infty}(H)$, then the same holds for all $X\in {\mathcal G}_{\infty}(H)$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the properties of (not necessarily surjective) transformations \(f\) in the infinite - dimensional complex Hilbert space \(H\), for the Grassmannian \(G^\infty(H)\) of all closed subspaces, when both the dimension and codimension are infinite. These transformations map each pair of subspaces to an equivalent pair of subspaces, that is, there exists a linear isometric isomorphism that maps one pair of subspaces to the other pair.
Specifically, the main objective of the paper is to prove that for such a transformation \(f\), there exists a unique (up to a scalar multiple) linear or conjugate - linear isometric isomorphism \(L: H\rightarrow H\) such that for each \(X\in G^\infty(H)\), the image \(f(X)\) is the direct sum of \(L(X)\) and a closed subspace \(O(X)\) orthogonal to the range of \(L\), that is:
\[f(X)=L(X)\oplus O(X)\]
Furthermore, if \(H\) is separable and \(O(X) = 0\) for some \(X\in G^\infty(H)\), then \(O(X)=0\) for all \(X\in G^\infty(H)\). In this case, the transformation \(f\) can be induced by a linear or conjugate - linear isometric isomorphism.
The paper also explores whether the above conclusion holds in the non - separable case and points out that in the non - separable case, since the Grassmannian contains subspaces of different dimensions, the same conclusion cannot be proved.
### Main Results
1. **Theorem 1**: For the transformation \(f\), there exists a unique (up to a scalar multiple) linear or conjugate - linear isometric isomorphism \(L: H\rightarrow H\) such that for each \(X\in G^\infty(H)\), the image \(f(X)\) is the direct sum of \(L(X)\) and a closed subspace \(O(X)\) orthogonal to the range of \(L\).
- If \(X, Y\) belong to the same connected component, then \(O(X)=O(Y)\).
- If \(Y\subset X\), then \(O(Y)\subset O(X)\).
2. **Theorem 2**: If \(H\) is separable and \(O(X) = 0\) for some \(X\in G^\infty(H)\), then \(O(X)=0\) for all \(X\in G^\infty(H)\) and the transformation \(f\) can be induced by a linear or conjugate - linear isometric isomorphism.
### Proof Methods
- **Lemma 1**: The transformation \(f\) preserves the inclusion relation.
- **Lemma 2**: For each \(X\in G^\infty(H)\), there exists a unique (up to a scalar multiple) linear or conjugate - linear isometric isomorphism \(L_X:X\rightarrow f(X)\) such that for each \(Y\in G_{\text{fin}}(X)\), \(f(Y)=L_X(Y)\oplus O(X)\).
- **Lemma 3**: There exists a linear or conjugate - linear isometric isomorphism \(L: H\rightarrow H\) such that for each \(X\in G^\infty(H)\), the restriction of \(L\) on \(X\) is a scalar multiple of \(L_X\) and \(O(X)\) is orthogonal to the range of \(L\).
- **Lemma 4**: If \(H\) is separable, for each \(X\in G^\infty(H)\), there exists \(Q\in G^\infty(H)\) such that \(Q\) and \(Q^{\perp}\) intersect \(X^{\perp}\) only at zero.
Through these lemmas, the paper gradually proves the main theorems and reveals the structure of the transformation \(f\) and its relationship with linear or conjugate - linear isometric isomorphisms.