[過去ﾛｸﾞ]
ガロア第一論文及びその関連の資料スレ (1002ﾚｽ)
ガロア第一論文及びその関連の資料スレ http://rio2016.5ch.net/test/read.cgi/math/1615510393/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
212: １３２人目の素数さん [sage] 2023/02/05(日) 09:44:49.00 ID:wVajbkib >>210 数学における言語は論理学 数学的構造は言語の上部構造だから修辞学 プログラミング言語が論理なら オブジェクトのクラスが代数的もしくは位相的構造 論理があれば証明は書けるが 構造を用いれば再利用ができる 修辞学の意図の一つもそこにある http://rio2016.5ch.net/test/read.cgi/math/1615510393/212
215: １３２人目の素数さん [sage] 2023/02/05(日) 10:14:55.46 ID:XfMj3WNk >>212 つづき ・圏 category で、明治のころからの伝統で 数学用語は、漢字一文字を当てるという（暗黙の）規則がある 例：群、環、体 ・そこで、categoryは哲学では範疇という訳語があるけれども category→範疇は、かえって分かりづらいし 漢字一文字で、圏にしたのでしょうね（発案者は知らず） ・ああ、いま検索すると、ベールの範疇定理とかあって、この点からも”範疇”は、まずいね (参考) https://ja.wikipedia.org/wiki/%E7%AF%84%E7%96%87_(%E6%95%B0%E5%AD%A6) 範疇 (数学) 数学において、範疇（はんちゅう）とは位相空間の部分集合を 2 通りに分類する方法のことである。カテゴリーと呼ぶことも多いが、同様にカテゴリーと呼ばれる圏とは全く異なるものである。 定義 X を位相空間とし、A をその部分集合とする。 A の閉包の内部が空であるとき、A は疎であるという。A が可算個の疎な集合の和集合で表せるとき A は第 1 類であるといい、そうでないとき A は第 2 類であるという。第 1 類の集合をやせた集合ともいう。 第 1 類の集合の部分集合は第 1 類であり、可算個の第 1 類の集合の和集合は第 1 類である。 ベールの範疇定理 完備距離空間の空でない開部分集合は第 2 類である。これをベールの範疇定理と呼ぶ。この定理は特に関数解析などで有用である。 http://rio2016.5ch.net/test/read.cgi/math/1615510393/215
245: １３２人目の素数さん [sage] 2023/02/05(日) 18:38:03.01 ID:XfMj3WNk >>215 リンクタイポ訂正 >>212 つづき ↓ >>211 つづき （いまさらですが、念のため） http://rio2016.5ch.net/test/read.cgi/math/1615510393/245
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.045s