数学記号を考案・改良するスレ

**１３２人目の素数さん** · 2020/02/21(金) 20:34:15.89

数学記号というのは、まだまだ改良の余地があると思う。
特に=の記号なんかは何通りかに分類して書き分けても良いのではないだろうか？

**１３２人目の素数さん** · 2020/04/23(木) 18:46:05.82

>>197
論理式や数式って右から読むと理解できることもあるんだぜ
左から書いて読むなんていうのは最近の出来事
それだから
関数f(x)も(x)fとかxfって書いた時代もあった

**１３２人目の素数さん** · 2020/04/23(木) 18:52:39.91

たとえば群の単位元なんていうのがわかりやすい例だと思う：

∃e∈G；　∀x∈G，　x=x*e=e*x

これを右から読むと

x*e=e*x=x
となるすべてのxに対して
eが存在する

**１３２人目の素数さん** · 2020/04/23(木) 19:05:02.52

>>202
お前バカだな
「任意」と「ある」の順序を変えたら意味が全然違うぞ

下の文の e は xに依存しても良いから

**１３２人目の素数さん** · 2020/04/23(木) 19:09:51.68

笑ったw

色々知識をひけらかしても>>202は論理の基本が分かってないな

**１３２人目の素数さん** · 2020/04/23(木) 19:10:22.65

>>203
右から読んでも順序は変わらない

∀x∈G，　x=x*e=e*x

をみたすようなeが存在する

お前こそ
そんな考えじゃ
この任意の元に何か代入してんじゃないのか？
任意の元だから任意に選ぶっていう奴

**１３２人目の素数さん** · 2020/04/23(木) 19:18:58.78

論理式も同じだぞ

(∃x)(∀y)FxGy

すべてのGyをみたすようなFxが存在する

これをただ左から読もうとすれば

Fxが存在しすべてのGy

という意味がよくわからないものとなる

それだから右から読むことを勧めたまで

**１３２人目の素数さん** · 2020/04/23(木) 20:13:15.55

じゃあε-δを逆に読んでも同じ意味になるのかよ

**１３２人目の素数さん** · 2020/04/23(木) 21:14:11.97

デルタは適当にとれるが
イプシロンは任意に固定されている

これがわかっている奴の質問とは思えんな

**１３２人目の素数さん** · 2020/04/23(木) 21:16:06.30

εは任意だから1とおくだとか
εは任意だからε/2とするとか

そういうのは全部間違いだぞ

**１３２人目の素数さん** · 2020/04/23(木) 21:51:39.09

大輝くん元気～？

**山本大輝** ◆MR2ZPDP6w6 · 2020/04/23(木) 22:11:45.67

>>210
俺をkingみたいに呼ぶなｗ

**１３２人目の素数さん** · 2020/04/24(金) 07:06:28.00

上への写像(onto)という言葉はイヤだ

**１３２人目の素数さん** · 2020/04/24(金) 16:25:09.23

中への写像も同類だな

**１３２人目の素数さん** · 2020/04/24(金) 21:21:28.50

自然な写像は？

**１３２人目の素数さん** · 2020/04/25(土) 08:15:23.25

「内」積・「外」積という用語について

**１３２人目の素数さん** · 2020/04/25(土) 13:40:22.04

外積は分かるが内積は何だろね

**１３２人目の素数さん** · 2020/04/25(土) 13:57:47.26

2つのベクトルの間(内)にある角度かな

**１３２人目の素数さん** · 2020/04/26(日) 00:39:13.39

内部積ってのもあるね

**１３２人目の素数さん** · 2020/04/26(日) 05:44:23.67

3乗根を「ルートの左上に3」と書くのは不自然だと思う

**１３２人目の素数さん** · 2020/04/26(日) 11:42:02.04

他に書く場所がない

**１３２人目の素数さん** · 2020/04/26(日) 12:23:00.52

5の3乗根を3√5に見間違えるとかなら分からんでもないが不自然では一切ないな

**１３２人目の素数さん** · 2020/04/26(日) 13:06:05.42

立方根はcube root of 2とか2^(1/3)とか別の方法でも書いてほしいよな。

**１３２人目の素数さん** · 2020/04/26(日) 13:14:15.61

