![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?8acaa2e)
A 回答 (12件中1~10件)
- 最新から表示
- 回答順に表示
No.12
- 回答日時:
これで最後です。
これ以上の回答は投稿しません。
> >(2)(1)の意味でCの元c’も対応するならばc'=cである。
このことをwell-definednessといいます。
> >gがBからCへの写像となるための条件は以下のものです:
>
> >(1)Bの任意の元bに対してCの元cが一つ対応する。
>
> >(2)(1)の意味でCの元c’も対応するならばc'=cである。
は、「写像gが定義される」ための必要十分条件です。
これは証明すべきことではなく、そういうのを写像というのだと無条件で受け入れなければなりません。
どうしても納得できない場合、うんうん唸って考えてください。
自分の頭で考える以外に理解する方法はありません。
No.11
- 回答日時:
● qyueen997 さん と osn3673 さん のこれまでのご回答を読む時間が、私にはありませんでした。
まことに申しわけありません。● 私からお伝えしたいことだけを、いくつか。
1つ前 の問題 13. については、巻末に解答が記載されています。それに似た形で、問題 14. が解けるのではないかと、私は思います。
用いる定理は、48ページ の 定理7 (b) ではないかと、私は思います。
写像f の 定義域A を縮小して、f ' という写像を新たに設けます。このとき、f ' が単射となるように、定義域A を縮小すればよいのではないかと、私は思います。それにともない、写像h ' も新たに設けます。
g・f = (h '・r)・(f '・k) = h '・(r・f ')・k = h '・k = h
上記における 写像r は 写像f の左逆写像です。写像k の定義のしかたには、ひとくふうが必要かもしれません ( 直積や、選出公理などを利用しなければならないかも … )。
● 以上の私の記述がまちがっていましたら、ひらにごめんなさい。
![「写像についての質問」の回答画像11](http://oshiete.xgoo.jp/_/bucket/oshietegoo/images/media/5/1331657_5497e915c059a/M.jpg)
僕も48ページの定理7(b)利用して証明できるのではないかと思いましたので、記述してくださったこと
を参考に証明できるかどうか調べてみたいとおもいます。ありがとうございました。
No.10
- 回答日時:
> g(b) = {c} ではなくて
>
> g(b) = c と表記したかったのです。
たぶんまだ誤解されているような気がします。
「Aの元a,a'に対し、f(a)=f(a')ならばh(a)=h(a')」
というのは、無条件で常に「h(a)=h(a')」が成り立つことを言っているのではなく、あくまで「f(a)=f(a')」という前提条件があればそのときだけ「h(a)=h(a')」ですよ、ということを言っているのです。
あなたが2番の補足に書いた
> つまり、
>
> Bの元b,b'に対してb = b'ならば g(b)=g(b')
>
> が成り立つということですよね。
は正しいです。
しかしこれは、「Bの元b,b'について必ずg(b)=g(b')となる」ことを意味してはいません。
わかりますか?まだもやもやしてる?
この回答への補足
僕がもやもやしているところは、gのwell-definednessが保証されることによって、なぜ写像g
が定義されるのかという一点です。gがwell-definednessかどうか調べるということはことは、NO5で
書かれた
>gがBからCへの写像となるための条件は以下のものです:
>(1)Bの任意の元bに対してCの元cが一つ対応する。
>(2)(1)の意味でCの元c’も対応するならばc'=cである。
という条件をgが満たすかどうかを、調べてやればいいということなのですか?
No.9
- 回答日時:
> わざわざ画像まで添付してくださって、ありがとうございます。
> 参考にさせていただきます。
> わざわざ画像まで添付してくださって、ありがとうございます。
> 参考にさせていただきます。
画像は小さ過ぎましたが,f(a) = f(a') で h(a) ≠ h(a') なら
g(f(a)) = g(f(a')) を決めようとしたときに困るということ
示しただけです.以下,ANo.3 について補足します.
(1)「任意の a, a' について f(a) = f(a') ならば h(a) = h(a')
である」が正しいときは「g が存在する」
N.B. g(f(a)) = h(a) と定めることができる.
(2)「任意の a, a' について f(a) = f(a') ならば h(a) = h(a')
である」が正しくないときは「g は存在しない」
N.B. g(f(a)) = h(a) とすると g(f(a')) ≠ h(a') <-- (4)参照
(3)「X であれば Y である」かつ「X でなければ Y でない」が
成立するとき,X と Y は同値.
(4)「任意の a, a' について f(a) = f(a') ならば h(a) = h(a')
である」の否定は「適当な a, a' が存在して,f(a) = f(a')
かつ h(a) ≠ h(a')」
N.B. 証明は記号論理学に関する説明を Web 等で探して下さい.
No.8
- 回答日時:
画像添付を試みていますが確認画面で表示されません.
勉強不足で申し訳ありませんが添付データにファイル名が
書かれているので送信します.
![「写像についての質問」の回答画像8](http://oshiete.xgoo.jp/_/bucket/oshietegoo/images/media/0/22793094_5497e1309aeb1/M.jpg)
No.7
- 回答日時:
> 何度もすみません。
集合位相入門/松坂和夫では写像の条件は2番の補足のようになっているのですが…その本は手元にありませんけれど、たぶんあなたが読み違えてます。
だって、2番の補足にあなたが書いた
> はBのどの元bに対しても、そのgによる像g(b)はCの一つの元cから成る集合{c}
>
> となっている
というのは、gが定数関数であることを示してるわけですから。
あなたは写像はすべて定数関数だと理解しているのですか?
たとえば、y=xという一次関数やy=x^2という二次関数は写像ではないのですか?
この回答への補足
すみません、紛らわしい書き方だったようです。
NO6の方がご指摘下さったように、g(b) = {c} ではなくて
g(b) = c と表記したかったのです。誤解あたえてしまいすみませんでした。
No.6
- 回答日時:
> gはBのどの元bに対しても、そのgによる像g(b)はCの一つの元cから成る集合{c}
> となっていることを示している(gは写像である)という解釈でいいんですか?
「集合{c}となっている」という表現は紛らわしいかも知れません.
g(b) が {c} に対応していることは確かですが,g(b) = {c} ではなくて
g(b) = c です.
補足: 単に g : B → C といえば一意写像を意味し,多意写像の
ときは g : B → 2^C (2^C は C の部分集合の集合)という一意
写像として表現することが多いようです.
No.5
- 回答日時:
> ではなぜ、gのwell-definednessが保証されることによって、gが写像として
> とらえることができるのかよくわかりません。
2番の補足であなたが書いたのは、gの像が一点集合であるというものですが、それは間違っています。それはわかりますか?
gがBからCへの写像となるための条件は以下のものです:
(1)Bの任意の元bに対してCの元cが一つ対応する。
(2)(1)の意味でCの元c’も対応するならばc'=cである。
4番の回答をもう一度読んでみてください。
この回答への補足
>2番の補足であなたが書いたのは、gの像が一点集合であるというものですが、それは間違っています。
>それはわかりますか?
何度もすみません。集合位相入門/松坂和夫では写像の条件は2番の補足のようになっているのですが…
No.4
- 回答日時:
> gはBのどの元bに対しても、そのgによる像g(b)はCの一つの元cから成る集合{c}
>
> となっていることを示している(gは写像である)という解釈でいいんですか?
いいえ、違います。
> Bの元b,b'に対してb = b'ならば
b∈Im(f)のとき、もちろんb'∈Im(f)なので、∃a,∃a':f(a)=b,f(a')=b'
ゆえにh(a)=h(a')、つまりf(a)=f(a')
b∈Im(f)でないとき、もちろんb'∈Im(f)でもないので、f(b)=cだしf(b')=c
いずれにしてもf(b)=f(b')
それと、逆(必要性)もわすれないでくださいね。
この回答への補足
ではなぜ、gのwell-definednessが保証されることによって、gが写像として
とらえることができるのかよくわかりません。
No.3
- 回答日時:
f(a) = b, f(a') = b'
h(a) = c, h(a') = c'
とします.
(1)「どのような a, a' についても b = b' ならば
c = c' である」とすると「g(b) = h(a)」と
定めればよい.
(2)「ある a, a' について b = b' かつ c ≠ c'
である」ときは「g(b) を定められない」
N.B. ¬(X ⇒ Y) = ¬¬(X & ¬Y) = X & ¬Y
N.B. ¬(∀x, Px) = ∃x, ¬Px
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 写真 証明写真の作り方!! ご回答頂けると幸いです…。 学生証の写真を証明写真として使うやり方について 質 2 2022/05/04 13:51
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 数学 ある方から頂いた回答について 1 2023/07/10 11:34
- 写真 写真(画像)編集スキルを質問する時 1 2022/12/07 14:14
- Visual Basic(VBA) エクセルマクロでアニメを作る方法を教えてください。 1 2023/02/07 14:27
- 数学 複素数の集合D={z: |z|≦2、π/6 ≦argz≦π/2 }の存在範囲を複素数平面上に図示せよ 1 2022/08/01 10:53
- 宇宙科学・天文学・天気 人類は1度も月には行っていない‼️ アポロ計画は捏造されたと思っています。 その例を一部述べましょう 4 2022/10/02 21:22
- 一眼レフカメラ 「回折現象の画像」と「ピントが合っていない画像」の違いはありますか?(区別できますか?) 7 2022/06/02 21:25
- 写真・ビデオ iPhoneで撮った写真って、アルバムで色合いなど調整できると思います。あれって、どんな編集をしたの 1 2022/11/01 18:30
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
線形、非線型ってどういう意味...
-
内積の ・内積あるいはエルミー...
-
四次対称群S4が可解群であるこ...
-
「十人十色」ならば「百人百色...
-
微分方程式の線形、非線形の証明
-
全射・部分写像の個数の問題
-
初めての複素関数の勉強
-
写像がwell-definedであること...
-
射と写像の違い
-
NからN×Nの全単写
-
基本的な事ですが…(単射、全射...
-
f^(-1)(f(P))=Pを示したい
-
線形・非線形って何ですか?
-
有限アーベル群の基本定理の証...
-
行列の階数
-
代数学「素体」
-
この写像がwell definedである...
-
写像の基本定理:B1⊂B2⇒f~(B1)⊂...
-
族(数学)について
-
同型写像の証明問題
おすすめ情報