“…We prove that this definition is equivalent to the one given in Definition . Now, the characterization (b) is precisely the one obtained in [, Proposition 3.1] for the notion of f ‐invariant subspace defined above. The elements of have the form with C 1 x = 0.…”
Section: Pairs Of Matrices Having a (Ca)‐invariant Fixed Subspacementioning
confidence: 80%
“…In any basis of X adapted to Y ⊂ X , Y is being identified with , and the matrix of f is a pair where and . In [, Definition 3.1], S is said to be f invariant if f ( S ) ∩ Y ⊂ S . We prove that this definition is equivalent to the one given in Definition .…”
Section: Pairs Of Matrices Having a (Ca)‐invariant Fixed Subspacementioning
-Given the set of matrix pairsinvariant, we obtain a miniversal deformation of a pair belonging to an open dense subset of M. It generalizes the known results when S is a supplementary subspace of the unobservable one.
“…We prove that this definition is equivalent to the one given in Definition . Now, the characterization (b) is precisely the one obtained in [, Proposition 3.1] for the notion of f ‐invariant subspace defined above. The elements of have the form with C 1 x = 0.…”
Section: Pairs Of Matrices Having a (Ca)‐invariant Fixed Subspacementioning
confidence: 80%
“…In any basis of X adapted to Y ⊂ X , Y is being identified with , and the matrix of f is a pair where and . In [, Definition 3.1], S is said to be f invariant if f ( S ) ∩ Y ⊂ S . We prove that this definition is equivalent to the one given in Definition .…”
Section: Pairs Of Matrices Having a (Ca)‐invariant Fixed Subspacementioning
-Given the set of matrix pairsinvariant, we obtain a miniversal deformation of a pair belonging to an open dense subset of M. It generalizes the known results when S is a supplementary subspace of the unobservable one.
“…In particular, P (or f ) is observable if and only if [4]). Let us see that the special form of P in section 3 appears in a natural way when invariant subspaces are considered.…”
Section: Proof Of the Equivalence (I) And (I ) And (Ii) And (Ii ) Tmentioning
Abstract. The possible observability indices of an observable pair of matrices, when supplementary subpairs are prescribed, are characterized when the "quotient" one is nilpotent. The geometric techniques used are also valid in the classical Carlson problem for square matrices.
“…With basis on the results in that section the two main goals of this paper are reached: the set of solutions of the generalized partial realization of a given nice sequence is provided with the desired stratified differentiable structure (Sect. 7), and the relationship between this structure and that of the cover problem obtained in [28] is clarified (Sect. 8).…”
Section: Introductionmentioning
confidence: 99%
“…h 4 F}, then = (3, 1, 0, 2, 0, 0), m = ((1, 2), (1, 4), (1, 4)), p = ((1,2), (1, 2, 4, 7),(1,2,4,7,9,12)),t = ((3),(2,3,5), (2, 3, 5, 6)), n = ((3),(2,5),(6),…”
The geometry of the set of generalized partial realizations of a finite nice sequence of matrices is studied. It is proved that this set is a stratified manifold, the dimension of their strata is computed and its connection with the geometry of the cover problem is clarified. The results can be applied, as a particular case, to the classical partial realization problem.Postprint (published version
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.