Let be a smooth real manifold. A smooth vector field on can be considered as a function from to . Every function at every point is by a vector field (which implicitly associates a tangent vector at every point) taken to some real value, which one can think of as the directional derivative of along the tangent vector. Moreover, this varies smoothly with .
I can sense vaguely that the sheaf is a central definition in the (superficially) horrendously abstract language of modern mathematics. There really does seem to be quite a distance, between crudely speaking, pre-1950 math and post-1950 math in the mainstream in terms of the level of abstraction typically employed. It is my hope that I will eventually accustom myself to the latter instead of viewing it as a very much alien language. It is difficult though, and there are in fact definitions which take quite me a while to grasp (by this, I mean be able to visualize it so clearly that feel like I won’t ever forget it), which is expected given how long it has taken historically to condense to certain definitions golden in hindsight. In the hope of a step forward in my goal to understand sheaves, I’ll write up the associated definitions in this post.
The Urysohn metrization theorem gives conditions which guarantee that a topological space is metrizable. A topological space is metrizable is there is a metric that induces a topology that is equivalent to the topological space itself. These conditions are that the space is regular and second-countable. Regular means that any combination of closed subset and point not in it is separable, and second-countable means there is a countable basis.
I’ve been reading some algebraic topology lately. It is horrendously abstract, at least for me at my current stage. Nonetheless, I’ve managed to make a little progress. On that, I’ll say that the path lifting lemma, a beautiful fundamental result in the field, makes more sense to me now at the formal level, where as perceived by me right now, the difficulty lies largely in the formalisms.
Path lifting lemma: Let be a covering projection and be a path such that for some and , Continue reading “Path lifting lemma and fundamental group of circle”
The canonical definition of compactness of a topological space is every open cover has finite sub-cover. We can via contraposition translate this to every family of open sets with no finite subfamily that covers is not a cover. Not a cover via de Morgan’s laws can be characterized equivalently as has complements (which are all closed sets) which have finite intersection. The product is:
A topological space is compact iff for every family of closed sets with the finite intersection property, the intersection of that family is non-empty.
We all know of real projective space . It is in fact a special space of the Grassmannian manifold, which denoted , is the set of -dimensional subspaces of . Such can be represented via the ranges of the matrices of rank . On application of that operator we can apply any and the range will stay the same. Partitioning by range, we introduce the equivalence relation by if there exists such that . This Grassmannian can be identified with .
Now we find the charts of it. There must be a minor with nonzero determinant. We can assume without loss of generality (as swapping columns changes not the range) that the first minor made of the first columns is one of such, for the convenience of writing , where the is . We get
Thus the degrees of freedom are given by the matrix on the right, so . If that submatrix is not the same between two full matrices reduced via inverting by minor, they cannot be the same as an application of any non identity element in would alter the identity matrix on the left.
I’ll leave it to the reader to run this on the real projective case, where .