Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Proof of Wang's conjecture on subspaces of an inner product space - MaRDI portal

Proof of Wang's conjecture on subspaces of an inner product space (Q2706566)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Proof of Wang's conjecture on subspaces of an inner product space
scientific article

    Statements

    0 references
    0 references
    20 March 2001
    0 references
    sequences of subspaces
    0 references
    orthonormal bases
    0 references
    Bézout theorem
    0 references
    orientation of a graph
    0 references
    complex inner product space
    0 references
    Proof of Wang's conjecture on subspaces of an inner product space (English)
    0 references
    Let \(V\) be an \(n\)-dimensional complex inner product space. Let \(R_1,\ldots,R_k\) and \(S_1,\ldots,S_k\) be subspaces of \(V\) with \(\dim R_t=i_t,\) \(\dim S_t=n-i_t+1\) for \(t=1,\ldots,k,\) where \(1\leq i_1<\cdots<i_k\leq n.\) The authors show that there is a \(k\)-dimensional subspace \(W\) of \(V\) having two orthonormal bases \(\{x_1,\ldots,x_k\}\) and \(\{y_1,\ldots,y_k\}\) with \(x_t\in R_t\) and \(y_t\in S_t\) for all \(t.\) This theorem was conjectured by \textit{B. Y. Wang} [A conjecture on orthonormal bases, Linear and Multilinear Algebra 28, 193 (1990)]. The authors also prove a real version of the above theorem.
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references