The topology of the set of conditioned invariant subspaces
Abstract
We consider the topology of the set of conditioned invariant subspaces of an observable pair $(C,A)$ of a fixed dimension. By fixing the observability indices of the restricted system, a stratification by finitely many smooth manifolds is obtained, termed Brunovsky strata. It is shown that each Brunovsky stratum is homotopy equivalent to a generalized flag manifold. From this description an effective formula for the Betti numbers of the Brunovsky strata can be derived.
Full text
! "" # $ %$&' (' )**+ %$&' ",",-.&' ! " # $ ! " ! # $ % & ' ( ' % ) # )# *+,-*./0.-123
" # % ! & ' ( % # " %! ) * (+ & , ) # - % # (" . /.# 0 * % 1 + # " (2 . '34 * " . # " ( & 2 + 5 * # 1 # 2 (+ 6 2" / / 7" 8 %! # 1 %! + + * " ! + (+ & , ! + - * " + - & - + 9 (+ & , : + ; " ! " + # 9 :# <
* # = 9 : > # 9 % ! : = ? ) ) 9 ) +: @ 9 :" 3 @ 9 :" 3 ) + ? 3 6 6 3 = 9 : # ) * " @6 % 9 : A ' = 9 : & + = 9 :B@ 9 : @ ? 9 :B@ 9 : ? @ ? ? 9 : 9 : 9 : + = 9 : 9 : " 9 : 9 : " B 9 : 9 : 9 : 9 : > 9 : 9 : " 9 : 9 : C 9 : 9 : @ 9 : D
* 9 : 9 : 9 : 9 : - " , = @ 9 :" @ 9 : " @ % 9 :B@ 9 : 9 : 9 : - # 9 B@ 3: 9 :9 : 2 ! 9 : , 9 : = 9 : # 9 : E6 3" @6 2 @ " 9 :B@ 9 : 9 : 9 : C 9 : 9 : 9 : 9 : @ @ 6 9 : 9 : - # " 7 = 9 : + = @ 9 :" 3 # 9 : F ) G 9 :# ! 5 ! 9 E :# # 9 : 9 : B@ 9 9 E : : 1 5 * 9 : 9 : 3 % 9 : 9 :# @ 6 @ 9 : 3 ! 9 :# 7
= 9 :B@ 9 : 9 :# 9 :B@ 9 : 9 : 9 : % % 9 : 5 9 :@ 9 : 9 : 9 :A 7"8 = 9 ? ? : + 9 : " 9 : = 9 : 96: @ ? E ? ? @ ? ? ? + = 9 :B@ 9 : 9 : 9<: ? @ ? E ? ? ? ? @ ? ? ? 9 : 9 : + 9 : = 9 : 9 : * 9 : 9 : " 9 : 9 :" 9 :" 9 : % 9 : 9 : B 9 : 9 : 9 : 9 : > 9 : 9 : " 9 : 9 : % C 9 : 9 : @ 9 : * 9 : 9 : 9 : 8
( + # %! " # + - = 9 : 9 : ; 9 : 9 : @ @ 6 9 : 9 : % 7 G" 9 : + " E6 3" @6 9 : ? 9 : @ @ 6 9 : ? 9 : 5 B 9 : 9 : B 9 : 9 : % 9 :@ ? ? 9 : ! 9 : 9 ! :@ 9 : 9 ! : @ ? ? 96: ! ? ! ? @ ? ! ? A " 9 ! :@ 9 : 9 ! : 1 # H B 9 : 9 : 9 : @ 9 : % H 9 :@ 9 : H % # % 9 : 9 : 9 : * " 5 9 : 9 : 0
9 : 9 : F 9 ? ? : + ? ? @3 9 : 9 : + @ ? @ ? ? " @ 9 : 9 : " 9 : " 9 : 9 : + I4 " @ 3 3 " 3 " @ 3 ! 9 : 9 : " 9 : 9 : 9 : = @ 9 : 9 : 9 : & 9 : @ ? # + " 9 : 5 @97 D: @9D <: ! 9 : 9 : # # # # # " # # # # # " # # # # # " # # " # # # # # " # # # # # " # # & 9 : 9 : 9 : 9 : " B " 9 : 9 : 9 : 9 : 9 : 9 : ,
! ! 9 : 9 : 9 : $ B9 9 : 9 :: 9 9 : 9 :: 9 : 9 : = B@ 9 : B@ 9 : B@ 9 : B@ 9 : % $ B9 : 9 : $ 9 :@ + $ 9 : " $ 5 % 9 :" % % = & 9 : 9 : 5 % $ $ " % $ " ' Æ $ Æ ' ' ' 9 : 9 : = ( ! ) ( ' B 9 ) : ) % 9 ) : ) & $ 5" ( @ = ? ( @ 9 : ! ' B 9 : % 9 : + " ) @ ( ' Æ $ Æ ' $ 1 2 C 9 : @ 9 : 9 : '
9 : @ 9 : 9 : @ 9 9 : 9 :: 9 9 : 9 :: 9 ,: 9 9 : 9 :: 9 9 : 9 :: @ 9 9 : 9 :: 9 : 9 : 9= ':" Æ 9 : 9 : 9 9 : 9 :: 9 : 9 : = ' " ! = 8 = B3 6 9 : 9 : % 9 * :@ + 9 * : + 9 * : + 9 * : @ + ½ 9 * : + 9 * : " + 9 * :@ * * 6 + 9 * : @ + ½ 9 * : + 9 * : " + 9 * :@ * * 6 9 @3 + 9 * : + 9 * :: 96 : @ " 93 : @ ' 9 : 9 : 9 * : 9 : * 3 6 9 : * " @ @ " 3 " " 3 " @ 3 + 9 * : + 9 * : @9 + 9 * : + 9 * : : + 9 * : + 9 * : @ " * 3 " * " 3 "