
距離空間における連結集合・非連結集合(連結距離空間・非連結距離空間)
距離空間の部分集合の切断が存在する場合、その集合を非連結集合と呼びます。また、非連結集合ではない集合を連結集合と呼びます。非連結な距離空間を非連結距離空間と呼び、連結な距離空間を連結距離空間と呼びます。

距離空間の部分集合の切断が存在する場合、その集合を非連結集合と呼びます。また、非連結集合ではない集合を連結集合と呼びます。非連結な距離空間を非連結距離空間と呼び、連結な距離空間を連結距離空間と呼びます。

距離空間の2つの部分集合が互いに素であるとともに、どちらも相手の集積点を要素として持たない場合、それらの集合は分離していると言います。分離の概念は触点や開集合を用いて表現することもできます。

距離空間Xの部分集合Aが完備かつ全有界であることは、Aがコンパクト集合であることと必要十分です。以上の結果はハイネ・ボレルの被覆定理の一般化です。

距離空間Xの部分集合Aが与えられたとき、A上の任意の点列がAの点へ収束する部分列を持つ場合にはAを点列コンパクト集合と呼びます。距離空間の部分集合が点列コンパクトであることとコンパクトであることは必要十分です。

距離空間Xの部分集合Aが与えられたとき、Aの任意の無限部分集合がA上に集積点を持つことは、AがX上のコンパクト集合であるための必要十分条件です。

距離空間の部分集合の任意の開被覆が有限部分被覆を持つ場合、そのような集合をコンパクト集合と呼びます。また、コンパクト集合であるような距離空間をコンパクト距離空間と呼びます。

距離空間の部分集合に対して正の実数を任意に選んだとき、その実数を半径とする有限個の近傍によってその集合を必ず覆うことができる場合、そのような集合は全有界であると言います。全有界な集合は有界である一方で、有界な集合は全有界であるとは限りません。

距離空間の部分集合の直径が有限な実数として定まる場合、その集合は有界であると言います。有界であることは距離や近傍を用いて表現することもできます。

部分距離空間上の点列が収束する場合、その点列はもとの距離空間上においても収束します。その一方で、部分距離空間上の点列がもとの距離空間上において収束する場合、その点列は部分空間上において収束するとは限りません。

有限個の距離空間の直積上に定義される距離関数を直積距離と呼びます。また、距離空間の直積と直積距離の組を直積距離空間と呼びます。マンハッタン直積距離、ユークリッド直積距離、チェビシェフ直積距離などは直積距離です。

私有経済において消費者は効用最大化原理にもとづいて行動し、生産者は利潤最大化原理にもとづいて行動する一方で、それとは別に、社会的に望ましい配分を考えることもできます。パレート効率性という基準のもとで社会的に望ましい配分を定義します。

連続型の確率変数の値と確率密度関数の値の積を全区間上で積分することにより得られる値を確率変数の期待値と呼びます。期待値は確率変数の実現値の見込みの値を表す指標です。

純粋交換経済においてワルラス均衡のもとで実現する配分はパレート効率的です(厚生経済学の第1基本定理)。また、パレート効率的な配分が与えられたとき、適切な再配分と価格体系のもとでは、その配分をワルラス均衡として実現できます(厚生経済学の第2基本定理)。

純粋交換経済においてそれぞれの消費者は効用最大化原理にもとづいて行動します。純粋交換経済に価格メカニズムを導入した場合に実現する結果をワルラス均衡(競争均衡)として定義します。

純粋交換経済においてそれぞれの消費者は効用最大化原理にもとづいて行動する一方で、それとは別に、社会的に望ましい配分を考えることもできます。パレート効率性という基準のもとで社会的に望ましい配分を定義します。

ユークリッド空間の非空な部分集合Cが与えられたとき、Cに属するすべてのベクトルとの内積が非負になるようなベクトルをすべて集めることにより得られる集合をCの双対錐と呼びます。

錐であるような多面体を多面錐と呼びます。多面体は凸集合であるため、多面錐もまた凸集合です。多面錐は定数ベクトルがゼロであるような連立1次不等式の解集合です。

連立1次不等式の解集合を多面体と呼びます。連立1次方程式の解集合や、1次方程式と1次不等式が混在する連立式の解集合もまた多面体です。多面体は凸集合です。

ユークリッド空間の部分集合に属する2つの点を任意に選んだとき、それらの任意の錐結合がその集合の要素であるならば、その集合を凸錐と呼びます。凸錐は凸集合であるような錐です。

ユークリッド空間の部分集合に属する2つの点を任意に選んだとき、それらの任意のアフィン結合がその集合の要素であるならば、その集合をアフィン集合と呼びます。

独立変数とパラメータを複数個ずつ持つ関数の制約条件なし最大化問題に関する包絡線定理について解説します。包絡線定理を用いれば、価値関数を具体的に特定することなく価値関数の偏微分を導出できます。

独立変数とパラメータを1つずつ持つ関数の制約条件なし最大化問題に関する包絡線定理について解説します。包絡線定理を用いれば、価値関数を具体的に特定することなく価値関数の微分を導出できます。

協力ゲームが譲渡可能効用を前提とする提携型ゲーム(TUゲーム)として記述されているとともに特性関数が凸性(優モジュラ性)を満たす場合、そのようなゲームを凸ゲーム(優モジュラゲーム)と呼びます。

協力ゲームが譲渡可能効用を前提とする提携型ゲーム(TUゲーム)として記述されているとともに特性関数が優加法性を満たす場合、そのようなゲームを優加法ゲームと呼びます。

協力ゲームが譲渡可能効用を前提とする提携型ゲーム(TUゲーム)として記述されているとともに特性関数が単調性を満たす場合、そのようなゲームを単調ゲームと呼びます。

協力ゲームにおいて提携の内部においてプレイヤーどうしが金銭を媒介する形で利得を自由に譲渡できる場合、そのような戦略的状況は譲渡可能効用を前提とする提携型ゲーム(TUゲーム)と呼ばれるモデルとして定式化されます。

1階の常微分方程式が完全微分方程式ではない場合にでも、何らかの関数(積分因子)を両辺に掛けることにより完全微分方程式になる場合、完全微分方程式の解法を用いて解くことができます。

集団の内部において噂が拡散していく状況を微分方程式(ロジスティック微分方程式)を用いて記述するとともに、その微分方程式を解く方法について解説します。