622: For Simplicial Complex, Intersection of 2 Affine Simplexes Determined by Subsequences of Ascending Sequences of Barycenters of Faces of Elements of Complex Is Affine Simplex Determined by Intersection of Subsequences
<The previous article in this series | The table of contents of this series | The next article in this series>
description/proof of that for simplicial complex, intersection of 2 affine simplexes determined by subsequences of ascending sequences of barycenters of faces of elements of complex is affine simplex determined by intersection of subsequences
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 simplicial complex, the nonempty intersection of the 2 affine simplexes determined by any subsequences of any ascending sequences of barycenters of faces of any elements of the complex is the affine simplex determined by the intersection of the subsequences.
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: Natural Language Description
For any real vectors space, , any affine complex on , , any elements, , any ascending sequences of barycenters of faces of and , and , the affine simplexes determined by any subsequences, where and where , and , if , .
3: Proof
is a face of and a face of . Without loss of generality (just re-index the vertexes of and and change the permutations, and , accordingly), let and (refer to the proposition that for any simplicial complex, the intersection of any 2 simplexes is the simplex determined by the intersection of the sets of the vertexes of the simplexes).
and , by the proposition that for any affine simplex, its any ascending sequence of faces, and the set of the barycenters of the faces, any convex combination of any subset of the set of the barycenters is a convex combination with respect to the set of the vertexes of the affine simplex. So, .
Let be any. , where and and and .
Hereafter, we will profusely use the proposition that for any affine simplex, its any ascending sequence of faces, and the set of the barycenters of the faces, any convex combination of any subset of the set of the barycenters is a convex combination with respect to the set of the vertexes of the affine simplex for : is a convex combination with respect to or , which implies that for the expression with respect to or , the coefficients are uniquely determined. Although we said " or ", in fact, only the common really appears, as will be proved in the next paragraph.
Where , is the barycenter of a face of , because otherwise, the expression of with respect to would contain where (supposing that the face contains , as any barycenter takes positive multiples of the vertexes and s are all non-negative, the coefficient of would never disappear), which would mean , a contradiction. Likewise, where , is the barycenter of a face of .
Let us see only the barycenters that are effectively in (whose coefficients are nonzero): let us take the subset, , and the subset, .
Let us note these facts: as or has been derived from the ascending sequence of faces, if any vertex, , first appears in a or , will keep appearing in all the succeeding or ; if any 2 vertexes, , first appear in the same or , the coefficient of and the coefficient of will be the same ( and appear always in the form, ); if any vertex, , appears earlier than any vertex, , the coefficient of will be larger than the coefficient of (after has appeared, and appear always in the form, , while the earlier terms with only remain.
If , there would be a that was in but not in without loss of generality. Then, would have to appear in later , which is impossible by the observation in the previous paragraph: if a common vertex, , was in and , for , and would have the same coefficients, but for , and would have some different coefficients, impossible; if no common vertex was in and , there would be a that was in but not in (because had to have at least 1 vertex), then, would have to appear in later , but that would mean that for , would have a larger coefficient than , while for , would have a smaller coefficient than , impossible. So, .
Likewise, , because it is about adding some vertexes to , and unless and get the same set of vertexes, a contradiction would occur. And so on. So, until reaches the smaller of and . In fact, , because if , a vertex would appear only in and if , a vertex would appear only in , impossible.
That means that for , where , . So, .
On the other hand, , because the left hand side is a face of and a face of , which means that the left hand side is contained in and is contained in , and so, is contained in the intersection.
So, .
4: Note
This proposition can be used for proving that the barycentric subdivision of any simplicial complex is indeed a simplicial complex.
References
<The previous article in this series | The table of contents of this series | The next article in this series>