Banach多様体上の接空間の定義について同値になる定義、ならない定義の確認をしているんだけど、速度ベクトル(C^∞(M)上の汎函数として定義)のなすTVSに入る位相がキモくて同値性のチェックが大変だ...