Sul sistema degli \(S_h\) totali di un complesso lineare di \(S_h\). (Q2618097): Difference between revisions

Im linearen Raume \(R_n\) sei ein linearer Komplex \(\mathfrak C\) von \(R_k\) gegeben. Ein \(R_h(n>h>k)\) heißt bezüglich \(\mathfrak C\) total, wenn alle \(R_k\) des \(R_h\) zu \(\mathfrak C\) gehören. Das lineare System der totalen \(R_h\) untersucht Verf. und bestimmt seine Dimension zu \[ D=(n-h)(h+1)-\left (\begin{matrix} h+1\\k+1\end{matrix} \right ); \] es gibt solche \(R_h\) sicher dann, wenn die zwei Ungleichungen \[ D\geqq 0\quad \text{und}\quad n>2h-k \] erfüllt sind. In den drei Ausnahmefällen: \[ \text{a)}\quad k=1,n<2h;\qquad \text{b)}\quad h=k+1,n=k+2,k\text{ ungerade}; \] \[ \text{c)}\quad k=2,h=4,n=6 \] ist zwar \(D\geqq 0\), aber der allgemeine Komplex \(\mathfrak C\) besitzt keinen totalen \(R_h\). Gehören \(\mathfrak C\) alle \(R_k\) des \(R_n\) an, die durch einen \(R_h\) gehen, so nennt man \(R_h\) singulär bezüglich \(\mathfrak C\). Die singulären \(R_h\) bilden ein Linearsystem der Dimension \[ D'=(n-h)(h+1)-\left (\begin{matrix} n-h\\k-h\end{matrix} \right ), \] und es gibt singuläre \(R_h\), wenn \(D'\geqq 0\) ist, mit Ausnahme der Fälle \[ \text{a)}\quad k=n-2,n>2h+2;\qquad \text{b)}\quad k=1,h=0,n\text{ ungerade}; \] \[ \text{c)}\quad k=3,h=1,n=6, \] in denen der allgemeine Komplex keinen singulären \(R_h\) besitzt. Das Linearsystem der totalen \(R_h\) läßt sich mittels eines Systems von \(\left (\begin{matrix} n+1\\h-k\end{matrix} \right )\) linearen Gleichungen zwischen den \textit{Graßmann}schen Koordinaten ausdrücken, die gegenüber einer Koordinatentransformation kovariant sind; für \(k=1\) sind sie auch linear unabhängig, wenn es sich um einen allgemeinen Geradenkomplex handelt und \(n\geqq 2h-1\) ist. Bildet man alle linear unabhängigen linearen Komplexe von \(R_h\), die alle bezüglich eines allgemeinen Geradenkomplexes totalen \(R_h\) enthalten, so ist deren Anzahl gleich der Höchstzahl \(\left (\begin{matrix} n+1\\h-1\end{matrix} \right )\). Für \(k>1\) ist das Entsprechende nicht richtig.