ラベル 定義たちと命題たち の投稿を表示しています。 すべての投稿を表示
ラベル 定義たちと命題たち の投稿を表示しています。 すべての投稿を表示

2026年8月16日日曜日

1941: リニアリーオーダードセット(線形順序集合)に対して、\(2\)個のインターバル(区間)たちのインターセクション(共通集合)はインターバル(区間)である、このように

<このシリーズの前の記事 | このシリーズの目次 |

リニアリーオーダードセット(線形順序集合)に対して、\(2\)個のインターバル(区間)たちのインターセクション(共通集合)はインターバル(区間)である、このように、ことの記述/証明

話題


About: セット(集合)

この記事の目次

1940: リニアリーオーダードセット(線形順序集合)および\(2\)個の要素たちに対して、要素は第1要素より小さく第2要素以下である、もしも、これである場合、そして、その場合に限って

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リニアリーオーダードセット(線形順序集合)および\(2\)個の要素たちに対して、要素は第1要素より小さく第2要素以下である、もしも、これである場合、そして、その場合に限って、ことの記述/証明

話題


About: セット(集合)

この記事の目次

1939: リニアリーオーダードセット(線形順序集合)および\(2\)個の要素たちに対して、要素は第1要素より大きく第2要素以上である、もしも、これである場合、そして、その場合に限って

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リニアリーオーダードセット(線形順序集合)および\(2\)個の要素たちに対して、要素は第1要素より大きく第2要素以上である、もしも、これである場合、そして、その場合に限って、ことの記述/証明

話題


About: セット(集合)

この記事の目次

1938: リニアリーオーダードセット(線形順序集合)および\(2\)個の要素たちに対して、要素は第1要素以下で第2要素以下である、もしも、要素は\(2\)個の要素たちのミニマム(最小)以下である場合、そしてその場合に限って

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リニアリーオーダードセット(線形順序集合)および\(2\)個の要素たちに対して、要素は第1要素以下で第2要素以下である、もしも、要素は\(2\)個の要素たちのミニマム(最小)以下である場合、そしてその場合に限って、ことの記述/証明

話題


About: セット(集合)

この記事の目次

1937: リニアリーオーダードセット(線形順序集合)および\(2\)個の要素たちに対して、要素は第1要素より小さく第2要素より小さい、もしも、要素は\(2\)個の要素たちのミニマム(最小)より小さい場合、そしてその場合に限って

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リニアリーオーダードセット(線形順序集合)および\(2\)個の要素たちに対して、要素は第1要素より小さく第2要素より小さい、もしも、要素は\(2\)個の要素たちのミニマム(最小)より小さい場合、そしてその場合に限って、ことの記述/証明

話題


About: セット(集合)

この記事の目次

1936: リニアリーオーダードセット(線形順序集合)および\(2\)個の要素たちに対して、要素は第1要素以上で第2要素以上である、もしも、要素は\(2\)個の要素たちのマキシマム(最大)以上である場合、そしてその場合に限って

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リニアリーオーダードセット(線形順序集合)および\(2\)個の要素たちに対して、要素は第1要素以上で第2要素以上である、もしも、要素は\(2\)個の要素たちのマキシマム(最大)以上である場合、そしてその場合に限って、ことの記述/証明

話題


About: セット(集合)

この記事の目次

1935: リニアリーオーダードセット(線形順序集合)および\(2\)個の要素たちに対して、要素は第1要素より大きく第2要素より大きい、もしも、要素は\(2\)個の要素たちのマキシマム(最大)より大きい場合、そしてその場合に限って

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リニアリーオーダードセット(線形順序集合)および\(2\)個の要素たちに対して、要素は第1要素より大きく第2要素より大きい、もしも、要素は\(2\)個の要素たちのマキシマム(最大)より大きい場合、そしてその場合に限って、ことの記述/証明

話題


About: セット(集合)

この記事の目次

1934: リアルナンバー(実数)に対して、減少シーケンス(列)でラショナル(有理)値たちを持ち分母たちが同一基底を持つようにもできリアルナンバー(実数)にコンバージ(収束)するものがある

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リアルナンバー(実数)に対して、減少シーケンス(列)でラショナル(有理)値たちを持ち分母たちが同一基底を持つようにもできリアルナンバー(実数)にコンバージ(収束)するものがあることの記述/証明

話題


About: メトリックスペース(計量付き空間)

この記事の目次

1933: リアルナンバー(実数)に対して、増加シーケンス(列)でラショナル(有理)値たちを持ち分母たちが同一基底を持つようにもできリアルナンバー(実数)にコンバージ(収束)するものがある

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リアルナンバー(実数)に対して、増加シーケンス(列)でラショナル(有理)値たちを持ち分母たちが同一基底を持つようにもできリアルナンバー(実数)にコンバージ(収束)するものがあることの記述/証明

話題


About: メトリックスペース(計量付き空間)

この記事の目次

1932: \(2\)-シンメトリック(対称)-テンソルによるクワドラティックフォーム(2次形式)はテンソルを決定する

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

\(2\)-シンメトリック(対称)-テンソルによるクワドラティックフォーム(2次形式)はテンソルを決定することの記述/証明

話題


About: ベクトルたちスペース(空間)

この記事の目次

1931: \(2\)-シンメトリック(対称)-テンソルによるクワドラティックフォーム(2次形式)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

\(2\)-シンメトリック(対称)-テンソルによるクワドラティックフォーム(2次形式)の定義

話題


About: ベクトルたちスペース(空間)

この記事の目次

1930: シーケンス(列)のサブシーケンス(部分列)たちのユニオン

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

シーケンス(列)のサブシーケンス(部分列)たちのユニオンの定義

話題


About: セット(集合)

この記事の目次

