Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/linearalgebraforcap/examples/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 17.8.2025 mit Größe 2 kB image not shown  

Quelle  VectorSpacesKernelTest.g   Sprache: unbekannt

 
#! @Chapter Examples and Tests

#! @Section Kernel

#! @Example
Q := HomalgFieldOfRationals();;
vec := MatrixCategory( Q );;
V := MatrixCategoryObject( vec, 2 );
#! <A vector space object over Q of dimension 2>
W := MatrixCategoryObject( vec, 3 );
#! <A vector space object over Q of dimension 3>
alpha := VectorSpaceMorphism( V, [ [ 1, 1, 1 ], [ -1, -1, -1 ] ], W );
#! <A morphism in Category of matrices over Q>
k := KernelObject( alpha );
#! <A vector space object over Q of dimension 1>
T := MatrixCategoryObject( vec, 2 );
#! <A vector space object over Q of dimension 2>
tau := VectorSpaceMorphism( T, [ [ 2, 2 ], [ 2, 2 ] ], V );
#! <A morphism in Category of matrices over Q>
k_lift := KernelLift( alpha, tau );
#! <A morphism in Category of matrices over Q>
HasKernelEmbedding( alpha );
#! false
KernelEmbedding( alpha );
#! <A split monomorphism in Category of matrices over Q>
#! @EndExample

#! @Example
Q := HomalgFieldOfRationals();;
vec := MatrixCategory( Q );;
V := MatrixCategoryObject( vec, 2 );
#! <A vector space object over Q of dimension 2>
W := MatrixCategoryObject( vec, 3 );
#! <A vector space object over Q of dimension 3>
alpha := VectorSpaceMorphism( V, [ [ 1, 1, 1 ], [ -1, -1, -1 ] ], W );
#! <A morphism in Category of matrices over Q>
k := KernelObject( alpha );
#! <A vector space object over Q of dimension 1>
T := MatrixCategoryObject( vec, 2 );
#! <A vector space object over Q of dimension 2>
tau := VectorSpaceMorphism( T, [ [ 2, 2 ], [ 2, 2 ] ], V );
#! <A morphism in Category of matrices over Q>
k_lift := KernelLift( alpha, tau );
#! <A morphism in Category of matrices over Q>
HasKernelEmbedding( alpha );
#! false
#! @EndExample

#! @Example
Q := HomalgFieldOfRationals();;
vec := MatrixCategory( Q );;
V := MatrixCategoryObject( vec, 2 );
#! <A vector space object over Q of dimension 2>
W := MatrixCategoryObject( vec, 3 );
#! <A vector space object over Q of dimension 3>
alpha := VectorSpaceMorphism( V, [ [ 1, 1, 1 ], [ -1, -1, -1 ] ], W );
#! <A morphism in Category of matrices over Q>
k := KernelObject( alpha );
#! <A vector space object over Q of dimension 1>
k_emb := KernelEmbedding( alpha );
#! <A split monomorphism in Category of matrices over Q>
IsEqualForObjects( Source( k_emb ), k );
#! true
V := MatrixCategoryObject( vec, 2 );
#! <A vector space object over Q of dimension 2>
W := MatrixCategoryObject( vec, 3 );
#! <A vector space object over Q of dimension 3>
beta := VectorSpaceMorphism( V, [ [ 1, 1, 1 ], [ -1, -1, -1 ] ], W );
#! <A morphism in Category of matrices over Q>
k_emb := KernelEmbedding( beta );
#! <A split monomorphism in Category of matrices over Q>
IsIdenticalObj( Source( k_emb ), KernelObject( beta ) );
#! true
#! @EndExample

[ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet)  ]