線形代数学

さまざまな行列48個一覧

名前の付いた,さまざまな行列をまとめます。本サイト内で解説のあるものは,そのリンクを一緒に載せます。
線形代数学

べき零行列の定義・例・性質7つとその証明

べき零行列 (nilpotent matrix) とは,行列のべき乗について,A^k=O (右辺は零行列)となるような行列のことです。べき零行列の定義と例,そして性質について,順番に解説しましょう。
微分積分学(大学)

【級数】アーベルの収束判定法とその証明

アーベルの収束判定法 (Abel's test) と呼ばれる収束判定法について,その主張と証明を紹介しましょう。
集合と位相

集合族と添字集合

集合族 (集合系; family of sets) とは「集合の集まり」という意味です。たくさんの集合は,添え字を用いてA_1, A_2のように区別されます。集合族と添字集合について,その定義と使い方を解説します。
LaTeX

【LaTeX】ディラックのブラケット記法のかき方まとめ

LaTeXにおける,ディラックのブラケット記法のかき方を,braket パッケージを用いたものと,physics パッケージを用いたものを並べて紹介します。
微分積分学(大学)

2変数・多変数におけるテイラー展開・マクローリン展開

2変数,あるいはより一般に,多変数におけるテイラーの展開・マクローリン展開を,テイラーの定理・マクローリンの定理も同時に述べながら解説します。
微分積分学(大学)

接平面の方程式とその導出証明

曲面z=f(x,y)の接平面の方程式はz=f_x(a,b)(x-a)+f_y(a,b)(y-b)+f(a,b)であり,曲面f(x,y,z)=0の接平面の方程式はf_x(a,b,c)(x-a)+f_y(a,b,c)(y-b)+f_z(a,b,c)(z-c)=0となります。これについて,その導出の証明を行いましょう。
集合と位相

カントールの対角線論法とそれを用いた証明

「カントールの対角線論法 (Cantor's diagonal argument) 」あるいは単に「対角線論法」とは,数学における証明のテクニックの1つです。これについて,その内容を,実際の証明を通して理解していきましょう。
集合と位相

選択公理の内容と具体例を詳しく

選択公理とは,「無限個の各集合から一気に一つずつ元を選択することができる」という公理です。専門数学では,多くの場合仮定されますが,自明でない公理なので,気を付けて使う必要があります。そんな選択公理について,その内容と意味・具体例を詳しく解説...
解析学(大学)その他

カントール集合の定義と性質3つの証明

カントール集合 (Cantor set) とは,フラクタルと呼ばれる図形の1つで,連続体濃度を持つにもかかわらず,ルベーグ測度が0となる集合として有名です。カントール集合について,その定義と性質3つとその証明を行いましょう。