1929: シーケンス(列)のサブシーケンス(部分列)に対するカノニカル(正典)サブシーケンス(部分列)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

シーケンス(列)のサブシーケンス(部分列)に対するカノニカル(正典)サブシーケンス(部分列)の定義

話題


About: セット(集合)

この記事の目次

2026年8月9日日曜日

1928: パーシャリーオーダードセット(半順序集合)上のインフィニット(無限)シーケンス(列)およびセット(集合)の要素に対して、もしも、任意に大きいインデックスでその値が要素以上であるものがある場合、リミットスピアリア(上極限)は要素以上である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

パーシャリーオーダードセット(半順序集合)上のインフィニット(無限)シーケンス(列)およびセット(集合)の要素に対して、もしも、任意に大きいインデックスでその値が要素以上であるものがある場合、リミットスピアリア(上極限)は要素以上であることの記述/証明

話題


About: セット(集合)

この記事の目次

1927: パーシャリーオーダードセット(半順序集合)上のインフィニット(無限)シーケンス(列)およびセット(集合)の要素に対して、もしも、任意に大きいインデックスでその値が要素以下であるものがある場合、リミットインフェリア(下極限)は要素以下である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

パーシャリーオーダードセット(半順序集合)上のインフィニット(無限)シーケンス(列)およびセット(集合)の要素に対して、もしも、任意に大きいインデックスでその値が要素以下であるものがある場合、リミットインフェリア(下極限)は要素以下であることの記述/証明

話題


About: セット(集合)

この記事の目次

1926: リニアリーオーダードセット(線形順序集合)上のシーケンス(列)に対して、リミットスピアリア(上極限)はシーケンス(列)のレンジ(値域)のインフィマム(下限)以上である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リニアリーオーダードセット(線形順序集合)上のシーケンス(列)に対して、リミットスピアリア(上極限)はシーケンス(列)のレンジ(値域)のインフィマム(下限)以上であることの記述/証明

話題


About: セット(集合)

この記事の目次

1925: リニアリーオーダードセット(線形順序集合)上のシーケンス(列)に対して、リミットインフェリア(下極限)はシーケンス(列)のレンジ(値域)のサプリマム(上限)以下である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リニアリーオーダードセット(線形順序集合)上のシーケンス(列)に対して、リミットインフェリア(下極限)はシーケンス(列)のレンジ(値域)のサプリマム(上限)以下であることの記述/証明

話題


About: セット(集合)

この記事の目次

1924: メジャラブルスペース(測定可能空間)の中へのマップ(写像)およびドメイン(定義域)上にインデュースト(誘導された)\(\sigma\)-アルジェブラ(多元環)に対して、ドメイン(定義域)上のメジャラブルサブセット(測定可能部分集合)に対して、コドメイン(余域)のポイントで\(1\)-ポイントサブセット(部分集合)がメジャラブル(測定可能)であるものに対して、ポイントプリイメージ(前像)は、メジャラブルサブセット(測定可能部分集合)内に包含されているまたはメジャラブルサブセット(測定可能部分集合)からディスジョイント(互いに素)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

メジャラブルスペース(測定可能空間)の中へのマップ(写像)およびドメイン(定義域)上にインデュースト(誘導された)\(\sigma\)-アルジェブラ(多元環)に対して、ドメイン(定義域)上のメジャラブルサブセット(測定可能部分集合)に対して、コドメイン(余域)のポイントで\(1\)-ポイントサブセット(部分集合)がメジャラブル(測定可能)であるものに対して、ポイントプリイメージ(前像)は、メジャラブルサブセット(測定可能部分集合)内に包含されているまたはメジャラブルサブセット(測定可能部分集合)からディスジョイント(互いに素)であることの記述/証明

話題


About: メジャラブルスペース(測定可能空間)

この記事の目次

1923: マップ(写像)、ドメイン(定義域)のサブセット(部分集合)、コドメイン(余域)のポイントに対して、もしも、ポイントのプリイメージ(前像)とサブセット(部分集合)のインターセクション(共通集合)がプリイメージ(前像)である場合、ポイントのプリイメージ(前像)は、サブセット(部分集合)内に包含されているまたはサブセット(部分集合)からディスジョイント(互いに素)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

マップ(写像)、ドメイン(定義域)のサブセット(部分集合)、コドメイン(余域)のポイントに対して、もしも、ポイントのプリイメージ(前像)とサブセット(部分集合)のインターセクション(共通集合)がプリイメージ(前像)である場合、ポイントのプリイメージ(前像)は、サブセット(部分集合)内に包含されているまたはサブセット(部分集合)からディスジョイント(互いに素)であることの記述/証明

話題


About: セット(集合)

この記事の目次

1922: メジャラブルスペース(測定可能空間)の中へのマップ(写像)たちのドメイン(定義域)上にインデュースト(誘導された)\(\sigma\)-アルジェブラ(多元環)に対して、メジャラブルサブセット(測定可能部分集合)に対して、ポイントプリイメージ(前像)たちのインターセクション(共通集合)は、メジャラブルサブセット(測定可能部分集合)内に包含されているまたはメジャラブルサブセット(測定可能部分集合)からディスジョイント(互いに素)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

メジャラブルスペース(測定可能空間)の中へのマップ(写像)たちのドメイン(定義域)上にインデュースト(誘導された)\(\sigma\)-アルジェブラ(多元環)に対して、メジャラブルサブセット(測定可能部分集合)に対して、ポイントプリイメージ(前像)たちのインターセクション(共通集合)は、メジャラブルサブセット(測定可能部分集合)内に包含されているまたはメジャラブルサブセット(測定可能部分集合)からディスジョイント(互いに素)であることの記述/証明

話題


About: メジャラブルスペース(測定可能空間)

この記事の目次