23/03/25 08:19:16.05 9yv+eJYE.net
>>731
ありがとうございます
なるほど
私は、もっと素朴に
実数Rに限って話をすると
1点r∈Rは、ユークリッド幾何で言えば大きさを持たない
つまり、扱うのに小さすぎるので、大きくして開集合として、開基などの理論を整備したと
（勿論、その前に、距離を使う位相があったのですが）
これの類似が、層の理論かなと思っています
線は、ユークリッド幾何で言えば幅を持たない
つまり、扱うのに小さすぎるので、大きくして層ないし前層として、理論を整備したと
（勿論、下記のように、層は開集合をベースに使っているのですが）
層、前層の定義が抽象的すぎて、最初は全く意味が取れなかったのですが
何年もするうちに、ふと 関数を1点 f：R→R で捉えるのではなく
（開集合を使って）少しふくらみを持たせて、扱おうとする思想かなと、思った次第です
URLﾘﾝｸ(mathlog.info)
microsupport
URLﾘﾝｸ(mathlog.info)
Mathlog microsupport
【層理論第1回】前層と層 最終更新日：2021年01月06日
前層の定義
層を定義する前に前層というものを定義します．前層は位相空間
X
の開集合
U
に対して，
U
上の函数全体を対応させる対応を抽象化して定義されるものです．函数はより小さな開集合に制限することができました．これと同様により小さな開集合上の函数に制限するというような写像たちを考えることで前層は定義されます．
URLﾘﾝｸ(mathlog.info)
【層理論第2回】層のアーベル圏と層の完全列 microsupport 最終更新日：2021年01月06日