三浦ノート

自分の経験したことを検索可能にしていくブログ.誰かの役に立ってくれれば嬉しいです.

数学

IntelliJでRunの実行で一度に複数のプログラムを逐次実行する。(upLaTeXのビルドチェーン設定)

IntellIJとそのLaTeX用プラグイン TeXiFy IDEA を使って upLaTeXのコンパイル(dviファイル生成)→ pdf生成(dvipdfmx実行) を一度のRunの実行で行うようにする設定内容をまとめます。 主にIntelliJのRun ConfigurationのBefore Launchの設定が重要です。 実…

相加・相乗・調和平均の極限値

$\quad $ 実数列 $ \{a _ n\}, a _ n>0 ~ (\forall n) $ に対して,相加平均 $ A _ n $ ,相乗平均 $ G _ n $ ,調和平均 $ H _ n $ は次のように定義される. \begin{align} A _ n &= \frac{a _ 1 + a _ 2 + \cdots + a _ n}{n} \\ G _ n &= \sqrt[n]{a _ 1…

条件付き期待値の期待値による期待値漸化式

次のページの証明1:確率漸化式について自分はすこし戸惑ったので補足説明をする. AtCoder ARC 085 C - HSI (300 点) - けんちょんの競プロ精進記録 この漸化式を保証しているのは次の公式である. 確率変数 X, Y に対し,E[X] = E[E[X|Y]] である. これは…

剰余の変域

問題 L ≦ x ≦ R な自然数 x に対して, 自然数 m を法とする剰余の値 y = x%m の変域は if (R - L ≥ m) 0 ≦ y ≦ m - 1 else if ($\lfloor$L/m$\rfloor$ = $\lfloor$R/m$\rfloor$) L%m ≦ y ≦ R%m else if ($\lfloor$L/m$\rfloor$ + 1 = $\lfloor$R/m$\rfloor$…

位相空間論の連結性についての例題

位相空間論の連結性についての例題を解きましたので,解答を載せていきます.連結な5点位相空間の例連結ではない4点位相空間の例互いに交わる2つの連結集合の共通部分が連結集合にならない例互いに交わる2つの連結集合の和集合は連結である.一般線形群は連…

位相空間論のコンパクト性についての例題

位相空間論のコンパクト性についての例題を解きましたので,解答を載せていきます.コンパクトではない集合の例n次元ユークリッド空間 はコンパクトではない密着空間 はすべての部分集合がコンパクトである2つのコンパクト集合の和集合もコンパクト集合であ…

位相空間論の積空間・商空間についての例題

位相空間論の積空間や商空間についての例題を解きましたので解答を載せていきます. 定義などの細かいことは次の本を参考にしています. 集合と位相 (数学シリーズ)作者:内田 伏一出版社/メーカー: 裳華房発売日: 1986/11/01メディア: 単行本 目次 ハウスド…

位相的性質・ハウスドルフ性 についての例題

位相空間のハウスドルフ性についての例題を解いたので解答を載せていきます.位相空間 $ X $ がハウスドルフ空間である.#ハウスドルフ空間ではない位相空間の例#ハウスドルフ空間の部分位相空間はハウスドルフ空間である.#ハウスドルフ空間の3点を分離する…

位相空間の開集合・閉集合・連続写像の例題

位相空間論の開集合や連続写像についての例題を解きましたので解答を載せていきます.4点集合の位相にならない例.4点位相空間の部分集合の内部と閉包.5点集合の位相空間.位相空間の部分集合の差集合.位相空間の閉包

ユークリッド距離空間の開集合についての例題

ユークリッド距離空間の開集合に関する例題を解いたので共有します.図をしっかり描いたので伝わってもらえると思います.正方形領域は開集合である.開球 は開集合である.1点集合は開集合ではない.任意の開集合の和集合は開集合である.y > x 領域 は開集…

縮小写像の原理の応用練習問題

縮小写像の原理(バナッハの不動点定理)を用いて次の命題を示そう.この写像を k 回くり返した写像 fk = f ◦ f ◦…◦ f が k ≥ 2 において縮小写像であるとする.このとき,f は X 上に不動点を一つ持つ.非線形積分方程式への応用

任意の複素正方行列は2つのユニタリー行列を用いて対角行列に変換できることの証明

任意の n 次複素正方行列 M (ただし det M ≠ 0 )は,2つのユニタリー行列 U,V を用いて, U†MV = M _ D (M _ D は,対角成分がすべて正の実数である対角行列)と書くことができる.これは bi-unitary 変換 とも言われる.このことを証明しよう.

コーシー積の公式の足し上げのイメージ

コーシー積の公式を少し詳しく書き下すと足し上げ方のイメージが確実になったと思うのでそれを共有する. ij 格子平面上の値 a_i b_j を考えた時,左辺の和は四角く足していくイメージ,右辺の和は3角形で足していくイメージである.無限和をとらないと成り…

対称テンソルと反対称テンソルの縮約は0になることの証明

対称テンソルと反対称テンソルの縮約は0になることを示そう. 2階の対称テンソル Tij と2階の反対称テンソル Skl について,この2つの添え字の縮約を行う. 記法はアインシュタインの規約を用いる. Tij Sij = - Tji Sji = - Tij Sij (添え字を付け直した…

latexで脚注の文字サイズを本文の文字サイズと同じにする方法

LaTeXで脚注の文字サイズを本文中のものと同じにするときはプリアンブルに以下を入力すればいい. \renewcommand{\footnotesize}{\normalsize} これは単純に文字サイズを指定するコマンドの\footnotesizeの設定を再定義しただけである. つまり,脚注とは関…

無限小座標変換による体積要素の微小変化量

任意の無限小座標変換 $ x^\mu \to x'^\mu = x^\mu + \delta x^\mu $ において,体積要素 $ d^4x $ は \begin{equation}\label{eq:d4x} d^4x \to d^4x' = d^4x + d^4x\partial_\mu \delta x^\mu \end{equation} と変換されることを示そう. 小行列式と余因子…

maximaで正方行列の小行列式を一度に全て計算して書き出す関数

maxima で正方行列 X = (Xij) の(i,j)小行列式を全て書き出す関数が以下である. minors(X):=for i:1 while i<=matrix_size(X)[1] do (for j:1 while j<=matrix_size(X)[1] do print(i,j,"=",determinant(minor(X,i,j)))) 単純にminor関数を繰り返して計算し…

LaTeXで \underbrace で数式の下に長めの文字列を表示しても空白が出ないようにする方法

LaTeX で mathtools パッケージの \mathclap コマンドを使うことで,\underbrace で数式の下に長い説明を入れても数式の方に空白が出ないようにできる. 例 MathJaxではmathtoolsに対応してなくて中央寄せができないそうなので,以下に示す例は右寄せになっ…

フラクトゥーア(ドイツ文字)の発音・手書きの Anki 単語帳

フラクトゥーア (ドイツ文字)の発音と手書きを覚えるためにAnki単語帳を作った. 公開ページ → Fraktur pronunciation&handwriting - AnkiWeb カードの構成 表面 LaTeXを使ってフラクトゥーアの各文字を表示する. 裏面 対応したRoman アルファベット 発音…

位相幾何学の記法まとめ

本ブログでの位相幾何学について述べられているページでの記法をまとめる. 主に参考 *1 にしたがっている. 単体ホモロジー K(0) は単体複体 K に含まれる0-単体(頂点)の集合. |K| は単体複体 K をRm 上の部分集合として見たもの.すなわち $|K| = {\displ…

球対称な時空の計量の微分形式を用いた導出

あるまとまった領域に質量 m と電荷 Q が存在し,その周りに球対称な部分空間が形成された時空の計量は \begin{equation} ds^2 = - \left(1- \frac{2m}{r} +\frac{Q^2}{r^2} - \frac{1}{3}\Lambda r^2 \right)dt^2 +\left(1- \frac{2m}{r} +\frac{Q^2}{r^2} …

単体複体としての連結性と位相空間としての連結性が同値であることの証明

目次 記法 定義 位相空間が連結である. 位相空間が弧状連結である. 単体複体が連結である. 補題 命題 証明 K が複体として連結である. ⇒ |K| は位相空間として連結である. K が複体として連結である. ⇐ |K| は位相空間として連結である. 記法 K(0) は…

「準同型写像 f が単射である」ことと「 Ker f = {0} 」は同値であることの証明

2つの群 X,Y について, 準同型写像 f : X → Y は単射 ⇔ Ker f = {0} (0 は 単位元) を示そう. 目次 f は単射 ⇒ Ker f = {0} の証明 Ker f = {0} ⇒ f は単射 の証明 f は単射 ⇒ Ker f = {0} の証明 f の準同型性より,∀x ∈ X に対し,f(x) = f(x+0) = f…

相加・相乗平均の不等式はグラフも一緒に見て記憶に残しやすくしましょう

相加・相乗平均の3次元グラフを描く.描画ソフトはgeogebraを用いる. 相加・相乗平均の不等式 実数 $a , b \geq 0$ に対し,$\displaystyle \frac{a+b}{2} \geq \sqrt{ab}$ が成り立つ.等号条件は $a=b$ である. $\displaystyle \frac{a+b}{2}$ と $\sqrt…

ディラックのデルタ関数 $\delta (x)$ に普通の関数が入力されているときのふるまい

命題 ディラックのデルタ関数 $\delta(x)$ について以下の公式が成り立つ. 公式(a) \begin{equation} \displaystyle \delta \left((x-a)(x-b) \right)=\frac{1}{|a-b|} [\delta (x-a)+\delta(x-b)] ,a \neq b \end{equation} 公式(b) 方程式 f(x) = 0 に対…

MathJaxで数式の上から斜線で取り消し線を引く方法(\cancelコマンドの読み込み方)

Latexで数式の上から斜線の取り消し線を引くにはcancel.styというスタイルファイルをインポートして\cancelコマンドを用いればよい.同様にMathJaxではcancel.jsというエクステンションをインポートすることで\cancelコマンドが使えるようになる.エクステン…

1次元イジング模型はマルコフ連鎖確率過程をなす

設定と表記方法 証明 参考文献 設定と表記方法 最近接相互作用のみを持つ1次元イジング模型を考える.この系のハミルトニアンを \begin{equation} H(\sigma_1 , \sigma_2 , \cdots , \sigma_N)=-J\sum^N_{i=1}\sigma_{i} \sigma_{i+1}-H\sum_{i=1}^N \sigma…

PowerPointでLaTeXのコマンドを用いて数式の入力をする方法

最近,Office365のアップデートによりWordとPowerPointとOneNoteの数式入力ツールにおいてLaTeXのコマンドを使うことができるようになった. 以下のサイトに詳細が書かれている. LaTeX Math in Office – Murray Sargent: Math in Office PowerPointにおいて…

sinc関数を用いたガウス関数(正規分布)の近似

$\displaystyle{\lim_{n \to \infty} {\rm sinc}^{n} \left(\frac{x}{\sqrt{n}} \right) = e^{-\frac{x^2}{6}}}$ の証明 \begin{eqnarray} {\rm sinc}^n \left(\frac{x}{\sqrt{n}} \right) &=& \left(\frac{\sin \frac{x}{\sqrt{n}}}{\frac{x}{\sqrt{n}}} \r…

複素数z=x+iyと外積の性質を用いて二重積分 ∫dxdy を ∫dzdz* と表示する.

多重積分に現れる微小要素 というのは外積として定義する考え方がある. つまり は詳しくは という外積の記号が省略されている. 2変数関数 の積分を複素数 とその複素共役 を用いた関数 の積分に変換するときはその微小要素の変換は以下のようになる.