23/02/05 10:14:55.46 XfMj3WNk.net
>>212 つづき
・圏 category で、明治のころからの伝統で
数学用語は、漢字一文字を当てるという（暗黙の）規則がある
例：群、環、体
・そこで、categoryは哲学では範疇という訳語があるけれども
category→範疇は、かえって分かりづらいし
漢字一文字で、圏にしたのでしょうね（発案者は知らず）
・ああ、いま検索すると、ベールの範疇定理とかあって、この点からも”範疇”は、まずいね
(参考)
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
範疇 (数学)
数学において、範疇（はんちゅう）とは位相空間の部分集合を 2 通りに分類する方法のことである。カテゴリーと呼ぶことも多いが、同様にカテゴリーと呼ばれる圏とは全く異なるものである。
定義
X を位相空間とし、A をその部分集合とする。
A の閉包の内部が空であるとき、A は疎であるという。A が可算個の疎な集合の和集合で表せるとき A は第 1 類であるといい、そうでないとき A は第 2 類であるという。第 1 類の集合をやせた集合ともいう。
第 1 類の集合の部分集合は第 1 類であり、可算個の第 1 類の集合の和集合は第 1 類である。
ベールの範疇定理
完備距離空間の空でない開部分集合は第 2 類である。これをベールの範疇定理と呼ぶ。この定理は特に関数解析などで有用である。