1 定義
局所的性質とは、対象全体の構造を一度に調べるのではなく、ある点またはその周辺の小さな範囲で成り立つ性質を指す。数学では、図形や空間、関数、作用素などについて、近接領域だけを見て判断できる特徴として用いられる。物理学でも、場や状態を一点近傍で記述する際の基本概念となる。
局所性の考え方は、個々の部分の情報から全体像を推測するための枠組みを与える。対象が局所的には同じ見え方をしても、広い範囲では異なる振る舞いを示すことがあるため、この区別は理論上重要である。
1.1 局所的性質の意味
局所的性質は、対象の近傍で観察したときに確認できる性格をいう。ある点のまわりで小さな範囲を選び、その範囲内で条件が満たされれば、その点で局所的に性質をもつと表現される。
この種の性質は、対象の全体的な形状や配置に依存しないことが多い。したがって、同じ局所構造をもつ対象同士は、別の点を基準にしたとき似た記述を受けることがある。
1.2 大域的性質との違い
大域的性質は、対象全体を通して成立する特徴であり、局所的性質とは評価の範囲が異なる。局所では成立しても、大域では失敗する場合があり、その逆もある。
この差は、連結性やコンパクト性のように、全体のつながり方や広がり方が関係する概念で特に目立つ。局所情報だけでは、全体の形を一意に決められないことが少なくない。
1.3 局所的に見た判断基準
局所的な判断では、対象の任意の点に十分小さな近傍をとり、その近傍内で条件を調べる方法が基本となる。条件がその近傍で成立するなら、局所的にその性質をもつとみなされる。
実際の理論では、近傍の取り方や許される変形の種類が重要である。どの程度小さい範囲まで見ればよいかは、扱う分野によって異なる。
2 数学における局所的性質
数学では、局所的性質は位相、微分幾何、解析など多くの分野で共通に現れる。点の周辺だけで定義できるため、抽象的な対象を細かく比較する手段として広く使われる。
2.1 位相空間での局所的性質
位相空間では、近傍系を通じて局所的性質が定義される。点のまわりにある開集合の配置が、連結性やコンパクト性などの局所版を特徴づける。
2.1.1 近傍による定義
近傍による定義では、各点の周囲にある開集合の性質を調べる。ある条件がその点を含む開近傍の中で成立すれば、その性質は局所的であるといえる。
この方法は、対象全体の記述を避けながら、点ごとの局面を精密に扱える利点がある。位相の一般論では、近傍の構造が基本的な出発点になる。
2.1.2 局所的連結性
局所的連結性は、各点の任意の近傍に、その点を含む連結な近傍をさらに選べる性質である。小さな範囲で切り出したときに、そこがつながったまとまりとして見えることを意味する。
これは、空間の細部が断片化していないかを調べる手段となる。大域的には連結でなくても、局所的には連結である空間は存在する。
2.1.3 局所的コンパクト性
局所的コンパクト性は、各点がコンパクトな近傍をもつことをいう。局所的な範囲に、収束や被覆に関するよい性質が備わっていることを示す。
この性質は、解析的な操作や空間の分類で重要になる。全体がコンパクトでなくても、各点の周辺がコンパクトに近い振る舞いを示す場合がある。
2.2 微分幾何での局所的性質
微分幾何では、空間を滑らかな多様体として扱い、局所座標を通じて形を調べる。曲がり具合や接空間の構造は、近傍での記述に基づいて定式化される。
2.2.1 局所座標と局所構造
局所座標は、多様体のある部分をユークリッド空間の開集合に対応づける道具である。これにより、複雑な空間も、狭い範囲では通常の座標計算で扱える。
局所構造は、この座標によって見える滑らかさや次元の情報を含む。全体の貼り合わせ方が異なっても、局所的には同じ型を示すことがある。
2.2.2 曲率と局所的な形状
曲率は、空間が近傍でどのように曲がっているかを表す量である。直線的な性質からのずれを、点のまわりの微小領域で測る考え方に基づく。
局所的な形状は、曲率や計量の情報から理解される。たとえ全体として複雑な幾何をもつ場合でも、各点近くでは単純なモデルで近似できることが多い。
2.2.3 局所的可積分性
局所的可積分性は、ある領域の中で積分可能であることをいう。関数や微分形式が、点の近くで十分よい振る舞いを示す場合に用いられる。
この概念は、全空間での積分可能性よりも弱い条件であり、解析や幾何で柔軟に使われる。局所的に成り立つことから、局所解の構成にも関わる。
2.3 解析学での局所的性質
解析学では、関数の連続性や微分可能性が点近傍で検討される。局所的性質は、極限操作や近似の有効範囲を示す基準として機能する。
2.3.1 局所連続性
局所連続性は、各点の十分近くで関数が連続であることをいう。点ごとに見ると滑らかに変化していても、広域では別の問題が生じることがある。
この性質は、関数の細かな挙動を把握するうえで基本となる。連続性の検証を小区間に分けて行うときに特に有用である。
2.3.2 局所可微分性
局所可微分性は、各点近傍で微分可能であることを示す。微分係数や導関数がその周囲で定義できれば、局所的には滑らかな関数として扱える。
ただし、局所的に微分可能でも、導関数の振る舞いが全体で整っているとは限らない。したがって、より強い性質を議論する際には追加条件が必要になる。
2.3.3 局所的有界性
局所的有界性は、各点の近傍で関数値がある上限と下限の間に収まることをいう。無限大へ発散する挙動を避けるための基本条件の一つである。
この性質は、極限や積分の扱いを安定させるうえで役立つ。全体では有界でなくても、点の近くでは抑えられている関数は多い。
3 物理学における局所的性質
物理学では、局所的性質は空間や時刻の一点で定まる量を記述するために用いられる。観測や理論モデルでは、有限の領域を通じて状態を記述することが一般的である。
3.1 局所量と状態量
局所量は、位置や時刻ごとに値が定まる物理量である。温度、密度、圧力のような量は、系全体の平均ではなく、場所ごとの差異を表す。
状態量は、系の状態を要約する量であり、局所量の分布を通じて表現されることがある。局所記述は、連続体や多体系の理解に欠かせない。
3.2 場の理論における局所性
場の理論では、物理法則が各点の近傍で決まるという局所性が中心的な役割を果たす。相互作用や運動方程式は、近接した場所の情報に基づいて定式化される。
この見方により、遠く離れた部分の影響を媒介項を通じて整理できる。局所性は、理論の構成や因果的な説明の骨格となる。
3.3 局所保存則
局所保存則は、ある量が空間の一点ごと、または微小領域ごとに保存関係を満たすことを表す。全体の保存則は、この微分形を積分することで導かれることが多い。
代表的には、流れの出入りと内部の変化がつり合う形で記述される。局所的な収支の表現は、連続体力学や電磁気学などで重要である。
4 局所的性質の関連概念
局所的性質は、大域的性質と対比されながら理解される。また、局所の情報から全体を復元できるかどうかは、数学や物理の多くの問題に関わる。
4.1 大域的性質
大域的性質は、対象全体を見渡して初めて判断できる特徴である。局所的な観察だけでは足りず、全体の接続や配置が影響する。
この種の性質には、全体の連結性、閉じ方、境界の有無などが含まれる。局所では見分けにくい構造差を明らかにするために重要である。
4.2 局所対大域の対応
局所対大域の対応とは、局所情報から大域的結論を導く関係、またはその逆の制約をいう。多くの理論では、局所条件だけでは不十分で、全体の貼り合わせや整合性が追加で必要になる。
一方で、局所性が強いと、大域的な性質が局所データの組み合わせとして現れることもある。この対応関係は、解析、幾何、物理の横断的な主題である。
4.3 例と反例
局所的性質を理解するうえでは、成立例と失敗例の比較が有効である。似た見かけをもつ対象でも、局所と大域の差によって結論が分かれる。
4.3.1 局所的には成立するが全体では成り立たない例
典型的には、各点の近傍ではよい性質を示すが、対象全体としてはその性質を失う例がある。局所連結だが大域的には連結でない空間や、局所的には微分可能だが全体の滑らかさが保てない関数などが挙げられる。
この種の例は、局所情報が全体像を完全には決定しないことを示す。境界条件や接続の仕方が、結論を大きく左右する。
4.3.2 全体から局所が制約される例
反対に、大域的な条件が局所的振る舞いを制限する場合もある。全体がコンパクトである、あるいは強い対称性をもつ、といった条件は、点近傍で許される構造を狭めることがある。
この関係は、局所の自由度が無制限ではないことを示している。全体の仮定を加えることで、局所解析がより強い結論に結びつく。