>>234 関連

http://www.nara-wu.ac.jp/omi/oka_symposium/01.html
岡数学研究所
第1回岡シンポジウム（2002.03.15-16）
http://www.nara-wu.ac.jp/omi/oka_symposium/01/tsunoda.pdf
層を超えて -層と不定域イデアルの差異- （角田秀一郎・奈良女子大学理学部）2002
(抜粋)
P124
■ 不定域イデアルと層に関する事項を復習する.後の議論に必要な最小限の事項に限る.
したがって記述は完全でもなければ体系的でもない.
■ 不定域イデアルはペア (U，f)を構成要素とする .Uはどこかの開集合，fは U上の関数である.
関数といっても場合によって，多項式関数，正則関数， C∞関数などが使われる.
ここで Uもfも固定されていない，つまり，動きうる.
もちろんこのペアの集合がなんらかの条件を満たすとき不定域イデアルと呼ばれるのであるがその定義は使わないので省略する.
ポイントはペア (U，f)が次のような不定性をもつことである.
・ Vを Uの関部分集合とすれば (V，flv) (flvは fの Vへの制限)は別のペアとなる.
(U, f)はこの新たなペアを内包している.
・ fは Uよりも大きな開集合上の関数に拡張できるかもしれない.
(U， f)自身にはこの二っとも書き込まれてはいない.しかし不定域イデアルにとってどちらも重要である.
というか後者は不定域イデアルの意義とも云える.
関数があればどうしても最大の定義域を先に考えてしまうのが自然である.
それを乗り越えた結実が不定域イデアルである .
(U，f)がこのような不定性をもつ.
したがって，ペア (U, f)の意味は何かと問われた場合，正確に答えられないことになる.
よりはっきりいえば，答えることに意味はない.
私はこの種の暖昧さを否定しているのではない.むしろ本質的なものとさえ思っている.

つづく