学術の巨大掲示板群 - アルファ・ラボ
ttp://x0000.net

数学物理学化学生物学天文学地理地学
IT 電子工学言語学国語方言など

**１３２人目の素数さん** · 2020/04/27(月) 07:11:21.62

「ε-δ論法」を廃止し「δ-ε論法」にする

**１３２人目の素数さん** · 2020/04/27(月) 20:40:28.95

>>224
> 「ε-δ論法」を廃止し「δ-ε論法」にする

ε-δ論法の論理構造を君が全く理解していないって良く分かったよ

**１３２人目の素数さん** · 2020/04/27(月) 21:49:36.09

(∀a)(∃b)Fab　適当にとったbに応じてaも変化する(もちろん任意に固定されている)

(∃b)(∀a)Gab　bを適当にとってもaは固定されたまま(Gの全体)

粋蕎 ◆C2UdlLHDRI · 2020/04/27(月) 22:06:58.37

コテハン「哀れな素人」こと安達氏に言え
彼は『任意の』の意味も履き違えとった

**１３２人目の素数さん** · 2020/04/27(月) 22:15:09.15

生きてたんかお前……

**１３２人目の素数さん** · 2020/04/27(月) 22:16:03.74

>>226
お前の∀aとか∃bにかっこをつける記法は結構珍しい流儀だけど何が由来？
つかコテつけとけ

**山本大輝** ◆MR2ZPDP6w6 · 2020/04/27(月) 22:38:59.65

>>229
丹治信治の論理学だよ

粋蕎 ◆C2UdlLHDRI · 2020/04/27(月) 23:26:15.03

田舎じゃけぇの。kingもmixiに引きこもり毎日、日記を書いとるぞ
しかしkingは本当に理研なんじゃろうか？

>>211
はて？kingが去った後に暇した儂も知らん貴殿が何故、kingを知っとる？

**１３２人目の素数さん** · 2020/04/27(月) 23:27:12.43

>>230
数学書読めや

**山本大輝** ◆MR2ZPDP6w6 · 2020/04/27(月) 23:42:56.65

>>232
昨日から竹之内脩の集合と位相を読み直している
集合算の基礎の証明でもいくつかトートロジーが使われていて
論理学を学ぶ前では気づきもしなかったことだった

って感じで数学も読んでる

**１３２人目の素数さん** · 2020/04/27(月) 23:57:26.93

>>233
論理学の数学書読めや

**山本大輝** ◆MR2ZPDP6w6 · 2020/04/28(火) 00:06:23.27

>>234
論理学の数学書？ｗ
数理論理学のことか？
何れ読むよ

俺には目標があって
成田正雄のイデアル論を読むことなんだ

**１３２人目の素数さん** · 2020/04/28(火) 00:26:06.07

>>235
(哲学書を読むなとは言わんが、数学板で論理について語りたいならまず)論理学の数学書(である数理論理学の本)読めや

**１３２人目の素数さん** · 2020/04/28(火) 09:57:51.39

「必要」条件、「十分」条件という言葉のわかりずらさは異常

**１３２人目の素数さん** · 2020/04/28(火) 23:16:55.17

そうか？

**１３２人目の素数さん** · 2020/04/28(火) 23:17:13.13

そうか？

**１３２人目の素数さん** · 2020/04/29(水) 09:54:14.78

∩をキャップ、∪をカップと呼ぶのはイヤだ

**１３２人目の素数さん** · 2020/04/29(水) 12:47:15.19

猫背と海老反りにする？

**１３２人目の素数さん** · 2020/04/29(水) 14:42:12.60

フールズキャップ黒歴史大学ノート

**１３２人目の素数さん** · 2020/04/30(木) 06:55:21.04

時計回り・反時計回りという言葉を廃止し、右回り・左回りにする

**１３２人目の素数さん** · 2020/04/30(木) 13:18:22.67

そういえば逆回り時計もあったな

**１３２人目の素数さん** · 2020/04/30(木) 15:27:12.97

お前ら廃止だとかイヤだとか書くならその理由もちゃんと書け

**１３２人目の素数さん** · 2020/05/01(金) 18:14:58.87

イヤイヤ期

**１３２人目の素数さん** · 2020/05/02(土) 19:00:04.40

