1001コメント318KB

分からない問題はここに書いてね380

レス数が900を超えています。1000を超えると表示できなくなるよ。

0911１３２人目の素数さん

2013/05/12(日) 22:02:56.58

>>910
(M,S)をC^r級多様体とする
T:={(U,φ)|S∪{(U,φ)}はMのC^r級座標近傍系}
とすればTがそれ

T⊂T'(C^r級座標近傍系)、(V,ψ)∈T'とすれば、S⊂T'なので、S∪{(V,ψ)}はMのC^r級座標近傍系。よって(V,ψ)∈T ∴ T=T'

レス数が900を超えています。1000を超えると表示できなくなるよ。