虽然在处理流形上的积分的定义时, 考虑不限制于特殊的 metric, 但是微分流形仍然没被选择出来
纤维丛的情况也类似, 值域及其对称性选择在一般情况下似乎都不确定
Example
homogeneous space
frame bundle
principal-bundle-connection
invariant δ isotropy-group & orbit decomposition at every point
这种直观启发自具体的对称空间相关的具体三元组 𝐺,𝐻,𝐺𝐻 作为纤维丛