7の読み方を「なな」「しち」のどちらかに統一してほしい

**１３２人目の素数さん** · 2020/05/02(土) 21:49:51.50

ディアドの呼び方と記号が混乱しまくり
https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E7%A9%8D

とりあえずディアドのことを外積と呼んだり、テンソル積と呼ぶのはやめるべきだと思う。

**１３２人目の素数さん** · 2020/05/03(日) 00:08:27.51

>>243
むしろ、回転の角度を「3時の方向から反時計回り」で考える数学界の悪習を廃して、
時計の動きを模した「12時の方向から時計回り」に切り替えるべき。

**１３２人目の素数さん** · 2020/05/03(日) 00:19:18.29

3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ，
宿題が 3/10 = 30% でした！
宿題の勝率が低すぎると思うので、
これからは一層精進していきたいです！
https://twitter.com/shukudai_sujaku/status/1256593951349338116
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2020/05/03(日) 11:27:55.43

>>247
訓読みと音読みの両方があるから日本語だ

**１３２人目の素数さん** · 2020/05/03(日) 13:28:30.82

最近は「∴」の使用頻度が低下しつつあるらしい

**１３２人目の素数さん** · 2020/05/03(日) 14:50:36.43

>>247
シチはイチと音が似てるからナナが使われる
シがヨンと読まれるのもニとの混同を防ぐため

**１３２人目の素数さん** · 2020/05/03(日) 17:12:49.71

∵ を『但し』の意味で使われる事は有るのかな？
『しかし』の意味で使われる記号は無いのかな？

**１３２人目の素数さん** · 2020/05/03(日) 18:39:47.89

>>254
∴をひっくり返した∵が「但し」を表すのはセンスが悪すぎる
数学で本来の逆接の意味を持った「しかし」を使うことなくね？なら記号割り当てる必要なくね？

**１３２人目の素数さん** · 2020/05/04(月) 07:31:52.70

集合Aの要素の個数をn(A)と表すのをやめて、|A|にする。
線分ABの長さをABと表すのをやめて|AB|にする
△ABCの面積を△ABCと表すのをやめて|△ABC|にする

**１３２人目の素数さん** · 2020/05/04(月) 13:08:15.29

3月の宿題で(1)のみ正解の数弱@shukudai_sujaku

昨年度の大学への数学(大数)での勝率は、

学コンBコースが 1/1 = 100% ，

宿題が 3/10 = 30% でした！

宿題の勝率が低すぎると思うので、

これからは一層精進していきたいです！

https://twitter.com/shukudai_sujaku
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2020/05/04(月) 13:36:25.93

>>256
理由は？

**１３２人目の素数さん** · 2020/05/04(月) 17:49:16.78

>>256
お前が挙げている最初の例は、どれも使われてないから心配するな

**１３２人目の素数さん** · 2020/05/04(月) 18:46:15.90

|A|は濃度で普通に使われてるでしょ
何なら(有限)群の位数を表す記号は|G|が一般的

**１３２人目の素数さん** · 2020/05/05(火) 01:35:07.06

>>260
逆、n(A) のことを言った

**１３２人目の素数さん** · 2020/05/05(火) 01:36:30.58

|A| は測度を表すから、すべて理にかなっていると思うよ

**１３２人目の素数さん** · 2020/05/05(火) 06:28:27.57

法線ベクトルという用語をやめて直交ベクトルにする

**１３２人目の素数さん** · 2020/05/05(火) 11:10:54.59

3月の宿題で(1)のみ正解の数弱@shukudai_sujaku

昨年度の大学への数学(大数)での勝率は、

学コンBコースが 1/1 = 100% ，

宿題が 3/10 = 30% でした！

宿題の勝率が低すぎると思うので、

これからは一層精進していきたいです！

https://twitter.com/shukudai_sujaku
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2020/05/06(水) 06:41:21.85

有理数という言葉をやめて整比数にする

**１３２人目の素数さん** · 2020/05/06(水) 11:22:15.45

>>265
スレタイ嫁
記号の改良スレだ、用語についてはスレ違いだ

**１３２人目の素数さん** · 2020/05/06(水) 15:55:33.40

有理数を Q で表すのと関わるからいいだろ

