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