写像の証明について
こんにちは、今日は写像の証明の書き方を考えていきます。是非とも最後までお付き合いください。
写像の証明は「習うより慣れろ」なものだと思います。なので実際の問題を考えながら、証明の書き方を見ていきましょう。1つの問題で全射と単射と全単射と合成写像に触れられる問題があったのでそれを紹介します。逆写像、定値写像、恒等写像、直積集合については機会があればupします。
この問題では、ｇ◦ｆが全射であり、かつ単射であることを証明する必要があります。つまり、1個の問題で2回証明をするのです。それではまずｇ◦ｆが単射であることを示します。ちなみに、賢い読者さんは分かっていると思いますが、単射であることの使い方は「写像した結果が同じならば写像前も等しい」という風に使うのがよいでしょう。（他にも色々な表現法はあると思いますが。）なぜなら単射はそもそも写像と写像が一対一対応している状態のことを表しているからです。
解答例）ｇ◦ｆが全単射であることは、ｇ◦ｆが全射であり、かつｇ◦ｆが単射であることと同値である。まず、ｇ◦ｆが単射であることを示す。
任意にa1,a2∈Aをとる。このときｇ◦ｆ(a1)=ｇ◦ｆ(a2)と仮定する。
ｇ◦ｆ(a1)＝ｇ(ｆ(a1))
ｇ◦ｆ(a2)＝ｇ(ｆ(a2))
が成り立ち、ｇは単射なので（∵ｇは全単射）、ｇ◦ｆ(a1)=ｇ◦ｆ(a2)という仮定から
ｆ(a1)=ｆ(a2)
が成り立つ。さらにｆも単射なので
a1=a2
が成り立つ。したがって、任意のa1,a2∈Aに対してｇ◦ｆ(a1)=ｇ◦ｆ(a2)が成り立つときa1=a2が成り立つので、ｇ◦ｆは単射である。
次にｇ◦ｆが全射であることを示しますが、証明における全射の使い方も確認しておきましょう。全射は、「写像後の集合から任意に要素をとってきた場合に、その要素の写像前の要素が必ず1つ以上存在する」というような使い方がいいのではないでしょうか（というより定義そのものですね）1つ以上存在することを示すには、1つ具体的に（とはいっても文字を使いますが）存在することを示してやればいいのです。
解答例の続き）
次にｇ◦ｆが全射であることを示す。任意にｃ∈Cをとる。ｇは全射であるので、
ｇ(b)=c
を満たすb∈Bをとる。ｆも全射なので、このbに対して
ｆ(a)=b
を満たすa∈Aをとる。このとき
ｇ◦ｆ(a)=ｇ(ｆ(a))=c
となる。したがって、任意のｃ∈Cに対してｇ◦ｆ(a)=cを満たすa∈Aが存在するのでｇ◦ｆは全射である。以上からｇ◦ｆは全単射である。(Q.E.D)
どうでしたか？以上のことをまとめると、単射では「任意にとる」と「写像後が同じ⇒とった文字が同じ」がお作法であり、全射では「任意にとる」と「写像後からどれをとっても写像前が存在する」がお作法です。あとはこれらを組み合わせていけばいいわけです。
というわけで、とりあえず写像の話は終わりにします。課題頑張ってください。
あ、余談になりますが青ブタの映画見に行くので覚えてたら感想とか書きます。
ではではー。
逆三角関数のグラフの書き方について
こんばんは、今日は某おまめ先生のレポートにあった、逆三角関数のグラフの書き方について書いていきたいと思います。
この二つのパターンについて考えていきます。是非とも最後までお付き合いください。
例）f₍x) = cos(arccos(x)) ( -1≦x≦1 )
（この例では三角関数→cos、逆三角関数→arccosです。）
このパターンでは、三角関数の中（今回の場合はarccos(x)）を文字で置くのが得策と思われます。
解答例）θ = arccos(x)と置く。
逆三角関数の定義から、x = cosθ
θ = arccos(x)と置いているので、f(x) = cos(arccos(x)) = cosθ = x ( -1≦x≦1 )
したがって y = f(x)のグラフは、y = x ( -1≦x≦1 )
例）f(x) = arccos(cos(x)) （∀x ∊ ℝ）
（この例では逆三角関数→arccos、三角関数→cosです。）
このパターンは１と比べると難しいと思います。どの解法が一番いいのかは分かりかねますが、僕は逆三角関数の微分を使ってみました。詳しくは教科書などを参考にしてみてください。
いずれにしても、与式からcos(x) = cos(f(x))としてf(x) = xなどとしてはいけません。何故なら、xは任意の実数でありcosは周期関数であるので、複数のxが同じひとつのcosの値をとりうるからです。同様に右辺も一意的にf(x)の値が決まりません。つまり、「xの値を決めればf(x)の値が一意的に定まる」という関数の定義から外れてしまっているのです。
ではどうすればいいのでしょうか。この問題の場合、逆三角関数の定義に基づくと、cos(x) = cos(f(x)) 0≦f(x)≦π が正しいです。このようにすることで、f(x)の値が一意的に定まります。
解答例）逆三角関数の定義から、cos(x) = cos(f(x)) 0≦f(x)≦π
したがって、f(x) = ±x + 2mπ （ただし、f(x)が0からπの間に収まるように整数mを決定する。）例えば、2π≦x≦3πのときはf(x) = x -2π となります。（これを定量的に示すのは割愛します。ぜひチャレンジしてみてください。）
ちなみに結果的にはギザギザのグラフになります。（多分）
レポートの提出もあと僅かまで迫ってきていますが、皆さん頑張ってください。
初めましてのご挨拶
ブログ始めました。勉強系、趣味など気の向くままに書いていきます。よろしくお願いします。