**１３２人目の素数さん** · 2020/05/06(水) 17:49:52.86

そういえばQで表すのはなんでなん？
rationalのRだと実数と被るからその前のQってこと？

**１３２人目の素数さん** · 2020/05/06(水) 17:55:50.74

>>265
整比数だと比が整数って意味にとれるから整数のことになりそうだが

>>267
quotientは商なんだから商数とでもいいたいのか

**１３２人目の素数さん** · 2020/05/06(水) 20:59:43.33

>>254-255
数学で「しかし」とか「だが」みたいな逆接を表すことはできないね。
「だから」みたいな順接は表せるけど。

**１３２人目の素数さん** · 2020/05/06(水) 22:05:54.08

数列を{a_n}って書くこと多いけど、{}だと集合を意味するから、意地悪に言えば数列の順番が無視される
(a_n)と直積の元っぽく書く方が好き

**１３２人目の素数さん** · 2020/05/06(水) 22:38:21.70

わかる
まあ{a_n|n∈N}と{a_n}_{n∈N}は別(一般の集合族も同様)のものとしてやれば解決するけど

**１３２人目の素数さん** · 2020/05/06(水) 22:38:47.70

たとえば
T：有限または無限集合
N⊆M：Mの部分集合
その部分集合族{N_t}(∃t∈T)
Nの元の族{a_t}(∀t∈T)

こんな風に書くことが多いから{}は譲れない

**１３２人目の素数さん** · 2020/05/06(水) 23:01:38.74

>>273
なんだよその量化子の使い方
{a_t}(∀t∈T)も大概だけど{N_t}(∃t∈T)は論外

**１３２人目の素数さん** · 2020/05/06(水) 23:09:11.65

>>274
(。´・ω・)ん?
{N_t}(∃t∈T)は

N_1,N_2,…,N_s(有限個)

の意味だが

∀a_tよりは{a_t}(∀t∈T)の方がましだと思うがね

**１３２人目の素数さん** · 2020/05/06(水) 23:10:13.39

いきなり論外とか突っかかってくる奴は死ね
死ねじゃなくて死ね

**１３２人目の素数さん** · 2020/05/06(水) 23:11:05.96

>>274
お前どれくらい数学出来るの？
専門は？

**１３２人目の素数さん** · 2020/05/06(水) 23:13:16.46

お前って
部分集合の記法で

∀a∈A⇒∀a∈B

を批判してたクズだろ？

数学くそ論とすーり論理学は消えろ

ここは数学板だ

**１３２人目の素数さん** · 2020/05/06(水) 23:18:35.61

おい論外くん

俺に有限基底の記法を教えてくれよｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ

それと有限生成された集合は有限集合であるかどうか語ってくれ

**１３２人目の素数さん** · 2020/05/06(水) 23:25:27.16

なんだ有限基底も即答できねえクズか
せいぜいググってわかったつもりになってろカス

**１３２人目の素数さん** · 2020/05/06(水) 23:29:02.29

しょうがねえな
条件は上のものとする

M=Σ[∃t∈T]N_t

このときtとしてsをとればMは有限生成されているという

もし存在量化子をつけなければこれを複雑に書くしかなくなる
そういう意味だ

わかるか？
お前はそれを論外と言った
その意味はわかるか？
能無し

**１３２人目の素数さん** · 2020/05/06(水) 23:30:54.37

お前かよ

**１３２人目の素数さん** · 2020/05/06(水) 23:34:00.35

因みに複雑化とはどういうことかというと

Σ[t∈T]N_tから有限個を選ぶとき

N_1_1,N_2_2,…,N_t_s

というように添え字が二重になる
これを解消するのが存在量化子だ
これに異論はあるか？

**１３２人目の素数さん** · 2020/05/06(水) 23:38:43.15

お前ってさ
人の意見を否定してばかりで
そのものの解説をしたり
別の案を出したりしないよな
否定するだけなら簡単だよな

野党くん

**１３２人目の素数さん** · 2020/05/06(水) 23:39:56.50

大輝くんなんで一々コテ外すの？
コテの意味ないじゃん

**１３２人目の素数さん** · 2020/05/06(水) 23:42:50.98

つまんね

