星塚研究所

数学を主とした形式科学,自然科学,大学・大学院に関する2chと5chのまとめサイト

「これ、本当に重要か?」という数学の概念

1: 132人目の素数さん 2019/07/24(水) 21:54:45.87 ID:ID:Ed+rLkKw.net
挙げてけ
挙がっている概念が実は重要なら優しく教えて下さい
「そもそも数学なんて役に立たないから、重要もクソもない」という人は帰って下さい
3: 132人目の素数さん 2019/07/24(水) 23:00:21.24 ID:id:dP2gqkIG.net
よく使う
-----------------------------
compact(コンパクト)
sequentially compact(点列コンパクト)
-----------------------------

たまに目にする
-----------------------------
locally compact(局所コンパクト)
relatively compact(相対コンパクト)
-----------------------------

多様体の教科書で目にする
-----------------------------
paracompact(パラコンパクト)
-----------------------------

知ってはいるけど何に使うのか知らない
-----------------------------
countably compact(可算コンパクト)
pseudo compact(擬コンパクト)
-----------------------------

wikiで見かけただけ
何に使うのかさっぱり分からん
-----------------------------
a-para compact(パラコンパクト)
meta compact(メタコンパクト)
meso compact(メソコンパクト)
ortho compact(オーソコンパクト)
real compact(実コンパクト)
-----------------------------
14: 132人目の素数さん 2019/07/27(土) 12:03:57.57 ID:id:QnZoNZvu.net
>>3
さっぱり分からん素人は黙っとれ
Encyclopedia of Compactness
4: 132人目の素数さん 2019/07/25(木) 03:52:01.26 ID:ID:8SzmgSqy.net
一般位相より幾何学的位相やれば?
役立ち度で概念お勉強したいのなら。

5: 132人目の素数さん 2019/07/25(木) 11:45:01.96 ID:id:XPHPV1KM.net
準素分解の重要性が分からないので、誰か教えてくれ
23: 132人目の素数さん 2019/08/03(土) 19:58:03.58 ID:id:mMHv5arE.net
>>5
準素分解の存在は、代数幾何的に見れば任意の代数的集合は有限個の既役成分の和集合を意味するから重要
6: 132人目の素数さん 2019/07/25(木) 16:23:29.47 ID:id:OEG0GpCT.net
空集合
7: 132人目の素数さん 2019/07/25(木) 19:01:09.38 ID:id:r9CDVi79.net
一様連続

リーマン積分の存在示したら、二度と出てこない気がする
17: 132人目の素数さん 2019/07/29(月) 06:40:46.13 ID:id:k2EZU+ke.net
>>7
なわけない
8: 132人目の素数さん 2019/07/25(木) 19:43:20.25 ID:id:cfh7TxpD.net
子分の広義一様連続はしょっちゅう出てくるぞ
9: 132人目の素数さん 2019/07/25(木) 19:50:41.94 ID:id:Sk5PHb2S.net
>>8
たしかに
12: 132人目の素数さん 2019/07/25(木) 22:24:05.41 ID:id:sKOLI+I5.net
リーマンゼータだな、あれはバランスが悪い。
13: 132人目の素数さん 2019/07/26(金) 19:16:57.79 ID:id:TFNYS+/R.net
可解群とか冪零群っていつ使うの
15: 132人目の素数さん 2019/07/28(日) 00:48:56.80 ID:id:V22UsYop.net
Dedekind切断
16: 132人目の素数さん 2019/07/28(日) 01:06:22.51 ID:id:WB5DZO/7.net
>>15
代数的操作だけで順序体を完備化できるのは嬉しい...?
19: 132人目の素数さん 2019/07/29(月) 22:16:12.89 ID:ID:Mq/tPPX+.net
>>15
デデキントの切断による実数の構成は、ぱっと見解りやすい。
が、他への応用は殆ど無い。
カントールの完備化は、技巧的に見えるが、他に色々応用出来るという利点がある。
20: 132人目の素数さん 2019/08/02(金) 22:29:50.71 ID:id:U0JubQME.net
デデキント切断の原理は、実数の連続性を表現する公理の中で最も受け入れやすいものだと思う
「直線を二つに切れば必ず境界点がある」
コーシー列の収束性はここまで自明ではない
21: 132人目の素数さん 2019/08/03(土) 17:12:48.15 ID:ID:+9xU4Qzq.net
デデキントの切断の起源はユークリッドの原論の「比例論」
24: 132人目の素数さん 2019/08/06(火) 15:18:07.09 ID:id:Zkh/zxOy.net
低レベルですまんが、いい加減ユークリッド幾何学を高校数学から廃止すべき
25: 132人目の素数さん 2019/08/06(火) 17:02:09.79 ID:id:ZuK6J91o.net
ベクトルはともかく、チェバやらメネラウスやらその他諸々は一体(応用分野含め)どこで使われてるかもわからんね
26: 132人目の素数さん 2019/08/06(火) 18:00:54.83 ID:id:Zkh/zxOy.net
>>25
ほんとこれ
29: 132人目の素数さん 2019/08/07(水) 00:16:15.54 ID:id:Jncrr6Rk.net
>>25
メネラウスとかチェバとかの初等幾何の諸定理は大学以降まじで見かけなくなるからな
なんで高校までの数学では必ず教えてるんだろ
31: 132人目の素数さん 2019/08/07(水) 12:28:25.38 ID:id:zIxhRN8j.net
>>29
教科書編纂者の中に

