圏論を勉強し始めたのですが、「mono(単射) かつ epi(全射)であるのに、iso(同型)でない例」を以下のように考えました。この考え方は正しいでしょうか?
対象 ABC と、射 f:A→B 、g:B→C 、 h=g・f と、自明な3つの恒等射 からなる圏において、
これらは圏の定義を満たす。
fはmono (∵ Aへの射はAの恒等射のみであり、一意)
fはepi (∵ Bからの射は2つ。BからCの射はgのみなので、一意。BからBへの射は恒等射のみなので一意。)
fはisoでない (∵ BからAは射が存在しない)
No.1ベストアンサー
- 回答日時:
「自明な3つの恒等射」とはA,B,Cのことで、それが「3つ」だというのはA≠B、A≠Cだという意味でしょう。
もしそうならば、なにしろBからAへの射がないんだから、fは同型射になりえない。良いと思いますけど、どのへんが怪しいとお考えなんですか?この回答への補足
アドバイスをありがとうございます。
圏の概念に慣れていないので、議論の展開の仕方と結論に自信がありません。
単射かつ全射であるのに同型じゃないと言う例は、書籍やネットで見かける例はもっと複雑な例です。ですので、今回のようなあまりにも単純な例が結論として出たのは、推論の中になんらかの誤りがあるのではないかと思ってます。
No.2
- 回答日時:
ANo.1のコメントについてです。
> 書籍やネットで見かける例はもっと複雑な例
と仰るのは、「環の圏における有理数環への整数環の埋蔵は、双射だけど同型射ではない」というような例のことでしょうね。具体的な代数系があって、それを抽象化して圏を考えるとすると、もし同型射が作れるのなら、それを含めた圏を考えるのが自然です。同型射f:A→B→AがあればAとBが同一視できてしまうのだから。
しかし、圏ってのは緩やかな概念であり、「射が作れるなら含めなくちゃいけない」と要求することはない。
「作れる射のうち幾らかだけを入れた圏」がきちんと意味を持つ場合だって考えられます。たとえば、計算論や暗号理論におけるアルゴリズムの関係を見るために、射の計算量に制限を付けた場合です。NP時間で出来る処理だけを射とする圏とか、あるいはもっと具体的に「特定のプロセッサで準リアルタイムで出来る処理」だけを射とする圏を考えたって良い訳で。
No.3
- 回答日時:
例というのは、具体的な例のことですよね。
貴兄の挙げているのは、どんな圏の話ですか。f,gは
どんな写像ですか。全く具体性がありません。
で、例を挙げるとしたら、位相空間と連続写像の圏が簡単だと思います。
いえ、具体例と言っても対応する実世界は特に考えていません。「monoでepiでもisoとは限らない」の証明のための反例が欲しかったイメージです。そう考えた場合に質問で書いたような論理の展開に誤りはないかが知りたいです。
もし「圏を考える時はその具体例を考えるべき」と言うことであれば、その認識はありませんでした。質問した圏は圏の定義にあうようにだけしか考えてません。このような考え方はしない方がいいんでしょうか?
# ですが、私の考えた圏は {1, 2, 3}と 順序関係 ≦ による半順序圏に
# なってそうな?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
図の問題の|z|=1の写像を計算し...
-
複素解析についての質問です。 ...
-
画像の説明にある写像の表記T:k...
-
四次対称群S4が可解群であるこ...
-
線形独立テストsa+tb=0を行うと...
-
「十人十色」ならば「百人百色...
-
全射・部分写像の個数の問題
-
初めての複素関数の勉強
-
線形、非線型ってどういう意味...
-
LaTeX 写像式を描きたい
-
代数学「素体」
-
k代数、環準同型 画像の例3に関...
-
体の『同型』と『○上同型』のち...
-
線形写像と線形変換
-
円→楕円への写像
-
線形写像と線形変換
-
同型とは?
-
リー代数 キリング形式のトレ...
-
複素数の関数
-
基本的な事ですが…(単射、全射...
おすすめ情報