山本 拓人

線形空間の基本

線形部分空間の定義|証明のテンプレートも例題に沿って紹介

線形空間Vの部分集合UがVの和とスカラー倍について閉じているとき,UをVの線形部分空間といいます.この記事では線形部分空間の定義と証明のテンプレートを紹介し,基本性質を証明します
ルベーグ空間

ミンコフスキーの不等式と証明|便利な積分形も併せて紹介

ルベーグ積分(測度論)を扱う分野では「ミンコフスキーの不等式」がよく用いられます.この記事では,和のミンコフスキーの不等式と併せて,積分形のミンコフスキーの不等式も紹介します.
ルベーグ空間

ヘルダーの不等式の証明・応用|ルベーグ積分の基本不等式

ルベーグ積分(測度論)を扱う分野では「ヘルダーの不等式」は基本的な不等式のひとつとして重要です.この記事では,ヘルダーの不等式の証明と,ヘルダーの不等式の応用(双対性)を説明します.
ルベーグ空間

本質的有界な関数のルベーグ空間L^∞|ノルム空間として定義

(適切な同一視のもとで)本質的有界な可測関数全部の集合L^∞はバナッハ空間(完備なノルム空間)となります.この空間L^∞を「ルベーグ空間」と言います.
ルベーグ空間

本質的有界な可測関数|本質的上限(ess sup)・下限(ess inf)

関数の上限は1点の値を変えることでどこまでも大きくすることができますが,そのような上限は本質的な上限とは言い難いですね.この記事では本質的上限と本質的下限の定義・具体例・性質を説明します.
群論の基本

群の定義・考え方を具体例から解説|群論は集合と演算の分野

群を扱う群論は代数学の基礎となる分野のひとつ分野です.群は3つの性質[結合法則][単位元の存在][逆元の存在]を満たす集合と演算のことをいいます.この記事では群の定義と具体例を解説します.
線形空間の基本

線形空間(ベクトル空間)の定義|多項式・数列の例も紹介

集合ℝ²上の和とスカラー倍は,交換法則や分配法則などの「よい性質」を満たします.ℝ²以外の集合上でも「よい性質」をもつ和とスカラー倍を備えた空間を「線形空間」といい,ℝ²と同様に扱うことができます.
複素解析

ディリクレ積分を複素積分で計算|sin(x)/xの広義積分

0≦xでのsin(x)/xの広義リーマン積分を「ディリクレ積分」といいます.この記事では,ディリクレ積分を複素積分に持ち込み,コーシーの積分定理を用いることにより,ディリクレ積分がπ/2に収束することを示します.
ルベーグ積分

ルベーグ非可測集合の具体例|「ヴィタリ集合」の定義と存在

ルベーグ可測集合はルベーグ積分においてベースとなる集合たちで,多くのℝの部分集合はルベーグ可測集合ですが,選択公理を仮定することでルベーグ可測集合でない集合の存在を証明することができます.
ルベーグ積分の基本

ルベーグ積分はリーマン積分の拡張|証明と計算の例題を解説

有界閉区間上の有界関数fがリーマン積分可能なら,fはルベーグ積分可能であり,リーマン積分とルベーグ積分が等しいことが証明できます.また,有界閉区間上でない積分にも応用できることがあります.