読者です 読者をやめる 読者になる 読者になる

Red cat の数学よもやま話・新装開店

はてなダイアリー「Red cat の数学よもやま話」から徐々にこちらに移行していきます。

包絡線としての astroid

先日, 天下りに 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…

cardioid の陰関数表示

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

astroid の陰関数表示

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

小学生が解きます

まずはこの写真を見てほしい.多分高校生がこれを見たら何も考えずにこう解くだろう.これは底辺が , 高さが の三角形なので .でも待ってほしい, これ, 中学入試です. つまり解くのは小学生です. 三角関数なんか知ってるわけがありません.じゃあどう解くの ? …

単連結でない空間上の微分形式(おまけ ?)

と は前回のままとする。 は同相写像. ただし .この同相写像で 上の微分形式 を引き戻すと となる.ところが, 上連続(!)な関数 を取ると と書けるので, コホモロジー的には と同値なものである.事実 なので, が の生成元であるという事実とも合致する.

単連結でない空間上の微分形式

とおく. これは単連結でなく, を変位レトラクトに持つ. 変位ホモトピーは で与えられる.さて 上の微分形式 を考える. とおくと なので は閉形式.一方で, 上で連続な関数 で を満たすものは取れない. 一見, とおくと であるが, は 上で連続でない*1ので であ…

完全微分形式の話

珍しく幾何の話題を. の領域 上の一次微分形式 について である. したがって であれば は閉形式であるが, が領域であることにより, 既知の通りこのとき となる が存在するので, は完全形式でもある. これは de Rham コホモロジー的には と同じことである.