・図形問題オタク
・数理パズルオタク
微分積分線形代数が物理や工学で役に立つとは全く思っておらず、数学なんて専ら脳トレかなんかだと思ってる奴
・大した実績もないが「数学は役に立たなくても教養として重要」みたいにカッコつけてる恥ずかしい大人

がいる(というか、そいつらが多数派だ)から
27: 132人目の素数さん 2019/08/06(火) 19:26:22.30 ID:id:P0z31xWR.net
斎藤毅先生は、

「『解析概論』には、絶対収束しないが条件収束する級数は、項の順序を変えればどんな値にも収束させられることの証明が書いてあるが、いつまでもこんなことを勉強してるよりは、サクッと済ませてもっと先のことを勉強したらいいんじゃないか」

と書いていらっしゃるな
28: 132人目の素数さん 2019/08/06(火) 20:48:34.73 ID:id:TaZt7sWl.net
本当にそう書いてあるとしたら三流なんじゃないのさすがに
30: 132人目の素数さん 2019/08/07(水) 12:15:20.89 ID:id:yvGeK3uN.net
>>28
この定理、重要なの?
32: 132人目の素数さん 2019/08/08(木) 00:45:16.93 ID:ID:q+VzwLLx.net
>>30
複素測度の総変動が有限であることの証明に使う
33: 132人目の素数さん 2019/08/08(木) 08:52:35.22 ID:id:eqJLpXV3.net
複素解析のPicardの定理とかあの辺
34: 132人目の素数さん 2019/08/08(木) 20:27:10.39 ID:id:oChCvK8F.net
ベクトルバンドルという考え方が嫌いなので、いい加減に代替されて欲しい
35: 132人目の素数さん 2019/08/09(金) 20:31:33.02 ID:id:m4Nb5rmA.net
>>34
接束はベクトル場を扱うのに便利だと思うが
36: 132人目の素数さん 2019/08/10(土) 00:48:31.14 ID:id:hfkV+B5d.net
>>34
形式的なグロタンディーク構成が好きなので普通に俺には必要。
オカケツだって層って呼び名が嫌いで不定イデアル使えって思ってたらしいからな。
37: 132人目の素数さん 2019/08/12(月) 12:05:12.43 ID:id:NLtxtx7d.net
双子素数
38: 132人目の素数さん 2019/08/13(火) 10:57:38.74 ID:id:EPTCyy+H.net
整数論の未解決問題のほとんどは、それ自体は重要じゃないだろう

39: 132人目の素数さん 2019/08/14(水) 12:18:25.64 ID:id:vCRz549k.net
亜代数(algebroid)
40: 132人目の素数さん 2019/08/14(水) 21:42:05.45 ID:id:CndeO29i.net
フーリエ変換の位相も要らないよな
周期の最小公倍数の地点で全部位相は揃うんだから
41: 粋蕎 2019/08/15(木) 01:42:28.04 ID:id:WeLKrn1b.net
各辺の長さから三角形の面積を求めるヘロンの公式
S=√s(s-a)(s-b)(s-c)

その完全版で各辺の長さから内接四角形の面積を求めるプラマグプタの公式
S=√(s-a)(s-b)(s-c)(s-d)
42: 132人目の素数さん 2019/08/19(月) 18:49:18.26 ID:id:CkYigavU.net
スツルムの定理
43: 132人目の素数さん 2019/08/21(水) 10:51:33.65 ID:id:hVoBs727.net
高校数学で申し訳ないが、因数分解
多項式の既約性は数学的に重要だが、高校数学で必要になる因数分解の知識は

