Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
が存在して φ(x) > 0 となる。 ハーン=バナッハの定理は、リースの拡張定理より導出することが出来る。 V を線型空間とし、N を V 上の劣線型函数とする。φ は部分空間 U ⊂ V 上の汎函数で N によって支配されるもの、すなわち ϕ ( x ) ≤ N ( x ) , x ∈ U {\displaystyle
が成立する。 したがって、Ω 上の任意の集合環は、集合半環でもある。 測度論に関する文献では、しばしば、次のような制限が追加される: Ω は、S に含まれるある可算な集合族の直和である。 Ω 上の集合環からなる族の任意個数(非可算でもよい)の共通部分は、再び Ω 上の集合環となる。 A を P ( Ω )
数学の測度論におけるE.ホップ(英語版)の拡張定理(英: Hopf extension theorem)とは、有限加法的測度が完全加法族上の(完全加法的)測度に拡張できるための条件を述べた定理である。 X を集合、 F {\displaystyle {\mathcal {F}}} を X 上の有限加法族とする。
範囲・規模などをひろげて大きくすること。
物理アドレス拡張(ぶつりあどれすかくちょう、Physical Address Extension)、略称、PAEはインテル社のIA-32アーキテクチャで4GiB以上のメモリを扱う技術。 P6マイクロアーキテクチャで追加されたアドレス空間の拡張機能であり、Pentium
Kolmogorov's Three-Series Theorem)は、確率変数の無限級数が概収束するかどうかの判定条件を確率分布に関連した3つの級数の収束性に基づいて述べるものである。名称はアンドレイ・コルモゴロフにちなむ。コルモゴロフの三級数定理をクロネッカーの補題(英
拡張BNF(かくちょう びー えぬ えふ) ABNF - バッカス・ナウア記法 (BNF) の拡張の一種。通信プロトコルなどの言語の形式体系を記述するメタ言語として開発された。 EBNF - バッカス・ナウア記法 (BNF) の拡張の一種。コンピュータのプログラミング言語や形式言語の形式的表現として使われる。
著)においてMac Laneは「すべての概念はカン拡張である」と述べ、さらには「カン拡張には圏論における基本的な概念がすべて含まれている」とまで述べている。 ある部分集合上で定義された関数を全体集合にまで拡張する操作を一般化したものがカン拡張である。カン拡張の定義は、当然のように高度に抽象化されている。