空集合
要素を持たない集合。{}やなどと書く。例えば、(互いに異なる元a,b,cに対して){a,b}と{c}の共通部分は空集合となり、式では{a,b}∩{c}={}となる。
公理的集合論においては を満たすただ一つの集合 y の事を指す。
リスト::数学関連
このタグの解説について
この解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。関連ブログ
神さまを観る人について（歌の神さまのバースデイ・あとがき）
――たぶん、まだ幻覚を見ている。 ※このあとがきはフィクションです たった今、如月千早のMRステージを目撃した。それはいい。しかし、DMM VRシアターの外に出てもまだ続いている。鳴り止まない。彼岸の光景が様々な場所から染み出している。 雲の端から、開いた扉から、木の幹から、レンガの隙間から……。どうも非現実にあてられているらしい。公園でしばらく休もう。海風に吹かれれば、きっと幻も消えていく。 「ほら、そこの兄さん」 ベンチに座る男がそういった。怪しい宗教勧誘かと思い、俺は聞こえないふりをして通り去ろうとしたが、 「怪しい宗教勧誘とでも思った？」と男は調子の良い声で尋ねる。 「いや、まあそうで…
ネットで話題
もっと見る
alfalfalfa.com
oku.edu.mie-u.ac.jp
ja.wikipedia.org
matha.e-one.uec.ac.jp関連ブログ
ch5: Products and Coproducts を読んでいく
イントロ ある圏の中で特定の対象を選び出そうとしたとき、私達は他の対象や自分自身との関係性のパターンを記述することでしかそれはなし得ない。 圏論では、そんな「他の対象との、ある特別な関係性」を普遍性と呼んだりする。(対象同士の関係性は射で表現されるので、普遍性は対象の性質を射で記述している事に注意してほしい。) さて、各々に対する関係性で対象を定義するuniversal construction(普遍構造(構成))という一般的な構造(構成)を考えよう。 例えば、何らかのパターン(対象と射の構成)を選んで、そのパターンに当てはまる部分を圏の中から探す。など。 (TODO: 加筆) この章では、そ…
更新16:51 メモ：ブログサブタイトルなど変更しました
「Φ」の意味https://ja.wikipedia.org/wiki/%CE%A6 正統な「Φ」の形。 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Phi_uc_lc.svg →ズレた形を持ってくると別な意味をつけられてしまうので、正式なものを使用しましょう。 誤認識はこれ「Ø」（ラテン語系統の「土星」みたいにも見える文字）https://ja.wikipedia.org/wiki/%C3%98 EMPTY SET - 空集合【∅】 https://ja.wikipedia.org/wiki/%E7%A…
０から始める数学（その５）
現在２０２０年１１月１５日２２時０５分である。（この投稿は、ほぼ９５２１字）私「以前から、１から０を作った、ドラえもんのブログの『有理数体（その３）』までのまとめを、いずれすると言いながら、延び延びになってたね」麻友「あれは、分からないわよ」私「でも、ちょっとずつ切り崩せば、分からないことは、ないんだ。見返すとき、どこだったかなあと探すのは大変だから、ここに、纏めた。ただ、９２００字くらいあるから、一気に全部読まなくていい」麻友「そうなの？」私「今年の６月になってから気付いたんだけど、色々ある数学の立場で、武器を余り持たない数学の立場では、その数学が矛盾する可能性は低い。その代わり、面白い定理…
Scala プログラマのための圏論入門 (3) いろいろな圏
はじめに 空圏 単純なグラフ 順序集合 集合としてのモノイド 圏としてのモノイド まとめ 参考文献 はじめに ここまで、圏とは何かについて述べ、Scala の型と関数を圏として捉えることができることを述べました。 taretmch.hatenablog.com taretmch.hatenablog.com しかし、まだ圏のイメージがつかない方が少なくないはず。本章では、具体的な圏の例を通して、圏への理解を深めていきます。 空圏 空圏は、対象が1つもない圏のことです。対象がないということは射もありません。 なぜ対象が1つもないものが圏と言えるのかについて、考えてみましょう。 まず、圏は対象の集…
Scala プログラマのための圏論入門 (2) 型と関数の圏
はじめに 本記事では、Scala を構成する型と関数の圏である Scala 圏 (Hask 圏とも呼ばれます) について紹介します。まず、なぜ型が必要なのかについて述べ、型と関数を圏として考えていきます。 型と関数の圏 Hask 前回の記事 taretmch.hatenablog.com はじめに なぜ型が必要なのか 型を集合として解釈する 純粋関数 型の例 空集合と Nothing 型 シングルトン集合と Unit 型 2要素集合と Boolean 型 まとめ 参考文献 なぜ型が必要なのか 型付けには、静的な型付けと動的な型付けがあります。静的型付けは、変数や関数の引数、返り値などの型がコン…
証明図風縦書き記法と6つの悪習 (TBD)
まだ未完成、出来上がったら本編に移します。 いきなりですが、“自然演繹の証明図”風の図の例を2つ挙げます。 A B ------- A∧B A --- A そして、“シーケント計算の証明図”風の図の例も2つ： A → B B → C --------------- A → C ☆ ------- A → A これらの図は、上から下に向かって読むので縦書き記法で描かれていると言っていいでしょう（横書き部分もありますが）。このテの図が使えれば便利です。論理に限らず、圏論／計算科学のなかでも使える場面は数多くあります。が、あまり評判は良くありません。横棒（連続するマイナス記号で書いています）を含む縦…
債務整理はチャンスセンター①
※自己破産をした人が弁護士事務所を見たイメージはこんな感じ※ 金は貸すやつが悪い。 こんばんわ。宇宙天皇サタンです。今日は債務整理について天皇的視点から説明しようと思います。 天皇ヤハウェは鵜戸神宮を見てもらうと分かりますが、亀に運玉を投げてイジメては博打をし、宇佐神宮にもあるように石に細工をし、自作のサイコロでチンチロリンをやるくらい素行が悪いのです。サイコロがXIの石ころであるように悪魔主義的な11に拘りもあるのです。脱線しましたがギャン中だとわかってもらえればOKです。 鵜戸神宮に置いてある魔除けはφ、空集合ですっからかんの意味があるのが理解できましたね。 ギャンブルで0サムで海のプレミ…
測度と積分4: 測度空間の構成（後）
実数体$\mathbb{R}$上のLebesgue測度を構成する. 有限加法族上の測度を定義して測度の拡張定理を用いればよいのだが, 有限加法族を構成することですら非自明である. ここでは, まず半加法族上の前測度という概念を定義し, それが有限加法族上の測度に一意拡張できることを利用する.
ch9: Function Type を読んでいく
イントロ さて、我々が今までちょろまかしてきた、関数に対して向き合う時が来た。 Scalaの(純粋)関数は、プログラムの圏(対象は型で射は純粋関数)において射であるのか？ それとも対象であるのか？ まずは普通の型について復習する。 例えば、Intはプリミティブ型であり、{2147483647, 2147483646, ...,-2147483648}の集合だと考えられる。その集合の大きさは、2147483648*2=4294967296だ。 同様に、Booleanは、{true, false}の集合と考えられる。集合の大きさは2だ。 List[Boolean]は、{[true], [false…
Rust で親ポインター付きの赤黒木を実装するにあたって見た地獄と、それを克服した方法
Rust で赤黒木を書きました。 実装検討の変遷 赤黒木を学び始めてから実装が完了するまで、実に 5 日のお時間を要しました。各日に何を考え、失敗してきたかを思い出せる限りで書いていこうと思います。 1 日目 まずは仕様検討パートについて書いていきます。 データ構造の定義 キーと値の組の入る多重集合 X を管理し、次のことができるデータ構造を設計します。 new: 空集合に対応するデータ構造を構築します。 insert(k, v): キーが k、値が v である要素を X に追加します。 delete(k): X の要素の中でキーが k であるものを探し、もしあればその中のどれでも良いので一つ…
【数学】初学者の為の集合論-第３回「対応関係と写像の性質」
お世話になっております．ベル先生です．初学者の為の数学講座第３回である今回は，対応関係について解説します．ここから，写像について定義し，写像の基本的性質について理解することに努めます．この写像という概念は数学に欠かせない極めて重要な役割があります．これらは集合によって定義され，そして写像は様々な場面において活躍することを理解できるようになることが最大の目標です．この講座は数学も，も，未だ道半ばの初学者たる私（ベル先生）によるものですから，大きな誤り等があるかもしれませんが，暖かい目でご指摘いただければ幸いです．それでは，皆様御一緒に数学を学んでいきましょう． １．対応関係 １．１．対応関係 １…
Project Euler 158 / 左隣の文字より辞書順で後になる文字がちょうど1個となる文字列の探査
問題の概要 26 文字のアルファベットから 3 個の異なった文字を取ると，長さ 3 の文字列を作ることができる。たとえば 'abc'，'hat'，'zyx' である。この 3 つの例について調べると，'abc' は左隣の文字より辞書順で後になる文字が 2 個ある。'hat' では左隣の文字より辞書順で後になる文字がちょうど 1 個であり，'zyx' では 0 個である。左隣の文字より辞書順で後になる文字がちょうど 1 個となるような長さ 3 の文字列は全部で 10,400 個ある。 個の異なるアルファベットからなる文字列について考える。 を左隣の文字より辞書順で後になる文字がちょうど 1 個あ…
配列を任意の個数の部分集合に均等に分割するアルゴリズム
長さ N の配列があり、それを M 個の部分集合に均等に分割したい。 制約を簡単に定義するとこうなる。 0 <= N 1 <= M <= 100 TL;DR active_support/core_ext/array/grouping の Array#in_groups がそのものズバリである。 誤ったロジック 3年前の自分が実装したロジックをざっくり書くと、それはこんなものであった。仮に N = 10, M = 3 とおいている。 def generate_array(size) i = 0 Array.new(size) { i += 1 } end def solve(arr, m) g…
