<The previous article in this series | The table of contents of this series |
description/proof of that for Lie group homomorphism, if differential at identity Is , map is constant over connected component
Topics
About:
manifold
The table of contents of this article
Starting Context
Target Context
-
The reader will have a description and a proof of the proposition that for any Lie group homomorphism, if the differential at the identity is , the map is constant over each connected component.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
:
:
: ,
: ,
//
Statements:
//
2: Note
Especially, for the connected component that contains , , , because .
3: Proof
Whole Strategy: Step 1: see that is a constant rank map; Step 2: conclude the proposition.
Step 1:
Any Lie group homomorphism has a constant rank, by the proposition that for any 2 Lie group homomorphisms between any Lie groups, the map as the multiplication of the 1st homomorphism and the multiplicative inverse of the 2nd homomorphism has a constant rank: the immediate corollary mentioned in the Note.
So, has a constant rank, but as has the rank, , at , has the constant rank.
Step 2:
Let be any connected component of .
By the proposition that for any map between any manifolds, if the map has the constant rank , the map is constant over each connected component, is constant.
References
<The previous article in this series | The table of contents of this series |
<The previous article in this series | The table of contents of this series | The next article in this series>
description/proof of that for 2 Lie group homomorphisms between Lie groups, map as multiplication of 1st homomorphism and multiplicative inverse of 2nd homomorphism has constant rank
Topics
About:
manifold
The table of contents of this article
Starting Context
Target Context
-
The reader will have a description and a proof of the proposition that for any 2 Lie group homomorphisms between any Lie groups, the map as the multiplication of the 1st homomorphism and the multiplicative inverse of the 2nd homomorphism has a constant rank.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
:
:
: ,
: ,
:
//
Statements:
//
2: Note
is not any Lie group homomorphism in general, because , which is not guaranteed to equal , unless is Abelian.
As an immediate corollary, has a constant rank, because can be taken to be , which is a Lie group homomorphism, and , so, .
3: Proof
Whole Strategy: Step 1: see that and take ; Step 2: see that ; Step 3: conclude the proposition.
Step 1:
is , because and are , and the multiplicative inverse map and the multiplication map are : it is .
For each , let and be the left translation and the right translation by , which are some diffeomorphisms.
For each , let us see that .
.
So, let us take , which is as a composition of maps.
Step 2:
.
As , .
Step 3:
, which is a 'vectors spaces - linear morphisms' isomorphism, because is a diffeomorphism.
, which is a 'vectors spaces - linear morphisms' isomorphism, because is a diffeomorphism.
.
.
, which is a 'vectors spaces - linear morphisms' isomorphism, because is a diffeomorphism.
By the proposition that for any linear map between any vectors spaces, any 'vectors spaces - linear morphisms' isomorphism onto the domain of the linear map, and any 'vectors spaces - linear morphisms' isomorphism from any superspace of the codomain of the linear map, the composition of the linear map after the 1st isomorphism and before the 2nd isomorphism has the rank of the linear map, .
References
<The previous article in this series | The table of contents of this series | The next article in this series>
<The previous article in this series | The table of contents of this series | The next article in this series>
description/proof of that for map between manifolds, if map has constant rank , map is constant over connected component
Topics
About:
manifold
The table of contents of this article
Starting Context
Target Context
-
The reader will have a description and a proof of the proposition that for any map between any manifolds, if the map has the constant rank , the map is constant over each connected component.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
:
:
: ,
//
Statements:
//
2: Note
and are required to be without boundary for this proposition, because this proposition uses the rank theorem for map between manifolds, which requires the domain and the codomain without boundary.
As an immediate corollary, when is connected, is constant.
3: Proof
Whole Strategy: Step 1: see that around each , there is an open neighborhood, , over which is constant; Step 2: conclude the proposition.
Step 1:
Let be any.
As has the constant rank, , by the rank theorem for map between manifolds, there are a chart around , , and a chart around , , such that is .
That means that is constant over .
Step 2:
Let be any connected component of .
is a connected topological subspace of , by the proposition that any connected topological component is exactly any connected topological subspace that cannot be made larger.
is a map that is anywhere locally constant over a connected topological space: around each , there is an open neighborhood of on , , over which is constant by Step 1, and is an open neighborhood of on over which is constant.
By the proposition that any map that is anywhere locally constant on any connected topological space is globally constant, is globally constant.
References
<The previous article in this series | The table of contents of this series | The next article in this series>
<The previous article in this series | The table of contents of this series | The next article in this series>
definition of rank of map between manifolds with boundary at point
Topics
About:
manifold
The table of contents of this article
Starting Context
Target Context
-
The reader will have a definition of rank of map between manifolds with boundary at point.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
:
:
: ,
:
: ,
:
//
Conditions:
//
2: Note
In general, the rank of changes point to point.
When the rank of is the same at all the points of , is called to have "constant rank".
When at each point of , there is a neighborhood of the point over which has the same rank, is called to have "locally constant rank".
References
<The previous article in this series | The table of contents of this series | The next article in this series>
<The previous article in this series | The table of contents of this series | The next article in this series>
description/proof of that for linear map between vectors spaces, 'vectors spaces - linear morphisms' isomorphism onto domain of linear map, and 'vectors spaces - linear morphisms' isomorphism from superspace of codomain of linear map, composition of linear map after 1st isomorphism and before 2nd isomorphism has rank of linear map
Topics
About:
vectors space
The table of contents of this article
Starting Context
Target Context
-
The reader will have a description and a proof of the proposition that for any linear map between any vectors spaces, any 'vectors spaces - linear morphisms' isomorphism onto the domain of the linear map, and any 'vectors spaces - linear morphisms' isomorphism from any superspace of the codomain of the linear map, the composition of the linear map after the 1st isomorphism and before the 2nd isomorphism has the rank of the linear map.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
:
:
:
: ,
:
: ,
: , such that
:
: ,
//
Statements:
//
2: Note
The codomain of is with the vectors space structure of and is a vectors subspace of (not just a subset), which are the points.
Refer to the proposition that for any linear map between any vectors spaces and any 'vectors spaces - linear morphisms' isomorphism, the composition of the linear map after the isomorphism does not necessarily have the rank of the linear map.
3: Proof
Whole Strategy: Step 1: see that is linear; Step 2: see that ; Step 3: see that is a 'vectors spaces - linear morphisms' isomorphism, see that , and see that .
Step 1:
is linear, which is because the codomain of is the domain of (more generally, a vectors subspace of the domain of ) and the codomain of is a vectors subspace of the domain of : just and sets-wise does not guarantee the linearity.
We needed to check the linearity, because otherwise, would not be defined.
Step 2:
Let us see that .
For each , for a , but and .
For each , for a , but as is surjective, there is a such that , so, .
That implies that .
Step 3:
is a vectors subspace of , by the proposition that the range of any linear map between any vectors spaces is a vectors subspace of the codomain.
is a vectors subspace of , because is a vectors subspace of .
is a 'vectors spaces - linear morphisms' isomorphism, by the proposition that for any 'vectors spaces - linear morphisms' isomorphism, its restriction on any subspace domain and the corresponding range codomain is a 'vectors spaces - linear morphisms' isomorphism.
.
So, .
But as , , so, , but , by the proposition that for any 'vectors spaces - linear morphisms' isomorphism, the image of any linearly independent subset or any basis of the domain is linearly independent or a basis on the codomain, so, .
References
<The previous article in this series | The table of contents of this series | The next article in this series>
<The previous article in this series | The table of contents of this series | The next article in this series>
description/proof of that for linear map between vectors spaces and 'vectors spaces - linear morphisms' isomorphism, composition of linear map after isomorphism does not necessarily have rank of linear map
Topics
About:
vectors space
The table of contents of this article
Starting Context
Target Context
-
The reader will have a description and a proof of the proposition that for a linear map between some vectors spaces and a 'vectors spaces - linear morphisms' isomorphism, the composition of the linear map after the isomorphism does not necessarily have the rank of the linear map.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
:
:
:
: ,
:
: such that
: ,
//
Statements:
Not necessarily
//
2: Note
is not presupposed to be a vectors subspace of and is not presupposed to equal (the composition is valid if ), which are the points.
This proposition is a warning not to jump to the conclusion without checking some things: refer to the proposition that for any linear map between any vectors spaces, any 'vectors spaces - linear morphisms' isomorphism onto the domain of the linear map, and any 'vectors spaces - linear morphisms' isomorphism from any vectors superspace of the codomain of the linear map, the composition of the linear map after the 1st isomorphism and before the 2nd isomorphism has the rank of the linear map.
3: Proof
Whole Strategy: Step 1: see that is not guaranteed to be linear; Step 2: see a counterexample that even if is a vectors subspace of , .
Step 1:
means just that is a subset of not that is a vectors subspace of .
For each and each , , but the issue here is that is by the vectors space structure of not of , so, is not guaranteed.
So, is not guaranteed to be linear.
Without being linear, is not defined.
Step 2:
Let us suppose that is a vectors subspace of .
Let as the Euclidean vectors space, as the Euclidean vectors space, as the identity map, where is the Euclidean vectors space, where is the Euclidean vectors space, and as the identity map.
Certainly, , where is 1-dimensional, because for example, is a basis.
Certainly, is a 'vectors spaces - linear morphisms' isomorphism.
But and , while and .
So, .
References
<The previous article in this series | The table of contents of this series | The next article in this series>
<The previous article in this series | The table of contents of this series | The next article in this series>
description/proof of that for 'vectors spaces - linear morphisms' isomorphism, its restriction on subspace domain and corresponding range codomain is 'vectors spaces - linear morphisms' isomorphism
Topics
About:
vectors space
The table of contents of this article
Starting Context
Target Context
-
The reader will have a description and a proof of the proposition that for any 'vectors spaces - linear morphisms' isomorphism, its restriction on any subspace domain and the corresponding range codomain is a 'vectors spaces - linear morphisms' isomorphism.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
:
:
:
: ,
:
:
:
//
Statements:
//
2: Proof
Whole Strategy: Step 1: see that is a vectors subspace of ; Step 2: see that is linear; Step 3: see that is bijective; Step 4: conclude the proposition.
Step 1:
is a vectors subspace of , by the proposition that the range of any linear map between any vectors spaces is a vectors subspace of the codomain, which means that is an vectors space.
So, is a map from an vectors space into an vectors space.
Step 2:
is linear, because for each and each , .
Step 3:
is bijective, because for each such that , , because is injective, and is obviously surjective.
Step 4:
By the proposition that any bijective linear map between any vectors spaces is a 'vectors spaces - linear morphisms' isomorphism, is a 'vectors spaces - linear morphisms' isomorphism.
References
<The previous article in this series | The table of contents of this series | The next article in this series>
<The previous article in this series | The table of contents of this series | The next article in this series>
description/proof of that for linear map between finite-dimensional vectors spaces, rank of map is rank of representative matrix w.r.t. bases
The table of contents of this article
Main Body
References
<The previous article in this series | The table of contents of this series | The next article in this series>
<The previous article in this series | The table of contents of this series | The next article in this series>
description/proof of that determinant of square matrix over field is nonzero iff set of columns or rows is linearly independent
Topics
About:
matrices space
The table of contents of this article
Starting Context
Target Context
-
The reader will have a description and a proof of the proposition that the determinant of any square matrix over any field is nonzero if and only if the set of the columns or the rows is linearly independent.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
:
:
//
Statements:
(
)
(
)
//
2: Proof
Whole Strategy: apply Cramer's rule for any system of linear equations; Step 1: take and conclude for the columns; Step 2: take and conclude for the rows.
Step 1:
Let the -th column of be denoted as .
Let us take .
It is nothing but .
So, the columns' being linearly independent is nothing but 's having only the 0 solution.
By Cramer's rule for any system of linear equations, that is nothing but : if , the rank would be smaller than , and at least 1 of s could be taken arbitrarily.
So, if and only if the set of the columns is linearly independent.
Step 2:
By Step 1, if and only if the set of the columns is linearly independent.
But the set of the columns of is linearly independent if and only if the set of the rows of is linearly independent, obviously.
On the other hand, .
So, if and only if the set of the rows of is linearly independent.
References
<The previous article in this series | The table of contents of this series | The next article in this series>
<The previous article in this series | The table of contents of this series | The next article in this series>
description/proof of that for finite-dimensional columns or rows vectors space and linearly independent subset, subset can be shrunk into number-of-elements-dimensional columns or rows vectors space by choosing components
Topics
About:
vectors space
The table of contents of this article
Starting Context
Target Context
-
The reader will have a description and a proof of the proposition that for any finite-dimensional columns or rows vectors space and any linearly independent subset, the subset can be shrunk into a number-of-elements-dimensional columns or rows vectors space by choosing some components.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
:
:
: ,
: ,
: ,
: ,
: ,
: ,
//
Statements:
//
2: Note
It is not that any would do: for example, when , , and , does not do because is not linearly independent, while does.
3: Proof
Whole Strategy: Step 1: take and see that that equals ; Step 2: apply Cramer's rule for any system of linear equations to conclude that the rank of the matrix is ; Step 3: choose a linearly independent ; Step 4: conclude for .
Step 1:
Let us take .
That equals , obviously.
' s being linearly independent equals that equation's having only the solution.
Step 2:
By Cramer's rule for any system of linear equations, the rank of the matrix is : if the rank was smaller than , at least 1 of s can be taken arbitrarily, a contradiction.
Step 3:
So, the matrix can be rearranged such that the top-left submatrix is determinant nonzero.
Then, the columns of the submatrix is linearly independent, by the proposition that the determinant of any square matrix over any field is nonzero if and only if the set of the columns or the rows is linearly independent.
The columns is an .
Step 4:
As for , we can just take the transpose of , , take an , and take the transpose of , .
References
<The previous article in this series | The table of contents of this series | The next article in this series>