粋蕎 ◆C2UdlLHDRI · 2020/05/07(木) 00:43:09.35

Kingがgnikと書かれて呼ばれたかの様に反応するなら
山本大輝氏も輝大本山と書かれて反応するかも知れん

**１３２人目の素数さん** · 2020/05/07(木) 01:44:17.61

想像以上に論外で大草原不可避

**１３２人目の素数さん** · 2020/05/07(木) 11:11:42.06

素数は1と自分自身以外では割り切れない数などといいますが

私はこの「割り切れない」という表現に違和感があるわけです

私にとって「割り切れない」とは計算結果（商）が有限の十進数にできないことなのです

例えば「1は2では割り切れるが3では割り切れない」などと言いたいわけです

小学校で割り算を習ったときはそういう意味だったと思います

そうですよね？？？

**１３２人目の素数さん** · 2020/05/07(木) 11:22:28.91

>>268
それは気が付かなかった！

**１３２人目の素数さん** · 2020/05/07(木) 11:49:47.99

>>289
教程の話をするなら割り算は3年生で小数は4年生
3年生で割り算は「5わる3は1あまり2」という習い方をするから「小学校で～と思います」は誤った認識
数学的には「整数の中で」か「有理数の中で」かの違いであってどちらも問題はない
そんで記号のスレで用語の話はスレチ

**１３２人目の素数さん** · 2020/05/07(木) 11:53:28.14

>>291
s/有理数/有限の十進数として表示される有理数

**１３２人目の素数さん** · 2020/05/07(木) 12:28:41.16

>>270
やはり数学では逆接は不要か

**１３２人目の素数さん** · 2020/05/07(木) 12:39:16.00

>>270
帰謬法で「Aが成り立つ。しかしこれはBに矛盾する。」みたいな表現することはあるけどこれは逆接とは言い難いね

**１３２人目の素数さん** · 2020/05/07(木) 12:42:08.74

有理数 - Wikipediahttps://ja.wikipedia.org/wiki/%E6%9C%89%E7%90%86%E6%95%B0#cite_note-Baudet2005-124-1

>>265
Wikipedia
> rational number は原義として希: λογο? （ = 英: ratio、日: 比) の有る数という意味であり、a/b は b に対して
> a の示す比の値（a が b に占める割合）を意味する｡
> それゆえ「有比数」とでも訳した方がよいのではというのがしばしば話のネタにされる｡
出典は添付URL頁末へ

>>268 >>290
Wikipedia
> 有理数全体のつくる集合はしばしば、太字の Q で表す。これは最初にイタリア人数学者のペアノによって1895年に
> 「商」（英: quotient）を意味するイタリア語: quoziente に因んで表記された｡
出典は添付URL頁末へ

粋蕎 ◆C2UdlLHDRI · 2020/05/07(木) 12:50:44.20

代数的数の集合は縦線入りAじゃったっけ？超越数は縦線入りTか？
実数かつ代数的数かつ無理数だけを表す記号は無いんか？

**１３２人目の素数さん** · 2020/05/07(木) 15:51:40.48

定積分
　∫_a ^b f(x)dx=[F(x)]_a ^b
について考える。
左辺と右辺の形が統一されていないのが気になる。
そこで、
　[∫f(x)dx]_a ^b=[F(x)]_a ^b
とすればどうだろう。
両辺の表記が統一されていい。

**１３２人目の素数さん** · 2020/05/07(木) 19:38:42.47

普通に使うじゃん

**山本大輝** ◆MR2ZPDP6w6 · 2020/05/07(木) 20:27:57.46

①∀x∀y∃a(x+y=a)

②∀x+∀y=∃a　(x,y,a∈Z)

③(∀x∀y∃a∈Z)x+y=a

①だと元が属する場所が何処かわからない
②だと式が見づらい

ゆえに③を提唱する

**山本大輝** ◆MR2ZPDP6w6 · 2020/05/07(木) 20:35:59.05

③だと否定も書きやすい

(1)　￢(∀x∀y∃z∈Z)x+y=z
(2)　b+y=z　　　(b∈Z)　　　　　　(1)
(3)　b+c=z　　　(b,c∈Z)　　　　　(1)
(4)　b+c=a　　　(a,b,c∈Z)　　　　(1)