数学
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 上に不動点を一つ持つ.非線形積分方程式への応用
任意の n 次複素正方行列 M (ただし det M ≠ 0 )は,2つのユニタリー行列 U,V を用いて, U†MV = M _ D (M _ D は,対角成分がすべて正の実数である対角行列)と書くことができる.これは bi-unitary 変換 とも言われる.このことを証明しよう.
コーシー積の公式を少し詳しく書き下すと足し上げ方のイメージが確実になったと思うのでそれを共有する. ij 格子平面上の値 a_i b_j を考えた時,左辺の和は四角く足していくイメージ,右辺の和は3角形で足していくイメージである.無限和をとらないと成り…
対称テンソルと反対称テンソルの縮約は0になることを示そう. 2階の対称テンソル Tij と2階の反対称テンソル Skl について,この2つの添え字の縮約を行う. 記法はアインシュタインの規約を用いる. Tij Sij = - Tji Sji = - Tij Sij (添え字を付け直した…
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 で正方行列 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 で mathtools パッケージの \mathclap コマンドを使うことで,\underbrace で数式の下に長い説明を入れても数式の方に空白が出ないようにできる. 例 MathJaxではmathtoolsに対応してなくて中央寄せができないそうなので,以下に示す例は右寄せになっ…
フラクトゥーア (ドイツ文字)の発音と手書きを覚えるために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) は…
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)$ について以下の公式が成り立つ. 公式(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 に対…
Latexで数式の上から斜線の取り消し線を引くにはcancel.styというスタイルファイルをインポートして\cancelコマンドを用いればよい.同様にMathJaxではcancel.jsというエクステンションをインポートすることで\cancelコマンドが使えるようになる.エクステン…
設定と表記方法 証明 参考文献 設定と表記方法 最近接相互作用のみを持つ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…
最近,Office365のアップデートによりWordとPowerPointとOneNoteの数式入力ツールにおいてLaTeXのコマンドを使うことができるようになった. 以下のサイトに詳細が書かれている. LaTeX Math in Office – Murray Sargent: Math in Office PowerPointにおいて…
$\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…
多重積分に現れる微小要素 というのは外積として定義する考え方がある. つまり は詳しくは という外積の記号が省略されている. 2変数関数 の積分を複素数 とその複素共役 を用いた関数 の積分に変換するときはその微小要素の変換は以下のようになる.