2018-01-01から1年間の記事一覧

各々の積分変換が持つ性質は多岐に渡るが、いくつかの性質は共通のものとなっている。例えば、すべての積分変換は線形作用素である。実は、核函数が超関数となることをも許せば、すべての線形作用素は積分変換になる(このことをきちんと定式化したものがシュワルツの核定理(英語版)である)。 そのような積分方程式に関する一般論はフレドホルム理論として知られている。この理論では、核とは「関数からなる或るバナッハ空間上のコンパクト作用素」のことであるものと理解される。状況に応じてその核はフレドホルム作用素、核作用素、フレドホ

積分変換の表名称記号t1t2u1u2フーリエ変換フーリエ正弦変換フーリエ余弦変換ハートレー変換メリン変換両側ラプラス変換ラプラス変換ワイエルシュトラス変換(英語版)ハンケル変換 アーベル変換(英語版) ヒルベルト変換ポアソン核 恒等変換 逆変換に対す…

積分変換の前身は、有限区間における関数の表現のためのフーリエ級数である。

積分変換の前身は、有限区間における関数の表現のためのフーリエ級数である。その後、有限区間という制限を取り払うために、フーリエ変換が開発された。 フーリエ級数を用いることで、どのような実践的な時間依存の関数(例えば、電子装置のターミナルを通過…

このような公式は反転公式と呼ばれる。二変数の順番が変わっても変化しないような核は対称核と呼ばれる。数学に関する記述はさておき、積分変換が用いられる動機は理解しやすいものである。もともとの表記法では、解くことの難しい(少なくとも代数的に扱いづらい)問題が多く存在する。積分変換は、それらの問題の方程式を、元の「領域」から別の領域へと「写す」。その写された領域で方程式を扱い、そして解くことの方が、元の領域で行うよりもはるかに簡単であるような場合がある。そうして得られた解を、積分変換の逆によって元の領域へと戻すの

数学の分野における積分変換(せきぶんへんかん、英: Integral transform)とは、次の形をとるような変換 T のことである: この積分変換の入力は関数 f であり、出力は関数 Tf である。積分変換は作用素の一種である。 多くの便利な積分変換が存在する。個…

G/Γ がコンパクトでないときは、アイゼンシュタイン級数を使い記述された連続スペクトルとなり、より難しくなる。アイゼンシュタイン級数の一般論は、非コンパクトな場合の特徴である連続スペクトルを分離するための要求に、大きな動機を持っている。

セルバーグ跡公式(セルバーグあとこうしき、Selberg trace formula)とは、Selberg (1956) で導入された、二乗可積分函数の空間 L2(G/Γ) 上の G のユニタリ表現の指標の表現である。ここに G はリー群で Γ は余有限 (cofinite) な離散群とする。指標は、G …

数学において、スペクトル理論(スペクトルりろん、英語: spectral theory)とは、正方行列の固有ベクトル、固有値に関する理論の無限次元への拡張を指す。 スペクトル理論の名称は、ダフィット・ヒルベルトが自身のヒルベルト空間論の定式化に際して、“無限個の変数を持つ二次形式”に対応する固有値をスペクトルと呼んだことに由来する。スペクトル定理は、楕円体の主軸に関する定理の無限次元への拡張として考えられた。量子力学において、離散スペクトルの特徴をスペクトル理論を用いて説明できることが思いがけず知られる

スペクトル理論の定式化は主に3つの段階に分けられるが、いずれも重要である。ヒルベルトによる最初の定式化の後、物理学の要請に応える形で、主にフォン・ノイマンが抽象ヒルベルト空間とその上での正規作用素のスペクトル理論を発展させた。また、これに基…

数論における分割数(ぶんかつすう、英: partition function) p(n) は自然数 n の分割(n をその順番の違いを除いて自然数の和として表す方法)の総数を表す数論的函数である。ただし、規約として p(0) = 1 および負の整数に対して p(n) = 0 と定める。

アトル・セルバーク(Atle Selberg, 1917年6月14日 - 2007年8月6日 )はノルウェーの数学者。解析的整数論や保型函数における業績で有名、特にそれらをスペクトル理論によって関連付けた。父や兄のHenrik(1904-1993)、Sigmund(1910-1994)も数学者。 ノルウェ…

実装や高速化

大量のデータを扱う際などに用いられる線形代数を,抽象的な高次元空間を直観的にイメージするのに役立つだけでなく,どのような目的のためにはどのような処理を行えばよいかという指針ともなる,“幾何学的な解釈”も含めて解説していく。 すべての根幹として射…

愛ちゃんと尚輝くんの大事なお金

草憲と魁身を連れてカラオケに行ってフードを頼んで3756円使ってしまった。もうそうゆうことせんでよ。来月大変になるんだから。お会計のディスプレーに表示された20%引きされる前の「4695円」にちょっとぞっとした。高いじゃんて。で3756円でちょっとほっと…

交叉した宇宙

40億年後 天の河はアンドロメダと衝突する 生きていたい 40億年後もなお 人生の半分が終わったなんて考えたくもない だけど短かった気がする ムダなことしてる時間なんてホントないんだよ だから旅に出るんだ この世界を駆け巡ろう 美しく 18の頃思い描いた…

超ひも理論等の研究を行なう。宇宙初期の密度揺らぎによる、宇宙マイクロ波背景輻射の揺らぎの性質を、Wayne Huとの数々の共著論文などにおいて、相対論的に定式化して計算する方法を開発した。この方法はその後のCOBE、WMAPの観測結果との比較から、宇宙年齢やダークマターの存在量、ダークエネルギーの存在を明らかにする端緒となる先駆的な研究である。

カブリ理論物理学研究所(カブリりろんぶつりがくけんきゅうじょ、Kavli Institute for Theoretical Physics、KITP)とは、アメリカ合衆国のカリフォルニア大学サンタバーバラ校(UCSB) が擁する、世界で最も権威ある理論物理学研究所の一つである。 1979年設…

数学に分け入っていくほどに圏論での重要な概念である普遍性に出会うことになる。

重要なことは、例を通じてすでに知っている数学と新しい概念を関連づけることである。東京大学国際高等研究所カブリ数物連携宇宙研究機構。相対論的熱力学を宇宙背景輻射とブラックホールに適用した。 数学の一分野である圏論において、モナド(英語: monad…

管理職

こいつ無難に仕事してくれそうだな 面接官は気づけばそんなことばかり見ていた だって最近危ない奴が多すぎる リスク管理はなんとやらで 組織をうまく回してかないと 一日無難に過ごしてくれたらどんなにいいことか 怖いから無茶はしないで 長所ぢゃなくて君…

美しきメロディー

なんとなく午前中が終わって なんとなく午後が終わった 毎日とれない慢性疲労 よく考えたら俺もアラフォー 君がいなけりゃただの木偶の坊 そうならないようになんとかしないと ずっと一重だったまぶたが左だけ二重 いかにも疲れ目のトホホ顔 老体にムチ打っ…

君と僕は一緒になった。

洗濯物を畳んでたらなんだか夕方に君が帰ってくるような気がした。そのぼんやりした塊は「おかえり」「いただきます」塊が過ぎ去った後も悲しくはないよ。むしろ暖かい。軽い頭痛にも似たようなぼんやり。畳んで片付いた洗濯物にも君の靴下があるの。明日に…

夢中になれない

計算を覚えれば覚えるほど ただバスケに夢中になるのが難しくなる ただMaxで走ったり ただひたすらシュート練習することに ためらいを感じる それはきっと強ければ強い相手ほど ただMaxで走ったり ただひたすらシュート練習するなんてことは してないからだ …

網羅系の問題集を1冊仕上げる。

勉強をする内容は過去問から判断する。 過去問を見ても、まったくわからないという人はまだまだ勉強不足。 そういう人は、とりあえず網羅系の問題集を1冊仕上げる。 終わってから、過去問を見ると、どこまで必要か判断できる。

自己交叉数は負であることも可能であることにも注意する。

数学では、交叉理論(intersection theory)(もしくは、交点理論)は、代数幾何学では代数多様体の上ので部分多様体の交叉についての分野で、 代数トポロジーではコホモロジー環の中の交叉の計算についての分野である。多様体の理論は古くからあり、曲線のベ…

遠い空

君と遠い空へ飛んで行きたい 何も持たずに なぜだろう涙がとまらない 愛した君と ずっとずっといつまでも 手をつないで 見つめ合って 好きだよ 言葉では言い尽くせない 一つになりたいと願った 夕暮れ見つめたままで 心に羽が生えたら 君の元へ飛んで行く ま…

11-シス-レチナール (11-cis-retinal) が光によりオールトランスレチナール (all-trans-retinal) へ異性化するとオプシンは構造変化を起こし、フォトプシンを活性化、Gタンパク質トランスデューシンへの巻き付きが進み、セカンドメッセンジャーカスケードを引き起こす。

フォトプシン(Photopsin)は、網膜の錐体細胞に存在する光感受性タンパク質であり、色覚を支えている。 フォトプシンは、桿体細胞に含まれ夜間視力を確保するロドプシンに非常によく似た物質で、同じくオプシン、レチナール等からできている。 オプシンは光…

志村多様体上の特殊点の集合のザリスキー閉包の性質は、アンドレ・オールト予想(英語版)(André-Oort conjecture)により記述される。一般化されたリーマン予想を前提として、条件付きの結果としてこの予想が得られる。[4]

各々の志村多様体は、反射体と言われる標準的な数体 E の上に定義することができる。志村多様体は解析的に(すなわち複素多様体として)定義されるが、このことから数論的な重要性を持っていることが示唆される。志村多様体は相互法則の志村による定式化の出…

明らかに方程式が知られている志村曲線の例は、以下の括弧の中の種数のフルヴィッツ曲線(英語版)(Hurwitz curve)である。 クラインの4次曲面(英語版)(Klein quartic) (種数 3) マクベス曲面(英語版)(Macbeath surface) (種数 7) 第一フルヴィッツトリプレット曲面(英語版)(First Hurwitz triplet) (種数 14) と、次数 7 のフェルマー曲線(英語版)(Fermat curve)である。[3] 志村多様体の他の例は、ピカールモジュ

志村多様体とは代数多様体であってモジュラー曲線の高次元化とみなせるような整数論で重要な対象である。有理数体上の簡約代数群の合同部分群(英語版)(congruence subgroup)によるエルミート対称空間(英語版)(Hermitian symmetric space)として定義され…

一般的に、体 F 上のベクトル空間 V のグラスマン多様体(英語版) G(k, V) とは、V の k-次元線型部分空間のモジュライ空間である。

代数幾何学では、モジュライ空間(moduli space)とは(普通、スキーム、もしくは代数的スタック(英語版)(algebraic stack))空間の点が、決められた種類の代数幾何学的な対象を表す点となっている、もしくは、そのような対象と同型類(英語版)(isomorphi…

圏 C から圏 D への関手、特に共変関手(きょうへんかんしゅ、covariant functor)F は、 C の各対象 X を D の各対象 F(X) に対応させる C における射 f: X → Y を D における射 F(f): F(X) → F(Y) に対応させ、以下の性質を満たす 各対象 X ∈ C に対して F(idX) = idF(X) , 任意の射 f: X → Y および g: Y → Z に対して F(g ∘ f) = F(g) ∘ F(f). すなわち、関手に対して恒等射および射の

圏論における関手(かんしゅ、英: functor)は、圏から圏への構造と両立する対応付けである。関手によって一つの数学体系から別の体系への組織的な対応が定式化される。関手は「圏の圏」における射と考えることもできる。 関手の概念の萌芽はエヴァリスト・…

1,2-ジオキセタンジオンは自発的に分解して2分子の二酸化炭素に変わるが、このときに蛍光色素にエネルギーを与えて励起させる[2]。励起された蛍光色素はエネルギーを光 (hν) として放出しながら基底状態に戻る。この光の波長、すなわち目に見える色は蛍光色素の分子構造に依存する。例えば 9,10-ジフェニルアントラセンを添加しておくと青い光が、ルブレンを添加しておくと橙色の光が観測される。

シュウ酸ジフェニルと過酸化水素との混合溶液の化学発光により蛍光を放つ。溶液Aをガラス製のアンプルに入れ、そのアンプルが溶液Bとともにポリエチレンの筒に入れ密閉されている。スティックを曲げて内部のアンプルを割ることで2液が混合される。発光のメカ…

光子気体における状態方程式

光子気体(こうしきたい、英: photon gas)、もしくは光子ガスは、光子の気体に似た集合のことである。ここで「似た」と述べたのは、系の圧力、温度、エントロピーといった物理量に関して、水素やヘリウムといった一般系な気体と同様の性質を示すことを指す。…

計算機科学や理論物理学などさまざまな分野の背後にある共通の構造が圏論によって明らかにされてきている。

近年,量子計算機の開発が実用化に向けて加速してきているが,量子計算機におけるプログラムは古典的な計算機のプログラムとは異なる計算モデルに基づく。そのため,これまで古典的な計算機で使われてきたソフトウェアの正当性検証手法をそのまま使うわけにはい…

クラウス最短神経経路

精神なんて人間を動かしてない。あなたの名前は?

10年後20年後

最後は自分の髪の毛と向き合うようだ 髪を束ねては風に解く その風は宇宙を横切る ずっとこのままでいてくれますか? そんなこと髪の毛は全然聞いてくれなくて ただ雨ざらしの粒を輝かせては 落ちてゆく 振り返りもしないで 無情ね でも美しい 最後は自分の…

正規拡大

抽象代数学において、体の代数拡大 L/K は、Lが K[X] の多項式の族の分解体(splitting field)であるときに、正規(英: normal)という。ブルバキはそのような拡大を準ガロワ拡大(quasi-Galois extension) と呼んでいる。 L/K の正規性は以下の性質のいずれと…

有理数体に、2の平方根を添加する(英語版)とガロワ拡大を与えるが、2の立方根を添加すると非ガロア拡大を与える。前者は x2 − 2 の分解体である。後者は1の虚立方根を含む正規閉包を持ち、したがって分解体ではない。

数学において、ガロア拡大(ガロアかくだい、英: Galois extension)は、体の代数拡大 E/F であって、正規拡大かつ分離拡大であるもののことである。あるいは同じことだが、E/F が代数拡大であって、自己同型群 Aut(E/F) による固定体(英語版)がちょうど基…