14/12/06 18:40:06.62
>>620
ご苦労。スレ主である
「入る」「入れる」と、言う例は、上に挙げた
１．>>601 望月新一教授
・”Gal(K/F) という集合に自然な「群構造」が入る。”,
・”自己同型の合成を考えることによって、Aut(G) という集合にも自然な群構造が入る。”
→この２例とも、特別の集合Gal(K/F) やAut(G) に対して、単に「定義できる」以上のニュアンスを込めていると読んだ。
（一般の集合に対しては、「入る」は使っていない。
２．>>602 「位相が入る」「位相を入れる」。この場合も、単に「定義できる」以上のニュアンスを込めていると思う
３．>>606 ”複素構造が入る”という例。この場合、２に同じ
４．「入る」「入れる」は、数学的には「定義できる」と同義。しかし、著者がそれ以上のニュアンスを込めていると思う
５．なお、位相と複素構造とは、昔のえらい人がバイブルになる論文や本にそう書いて、みなそれに納得してならったと思う
注）
URLﾘﾝｸ(ja.wikipedia.org)
集合の記述法
集合を書き表す方法として、その集合の要素をすべて列挙する方法が考えられる。
また、対象がその集合に属するためにみたすべき条件を明示することによって集合を表すこともできる。
これにならって、「入る」「入れる」の意味を、要素列挙で説明した。
この説明に用いた集合は、明らかに無限集合でかつ開である。
集合のみたすべき条件明示はしていない。