一ヶ月ほど間が空いてしまいましたが, ようやくブログを書ける状態になってきたので再開します. 函手の定義 を二つの圏(の射のクラス)とします. クラス関数 は, 以下の二つの公理を満たすとき, 函手(functor)であると言います. が の恒等射ならば は の恒等…

今回から, 圏論について述べていこうと思います. Heyting 代数の話の中でも, 一部で圏論の一般論を適用してきましたが, それらを改めて確認する意味も込めて, 今回は 圏の定義 函手・自然変換 米田の補題 随伴函手 余極限と極限 を見ていきたいと思います. …

Catalan 数のことは語らんよ ? …嘘です, ちょっとだけ語らせて !先だって発売された新刊「数学ガールの秘密ノート/場合の数」に Catalan 数が登場する.数学ガールの秘密ノート/場合の数 (数学ガールの秘密ノートシリーズ)作者: 結城浩出版社/メーカー: SBク…

完備 Heyting 代数 Heyting 代数は束として完備であるとき, 完備 Heyting 代数(complete Heyting algebra)と言います. 良く cHa などと略されます.同様に Boole 代数が束として完備であるとき, 完備 Boole 代数(complete Boole algebra, cBa)と言います.既に…

前回に引き続き Heyting 代数の性質を見ていきます.最小元 を持つ Heyting 代数 において と定義し, これを の擬補元と言うのでした. 今回は擬補元の性質を中心に見ていきます.1. ならば 2. の定義より明らか.3. 2. より 4. 3. で を で置き換えると 一方で …

今回は Heyting 代数の性質についてもう少し詳し見ていきます. 以下 は Heyting 代数とし, とします.1. より明らか.2. ならば より.3. 函手 が極限を保つことから従う.4. と から により よって 分配圏の性質としても導くことができる. 5. と から従う.6. と…

今回は Boole 代数に関する大事な性質について見ていきます. Boole 代数は Heyting 代数である 補題 (証明) 定理 Boole 代数は Heyting 代数である.(証明) と補題により Boole 代数ではない Heyting 代数が存在する 補題 を Heyting 代数とする. もし に対し…

前回まで束に関する一般的な性質を見てきましたが, 今回からいよいよ Heyting 代数の話をします. Heyting 代数の定義 は有界束とします. このとき が Heyting 代数であるとは, が圏*1として冪を持つことを言います. すなわち函手 が右随伴函手 を持つことを…

ある方から証明を教えていただくことができた(正確には証明が載っている書籍を紹介していただいた)ので, 前回あいまいにしていた部分を消化しておきます.定理. が分配束でなければ を満たす が存在する.(証明) 1. がモジュラー束でないとき このとき かつ を…

束についてもう少し 一般の束に関する性質をもう少し見ていきましょう. が成り立ちます(単調性).これは と からわかります.また … (*) が成り立ちます. これは定義に従って地道に示せますので, 証明は省略します.(*) 式から が導かれます. このことと単調性…

圏としての束 もう少し束の話を続けたいのですが, 圏論の知識を持っているといろいろと楽なことが多いので, 束を圏とみなす方法を紹介します.一般に束 はそれ自体半順序集合です. これを圏とみなすためには以下のようにします. 圏 の対象は の元. 圏 の対象 …

有界束と完備束 有界束 束 は自然な方法で半順序集合とみなせることは前回分かりました. そうなると最小元や最大元は存在するのか, は自然な興味の対象になりますし, 当然ながら常に存在するとは限りません.最小元と最大元がともに存在する束を有界束と言い…

半年ぶりの記事です. 今回は, 数回にわたって Heyting 代数について書きたいと思います. 半順序集合と束 半順序集合から束 を半順序集合とします. すなわち について (反射律)*1 (反対称律) (推移律) が成り立つものとします. について を満たす が存在する…

ここまでさまざまな(パラメーター表示や極方程式で定義された)曲線を と の多項式によって陰関数表示してきた. それにより, それらが代数曲線であることもわかったわけであるが, そこで暗黙的に使っていた理論がある. の ideal に対し を 番目の消去イデアル…

