ユークリッド空間における点の近傍・近傍系
ユークリッド空間における点の近傍、近傍系、およびユークリッド空間の近傍系という概念を定義します。これは数直線上の有界開区間を一般化した概念です。
ユークリッド空間の点を中心とする近傍と呼ばれる概念を出発点に、ユークリッド空間上の開集合や閉集合などの概念を定義します。
ユークリッド空間における点の近傍、近傍系、およびユークリッド空間の近傍系という概念を定義します。これは数直線上の有界開区間を一般化した概念です。
ユークリッド空間の部分集合Aが与えられたとき、Aのそれぞれの点aについて、aを中心とする開近傍の中にAの部分集合であるようなものが存在するのであれば、Aをユークリッド空間上の開集合と呼びます。また、ユークリッド空間上の開集合をすべて集めてできる集合系を開集合系と呼びます。
ユークリッド空間の部分集合Aが与えられたとき、Aの補集合がユークリッド空間上の開集合である場合には、Aをユークリッド空間上の閉集合であるといいます。また、ユークリッド空間上のすべての閉集合からなる集合族を閉集合系と呼びます。
ユークリッド空間の部分集合が閉集合であること・閉集合でないことの判定を点列を用いて行う方法について解説します。
ユークリッド空間の部分集合について、その内点、外点、境界点などについて解説します。
ユークリッド空間の部分集合 A が与えられたとき、点 a を中心とする開近傍の中に A の部分集合になるものが存在するならば、a を A の内点と呼びます。また、A のすべての内点を集めてできる集合を A の内部と呼びます。集合 A とその内部が一致することは、A が開集合であるための必要十分条件です。
ユークリッド空間の部分集合 A が与えられたとき、点 a を中心とする開近傍の中に A の補集合の部分集合になるものが存在するならば、a を A の外点と呼びます。また、A のすべての外点を集めてできる集合を A の外部と呼びます。
ユークリッド空間の部分集合 A が与えられたとき、点 a の任意の近傍が A と A の補集合の双方と交わるならば、a を A の境界点と呼びます。また、A のすべての境界点からなる集合を A の境界と呼びます。
ユークリッド空間の部分集合について、その触点、集積点、孤立点などについて解説します。
ユークリッド空間の部分集合 A が与えられたとき、点 a の任意の近傍が A と交わるならば、a を A の触点と呼びます。また、A のすべての触点からなる集合を A の閉包と呼びます。
ユークリッド空間の部分集合 A が与えられたとき、点 a を中心とする任意の近傍が a とは異なる A の点を要素として持つ場合、この点 a を A の集積点と呼びます。
ユークリッド空間の部分集合 A および点 a が与えられたとき、A の点を項とするとともに、すべての項が a とは異なり、なおかつ a に収束する点列が存在することは、a が A の集積点(極限点)であるための必要十分条件です。
ユークリッド空間の部分集合Aが与えられたとき、Aの導集合がAの部分集合であることは、すなわちAのすべての集積点がAの要素であることは、Aが閉集合であるための必要十分条件です。
ユークリッド空間の部分集合 A が与えられたとき、A の点の中でも A の集積点でないものを A の孤立点と呼びます。
ユークリッド空間の部分集合がコンパクト集合であることの意味を解説します。
ユークリッド空間の部分集合Aを覆う開集合族(開被覆)を任意に選んだとき、それに対して有限部分被覆が必ず存在する場合には、Aはコンパクト集合であると言います。
任意個のコンパクト集合の共通部分はコンパクト集合であり、有限個のコンパクト集合の和集合はコンパクト集合です。
ユークリッド空間の部分集合 A が与えられたとき、A が有界な閉集合であることと、A がコンパクト集合であることは必要十分です。これをハイネ・ボレルの被覆定理と呼びます。
ユークリッド空間の部分集合 A が与えられたとき、A の要素を項とする任意の点列が A の点に収束する部分列を持つ場合、A を点列コンパクト集合と呼びます。ある集合が点列コンパクト集合であることと、その集合がコンパクト集合であることは必要十分です。
可算公理について学びます。
ユークリッド空間の点の基本近傍系が存在する場合、その点との距離を測るためには基本近傍系に属する近傍があれば十分で、すべての近傍を議論の対象にする必要はありません。また、ユークリッド空間のそれぞれの点に対して可算な基本近傍系が存在します(第1可算公理)。
ユークリッド空間において、開集合系の部分集合族が存在し、任意の開集合がその部分集合族に属する開集合の和集合として表現できる場合、その部分集合族を開基と呼びます。また、可算集合であるような開基が存在する場合、第2可算公理が成り立つと言います。
ユークリッド空間上の集合の開被覆を任意に選んだとき、その可算部分被覆が存在することが保証されます。これをリンデレーフの被覆定理と呼びます。
ユークリッド空間の部分集合Xが与えられたとき、さらにその部分集合Aの閉包がXを部分集合として含む場合には、AをXの稠密部分集合と呼びます。
ユークリッド空間は可分空間です。つまり、ユークリッド空間は可算集合であるような部分稠密部分集合を持ちます。
以下の分野の知識があると本節の内容を円滑に学習できます。
実数空間すなわち数直線の位相に関するテキストと演習問題です。実数空間上の開集合や閉集合など、位相を規定する概念について解説します。
n 次元空間上にベクトル加法やスカラー乗法などの演算や大小関係を定義すると、実順序ベクトル空間になります。実順序ベクトル空間上にユークリッド距離と呼ばれる概念を定義したものがユークリッド空間です。
ユークリッド空間上の無限個の点を順番に並べたものを点列と呼びます。点列は実数列を一般化した概念です。ここでは点列が収束することの意味を定義した上で、収束点列の性質について解説します。
本節で得た知識は以下の分野を学ぶ上での基礎になります。
距離空間上の点の近傍を出発点に、開集合や閉集合などの諸概念を定義し、それらの概念が満たす性質について解説します。
実数空間もしくはその部分集合を定義とし、ユークリッド空間を終集合とする写像を曲線やベクトル値関数などと呼びます。ここでは曲線の収束や連続性などについて解説します。
多変数関数(スカラー場)という概念を定義するとともに、多変数関数が有限な実数へ収束すること、および連続であることの意味を定義した上で、連続な多変数関数の性質について解説します。
本節では多変数のベクトル値関数(ベクトル場)が収束することの意味や、連続であることの意味を解説します。本節で得られる知識は後に多変数のベクトル値関数の微分について学ぶ際の前提知識となります。