Actually everything is finished or at least perfectly clear to me now. These sets ##\lbrace W_i^j \rbrace## are indeed locally finite refinement of arbitrary cover ##\lbrace U_\alpha \rbrace_{\alpha\in A}## (Not the best notation IMO since ##\lbrace U_n \rbrace## is basis for topology).
Problem occur due to my terrible misunderstanding of what is locally finite space. In my notes I have "Topological space where each point is contained in finitely many open sets", don't know where I found this one. With correct definition everything is obviously fine with the proof.
I believe this should insist that ##\lbrace W_i^j \rbrace## is locally finite however I am confused. If ##|j-k| <4## then this intersection can be non empty so locally finite refinement is not presented. Or I miss something... Need help
I get why within 4 steps intersection is trivial...
Not necessary. I can not the proof that was presented. I can pick any ##U_n## from the basis ##\lbrace U_n \rbrace## and choose any point say ##y## within ##U_n##. Due to local compactness there are open ##U## and compact ##C## such that ## x\in U \subseteq C##. However ##U_n## might not be a...
It is clear now and it is very easy. Let closure of ##V_1## is covered by finite amount of open sets which are not necessary basic elements. Let some of this open sets are generated by infinite union of basic set. This is still a cover and due to compactness there is finite subcover of basic...
Hello!
I have some troubles diving in the proof of this lemma
Lemma. Let ##S## be locally compact, Hausdorff and second countable. Then every open cover ##\lbrace U_\alpha \rbrace## of ##S## has a countable, locally finite refinement consisting of open sets with compact closures.
Proof...
Hello!
I would like to be sure about my understanding of the definition provided in screenshot below
1. What is this ##\mathcal{E}(G,N)##? I know that not all extension are isomorphic so I wonder What are the elements of ##\mathcal{E}## groups? Or maybe all Es diffeomorphic to each other...
Hello!
There is a proof that Grassmannian is indeed a smooth manifold provided in Nicolaescu textbook on differential geometry. Screenshots are below
There are some troubles with signs in the formulas please ignore them they are not relevant. My questions are the following:
1. After (1.2.5)...
Thanks to everyone for help. I kinda get this formal definition
I would like to summarize just in case
Manifold ##P## should be designed in the way that each ##\pi^{-1}(W)## is diffeomorphic to ##W\times G##. One can act on the latter with any element of ##G## in the obvious way.
However I...
Sorry, but I don't get you clarification. How LOCAL trivialization is aware of of the whole manifold ##P## since group might send this neighbourhood ##W## in general to any other domain of ##P##? Book is "Differential Geometry" by Rudolph and Schmidt