写像の集合論的な定義。写像は直積の部分集合。空写像は?

Поделиться
HTML-код
  • Опубликовано: 7 фев 2025
  • 0の0乗: • 0の0乗はいくつ?数学基礎論からの証明。
    写像関係の動画
    写像とは: • 写像とは何か?【ひろゆき】さんにも分かるよう...
    全射と単射: • 集合と写像の基礎。単射と全射。現役数学者が解説。
    足し算は写像: • 大学数学入門。足し算は写像です。写像と集合。
    数学者への道: • 数学者への道
    現役数学者が教える大学数学: • 現役数学者が教える大学数学
    数学者を目指すための数学の勉強法: • 数学者を目指すための数学の勉強法
    数学英語: • 数学英語
    日米大学比較: • 日米大学比較

Комментарии • 14

  • @謎の数学者
    @謎の数学者  3 года назад +2

    0の0乗:ruclips.net/video/qCG456e-Jo8/видео.html
    写像関係の動画
    写像とは:ruclips.net/video/dk1K_TNAuoA/видео.html
    全射と単射:ruclips.net/video/z3TTdZQ_zU0/видео.html
    足し算は写像:ruclips.net/video/mBElaAgyKms/видео.html

  • @22sota45
    @22sota45 3 года назад +5

    直感的には最初が偽なら全体も偽のようですが、それだとandゲートと振る舞いが同じなので、違うパターンの演算を作りたくて作った、という解釈で理解してますw

  • @pumpy-x6x
    @pumpy-x6x 3 года назад +4

    初見だと「pならばq」のpが偽の時にqがどうであれ「pならばq」自体が真になるのは中々腑に落ちない気がしますね
    もちろん「ならば」(含意)の真理値表見るとそうなってはいるんですけど…

    • @岸辺緑
      @岸辺緑 3 года назад

      前提がデタラメならどんな結論でも出せる、
      逆に言えば、妥当な推論から誤った結論が導かれたなら、前提が間違っている。
      ということを極端に定式化したのでしょうか。

    • @pumpy-x6x
      @pumpy-x6x 3 года назад

      @@岸辺緑 xが実数ならばx^2>=0
      のような命題があった時に
      i^2

    • @もちもちのもち-o1z
      @もちもちのもち-o1z Год назад

      理解ではなく納得をするための説明ですが、対偶を取ると納得できます

  • @虹村ひろゆき
    @虹村ひろゆき 3 года назад +12

    しゃぞー……?なんすか?しゃぞーって?

    • @ihopeiwishibelieve2929
      @ihopeiwishibelieve2929 3 года назад +6

      ひろゆき信者増えたよね。人として劣化すると甘い言葉に惑わされる。

    • @magna2902
      @magna2902 3 года назад +5

      絶対誰か言うと思ったw

  • @adrd5534
    @adrd5534 3 года назад +4

    A→Φ When A /= Φ
    のとき、空写像が存在しないので、
    0^n (n/=0)
    はどう解釈したら良いんでしょうか

    • @謎の数学者
      @謎の数学者  3 года назад +3

      質問ありがとうございます。仰せのとおり、この場合は空写像すら存在しません。従って、写像の数は0個になるので、0^nは0になります。

  • @鬮Nあ
    @鬮Nあ 3 года назад +1

    始域や終域が空集合の写像|空関数と単射性と全射性 | 蛍雪に染まる。というブログで
    「∀a∈A,P(a)は∀a,(a∈A⇒P(a))の略記」
    とあったのですが、それだと
    ∃a∈A,P(a)は∃a,(a∈AかつP(a))
    となってしまい∀a∈A,P(a)の∈Aと∃a∈A,P(a)の∈Aは似た表記なのに別の意味をもって
    納得感がないです。
    「∀a∈A,P(a)は∀a,(a∈A⇒P(a))の略記」というのは正しいのでしょうか?

    • @Mido-R
      @Mido-R 3 года назад +2

      「∀a∈A,P(a)は∀a,(a∈A⇒P(a))の略記」は正しいです。「∃」についてもおっしゃっていることは正しいです。これらの略記は、確かに異なるものに感じるかもしれませんが、記号の意味を考えると、やはりこのような略記が適切になるのだと思います。

  • @kenichimori8533
    @kenichimori8533 3 года назад

    Digital empty logic.