f(a)=0 ⇒ ∃g(x), f(x)=(x-a)g(x)

だけ
3次式や4次式の因数分解のテクニックを教える意味は皆無
可換代数と数論を5年研究しても、「複2次式が2次式の積になる」なんて知識が役に立ったことはない
そもそも、係数の範囲を論じずに因数分解とか考えるのがナンセンス
44: 132人目の素数さん 2019/08/21(水) 11:03:34.14 ID:id:WFJwo6E/.net
5年研究した結論がそれか…
45: 132人目の素数さん 2019/08/21(水) 12:27:47.69 ID:id:qFfqlyo9.net
高校数学なら二次曲線
64: 132人目の素数さん 2019/08/27(火) 22:15:49.49 ID:id:MKC88bkf.net
>>45
太陽系の天体の動きは全て二次曲線に近似できるからな-。
彗星の動きとかさ。太陽系外から来たオウムアウアもそう。
52: 132人目の素数さん 2019/08/23(金) 22:42:41.77 ID:id:nBLXclI4.net
逆に、重要なのは間違いないんだが、重要性がさっぱり認識できないものならたくさんある

保型形式とかどう重要なのか数論の門外漢にも分かるように教えてくれ
53: 132人目の素数さん 2019/08/23(金) 23:25:21.52 ID:ID:9/ASjlCL.net
線型代数は、数学科ならみんなンダルョジの標準形までは理解してる?
54: 132人目の素数さん 2019/08/23(金) 23:33:10.53 ID:id:nBLXclI4.net
>>53
言うまでもなく、「みんな」は理解してないだろ
57: 132人目の素数さん 2019/08/27(火) 09:24:22.79 ID:id:zSZQyqTS.net
ジョルダン標準形は一度も使ったことがない
カリキュラムから外していいと思う
59: 132人目の素数さん 2019/08/27(火) 10:30:33.47 ID:id:vbLfq4JI.net
すまん。
ジョルダンの標準形は使いまくる。
62: 132人目の素数さん 2019/08/27(火) 14:30:16.69 ID:id:sn22KBJm.net
工学だと連立微分方程式を解くのにジョルダン標準形はどうしても必要になるだろ
大規模な次元のシステム設計などでの数値計算では必須
63: 132人目の素数さん 2019/08/27(火) 20:09:43.34 ID:id:m4C+83JM.net
二次曲線上に6点A,B,C,D,E,Fを取るとABとDE、CDとEF、BCとFAの交点が1直線上にある非特異3次曲面上には27本の直線がある

……だから何?としか思えない
67: 132人目の素数さん 2019/08/29(木) 15:10:10.48 ID:id:h39wJFgM.net
>>63
3次曲線は古典的な対象だけど、blow upとの関係や27本の直線の配置などは単純に面白いと思う
現代的にはcurve countingは双有理幾何やGromov-Witten invariantなどと関連していて、意味のない概念とは思わない
68: 132人目の素数さん 2019/08/29(木) 15:11:09.74 ID:id:h39wJFgM.net
>>67
誤字、3次曲線ではなく3次曲面
69: 132人目の素数さん 2019/08/31(土) 10:16:10.63 ID:ID:1qX+2bkL.net
準素分解
Hilbertの零点定理
70: 132人目の素数さん 2019/08/31(土) 12:28:45.00 ID:ID:ea/KfDhQ.net
>>69
代数幾何を勉強して幾何的な意味を理解すれば重要性が分かる
71: 132人目の素数さん 2019/08/31(土) 12:45:22.45 ID:id:vqIcuqF/.net
こういう重要性知ってるぜ~っていうマウントとるためのスレ
72: 132人目の素数さん 2019/08/31(土) 13:02:53.65 ID:id:zab/P3az.net
それで知れるなら良いし全然マウントな雰囲気でもない
73: 132人目の素数さん 2019/08/31(土) 13:15:51.17 ID:ID:7Vl4+VSx.net
マウントの雰囲気しかないの間違いだろ
74: 132人目の素数さん 2019/08/31(土) 14:20:41.47 ID:id:ogRUugaB.net
この程度でマウント取られた気になって劣等感丸出しな奴って進歩しなさそう。
いいこと教えてもらえたら素直に喜べよ。


参考文献

http://ai.2ch.sc/test/read.cgi/math/1563972885/