学年

教科

質問の種類

数学 大学生・専門学校生・社会人

多様体を構成するために、位相空間に完全アトラスを導入するところで質問です。 完全アトラスを導入するメリットとして、この文章の下線部を「異なる座標系を用いたのに同じ計算ができてしまうという問題が解消される」解釈したのですが、そこがよくわかりません。座標系を変えて計算する... 続きを読む

1 Two n-dimensional coordinate systems & and ŋ in S overlap smoothly provided the functions on¯¹ and ŋo §¯¹ are both smooth. Explicitly, if : U → R" and ŋ: R", then ŋ 1 is defined on the open set ε (ur) → ° (UV) V and carries it to n(u)—while its inverse function § 4-1 runs in the opposite direction (see Figure 1). These functions are then required to be smooth in the usual Euclidean sense defined above. This condition is con- sidered to hold trivially if u and do not meet. Č (UV) R" Ĕ(U) n(UV) R" S n(v) Figure 1. 1. Definition. An atlas A of dimension n on a space S is a collection of n-dimensional coordinate systems in S such that (A1) each point of S is contained in the domain of some coordinate system in, and (A2) any two coordinate systems in ✅ overlap smoothly. An atlas on S makes it possible to do calculus consistently on all of S. But different atlases may produce the same calculus, a technical difficulty eliminated as follows. Call an atlas Con S complete if C contains each co- ordinate system in S that overlaps smoothly with every coordinate system in C. 2. Lemma. Each atlas ✅ on S is contained in a unique complete atlas. Proof. If has dimension n, let A' be the set of all n-dimensional coordinate systems in S that overlap smoothly with every one contained in A. (a) A' is an atlas (of the same dimension as ✅).

未解決 回答数: 0
数学 大学生・専門学校生・社会人

写真はロピタルの定理をε-δ論法を用いて証明したものについてですがらわからないことが3つあります。 ①なぜδをさらに小さくすると、青線のような不等式が成り立つのですか? ②どの部分の不等式を変形したら赤線の不等式が出てくるのですか? ③赤線の不等式が成り立つときなぜ定理が証... 続きを読む

定理4.6 f(x),g(x) が (a,b) 上の微分可能な関数で lim f(x) = lim_g(x) =+∞ エロ+ f'(エ) をみたしているとする。 このとき 極限 lim = = A が存在するならば x+a+ g'(x) f(x) lim == A za+ g(x) が成り立つ。なおこの定理は lim の部分をすべて lim あるいは lim, +α14 lim におきかえても成立する. b- 8 ◆証明 任意の0<<1に対して,あるδ0が存在し,a<x<a+δに対して f'(x) A-< <A+EAKE g'(x) が成り立つ。必要なら80をさらに小さくとって,f(x)>0,g(z) >O(a<x< a+δ) となるようにできる。 コーシーの平均値定理から, a<x<a +δに対して,あ ∈ (+8)が存在し, f(x)-f(a+8) f'(g) = g(x) − g(a+8) g'(§) が成り立つ。ゆえに A-ε< f(x)-f(a+8) である. したがって f(x) = + g(x) g(x) である. ここで 9(x) − g(a+6) = 1 g(x) g(a+6) (エ) f(a+8) →1 (x → a+), g(x) − g(a + 8) f(x)-f(a+δ)g(x)-g(a+8) f(a+8) 9(x) g(x) − g(a+8) <A+e 価 以 grat (エ) 0(土)であるから,必要ならばさらにを小さくとることにより1> g(z)-g(a+6) f(a +8) g(x) >1-ɛ, 0< <e としてよい。ゆえに g(x) f(x) (A+c) +g> >(A-) (1-e)=A-e(A+1-c) g(x) が成り立つ。よって定理が証明された, 残りの主張も同様の議論で証明できる.

回答募集中 回答数: 0
1/10