先日, 天下りに astroid のパラメーター表示を与えて, そこから陰関数表示を導き出した. しかし待って欲しい. みんなの持ってる astroid のイメージって多分こんなんでしょ ?そう, 長さ一定の線分が端点の一方を 軸上, もう一方を 軸上に固定された状態で滑…

もう少し、いろいろな図形の陰関数表示を見ていこう。 レムニスケート(lemniscate) 極方程式 で定義される. Use QQ[a, x, y, r, c, s]; I := ideal(r^2 - 2*a^2*(c^2 - s^2), x - r*c, y - r*s, r^2 - (x^2 + y^2)); elim(r..s, I); > ideal(-2*a^2*x^2 +x^4…

astroid に続いては cardioid の陰関数表示を.cardioid は という極方程式によって与えられる平面曲線である.(図は )astroid のときと同じように の idealから を消去すると陰関数表示が得られる. Use QQ[a, x, y, r, c, s]; I := ideal(r - a * (1 + c), x …

1 年振りでございました…orzastroid という曲線をご存じであろうか.というパラメーター表示を持つ曲線である.(上図は )これのよく知られた陰関数表示として があるが, 多項式じゃないから美しくない*1.実は astroid にはれっきとした多項式による表示がある.…

いよいよ Dirichlet 母関数の話. から始まる系列 について を Dirichlet 母関数という.このとき, 二つの Dirichlet 母関数の積は, 系列のどのようなたたみ込みに相当するか調べると, であるから, というたたみ込みに相当していることがわかる.さて, Möbius …

Möbius 関数の性質についていくつか. Möbius の反転公式 左から右は 右から左は Möbius 関数の具体的な値 Möbius 関数は乗法的であるから, 素数 に対する の値が分かればよい. 定義により かつ であるから

母関数ネタの締めに, Möbius 関数の Dirichlet 母関数なるものを求めてみたい. 今回はそのための準備.正の整数を引数とする関数 が を満たすとき, は乗法的であるという. なる関係式があるとき, が乗法的ならば明らかに も乗法的であるが, 実はその逆が成り…

について. 故 となる. 小さい について実際に計算すると となる.

前回の一般化.式 から始める. 両辺を で微分すると, 左辺は と書き換えられるので, が因子として現れる. 右辺の は分子が であり, これを で微分することになるので, 結果としては の微分は と の積となる. ここで は が非整数のときにも意味を持つことに注…

今回は, 少し天下り的ではあるが調和数 の母関数を求めてみたい. の両辺を について積分すると を得る*1. この両辺を で割ると となるから, の母関数は である. 次回, もう少し一般化したものを求める. *1:この式で とすることで, がわかる.

前回の続き. と置くと であるから がわかる. しかし, これは の閉じた式としてはあまり有用ではない. に着目すると という, もう少し有用な式が得られる.

は Fibonacci 数の漸化式である. ここで第 3 の式の両辺に を掛けて についての和を取ると となるが, であることから, とおくと となり, このことから が求まる. 級数展開すると となるので がわかるのだが, これだけではどうと言うこともないので, 次の記事…

なる漸化式を見たとき, 数学が得意な方であればこれが であることはすぐにわかると思う. しかし, ここでは母関数を用いた解法を紹介したい.上の式は一行で書くと となる. 系列 の指数母関数 を考えると 故, が求まる. 従って である.これは簡単な例であるが,…

二つの系列 のそれぞれの指数母関数を とするとき, は系列 の指数母関数になる. これをたたみ込みと言う.さて, Bernoulli 数 を で定義する*1. を に置き換えて両辺に を加えると である. 系列 の指数母関数を とするとき, 上式の左辺は と定数系列 のたたみ…

二項係数に関する関係式 - Red cat の数学よもやま話・新装開店 の補足記事. mathneko.hatenablog.com補題. のとき ただし は第 2 種 Stirling 数. (証明) のときは により成り立つ. よって補題は帰納的に成り立つ.命題 1. のとき (証明) ただし は下降階乗…

さて, 6 割強の確率で前回と同じ座席に座る人が出る席替えであるが, 実際のところ, 「前回と同じ座席に座る人の数」の期待値や分散はどのようになっているのだろうか. これを確率変数 とすると である. 故に だから すなわち期待値も分散も によらず になる.…