IUTを読むための用語集資料集スレ

[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

820: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/11/08(日) 22:51:02.15 ID:rSmWbt0i

>>808
どなたか知らないが、レスありがとう

>x∞に一番外側の"{"と"}"が無いならそもそも集合ではありません。

？？？
簡単に素朴集合論に戻るよ、例えば、下記 集合論 花木章秀で
”集合は「xに関する命題P(x)が真となるようなxの集まり」という形で記述される。
このとき、その集合を {x|P(x)} のように表す」という形で記述される”とあるよね
だから、{x|P(x)} とすれば良い。要は、P(x)を作れば良いでしょ（P(x)で、「xはこうだ」と文を書けば良い）

あるいは別法として、空集合Φを使ってシングルトンを作るとき、{Φ}の次に、{(Φ)}みたく内側にカッコを作る。()→{}の置き換えで、{{Φ}}となる
有限の範囲では、内側にカッコを作るか外側かは、違いがないけど、無限になると違う
内側だと{{・・Φ・・}}となる。外側だと・・{{Φ}}・・となる。（分かると思うが、・・のところは、カッコが続いている）

この場合、>>779同様に幾何的に考えると
　>>782に維新さんが書いているように、一番外側の円を半径3/4として、そこから内側に半径1/2,1/3,…,1/n,…の円を描く
円の中心は原点０がある。この原点０を空集合Φと見なせば良い
そして、>>779のように、各円の北極と南極に切れ目を入れて、左半円と右半円に分けて、半円をカッコに変形すれば
集合{{・・Φ・・}}ができる。この集合のカッコには、一番外側を1番として、その内の半径1/2が2番、その内の半径1/3が3番、と順にカッコに附番ができる
そして、附番ｎ以下全ての自然数を渡る。よって、一番外側に"{"と"}"が出来た
QED

（参考）
http://math.shinshu-u.ac.jp/~hanaki/edu/set.html
http://math.shinshu-u.ac.jp/~hanaki/edu/set/set2011.pdf
集合論
花木章秀
2011年度後期(2011/09/12)
P15
Chapter2
2.1集合
集合は「xに関する命題P(x)が真となるようなxの集まり」という形で記述される。このとき、その集合を
{x|P(x)}
のように表す。例えば「100以上の整数の集まり」であれば
{x|x∈Zかつx≧100}
のように表す。
「かつ」というのを省略、あるいは英語で表して
{x|x∈Z,x≧100},{x|x∈Z and x≧100}
のようにも表す。
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1592654877/820

883: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/11/25(水) 23:18:55.15 ID:VlvJJ1mh

>>882
つづき

Γ0(11) のときはネットを探して正解の図形を見つけたので、それを見ながら代表元を探すことができましたが、今回は正解も見つかりません。

そんなわけで、この問題は実は２年ぐらい前からずっと悩んでいまして、半ば諦めていたのですが・・・。

つい先日、方法を見つけました。

参考：
sagemath - Drawing fundamental domains with sage - Mathematics Stack Exchange
https://math.stackexchange.com/questions/1900817/drawing-fundamental-domains-with-sage
sagemathというソフトで、合同部分群に関する基本領域を描画する機能があるというのです。sagemathすごい！

それでは、以下のコマンドを実行してみましょう。
なんと、一発で Γ1(11) の基本領域が描画されます。

ぴったり Y1(N) の点と対応させるためには、楕円曲線の同型類では、少々おおざっぱすぎることがわかります。そこで、同型の取り方をもう少し細かくしよう という発想が出てきます。それが、レベル構造付き楕円曲線 のアイデアです。

5. おわりに
今回は、レベル構造付き楕円曲線について解説しました。楕円曲線に、N 等分点という構造を加えて同型写像を考えることで、単なる楕円曲線としての同型類より細かい分類を作ることができるのでした。

このアイデアにより、モジュラー曲線 Y1(N) とレベル構造付き楕円曲線の同型類 S1(N) の間に全単射が得られました。

モジュラー曲線シリーズの記事は、当初は第３回で終わりの予定でしたが、もう少し書きたいことが残っています。今のところの予定では、あと２、３回程度は続くはずなので、よろしければ引き続きご覧になってください。

それでは、今日はこの辺で。

参考文献
Y1(11) を計算したいと思ったきっかけは、次の本の６章の三枝先生の記事を読んだことでした。

数学の現在 i
作者: 斎藤毅,河東泰之,小林俊行
出版社/メーカー: 東京大学出版会
発売日: 2016/05/28

A First Course in Modular Forms (Graduate Texts in Mathematics)
作者: Fred Diamond,JERRY MICHAEL SHURMAN
出版社/メーカー: Springer
発売日: 2016/10/12
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1592654877/883

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.045s