• 締切済み

同相写像となる事の証明をお教え下さい

alice_44の回答

  • alice_44
  • ベストアンサー率44% (2109/4759)
回答No.1

写像が可逆かつ連続であることを言えば、 逆写像も連続であり、同相であることが示せます。 g が逆写像を持つことは、自明ですね。 g の連続性を示すよりも、g の逆写像の連続性を 示すほうが簡単でしょう。

関連するQ&A

  • 同相写像であることの証明

    次の関数fが同相写像であること、すなわちfが全単射で連続、かつf^-1が連続であることを示したいのですが主に2つの関数の連続性が証明できず困っています。ご教授いただければ幸いです。 f: z∈{z∈C:|Im(z)|<π} → e^z∈C \(-∞,0)

  • 同相?

    微分可能多様体の証明で、微分可能多様体でないことを示すときに利用する補題についてです。 f:X→Yを同相写像、a∈Xとすると、X-{a}とY-{f(a)}は同相。 これが言えるのはなぜですか? 証明が可能なら証明をお願いします。

  • 値を確率的に返す関数(写像)の例

    2つの値を確率的に返す関数(写像)の例を教えて下さい。 例えば、f(x)において、xの定義域が、実数全体とすると、 xが、有理数なら、関数の値が1 無理数なら 0 という関数? は、確率50%くらい で、1と0を返しますが、 これを、f(x、y)として、 x、yの関係に応じて、確率が変わる: 例えば、y=x cos2θ とすると、 1になる確率が、cos2θ になり、0になる確率が、sin2θ になる ようにしたいのです。 例えばでいいので、関数(写像)の式を、お教え下さい。

  • 随伴写像の存在性の証明は?

    随伴写像についての質問です。 [随伴写像とは] A∈L(V)({=f∈Map(V,V);f is linear}),∃1C∈L(V')(V'はF線形空間Vの双対空間);∀(x,y)∈V×V',y(Ax)=(Cy)(x)(∈F) (i.e. [Ax,y]=[x,Cy]) (⇔def) C をAのadjoint(随伴写像)と言い、adjA:=Cと示す。 ここで 「A∈L(V)({=f∈Map(V,V);f is linear})に対して∀(x,y)∈V×V',y(Ax)=(Cy)(x)(∈F) (i.e. [Ax,y]=[x,Cy]) を満たすようなC∈L(V')(V'はF線形空間Vの双対空間)が一意的に存在する」 を示したいのですが どうやって存在性を示せばいいかわかりません。 Cをどのように採ればいいのでしょうか?

  • 微分同相写像の列

    Mをコンパクト微分可能多様体とします。 {f[n]}をMの微分同相写像の写像列とします。 f[n]がn→∞の極限で、滑らかな写像fに一様収束しているとき、fは微分同相写像ということはできますか。 ここで一様収束とは、Mのリーマン計量から距離dを定義して、任意のε>0に対して、ある自然数Nが存在し、任意のx∈Mに対して、n>N⇒d(f[n](x)、f(x))<ε、が成り立つことを言います。

  • 写像の問題について

    写像の問題が分かりません。どなたかわかる方、回答よろしくお願いします。 (1)関数w=z^l(lは正の実数)によって、z平面上の領域0<argz<θはw平面上のどのような領域に写像されるか。 (2)z平面上の領域Ψ<argz<π-Ψ(0<Ψ<π/2)をw平面の上半面(0<argw<π)に写像する関数を求めよ。 (3)関数w=z+1/zによる、z平面の原点を起点とする半直線の写像を求めよ。また、この関数による写像がz=1で等角でないことを示せ。 (4)z平面上の領域x^2/cos^2Ψ-y^2/sin^2Ψ<4をw平面の上半面(0<argw<π)に写像する関数を求めよ。ただし、Ψは0<Ψ<π/2

  • この写像がwell definedである事の証明

    [Q] Let V,W be finite dimensional vector spaces over the same field. {x1,x2,…,xn} is a basis for V Tx1=y1∈W,…,Txn=yn∈W then you can define∀x∈V x=c1x1+c2x2+…+cnxn T(x)=c1y1+c2y2+…+cnyn (1) Show that this function is well defined. (2) Show that this funciton is closed under scalar multiplication. という問題で質問があります。この問題の意味は下記の通りだと思います。 "well definedである事示せ"とは具体的にどうすればいいのかわかりません。 [問]V,Wを体F上の有限次元ベクトル空間とし、{x1,x2,…,xn}をVの基底とする。線形写像Tに於いて、 T(xi)=yi∈W (i=1,2,…,n) …(1)、 そして、∀x∈Vに対して, x=c1x1+c2x2+…+cnxn …(2) T(x)=c1y1+c2y2+…+cnyn …(3)と定義すれば (1) この写像がwell definedである事を示せ。 (2) この写像がスカラー倍に対して閉じている事を示せ。 [(1)の証] T(x)=T(Σ[i=1..n]cixi) (∵(2)) =Σ[i=1..n](ciyi) (∵(3)) =Σ[i=1..n]ciT(xi) (∵(1)) これからα,β∈Fとすると T(αx+βy)=αT(x)+βT(y) …(4)が成立している事も表している事が分かる。即ち、Tは線形写像。 よって,この定義は妥当である。 [(2)の証] ∀c∈F,∀x∈V,T(cx)=cT(x)∈Wとなる事を示せばよい。 0をVの零ベクトルとすると T(0)=T(Σ[i=1..n]0・xi)=Σ[i=1..n]0・yi (∵(1),(2),(3))=0 …(5). y:=0と採ると,(4)からT(cx)=cT(x) (∵(5)) を満たす。 従って、Tはスカラー倍に対して閉じている。 という風に解いたのですがこれで正解でしょうか?

  • 微分同相写像

    写像 T:R^n -> R^n が線形写像のとき  F(x)=T(x)+b  (bはR^nの元) で定義された写像が微分同相になるための Tの必要十分条件を教えてください。 お願いします。

  • 同相写像についての問題がわかりません

    Cを複素数体,C⊃Uは単連結な開領域とします。 U⊃Fを有界な閉集合で閉包cl(F)⊂Uとします。 この時,リーマンの写像定理から, f:U→{z∈C;|z|<1}なる同相写像fが存在しますが, 0<∃r<1;f(F)⊂{z∈C;|z|≦r}となる事を示したく思ってます。 どうすればいいのでしょうか?

  • 位相空間の同相について

    位相空間(X,Ox)と(Y,Oy)で、全単射f:X→Yに対して、fおよび逆写像f^(-1)がともに連続であるときfを位相写像といい、f:X→Yなる位相写像が存在するとき、(X,Ox)と(Y,Oy)は同相(同位相)であるというのでした。 位相空間(X,Ox)に対し、直積空間X×Xに適当な位相O’を入れたとき、 (X×X , O')と元の位相空間(X,Ox)は同相ではないと思うのですが、証明はどのようにしたらいいでしょうか。 位相写像が存在しない、ということを言えばいいと思いますが、存在しない、ということをどのように示したらいいのかがわかりません。 よろしくお願いします。