パーシャリーオーダードセット（半順序集合）上のインフィニット（無限）シーケンス（列）およびセット（集合）の要素に対して、もしも、任意に大きいインデックスでその値が要素以上であるものがある場合、リミットスピアリア（上極限）は要素以上であることの記述/証明
話題
About: セット（集合）
2026年8月9日日曜日
1928: パーシャリーオーダードセット（半順序集合）上のインフィニット（無限）シーケンス（列）およびセット（集合）の要素に対して、もしも、任意に大きいインデックスでその値が要素以上であるものがある場合、リミットスピアリア（上極限）は要素以上である
<このシリーズの前の記事 | このシリーズの目次 |
パーシャリーオーダードセット（半順序集合）上のインフィニット（無限）シーケンス（列）およびセット（集合）の要素に対して、もしも、任意に大きいインデックスでその値が要素以上であるものがある場合、リミットスピアリア（上極限）は要素以上であることの記述/証明
About: セット（集合）
パーシャリーオーダードセット（半順序集合）上のインフィニット（無限）シーケンス（列）およびセット（集合）の要素に対して、もしも、任意に大きいインデックスでその値が要素以上であるものがある場合、リミットスピアリア（上極限）は要素以上であることの記述/証明
About: セット（集合）
1927: パーシャリーオーダードセット（半順序集合）上のインフィニット（無限）シーケンス（列）およびセット（集合）の要素に対して、もしも、任意に大きいインデックスでその値が要素以下であるものがある場合、リミットインフェリア（下極限）は要素以下である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
パーシャリーオーダードセット（半順序集合）上のインフィニット（無限）シーケンス（列）およびセット（集合）の要素に対して、もしも、任意に大きいインデックスでその値が要素以下であるものがある場合、リミットインフェリア（下極限）は要素以下であることの記述/証明
About: セット（集合）
パーシャリーオーダードセット（半順序集合）上のインフィニット（無限）シーケンス（列）およびセット（集合）の要素に対して、もしも、任意に大きいインデックスでその値が要素以下であるものがある場合、リミットインフェリア（下極限）は要素以下であることの記述/証明
話題
About: セット（集合）
この記事の目次
1926: リニアリーオーダードセット（線形順序集合）上のシーケンス（列）に対して、リミットスピアリア（上極限）はシーケンス（列）のレンジ（値域）のインフィマム（下限）以上である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
リニアリーオーダードセット（線形順序集合）上のシーケンス（列）に対して、リミットスピアリア（上極限）はシーケンス（列）のレンジ（値域）のインフィマム（下限）以上であることの記述/証明
About: セット（集合）
リニアリーオーダードセット（線形順序集合）上のシーケンス（列）に対して、リミットスピアリア（上極限）はシーケンス（列）のレンジ（値域）のインフィマム（下限）以上であることの記述/証明
話題
About: セット（集合）
この記事の目次
1925: リニアリーオーダードセット（線形順序集合）上のシーケンス（列）に対して、リミットインフェリア（下極限）はシーケンス（列）のレンジ（値域）のサプリマム（上限）以下である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
リニアリーオーダードセット（線形順序集合）上のシーケンス（列）に対して、リミットインフェリア（下極限）はシーケンス（列）のレンジ（値域）のサプリマム（上限）以下であることの記述/証明
About: セット（集合）
リニアリーオーダードセット（線形順序集合）上のシーケンス（列）に対して、リミットインフェリア（下極限）はシーケンス（列）のレンジ（値域）のサプリマム（上限）以下であることの記述/証明
話題
About: セット（集合）
この記事の目次
1924: メジャラブルスペース（測定可能空間）の中へのマップ（写像）およびドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）に対して、ドメイン（定義域）上のメジャラブルサブセット（測定可能部分集合）に対して、コドメイン（余域）のポイントで\(1\)-ポイントサブセット（部分集合）がメジャラブル（測定可能）であるものに対して、ポイントプリイメージ（前像）は、メジャラブルサブセット（測定可能部分集合）内に包含されているまたはメジャラブルサブセット（測定可能部分集合）からディスジョイント（互いに素）である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
メジャラブルスペース（測定可能空間）の中へのマップ（写像）およびドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）に対して、ドメイン（定義域）上のメジャラブルサブセット（測定可能部分集合）に対して、コドメイン（余域）のポイントで\(1\)-ポイントサブセット（部分集合）がメジャラブル（測定可能）であるものに対して、ポイントプリイメージ（前像）は、メジャラブルサブセット（測定可能部分集合）内に包含されているまたはメジャラブルサブセット（測定可能部分集合）からディスジョイント（互いに素）であることの記述/証明
About: メジャラブルスペース（測定可能空間）
メジャラブルスペース（測定可能空間）の中へのマップ（写像）およびドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）に対して、ドメイン（定義域）上のメジャラブルサブセット（測定可能部分集合）に対して、コドメイン（余域）のポイントで\(1\)-ポイントサブセット（部分集合）がメジャラブル（測定可能）であるものに対して、ポイントプリイメージ（前像）は、メジャラブルサブセット（測定可能部分集合）内に包含されているまたはメジャラブルサブセット（測定可能部分集合）からディスジョイント（互いに素）であることの記述/証明
話題
About: メジャラブルスペース（測定可能空間）
この記事の目次
1923: マップ（写像）、ドメイン（定義域）のサブセット（部分集合）、コドメイン（余域）のポイントに対して、もしも、ポイントのプリイメージ（前像）とサブセット（部分集合）のインターセクション（共通集合）がプリイメージ（前像）である場合、ポイントのプリイメージ（前像）は、サブセット（部分集合）内に包含されているまたはサブセット（部分集合）からディスジョイント（互いに素）である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
マップ（写像）、ドメイン（定義域）のサブセット（部分集合）、コドメイン（余域）のポイントに対して、もしも、ポイントのプリイメージ（前像）とサブセット（部分集合）のインターセクション（共通集合）がプリイメージ（前像）である場合、ポイントのプリイメージ（前像）は、サブセット（部分集合）内に包含されているまたはサブセット（部分集合）からディスジョイント（互いに素）であることの記述/証明
About: セット（集合）
マップ（写像）、ドメイン（定義域）のサブセット（部分集合）、コドメイン（余域）のポイントに対して、もしも、ポイントのプリイメージ（前像）とサブセット（部分集合）のインターセクション（共通集合）がプリイメージ（前像）である場合、ポイントのプリイメージ（前像）は、サブセット（部分集合）内に包含されているまたはサブセット（部分集合）からディスジョイント（互いに素）であることの記述/証明
話題
About: セット（集合）
この記事の目次
1922: メジャラブルスペース（測定可能空間）の中へのマップ（写像）たちのドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）に対して、メジャラブルサブセット（測定可能部分集合）に対して、ポイントプリイメージ（前像）たちのインターセクション（共通集合）は、メジャラブルサブセット（測定可能部分集合）内に包含されているまたはメジャラブルサブセット（測定可能部分集合）からディスジョイント（互いに素）である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
メジャラブルスペース（測定可能空間）の中へのマップ（写像）たちのドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）に対して、メジャラブルサブセット（測定可能部分集合）に対して、ポイントプリイメージ（前像）たちのインターセクション（共通集合）は、メジャラブルサブセット（測定可能部分集合）内に包含されているまたはメジャラブルサブセット（測定可能部分集合）からディスジョイント（互いに素）であることの記述/証明
About: メジャラブルスペース（測定可能空間）
メジャラブルスペース（測定可能空間）の中へのマップ（写像）たちのドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）に対して、メジャラブルサブセット（測定可能部分集合）に対して、ポイントプリイメージ（前像）たちのインターセクション（共通集合）は、メジャラブルサブセット（測定可能部分集合）内に包含されているまたはメジャラブルサブセット（測定可能部分集合）からディスジョイント（互いに素）であることの記述/証明
話題
About: メジャラブルスペース（測定可能空間）
この記事の目次
1921: リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、もしも、第2要素より大きい各要素が第1要素より大きい場合、第1要素は第2要素以下である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、もしも、第2要素より大きい各要素が第1要素より大きい場合、第1要素は第2要素以下であることの記述/証明
About: セット（集合）
リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、もしも、第2要素より大きい各要素が第1要素より大きい場合、第1要素は第2要素以下であることの記述/証明
話題
About: セット（集合）
この記事の目次
1920: リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、もしも、第1要素より小さい各要素が第2要素より小さい場合、第1要素は第2要素以下である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、もしも、第1要素より小さい各要素が第2要素より小さい場合、第1要素は第2要素以下であることの記述/証明
About: セット（集合）
リニアリーオーダードセット（線形順序集合）および\(2\)個の要素たちに対して、もしも、第1要素より小さい各要素が第2要素より小さい場合、第1要素は第2要素以下であることの記述/証明
話題
About: セット（集合）
この記事の目次
1919: \(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上のシーケンス（列）に対して、もしも、リミットスピアリア（上極限）が存在する場合、リミットスピアリア（上極限）へコンバージ（収束）するサブシーケンス（部分列）がある
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上のシーケンス（列）に対して、もしも、リミットスピアリア（上極限）が存在する場合、リミットスピアリア（上極限）へコンバージ（収束）するサブシーケンス（部分列）があることの記述/証明
About: メトリックスペース（計量付き空間）
\(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上のシーケンス（列）に対して、もしも、リミットスピアリア（上極限）が存在する場合、リミットスピアリア（上極限）へコンバージ（収束）するサブシーケンス（部分列）があることの記述/証明
話題
About: メトリックスペース（計量付き空間）
この記事の目次
1918: \(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上のシーケンス（列）に対して、もしも、リミットインフェリア（下極限）が存在する場合、リミットインフェリア（下極限）へコンバージ（収束）するサブシーケンス（部分列）がある
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上のシーケンス（列）に対して、もしも、リミットインフェリア（下極限）が存在する場合、リミットインフェリア（下極限）へコンバージ（収束）するサブシーケンス（部分列）があることの記述/証明
About: メトリックスペース（計量付き空間）
\(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上のシーケンス（列）に対して、もしも、リミットインフェリア（下極限）が存在する場合、リミットインフェリア（下極限）へコンバージ（収束）するサブシーケンス（部分列）があることの記述/証明
話題
About: メトリックスペース（計量付き空間）
この記事の目次
1917: セット（集合）からユークリディアンメジャラブルスペース（測定可能空間）の中へのファイナイト（有限）数マップ（写像）たちに対して、ドメイン（定義域）上にマップ（写像）たちの合計によってインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）は、ドメイン（定義域）上にマップ（写像）たちによってインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）内に包含されている
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
セット（集合）からユークリディアンメジャラブルスペース（測定可能空間）の中へのファイナイト（有限）数マップ（写像）たちに対して、ドメイン（定義域）上にマップ（写像）たちの合計によってインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）は、ドメイン（定義域）上にマップ（写像）たちによってインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）内に包含されていることの記述/証明
About: メジャラブルスペース（測定可能空間）
セット（集合）からユークリディアンメジャラブルスペース（測定可能空間）の中へのファイナイト（有限）数マップ（写像）たちに対して、ドメイン（定義域）上にマップ（写像）たちの合計によってインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）は、ドメイン（定義域）上にマップ（写像）たちによってインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）内に包含されていることの記述/証明
話題
About: メジャラブルスペース（測定可能空間）
この記事の目次
2026年8月2日日曜日
1916: メジャラブルスペース（測定可能空間）の中へのマップ（写像）たちのドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
メジャラブルスペース（測定可能空間）の中へのマップ（写像）たちのドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）の定義
About: メジャラブルスペース（測定可能空間）
メジャラブルスペース（測定可能空間）の中へのマップ（写像）たちのドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）の定義
話題
About: メジャラブルスペース（測定可能空間）
この記事の目次
1915: セット（集合）およびサブセット（部分集合）たちのセット（集合）たちに対して、サブセット（部分集合）たちのセット（集合）たちによって生成された\(\sigma\)-アルジェブラ（多元環）たちのユニオン（和集合）によって生成された\(\sigma\)-アルジェブラ（多元環）は、サブセット（部分集合）たちのセット（集合）たちのユニオン（和集合）によって生成された\(\sigma\)-アルジェブラ（多元環）である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
セット（集合）およびサブセット（部分集合）たちのセット（集合）たちに対して、サブセット（部分集合）たちのセット（集合）たちによって生成された\(\sigma\)-アルジェブラ（多元環）たちのユニオン（和集合）によって生成された\(\sigma\)-アルジェブラ（多元環）は、サブセット（部分集合）たちのセット（集合）たちのユニオン（和集合）によって生成された\(\sigma\)-アルジェブラ（多元環）であることの記述/証明
About: メジャラブルスペース（測定可能空間）
セット（集合）およびサブセット（部分集合）たちのセット（集合）たちに対して、サブセット（部分集合）たちのセット（集合）たちによって生成された\(\sigma\)-アルジェブラ（多元環）たちのユニオン（和集合）によって生成された\(\sigma\)-アルジェブラ（多元環）は、サブセット（部分集合）たちのセット（集合）たちのユニオン（和集合）によって生成された\(\sigma\)-アルジェブラ（多元環）であることの記述/証明
話題
About: メジャラブルスペース（測定可能空間）
この記事の目次
1914: セット（集合）およびサブセット（部分集合）たちのセット（集合）に対して、サブセット（部分集合）たちのセット（集合）によって生成された\(\sigma\)-アルジェブラ（多元環）によって生成された\(\sigma\)-アルジェブラ（多元環）は、サブセット（部分集合）たちのセット（集合）によって生成された\(\sigma\)-アルジェブラ（多元環）である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
セット（集合）およびサブセット（部分集合）たちのセット（集合）に対して、サブセット（部分集合）たちのセット（集合）によって生成された\(\sigma\)-アルジェブラ（多元環）によって生成された\(\sigma\)-アルジェブラ（多元環）は、サブセット（部分集合）たちのセット（集合）によって生成された\(\sigma\)-アルジェブラ（多元環）であることの記述/証明
About: メジャラブルスペース（測定可能空間）
セット（集合）およびサブセット（部分集合）たちのセット（集合）に対して、サブセット（部分集合）たちのセット（集合）によって生成された\(\sigma\)-アルジェブラ（多元環）によって生成された\(\sigma\)-アルジェブラ（多元環）は、サブセット（部分集合）たちのセット（集合）によって生成された\(\sigma\)-アルジェブラ（多元環）であることの記述/証明
話題
About: メジャラブルスペース（測定可能空間）
この記事の目次
1913: セット（集合）および\(2\)個のサブセット（部分集合）たちのセット（集合）たちに対して、もしも、前者サブセット（部分集合）たちのセット（集合）が後者サブセット（部分集合）たちのセット（集合）内に包含されている場合、前者セット（集合）によって生成された\(\sigma\)-アルジェブラ（多元環）は、後者セット（集合）によって生成された\(\sigma\)-アルジェブラ（多元環）内に包含されている
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
セット（集合）および\(2\)個のサブセット（部分集合）たちのセット（集合）たちに対して、もしも、前者サブセット（部分集合）たちのセット（集合）が後者サブセット（部分集合）たちのセット（集合）内に包含されている場合、前者セット（集合）によって生成された\(\sigma\)-アルジェブラ（多元環）は、後者セット（集合）によって生成された\(\sigma\)-アルジェブラ（多元環）内に包含されていることの記述/証明
About: メジャラブルスペース（測定可能空間）
セット（集合）および\(2\)個のサブセット（部分集合）たちのセット（集合）たちに対して、もしも、前者サブセット（部分集合）たちのセット（集合）が後者サブセット（部分集合）たちのセット（集合）内に包含されている場合、前者セット（集合）によって生成された\(\sigma\)-アルジェブラ（多元環）は、後者セット（集合）によって生成された\(\sigma\)-アルジェブラ（多元環）内に包含されていることの記述/証明
話題
About: メジャラブルスペース（測定可能空間）
この記事の目次
1912: メジャラブルスペース（測定可能空間）の中へのマップ（写像）のドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
メジャラブルスペース（測定可能空間）の中へのマップ（写像）のドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）の定義
About: メジャラブルスペース（測定可能空間）
メジャラブルスペース（測定可能空間）の中へのマップ（写像）のドメイン（定義域）上にインデュースト（誘導された）\(\sigma\)-アルジェブラ（多元環）の定義
話題
About: メジャラブルスペース（測定可能空間）
この記事の目次
1911: ユークリディアンメジャラブルスペース（測定可能空間）
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ユークリディアンメジャラブルスペース（測定可能空間）の定義
About: メジャラブルスペース（測定可能空間）
ユークリディアンメジャラブルスペース（測定可能空間）の定義
話題
About: メジャラブルスペース（測定可能空間）
この記事の目次
1910: \(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上の非減少シーケンス（列）に対して、シーケンス（列）のコンバージェンス（収束ポイント）はシーケンス（列）のレンジ（値域）のサプリマム（上限）である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上の非減少シーケンス（列）に対して、シーケンス（列）のコンバージェンス（収束ポイント）はシーケンス（列）のレンジ（値域）のサプリマム（上限）であることの記述/証明
About: メトリックスペース（計量付き空間）
\(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上の非減少シーケンス（列）に対して、シーケンス（列）のコンバージェンス（収束ポイント）はシーケンス（列）のレンジ（値域）のサプリマム（上限）であることの記述/証明
話題
About: メトリックスペース（計量付き空間）
この記事の目次
1909: \(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上の非増加シーケンス（列）に対して、シーケンス（列）のコンバージェンス（収束ポイント）はシーケンス（列）のレンジ（値域）のインフィマム（下限）である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
\(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上の非増加シーケンス（列）に対して、シーケンス（列）のコンバージェンス（収束ポイント）はシーケンス（列）のレンジ（値域）のインフィマム（下限）であることの記述/証明
About: メトリックスペース（計量付き空間）
\(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上の非増加シーケンス（列）に対して、シーケンス（列）のコンバージェンス（収束ポイント）はシーケンス（列）のレンジ（値域）のインフィマム（下限）であることの記述/証明
話題
About: メトリックスペース（計量付き空間）
この記事の目次
登録:
投稿 (Atom)