解析学(大学)その他 デデキント切断による実数の構成を解説 デデキント切断をざっくり説明すると,有理数のみの数直線を2つに切断して,その「切り口」を新たに数と思うことで,実数を定義しようというものです。これにより,有理数にはない「実数の連続性」が成り立ちます。デデキント切断について,その定義から実数の定義を紹介し,さらに実数の連続性について述べ,実数の演算を定義していきましょう。 2024.01.06 解析学(大学)その他
集合と位相 【距離空間】全有界の定義・例と有界との違いをわかりやすく 距離空間あるいはその部分集合が全有界であるとは,任意に小さい有限個の円板で,その集合全体が覆えることを言います。距離空間における全有界性について,有界性との違いを比較しながらその定義・例を理解していきましょう。全有界であれば有界であることの証明も行います。 2023.08.17 集合と位相
集合と位相 整列集合と整列可能定理 整列集合とは,「間隔を空けてきれいに順番に並んだ」集合のことで,具体的には,どんな部分集合を持ってきてもちゃんと大小関係として最小値が定まるような順序集合のことを言います。整列集合の定義と,重要な性質を証明し,さらに選択公理と同値で驚愕の定理である,整列可能定理を紹介しましょう。 2023.08.14 集合と位相
解析学(大学)その他 カントール関数のさまざまな定義とその重要な性質5つ カントール関数 (Cantor function) とは,一様連続だが絶対連続でない関数の例の一つです。悪魔の階段ともいわれ,病的な関数として知られています。カントール関数を分かりやすく定義し,その性質を証明していきましょう。 2023.08.10 解析学(大学)その他
数論 ピタゴラス数の求め方(解)・性質とその証明 a^2+b^2=c^2をみたすような正の整数(a,b,c)をピタゴラス数といいます。特に,3数の最大公約数が1であるピタゴラス数(a,b,c)を原始ピタゴラス数といいます。原始ピタゴラス数は求め方があります。これについて掘り下げましょう。 2023.07.17 数論
測度論 完備な測度と測度空間の完備化 完備な測度空間とは,零集合の任意の部分集合が可測,従って零集合になる測度空間のことをいいます。任意の測度空間は完備な拡張を持つことが知られています。完備な測度と,任意の測度空間の完備化について紹介しましょう。 2023.05.06 測度論
解析学(大学)その他 リプシッツ連続とは~定義と性質・他の連続性との関係など~ 関数fがリプシッツ連続(Lipschitz continuous)であるとは,|f(x)-f(y)| ≦ K|x-y| が成り立つことを指します。リプシッツ連続について,その定義と例,一様連続など他の連続性との関係,微分と関連する性質について述べましょう。 2023.05.05 解析学(大学)その他
群・環・体 モニック多項式とは~定義・例・性質~ モニック多項式 (monic polynomial) とは,最高次係数が1である一変数多項式のことを言います。モニック多項式について,簡単に定義・例・性質を紹介しましょう。 2023.05.04 群・環・体
解析学(大学)その他 絶対連続な関数とは~定義と例と性質4つ~ 絶対連続な関数とは,一様連続の定義をさらに厳しくしたような感じで,測度の絶対連続性の概念とも密接に関連しています。絶対連続性について,その定義・例・性質を紹介しましょう。 2023.05.02 解析学(大学)その他
解析学(大学)その他 有界変動関数の定義と例といくつかの大事な性質 有界変動関数とは,「変動」つまり上下にどのくらい動くかが,「有界」すなわちそんなに変動しないということです。有界変動関数は,2つの単調増加関数の差で表すことができることが知られています。有界変動関数について,その定義と,大事な性質を証明付きで紹介していきましょう。 2023.05.01 解析学(大学)その他